Table of Contents
59 relations: Alfred North Whitehead, Algebraic logic, Algebraic semantics (mathematical logic), Analytic philosophy, Aristotle, Arithmetic, Augustus De Morgan, Begriffsschrift, Bernard Bolzano, Bertrand Russell, Boolean algebra, Boolean algebra (structure), Calculus ratiocinator, Charles Sanders Peirce, Classical antiquity, Commutativity of conjunction, David Hilbert, De Morgan's laws, Deductive reasoning, Disjunctive syllogism, Double negation, Dov Gabbay, Ernst Schröder (mathematician), First-order logic, Foundations of mathematics, Geometry, George Boole, Giuseppe Peano, Gottfried Wilhelm Leibniz, Gottlob Frege, Higher-order logic, Hugh MacColl, Idempotency of entailment, Jan Łukasiewicz, John Venn, Law of excluded middle, Law of noncontradiction, Logical connective, Logicism, Ludwig Wittgenstein, Mathematical logic, Monotonicity of entailment, Non-classical logic, Principle of bivalence, Principle of explosion, Problem of multiple generality, Propositional calculus, Quantifier (logic), Semantics, Set theory, ... Expand index (9 more) »
Alfred North Whitehead
Alfred North Whitehead (15 February 1861 – 30 December 1947) was an English mathematician and philosopher.
See Classical logic and Alfred North Whitehead
Algebraic logic
In mathematical logic, algebraic logic is the reasoning obtained by manipulating equations with free variables. Classical logic and algebraic logic are history of logic.
See Classical logic and Algebraic logic
Algebraic semantics (mathematical logic)
In mathematical logic, algebraic semantics is a formal semantics based on algebras studied as part of algebraic logic.
See Classical logic and Algebraic semantics (mathematical logic)
Analytic philosophy
Analytic philosophy is a broad, contemporary movement or tradition within Western philosophy and especially anglophone philosophy, focused on analysis. Classical logic and Analytic philosophy are history of logic.
See Classical logic and Analytic philosophy
Aristotle
Aristotle (Ἀριστοτέλης Aristotélēs; 384–322 BC) was an Ancient Greek philosopher and polymath.
See Classical logic and Aristotle
Arithmetic
Arithmetic is an elementary branch of mathematics that studies numerical operations like addition, subtraction, multiplication, and division.
See Classical logic and Arithmetic
Augustus De Morgan
Augustus De Morgan (27 June 1806 – 18 March 1871) was a British mathematician and logician.
See Classical logic and Augustus De Morgan
Begriffsschrift
Begriffsschrift (German for, roughly, "concept-writing") is a book on logic by Gottlob Frege, published in 1879, and the formal system set out in that book.
See Classical logic and Begriffsschrift
Bernard Bolzano
Bernard Bolzano (born Bernardus Placidus Johann Nepomuk Bolzano; 5 October 1781 – 18 December 1848) was a Bohemian mathematician, logician, philosopher, theologian and Catholic priest of Italian extraction, also known for his liberal views. Classical logic and Bernard Bolzano are history of logic.
See Classical logic and Bernard Bolzano
Bertrand Russell
Bertrand Arthur William Russell, 3rd Earl Russell, (18 May 1872 – 2 February 1970) was a British mathematician, logician, philosopher, and public intellectual.
See Classical logic and Bertrand Russell
Boolean algebra
In mathematics and mathematical logic, Boolean algebra is a branch of algebra.
See Classical logic and Boolean algebra
Boolean algebra (structure)
In abstract algebra, a Boolean algebra or Boolean lattice is a complemented distributive lattice.
See Classical logic and Boolean algebra (structure)
Calculus ratiocinator
The calculus ratiocinator is a theoretical universal logical calculation framework, a concept described in the writings of Gottfried Leibniz, usually paired with his more frequently mentioned characteristica universalis, a universal conceptual language.
See Classical logic and Calculus ratiocinator
Charles Sanders Peirce
Charles Sanders Peirce (September 10, 1839 – April 19, 1914) was an American scientist, mathematician, logician, and philosopher who is sometimes known as "the father of pragmatism".
See Classical logic and Charles Sanders Peirce
Classical antiquity
Classical antiquity, also known as the classical era, classical period, classical age, or simply antiquity, is the period of cultural European history between the 8th century BC and the 5th century AD comprising the interwoven civilizations of ancient Greece and ancient Rome known together as the Greco-Roman world, centered on the Mediterranean Basin.
See Classical logic and Classical antiquity
Commutativity of conjunction
In propositional logic, the commutativity of conjunction is a valid argument form and truth-functional tautology.
See Classical logic and Commutativity of conjunction
David Hilbert
David Hilbert (23 January 1862 – 14 February 1943) was a German mathematician and one of the most influential mathematicians of his time.
See Classical logic and David Hilbert
De Morgan's laws
In propositional logic and Boolean algebra, De Morgan's laws, also known as De Morgan's theorem, are a pair of transformation rules that are both valid rules of inference.
See Classical logic and De Morgan's laws
Deductive reasoning
Deductive reasoning is the process of drawing valid inferences. Classical logic and Deductive reasoning are logic.
See Classical logic and Deductive reasoning
Disjunctive syllogism
In classical logic, disjunctive syllogism (historically known as modus tollendo ponens (MTP), Latin for "mode that affirms by denying") is a valid argument form which is a syllogism having a disjunctive statement for one of its premises.
See Classical logic and Disjunctive syllogism
Double negation
In propositional logic, the double negation of a statement states that "it is not the case that the statement is not true".
See Classical logic and Double negation
Dov Gabbay
Dov M. Gabbay (born October 26, 1945) is an Israeli logician.
See Classical logic and Dov Gabbay
Ernst Schröder (mathematician)
Friedrich Wilhelm Karl Ernst Schröder (25 November 1841 in Mannheim, Grand Duchy of Baden – 16 June 1902 in Karlsruhe, Germany) was a German mathematician mainly known for his work on algebraic logic.
See Classical logic and Ernst Schröder (mathematician)
First-order logic
First-order logic—also called predicate logic, predicate calculus, quantificational logic—is a collection of formal systems used in mathematics, philosophy, linguistics, and computer science.
See Classical logic and First-order logic
Foundations of mathematics
Foundations of mathematics is the logical and mathematical framework that allows the development of mathematics without generating self-contradictory theories, and, in particular, to have reliable concepts of theorems, proofs, algorithms, etc.
See Classical logic and Foundations of mathematics
Geometry
Geometry is a branch of mathematics concerned with properties of space such as the distance, shape, size, and relative position of figures.
See Classical logic and Geometry
George Boole
George Boole Jnr (2 November 1815 – 8 December 1864) was a largely self-taught English mathematician, philosopher, and logician, most of whose short career was spent as the first professor of mathematics at Queen's College, Cork in Ireland.
See Classical logic and George Boole
Giuseppe Peano
Giuseppe Peano (27 August 1858 – 20 April 1932) was an Italian mathematician and glottologist.
See Classical logic and Giuseppe Peano
Gottfried Wilhelm Leibniz
Gottfried Wilhelm Leibniz (– 14 November 1716) was a German polymath active as a mathematician, philosopher, scientist and diplomat who invented calculus in addition to many other branches of mathematics, such as binary arithmetic, and statistics.
See Classical logic and Gottfried Wilhelm Leibniz
Gottlob Frege
Friedrich Ludwig Gottlob Frege (8 November 1848 – 26 July 1925) was a German philosopher, logician, and mathematician.
See Classical logic and Gottlob Frege
Higher-order logic
In mathematics and logic, a higher-order logic (abbreviated HOL) is a form of logic that is distinguished from first-order logic by additional quantifiers and, sometimes, stronger semantics.
See Classical logic and Higher-order logic
Hugh MacColl
Hugh MacColl (before April 1885 spelled as Hugh McColl; 1831–1909) was a Scottish mathematician, logician and novelist.
See Classical logic and Hugh MacColl
Idempotency of entailment
Idempotency of entailment is a property of logical systems that states that one may derive the same consequences from many instances of a hypothesis as from just one.
See Classical logic and Idempotency of entailment
Jan Łukasiewicz
Jan Łukasiewicz (21 December 1878 – 13 February 1956) was a Polish logician and philosopher who is best known for Polish notation and Łukasiewicz logic.
See Classical logic and Jan Łukasiewicz
John Venn
John Venn, FRS, FSA (4 August 1834 – 4 April 1923) was an English mathematician, logician and philosopher noted for introducing Venn diagrams, which are used in logic, set theory, probability, statistics, and computer science.
See Classical logic and John Venn
Law of excluded middle
In logic, the law of excluded middle or the principle of excluded middle states that for every proposition, either this proposition or its negation is true.
See Classical logic and Law of excluded middle
Law of noncontradiction
In logic, the law of non-contradiction (LNC) (also known as the law of contradiction, principle of non-contradiction (PNC), or the principle of contradiction) states that contradictory propositions cannot both be true in the same sense at the same time, e. g. the two propositions "p is the case" and "p is not the case" are mutually exclusive.
See Classical logic and Law of noncontradiction
Logical connective
In logic, a logical connective (also called a logical operator, sentential connective, or sentential operator) is a logical constant.
See Classical logic and Logical connective
Logicism
In the philosophy of mathematics, logicism is a programme comprising one or more of the theses that – for some coherent meaning of 'logic' – mathematics is an extension of logic, some or all of mathematics is reducible to logic, or some or all of mathematics may be modelled in logic.
See Classical logic and Logicism
Ludwig Wittgenstein
Ludwig Josef Johann Wittgenstein (26 April 1889 – 29 April 1951) was an Austrian philosopher who worked primarily in logic, the philosophy of mathematics, the philosophy of mind, and the philosophy of language.
See Classical logic and Ludwig Wittgenstein
Mathematical logic
Mathematical logic is the study of formal logic within mathematics. Classical logic and Mathematical logic are logic.
See Classical logic and Mathematical logic
Monotonicity of entailment
Monotonicity of entailment is a property of many logical systems such that if a sentence follows deductively from a given set of sentences then it also follows deductively from any superset of those sentences.
See Classical logic and Monotonicity of entailment
Non-classical logic
Non-classical logics (and sometimes alternative logics) are formal systems that differ in a significant way from standard logical systems such as propositional and predicate logic. Classical logic and Non-classical logic are history of logic.
See Classical logic and Non-classical logic
Principle of bivalence
In logic, the semantic principle (or law) of bivalence states that every declarative sentence expressing a proposition (of a theory under inspection) has exactly one truth value, either true or false. Classical logic and principle of bivalence are logic.
See Classical logic and Principle of bivalence
Principle of explosion
In classical logic, intuitionistic logic, and similar logical systems, the principle of explosion is the law according to which any statement can be proven from a contradiction.
See Classical logic and Principle of explosion
Problem of multiple generality
The problem of multiple generality names a failure in traditional logic to describe certain intuitively valid inferences.
See Classical logic and Problem of multiple generality
Propositional calculus
The propositional calculus is a branch of logic.
See Classical logic and Propositional calculus
Quantifier (logic)
In logic, a quantifier is an operator that specifies how many individuals in the domain of discourse satisfy an open formula. Classical logic and quantifier (logic) are logic.
See Classical logic and Quantifier (logic)
Semantics
Semantics is the study of linguistic meaning.
See Classical logic and Semantics
Set theory
Set theory is the branch of mathematical logic that studies sets, which can be informally described as collections of objects.
See Classical logic and Set theory
Stewart Shapiro
Stewart Shapiro (born 1951) is O'Donnell Professor of Philosophy at the Ohio State University and distinguished visiting professor at the University of Connecticut.
See Classical logic and Stewart Shapiro
Stoic logic
Stoic logic is the system of propositional logic developed by the Stoic philosophers in ancient Greece.
See Classical logic and Stoic logic
Susan Haack
Susan Haack (born 1945) is a distinguished professor in the humanities, Cooper Senior Scholar in Arts and Sciences, professor of philosophy, and professor of law at the University of Miami in Coral Gables, Florida. Classical logic and Susan Haack are history of logic.
See Classical logic and Susan Haack
Syllogism
A syllogism (συλλογισμός, syllogismos, 'conclusion, inference') is a kind of logical argument that applies deductive reasoning to arrive at a conclusion based on two propositions that are asserted or assumed to be true.
See Classical logic and Syllogism
Term logic
In logic and formal semantics, term logic, also known as traditional logic, syllogistic logic or Aristotelian logic, is a loose name for an approach to formal logic that began with Aristotle and was developed further in ancient history mostly by his followers, the Peripatetics. Classical logic and term logic are history of logic and logic.
See Classical logic and Term logic
Tractatus Logico-Philosophicus
The Tractatus Logico-Philosophicus (widely abbreviated and cited as TLP) is the only book-length philosophical work by the Austrian philosopher Ludwig Wittgenstein that was published during his lifetime.
See Classical logic and Tractatus Logico-Philosophicus
Two-element Boolean algebra
In mathematics and abstract algebra, the two-element Boolean algebra is the Boolean algebra whose underlying set (or universe or carrier) B is the Boolean domain.
See Classical logic and Two-element Boolean algebra
Willard Van Orman Quine
Willard Van Orman Quine (known to his friends as "Van"; June 25, 1908 – December 25, 2000) was an American philosopher and logician in the analytic tradition, recognized as "one of the most influential philosophers of the twentieth century".
See Classical logic and Willard Van Orman Quine
William Stanley Jevons
William Stanley Jevons (1 September 1835 – 13 August 1882) was an English economist and logician.
See Classical logic and William Stanley Jevons
References
Also known as Classical logics, Classical math, Classical mathematical, Crisp logic, History of classical logic.