Logic category: 1296 books

Approaching the central themes of Spinoza's thought from both a historical and analytical perspective, this book examines the logical-metaphysical core of Spinoza's philosophy, its epistemology and its ramifications for his much disputed attitude towards religion. Opening with a discussion of Spinoza's...

The Novum Organum is a philosophical work by Francis Bacon published in 1620. The title translates as "new instrument". This is a reference to Aristotle's work Organon, which was his treatise on logic and syllogism. In Novum Organum, Bacon details a new system of logic he believes to be superior...

"A delightful book … I should like to have written it myself." — Bertrand Russell First published in 1936, this first full-length presentation in English of the Logical Positivism of Carnap, Neurath, and others has gone through many printings to become a classic of thought and communication....

Many students have trouble the first time they take a mathematics course in which proofs play a significant role. This new edition of Velleman's successful text will prepare students to make the transition from solving problems to proving theorems by teaching them the techniques needed to read and...

Puzzle lovers, rejoice! Bestselling math writer Alex Bellos has a challenge for you: 125 of the world’s best brainteasers from the last two millennia. Armed with logic alone, you’ll detect counterfeit coins, navigate river crossings, and untangle family trees. Then—with just a...

Summary of How Not To Be Wrong: by Jordan Ellenberg | Includes Analysis   Preview: How Not to Be Wrong by Jordan Ellenberg attempts to demonstrate real-life applications of mathematics. In schools, students learn math principles in abstract contexts. Math in the real world is...

Not everything is black and white. Our daily lives are full of vagueness or fuzziness. Language is the most obvious example - for instance, when we describe someone as tall, it is as though there is a particular height beyond which a person can be considered 'tall'. Likewise the terms 'blond' or 'overweight'...

This new volume on logic follows a recognizable format that deals in turn with the topics of mathematical logic, moving from concepts, via definitions and inferences, to theories and axioms. However, this fresh work offers a key innovation in its ‘pyramidal’ graph system for the logical formalization...

Recursive Functions and Metamathematics deals with problems of the completeness and decidability of theories, using as its main tool the theory of recursive functions. This theory is first introduced and discussed. Then Gödel's incompleteness theorems are presented, together with generalizations,...

The Learner, who wishes to try the question _fairly_, whether this little book does, or does not, supply the materials for a most interesting mental recreation, is _earnestly_ advised to adopt the following Rules:-- (1) Begin at the _beginning_, and do not allow yourself to gratify a mere idle...

Part I of this coherent, well-organized text deals with formal principles of inference and definition. Part II explores elementary intuitive set theory, with separate chapters on sets, relations, and functions. Ideal for undergraduates.

Interest in the metaphysics and logic of possible worlds goes back at least as far as Aristotle, but few books address the history of these important concepts. This volume offers new essays on the theories about the logical modalities (necessity and possibility) held by leading philosophers from Aristotle...

Since the advent of the Semantic Web, interest in the dynamics of ontologies (ontology evolution) has grown significantly. Belief revision presents a good theoretical framework for dealing with this problem; however, classical belief revision is not well suited for logics such as Description Logics. Belief...

It is the aim of the present study to introduce the reader to the ways of thinking of those contemporary philosophers who apply the tools of symbolic logic to classical philosophical problems. Unlike the "conti­ nental" reader for whom this work was originally written, the English­ speaking...