Logic category: 1296 books

3 in philosophy, and therefore in metaphilosophy, cannot be based on rules that avoid spending time on pseudo-problems. Of course, this implies that, if one succeeds in demonstrating convincingly the pseudo-character of a problem by giving its 'solution', the time spent on it need not be seen as wasted....

In this book we develop powerful techniques based on formal methods for the verification of correctness, consistency and safety properties related to dynamic reconfiguration and communication in complex distributed systems. In particular, static analysis techniques based on types and type systems...

This monograph first presents a method of diagramming argument macrostructure, synthesizing the standard circle and arrow approach with the Toulmin model. A theoretical justification of this method through a dialectical understanding of argument, a critical examination of Toulmin on warrants, a thorough...

The notion of a propositional content plays a central role in contemporary philosophy of language. Propositional content makes up both the meaning of sentences and the content of propositional attitudes such as belief. One particular view about propositional content has been dominant in analytic philosophy,...

The study of NIP theories has received much attention from model theorists in the last decade, fuelled by applications to o-minimal structures and valued fields. This book, the first to be written on NIP theories, is an introduction to the subject that will appeal to anyone interested in model theory:...

This is a collection of new investigations and discoveries on the theory of opposition (square, hexagon, octagon, polyhedra of opposition) by the best specialists from all over the world.   The papers range from historical considerations to new mathematical developments of the theory of opposition including applications to theology, theory of argumentation and metalogic.

Dancing with Absurdity explores the limitations of knowledge and argues that neither reasoning nor direct observation can be trusted. Not only are they unreliable sources, they do not even justify assigning probabilities to claims about what we can know. This position, called radical skepticism, has...

This book provides an in-depth study of controlled languages used in technical documents from both a theoretical and practical perspective. It first explores the history of controlled languages employed by the manufacturing industry to shape and constrain the information in technical documents. The...

Let the real world show you how maths works. Maths is often cited as the ‘most difficult’ or ‘complex’ subject to study, many people admitting to a wariness that was probably ingrained into them in their schooldays. In Maths in Bite-sized Chunks, Chris Waring proves that it’s easy to break...

If we must take mathematical statements to be true, must we also believe in the existence of abstracta eternal invisible mathematical objects accessible only by the power of pure thought? Jody Azzouni says no, and he claims that the way to escape such commitments is to accept (as an essential part...

Logical and Spiritual Reflections is a collection of six shorter philosophical works, in two parts. The first part, consisting of Logical Reflections, includes: Hume’s Problems with Induction; A Short Critique of Kant’s Unreason; In Defense of Aristotle’s Laws of Thought. The second part, consisting of Spiritual Reflections, includes: More Meditations; Zen Judaism; No to Sodom.

Discours de la méthode René Descartes, mathématicien, physicien et philosophe français (1596-1650) 1637 Texte établi par Victor Cousin,  Levrault, 1824 Ce livre numérique présente le "Discours de la méthode", de René...

Written by the nineteenth-century French philosophical founder of positivism, this comprehensive map of mathematical science assigns to each part of the complex whole its true position and value. The two-part treatment begins with a general view of mathematical analysis and advances to algebra, continuing with an exploration of geometry's ancient and modern methods.