Algebraic logic

In mathematical logic, algebraic logic is the reasoning obtained by manipulating equations with free variables.

In mathematical logic, algebraic logic is the reasoning obtained by manipulating equations with free variables.

Argument-deduction-proof distinctions

Argument-deduction-proof distinctions originated with logic itself.

Argument-deduction-proof distinctions originated with logic itself.

Aristotle

Aristotle (Aristotélēs; 384) was a Greek philosopher born in Stagirus, northern Greece, in.

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.

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...

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...

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 (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.

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.

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.

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).

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.

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...

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...

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.

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.

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).

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).

The history of logic is the study of the development of the science of valid inference (logic).

History of type theory

Later, type theory referred to a class of formal systems, some of which can serve as alternatives to naive set theory as a foundation for all mathematics.

Later, type theory referred to a class of formal systems, some of which can serve as alternatives to naive set theory as a foundation for all mathematics.

Illuminationism

Illuminationism is a doctrine in theology according to which the process of human thought needs to be aided by Magic.

Illuminationism is a doctrine in theology according to which the process of human thought needs to be aided by Magic.

Inclusion (logic)

In logic and mathematics inclusion is the concept that all the contents of one object are also contained within a second object.

In logic and mathematics inclusion is the concept that all the contents of one object are also contained within a second object.

Indian logic

The development of Indian logic dates back to the anviksiki of Medhatithi Gautama (c.

The development of Indian logic dates back to the anviksiki of Medhatithi Gautama (c.

Insolubilia

In the Middle Ages, variations on the liar paradox were studied under the name of insolubilia (insolubles).

In the Middle Ages, variations on the liar paradox were studied under the name of insolubilia (insolubles).

Ivor Grattan-Guinness

Ivor Grattan-Guinness (born 23 June 1941, in Bakewell, England) is a historian of mathematics and logic.

Ivor Grattan-Guinness (born 23 June 1941, in Bakewell, England) is a historian of mathematics and logic.

Jacobus Naveros

Jacob Naveros was an early sixteenth century Spanish logician.

Jacob Naveros was an early sixteenth century Spanish logician.

Jan Łukasiewicz

Jan Łukasiewicz (21 December 1878 – 13 February 1956) was a Polish logician and philosopher born in Lwów (Lemberg in German), Galicia, then Austria-Hungary.

Jan Łukasiewicz (21 December 1878 – 13 February 1956) was a Polish logician and philosopher born in Lwów (Lemberg in German), Galicia, then Austria-Hungary.

Jayanta Bhatta

Jayanta Bhatta (c. 9th Century CE) was a Kashmiri poet and philosopher of Nyaya school of Indian philosophy.

Jayanta Bhatta (c. 9th Century CE) was a Kashmiri poet and philosopher of Nyaya school of Indian philosophy.

John Corcoran (logician)

John Corcoran (born 1937) is a logician, philosopher, mathematician, and historian of logic.

John Corcoran (born 1937) is a logician, philosopher, mathematician, and historian of logic.

John W. Dawson, Jr

John W. Dawson, Jr. (born February 4, 1944) is Professor of Mathematics, Emeritus at Pennsylvania State University at York.

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.

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 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 in Islamic philosophy

Logic (منطق) played an important role in Islamic philosophy.

Logic (منطق) played an important role in Islamic philosophy.

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.

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...

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.

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.

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.

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.

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.

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.

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.

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.

Patrick Osmund Lewry was a Dominican who made significant contributions to the history of logic and the philosophy of language in the thirteenth century.

Peter Simons (academic)

Peter Simons, FBA is a professor of philosophy at Trinity College Dublin.

Peter Simons, FBA is a professor of philosophy at Trinity College Dublin.

Polish Logic

Polish Logic is an anthology of papers by several authors, including Kazimierz Ajdukiewicz, published in 1967 and covering the period 1920–1939.

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...

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 (sources of knowledge, Sanskrit प्रमाण or pramāṇas) is an epistemological term in Hindu and Buddhist dialectic, debate and discourse.

Pramāṇa (sources of knowledge, Sanskrit प्रमाण or pramāṇas) 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.

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...

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.

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...

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...

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.

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...

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...

Systems of Logic Based on Ordinals

Systems of Logic Based on Ordinals was the PhD dissertation of the mathematician Alan Turing.

Systems of Logic Based on Ordinals was the PhD dissertation of the mathematician Alan Turing.

Term logic

In philosophy, term logic, also known as traditional logic or Aristotelian logic, is a loose name for the way of doing logic that began with Aristotle and that was dominant until the...

In philosophy, term logic, also known as traditional logic or Aristotelian logic, is a loose name for the way of doing logic that began with Aristotle and that was dominant until the...

Tetralemma

The tetralemma is a figure that features prominently in the classical logic of the Greeks.

The tetralemma is a figure that features prominently in the classical logic of the Greeks.

Trairūpya

Trairūpya (Sanskrit; English: "the triple-character of inferential sign") is a conceptual tool of Buddhist logic.

Trairūpya (Sanskrit; English: "the triple-character of inferential sign") is a conceptual tool of Buddhist logic.

Wholistic reference

Wholistic reference is reference to the whole—with respect to the context.

Wholistic reference is reference to the whole—with respect to the context.

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...

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.

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.