Classical logic

Last updated January 02, 2025

Classical logic (or standard logic)^[1]^[2] or Frege–Russell logic^[3] is the intensively studied and most widely used class of deductive logic.^[4] Classical logic has had much influence on analytic philosophy.

Characteristics

Each logical system in this class shares characteristic properties:^[5]

Law of excluded middle and double negation elimination
Law of noncontradiction, and the principle of explosion
Monotonicity of entailment and idempotency of entailment
Commutativity of conjunction
De Morgan duality: every logical operator is dual to another

While not entailed by the preceding conditions, contemporary discussions of classical logic normally only include propositional and first-order logics.^[4]^[6] In other words, the overwhelming majority of time spent studying classical logic has been spent studying specifically propositional and first-order logic, as opposed to the other forms of classical logic.

Most semantics of classical logic are bivalent, meaning all of the possible denotations of propositions can be categorized as either true or false.

History

Classical logic is a 19th and 20th-century innovation. The name does not refer to classical antiquity, which used the term logic of Aristotle. Classical logic was the reconciliation of Aristotle's logic, which dominated most of the last 2000 years, with the propositional Stoic logic. The two were sometimes seen as irreconcilable.

Leibniz's calculus ratiocinator can be seen as foreshadowing classical logic. Bernard Bolzano has the understanding of existential import found in classical logic and not in Aristotle. Though he never questioned Aristotle, George Boole's algebraic reformulation of logic, so-called Boolean logic, was a predecessor of modern mathematical logic and classical logic. William Stanley Jevons and John Venn, who also had the modern understanding of existential import, expanded Boole's system.

The original first-order, classical logic is found in Gottlob Frege's Begriffsschrift . It has a wider application than Aristotle's logic and is capable of expressing Aristotle's logic as a special case. It explains the quantifiers in terms of mathematical functions. It was also the first logic capable of dealing with the problem of multiple generality, for which Aristotle's system was impotent. Frege, who is considered the founder of analytic philosophy, invented it to show all of mathematics was derivable from logic, and make arithmetic rigorous as David Hilbert had done for geometry, the doctrine is known as logicism in the foundations of mathematics. The notation Frege used never much caught on. Hugh MacColl published a variant of propositional logic two years prior.

The writings of Augustus De Morgan and Charles Sanders Peirce also pioneered classical logic with the logic of relations. Peirce influenced Giuseppe Peano and Ernst Schröder.

Classical logic reached fruition in Bertrand Russell and A. N. Whitehead's Principia Mathematica, and Ludwig Wittgenstein's Tractatus Logico Philosophicus . Russell and Whitehead were influenced by Peano (it uses his notation) and Frege and sought to show mathematics was derived from logic. Wittgenstein was influenced by Frege and Russell and initially considered the Tractatus to have solved all problems of philosophy.

Willard Van Orman Quine believed that a formal system that allows quantification over predicates (higher-order logic) didn't meet the requirements to be a logic, saying that it was "set theory in disguise".

Classical logic is the standard logic of mathematics. Many mathematical theorems rely on classical rules of inference such as disjunctive syllogism and the double negation elimination. The adjective "classical" in logic is not related to the use of the adjective "classical" in physics, which has another meaning. In logic, "classical" simply means "standard". Classical logic should also not be confused with term logic, also known as Aristotelian logic.

Jan Łukasiewicz pioneered non-classical logic.

Generalized semantics

With the advent of algebraic logic, it became apparent that classical propositional calculus admits other semantics. In Boolean-valued semantics (for classical propositional logic), the truth values are the elements of an arbitrary Boolean algebra; "true" corresponds to the maximal element of the algebra, and "false" corresponds to the minimal element. Intermediate elements of the algebra correspond to truth values other than "true" and "false". The principle of bivalence holds only when the Boolean algebra is taken to be the two-element algebra, which has no intermediate elements.

Related Research Articles

In logic, a logical connective is a logical constant. Connectives can be used to connect logical formulas. For instance in the syntax of propositional logic, the binary connective $can be used to join the two atomic formulas and, rendering the complex formula .$

In the philosophy of language, a proper name – examples include a name of a specific person or place – is a name which ordinarily is taken to uniquely identify its referent in the world. As such it presents particular challenges for theories of meaning, and it has become a central problem in analytic philosophy. The common-sense view was originally formulated by John Stuart Mill in A System of Logic (1843), where he defines it as "a word that answers the purpose of showing what thing it is that we are talking about but not of telling anything about it". This view was criticized when philosophers applied principles of formal logic to linguistic propositions. Gottlob Frege pointed out that proper names may apply to imaginary or nonexistent entities, without becoming meaningless, and he showed that sometimes more than one proper name may identify the same entity without having the same sense, so that the phrase "Homer believed the morning star was the evening star" could be meaningful and not tautological in spite of the fact that the morning star and the evening star identifies the same referent. This example became known as Frege's puzzle and is a central issue in the theory of proper names.

In logic, the semantic principleof bivalence states that every declarative sentence expressing a proposition has exactly one truth value, either true or false. A logic satisfying this principle is called a two-valued logic or bivalent logic.

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

The history of logic deals with the study of the development of the science of valid inference (logic). Formal logics developed in ancient times in India, China, and Greece. Greek methods, particularly Aristotelian logic as found in the Organon, found wide application and acceptance in Western science and mathematics for millennia. The Stoics, especially Chrysippus, began the development of predicate logic.

<span class="mw-page-title-main">Exclusive or</span> True when either but not both inputs are true

Exclusive or, exclusive disjunction, exclusive alternation, logical non-equivalence, or logical inequality is a logical operator whose negation is the logical biconditional. With two inputs, XOR is true if and only if the inputs differ. With multiple inputs, XOR is true if and only if the number of true inputs is odd.

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. It was revived after the third century CE by Porphyry's Isagoge.

