Classical logic

Short description: Class of formal logics

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.

## Contents

* 1 Characteristics
* 2 History
* 3 Generalized semantics
* 4 References
* 5 Further reading

## Characteristics

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

1. Law of excluded middle and double negation elimination
2. Law of noncontradiction, and the principle of explosion
3. Monotonicity of entailment and idempotency of entailment
4. Commutativity of conjunction
5. 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

Main page: Philosophy:History of logic

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.

Begriffsschrift title page

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 insisted on classical, first-order logic as the true logic, saying higher-order logic was "set theory in disguise".

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.

## References

1. ↑ Nicholas Bunnin; Jiyuan Yu (2004). The Blackwell dictionary of Western philosophy. Wiley-Blackwell. p. 266. ISBN 978-1-4051-0679-5. https://books.google.com/books?id=OskKWI1YA7AC&pg=PA266.
2. ↑ 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. https://books.google.com/books?id=Z0KhywkpolMC&pg=PA156.
3. ↑ Akihiro Kanamori (2000). "Introduction". 6. Philosophy Documentation Center. https://www.bu.edu/wcp/IntroV6.htm.
4. ↑ 4.0 4.1 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/
5. ↑ 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.
6. ↑ Haack, Susan, (1996). Deviant Logic, Fuzzy Logic: Beyond the Formalism. Chicago: The University of Chicago Press.

## Further reading

* Warren Goldfarb, "Deductive Logic", 1st edition, 2003, ISBN:0-87220-660-2

* v
* t
* e

Classical logic

General|

* Quantifiers
* Predicate
* Connective
* Tautology
* Truth tables
* Truth function
* Truth value
* Well-formed formula
* Monotonicity of entailment
* Idempotency of entailment
* Logicism
* Problem of multiple generality
* Associativity
* Distribution

Classical logics|

* Propositional
* First-order
* Second-order
* Higher-order

Principles|

* Commutativity of conjunction
* Excluded middle
* Bivalence
* Noncontradiction
* Explosion

Rules|

* De Morgan's laws
* Material implication
* Transposition
* modus ponens
* modus tollens
* modus ponendo tollens
* Constructive dilemma
* Destructive dilemma
* Disjunctive syllogism
* Hypothetical syllogism
* Absorption

| Introduction|

* Negation
* Double negation
* Existential
* Universal
* Biconditional
* Conjunction
* Disjunction

|

Elimination|

* Double negation
* Existential
* Universal
* Biconditional
* Conjunction
* Disjunction

People|

* Bernard Bolzano
* George Boole
* Georg Cantor
* Richard Dedekind
* Augustus De Morgan
* Gottlob Frege
* Kurt Gödel
* Hugh MacColl
* Giuseppe Peano
* Charles Sanders Peirce
* Bertrand Russell
* Ernst Schröder
* Henry M. Sheffer
* Alfred Tarski
* Willard Van Orman Quine
* Ludwig Wittgenstein
* Jan Łukasiewicz

Works|

* Begriffsschrift
* Function and Concept
* The Principles of Mathematics
* Principia Mathematica
* Tractatus Logico-Philosophicus

* v
* t
* e

Mathematical logic

General|

* Formal language
* Formation rule
* Formal proof
* Formal semantics
* Well-formed formula
* Set
* Element
* Class
* Classical logic
* Axiom
* Rule of inference
* Relation
* Theorem
* Logical consequence
* Type theory
* Symbol
* Syntax
* Theory

Systems|

* Formal system
* Deductive system
* Axiomatic system
* Hilbert style systems
* Natural deduction
* Sequent calculus

Traditional logic|

* Proposition
* Inference
* Argument
* Validity
* Cogency
* Syllogism
* Square of opposition
* Venn diagram

Propositional calculus
and Boolean logic

* Boolean functions
* Propositional calculus
* Propositional formula
* Logical connectives
* Truth tables
* Many-valued logic

Predicate logic|

* First-order
* Quantifiers
* Predicate
* Second-order
* Monadic predicate calculus

Naive set theory|

* Set
* Empty set
* Element
* Enumeration
* Extensionality
* Finite set
* Infinite set
* Subset
* Power set
* Countable set
* Uncountable set
* Recursive set
* Domain
* Codomain
* Image
* Map
* Function
* Relation
* Ordered pair

Set theory|

* Foundations of mathematics
* Zermelo–Fraenkel set theory
* Axiom of choice
* General set theory
* Kripke–Platek set theory
* Von Neumann–Bernays–Gödel set theory
* Morse–Kelley set theory
* Tarski–Grothendieck set theory

Model theory|

* Model
* Interpretation
* Non-standard model
* Finite model theory
* Truth value
* Validity

Proof theory|

* Formal proof
* Deductive system
* Formal system
* Theorem
* Logical consequence
* Rule of inference
* Syntax

Computability
theory|

* Recursion
* Recursive set
* Recursively enumerable set
* Decision problem
* Church–Turing thesis
* Computable function
* Primitive recursive function

0.00

(0 votes)

Original source: https://en.wikipedia.org/wiki/Classical logic. Read more

|

Retrieved from "https://handwiki.org/wiki/index.php?title=Philosophy:Classical_logic&oldid=2876523"
*[v]: View this template
*[t]: Discuss this template
*[e]: Edit this template