De Corpore
De Corpore ("On the Body") is a 1655 book by Thomas Hobbes. As its full Latin title Elementorum philosophiae sectio prima De corpore implies, it was part of a larger work, conceived as a trilogy. De C...
Straight and Crooked Thinking
Straight and Crooked Thinking, first published in 1930 and revised in 1953, is a book by Robert H. Thouless which describes, assesses and critically analyses flaws in reasoning and argument. Thouless ...
Straight and Crooked Thinking - Wikipedia
Handbook of Automated Reasoning
The Handbook of Automated Reasoning (ISBN 0444508139, 2128 pages) is a collection of survey articles on the field of automated reasoning. Published on June 2001 by MIT Press, it is edited by John Alan...
Introduction to Mathematical Philosophy
Introduction to Mathematical Philosophy is a book by Bertrand Russell, published in 1919, written in part to exposit in a less technical way the main ideas of his and Whitehead's Principia Mathematica...
Polish Logic
Polish Logic is an anthology of papers by several authors, including Kazimierz Ajdukiewicz, published in 1967 and covering the period 1920–1939. The work focus on the contributions of Polish log...
Novum Organum
The Novum Organum, full original title Novum Organum Scientiarum (‘new instrument of science’), is a philosophical work by Francis Bacon, written in Latin and published in 1620. The title is a referen...
Novum Organum - Wikipedia
Logical Investigations (Husserl)
Logical Investigations (German: Logische Untersuchungen) is a work of philosophy by Edmund Husserl, published in two volumes in 1900 and 1901, with a second edition in 1913 and 1921. An English tr...
The Geography of Thought
The Geography of Thought: How Asians and Westerners Think Differently...and Why is a book by social psychologist Richard Nisbett that was published by Free Press in 2003. By analyzing the differences ...
A System of Logic
A System of Logic, Ratiocinative and Inductive is an 1843 book by English philosopher John Stuart Mill. In this work, he formulated the five principles of inductive reasoning that are known as Mill's ...
Principia Mathematica
The Principia Mathematica is a three-volume work on the foundations of mathematics, written by Alfred North Whitehead and Bertrand Russell and published in 1910, 1912, and 1913. In 1927, it appeared i...
Principia Mathematica - Wikipedia
The Foundations of Arithmetic
The Foundations of Arithmetic (German: Die Grundlagen der Arithmetik) is a book by Gottlob Frege, published in 1884, which investigates the philosophical foundations of arithmetic. In a tour de fo...
Logik (book)
Logik is an 1890 book by Alois Höfler and Alexius Meinong that originated the distinction between the act, content, and object of thought. Its theory (known as act-object psychology and act-content-ob...
Logik (book) - Wikipedia
Sum of Logic
The Summa Logicae ("Sum of Logic") is a textbook on logic by William of Ockham. It was written around 1323.Systematically, it resembles other works of medieval logic, organised under the basic heading...
Begriffsschrift
Begriffsschrift (German for, roughly, "concept-script") is a book on logic by Gottlob Frege, published in 1879, and the formal system set out in that book.Begriffsschrift is usually translated as conc...
Begriffsschrift - Wikipedia
Blue and Brown Books
The Blue and Brown Books are two sets of notes taken during lectures conducted by Ludwig Wittgenstein between 1933 and 1935. They were mimeographed as two separated books and a few copies were circula...
Tractatus Logico-Philosophicus
The Tractatus Logico-Philosophicus (Latin for "Logical-Philosophical Treatise") is the only book-length philosophical work published by the German-Austrian philosopher Ludwig Wittgenstein in his lifet...
Tractatus Logico-Philosophicus - Wikipedia
Principles of Mathematical Logic
Principles of Mathematical Logic is the 1950 American translation of the 1938 second edition of David Hilbert's and Wilhelm Ackermann's classic text Grundzüge der theoretischen Logik, on elementary m...
The Laws of Thought
The Laws of Thought, more precisely, An Investigation of the Laws of Thought on Which are Founded the Mathematical Theories of Logic and Probabilities, was an influential 19th century book by George B...
Laws of Form
Laws of Form (hereinafter LoF) is a book by G. Spencer-Brown, published in 1969, that straddles the boundary between mathematics and philosophy. LoF describes three distinct logical systems:Boundary a...
Attacking Faulty Reasoning
Attacking Faulty Reasoning is a textbook on logical fallacies by T. Edward Damer that has been used for many years in a number of college courses on logic, critical thinking, argumentation, and philos...
Grundlagen der Mathematik
Grundlagen der Mathematik (English: Foundations of Mathematics) is a two-volume work by David Hilbert and Paul Bernays. Originally published in 1934 and 1939, it presents fundamental mathematical ide...