A formal system is an abstract structure and formalization of an axiomatic system used for deducing, using rules of inference, theorems from axioms by a set of inference rules.

Friedrich Wilhelm Karl Ernst Schröder was a German mathematician mainly known for his work on algebraic logic. He is a major figure in the history of mathematical logic, by virtue of summarizing and extending the work of George Boole, Augustus De Morgan, Hugh MacColl, and especially Charles Peirce. He is best known for his monumental Vorlesungen über die Algebra der Logik, in three volumes, which prepared the way for the emergence of mathematical logic as a separate discipline in the twentieth century by systematizing the various systems of formal logic of the day.

<span class="mw-page-title-main">Material conditional</span> Logical connective

The material conditional is an operation commonly used in logic. When the conditional symbol $is interpreted as material implication, a formula is true unless is true and is false. Material implication can also be characterized inferentially by modus ponens, modus tollens, conditional proof, and classical reductio ad absurdum .$

Laws of Form is a book by G. Spencer-Brown, published in 1969, that straddles the boundary between mathematics and philosophy. LoF describes three distinct logical systems:

An Investigation of the Laws of Thought on Which are Founded the Mathematical Theories of Logic and Probabilities by George Boole, published in 1854, is the second of Boole's two monographs on algebraic logic. Boole was a professor of mathematics at what was then Queen's College, Cork, now University College Cork, in Ireland.

In mathematical logic, abstract algebraic logic is the study of the algebraization of deductive systems arising as an abstraction of the well-known Lindenbaum–Tarski algebra, and how the resulting algebras are related to logical systems.

Logic is the formal science of using reason and is considered a branch of both philosophy and mathematics and to a lesser extent computer science. Logic investigates and classifies the structure of statements and arguments, both through the study of formal systems of inference and the study of arguments in natural language. The scope of logic can therefore be very large, ranging from core topics such as the study of fallacies and paradoxes, to specialized analyses of reasoning such as probability, correct reasoning, and arguments involving causality. One of the aims of logic is to identify the correct and incorrect inferences. Logicians study the criteria for the evaluation of arguments.

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

Philosophy of logic is the area of philosophy that studies the scope and nature of logic. It investigates the philosophical problems raised by logic, such as the presuppositions often implicitly at work in theories of logic and in their application. This involves questions about how logic is to be defined and how different logical systems are connected to each other. It includes the study of the nature of the fundamental concepts used by logic and the relation of logic to other disciplines. According to a common characterisation, philosophical logic is the part of the philosophy of logic that studies the application of logical methods to philosophical problems, often in the form of extended logical systems like modal logic. But other theorists draw the distinction between the philosophy of logic and philosophical logic differently or not at all. Metalogic is closely related to the philosophy of logic as the discipline investigating the properties of formal logical systems, like consistency and completeness.

In logic, a quantifier is an operator that specifies how many individuals in the domain of discourse satisfy an open formula. For instance, the universal quantifier $in the first order formula expresses that everything in the domain satisfies the property denoted by . On the other hand, the existential quantifier in the formula expresses that there exists something in the domain which satisfies that property. A formula where a quantifier takes widest scope is called a quantified formula. A quantified formula must contain a bound variable and a subformula specifying a property of the referent of that variable.$

Logic is the study of correct reasoning. It includes both formal and informal logic. Formal logic is the study of deductively valid inferences or logical truths. It examines how conclusions follow from premises based on the structure of arguments alone, independent of their topic and content. Informal logic is associated with informal fallacies, critical thinking, and argumentation theory. Informal logic examines arguments expressed in natural language whereas formal logic uses formal language. When used as a countable noun, the term "a logic" refers to a specific logical formal system that articulates a proof system. Logic plays a central role in many fields, such as philosophy, mathematics, computer science, and linguistics.

In mathematics and mathematical logic, Boolean algebra is a branch of algebra. It differs from elementary algebra in two ways. First, the values of the variables are the truth values true and false, usually denoted 1 and 0, whereas in elementary algebra the values of the variables are numbers. Second, Boolean algebra uses logical operators such as conjunction (and) denoted as $\land$ , disjunction (or) denoted as $\lor$ , and negation (not) denoted as $\neg$ . Elementary algebra, on the other hand, uses arithmetic operators such as addition, multiplication, subtraction, and division. Boolean algebra is therefore a formal way of describing logical operations in the same way that elementary algebra describes numerical operations.

References

↑ Nicholas Bunnin; Jiyuan Yu (2004). The Blackwell dictionary of Western philosophy. Wiley-Blackwell. p. 266. ISBN 978-1-4051-0679-5.
↑ L. T. F. Gamut (1991). Logic, language, and meaning, Volume 1: Introduction to Logic. University of Chicago Press. pp. 156–157. ISBN 978-0-226-28085-1.
↑ Akihiro Kanamori (2000). "Introduction". Proceedings of the Twentieth World Congress of Philosophy. Vol. 6. Philosophy Documentation Center.
1 2 Shapiro, Stewart (2000). Classical Logic. In Stanford Encyclopedia of Philosophy [Web]. Stanford: The Metaphysics Research Lab. Retrieved October 28, 2006, from http://plato.stanford.edu/entries/logic-classical/
↑ Gabbay, Dov, (1994). 'Classical vs non-classical logic'. In D.M. Gabbay, C.J. Hogger, and J.A. Robinson, (Eds), Handbook of Logic in Artificial Intelligence and Logic Programming, volume 2, chapter 2.6. Oxford University Press.
↑ Haack, Susan, (1996). Deviant Logic, Fuzzy Logic: Beyond the Formalism. Chicago: The University of Chicago Press.