Aristotle Aristotle (Aristotélēs; 384) was a Greek philosopher born in Stagirus, northern Greece, in.
Benson Mates Benson Mates (May 19, 1919, Portland, Oregon – May 14, 2009, Berkeley, California) was an American philosopher, noted for his work in logic, the history of philosophy, and skepticism.
Boole's syllogistic Boolean logic is a system of syllogistic logic invented by 19th-century British mathematician George Boole, which attempts to incorporate the "empty set", that is, a class of non-existent entiti...
Catuṣkoṭi Catuṣkoṭi is a logical argument of a 'suite of four discrete functions' or 'an indivisible quaternity' that has multiple applications and has been important in the Dharmic traditions of Indi...
Charles Sanders Peirce Charles Sanders Peirce (like "purse", September 10, 1839 – April 19, 1914) was an American philosopher, logician, mathematician, and scientist, sometimes known as "the father of pragmatism".
Charles Sanders Peirce bibliography This Charles Sanders Peirce bibliography consolidates numerous references to Charles Sanders Peirce's writings, including letters, manuscripts, publications, and Nachlass.
Concatenation theory Concatenation theory, string theory, or more fully character-string theory—also called theoretical syntax—studies character strings over finite alphabets of characters, signs, symbols, or marks.
Condition (philosophy) According to the 2007 American Philosophy: an Encyclopedia, in one widely used sense, conditions are or resemble qualities, properties, features, characteristics, or attributes.
Dharmakirti Dharmakīrti (ca. 7th century) also known as Serlingpa Dharmakīrti or Suvarnadvipi Dharmakīrti, was a Buddhist scholar of Srivijayan origin, Suvarnadvipa (Sumatra).
Dignāga Dignāga (陳那論師/域龍, दिग्नाग, Tibetan: ཕྱོགས་ཀྱི་གླང་པོ་) (c 480-540 CE) was an Indian scholar and one of the Buddhist founders of Indian logic.
Entitative graph An entitative graph is an element of the diagrammatic syntax for logic that Charles Sanders Peirce developed under the name of qualitative logic beginning in the 1880s, taking the coverag...
Existential graph An existential graph is a type of diagrammatic or visual notation for logical expressions, proposed by Charles Sanders Peirce, who wrote on graphical logic as early as 1882, and continued to dev...
Gongsun Long Gongsun Long (BC) was a member of the School of Names (Logicians) of ancient Chinese philosophy.
Hans Sluga Hans D. Sluga (born April 24, 1939) is a German academic, who is a professor of philosophy at the University of California, Berkeley.
Hetucakra Hetucakra is a Sanskrit text on logic written by Dignaga (c 480–540 CE).
History of logic The history of logic is the study of the development of the science of valid inference (logic).
John W. Dawson, Jr John W. Dawson, Jr. (born February 4, 1944) is Professor of Mathematics, Emeritus at Pennsylvania State University at York.
José Miguel Sagüillo José Miguel Sagüillo is Catedrático and Professor of Logic at the University of Santiago de Compostela.
Logic in China Logic in China plays a particularly interesting role in the history of logic due to its repression and abandonment compared to the strong ancient adoption and continued development of the study ...
Logic Lane Logic Lane is a small historic cobbled lane through University College in Oxford, England, so-called because it was the location of a school of logicians.
Logica nova In the history of logic, the term logica nova (Latin, meaning new logic) refers to a subdivision of the logical tradition of Western Europe, as it existed around the middle of the thirteenth...
Lwów-Warsaw school of logic The Lwów–Warsaw School of Logic was headed by Kazimierz Twardowski, who had been a student of Franz Brentano and is regarded as the "father of Polish logic.
Lwów–Warsaw school of logic The Lwów–Warsaw School of Logic was headed by Kazimierz Twardowski, who had been a student of Franz Brentano and is regarded as the "father of Polish logic.
Megarian school The Megarian school of philosophy, which flourished in the 4th century BC, was founded by Euclid of Megara, one of the pupils of Socrates.
Novum Organum The Novum Organum, full original title Novum Organum Scientiarum, is a philosophical work by Francis Bacon, written in Latin and published in 1620.
Nyaya The Nyaya school of philosophical speculation is based on texts known as the Nyaya Sutras, which were written by Aksapada Gautama from around the 2nd century BCE.
Nyāya Sūtras The Nyāya Sūtras are an ancient Indian text on of philosophy composed by.
Organon The Organon (Greek: Ὄργανον, meaning "instrument, tool, organ") is the standard collection of Aristotle's six works on logic.
Osmund Lewry Patrick Osmund Lewry was a Dominican who made significant contributions to the history of logic and the philosophy of language in the thirteenth century.
Polish Logic Polish Logic is an anthology of papers by several authors, including Kazimierz Ajdukiewicz, published in 1967 and covering the period 1920–1939.
Port-Royal Logic Port-Royal Logic, or Logique de Port-Royal, is the common name of La logique, ou l'art de penser, an important textbook on logic first published anonymously in 1662 by Antoine Arnaul...
Pramana Pramāṇa is an epistemological term in Hindu and Buddhist dialectic, debate and discourse.
Pramāṇa-samuccaya The Pramāṇa-samuccaya is a work by Dignāga, the early medieval Indian Buddhist logician and epistemologist, which may be seen as the definitive statement of his epistemological work.
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, o...
Prior Analytics The Prior Analytics or Analytica Priora is Aristotle's work on deductive reasoning, which is known as his syllogistic.
Ramism Ramism was a collection of theories on rhetoric, logic and pedagogy based on the teachings of Petrus Ramus, a French academic, philosopher and Huguenot convert who was murdered in 1572 during th...
School of Names The Logicians or School of Names was a school of Chinese philosophy that grew out of Mohism during the Warring States period in 479–221 BCE. It is also sometimes called the School of F...
Sum of Logic The Summa Logicae is a textbook on logic by William of Ockham.
Supposition theory Supposition theory was a branch of medieval logic that was probably aimed at giving accounts of issues similar to modern accounts of reference, plurality, tense, and modality, within an Aristote...
William Kneale William Calvert Kneale (22 June 1906 – 24 June 1990) was an English logician best known for his 1962 book The Development of Logic, a history of logic from its beginnings in Ancient Gr...
Wolfram axiom The Wolfram axiom is the result of a computer exploration undertaken by Stephen Wolfram in his A New Kind of Science looking for the shortest single axiom equivalent to the axioms of Boolean algebra.