## Syllogism in the history of logic::Syllogism

### ::concepts

Modus::style    Small::solid    Logic::premise    Outline::terms    Premises::which    Clear::forms

Syllogism in the history of logic {{#invoke:main|main}}

The Aristotelian syllogism dominated Western philosophical thought for many centuries. In the 17th century, Sir Francis Bacon rejected the idea of syllogism as being the best way to draw conclusions in nature.<ref name=instauration>See Bacon, Francis. "The Great Instauration," 1620. This text can be found (as of the access date of 11/12/13) at the Constitution Society website at the following URL: http://www.constitution.org/bacon/instauration.htm.</ref> Instead, Bacon proposed a more inductive approach to the observation of nature, which involves experimentation and leads to discovering and building on axioms to create a more general conclusion.<ref name=instauration />

In the 19th Century, modifications to syllogism were incorporated to deal with disjunctive ("A or B") and conditional ("if A then B") statements. Kant famously claimed, in Logic (1800), that logic was the one completed science, and that Aristotelian logic more or less included everything about logic there was to know. (This work is not necessarily representative of Kant's mature philosophy, which is often regarded as an innovation to logic itself.) Though there were alternative systems of logic such as Avicennian logic or Indian logic elsewhere,{{ safesubst:#invoke:Unsubst||date=__DATE__ |\$B= {{#invoke:Category handler|main}}{{#invoke:Category handler|main}}[citation needed] }} Kant's opinion stood unchallenged in the West until 1879 when Frege published his Begriffsschrift (Concept Script). This introduced a calculus, a method of representing categorical statements — and statements that are not provided for in syllogism as well — by the use of quantifiers and variables.

This led to the rapid development of sentential logic and first-order predicate logic, subsuming syllogistic reasoning, which was, therefore, after 2000 years, suddenly considered obsolete by many.{{ safesubst:#invoke:Unsubst||\$N=OR |date=__DATE__ |\$B= {{#invoke:Category handler|main}}[original research?] }} The Aristotelian system is explicated in modern fora of academia primarily in introductory material and historical study.

One notable exception to this modern relegation is the continued application of Aristotelian logic by officials of the Congregation for the Doctrine of the Faith, and the Apostolic Tribunal of the Roman Rota, which still requires that arguments crafted by Advocates be presented in syllogistic format.

### Boole's acceptance of Aristotle

George Boole's unwavering acceptance of Aristotle's logic is emphasized by the historian of logic John Corcoran in an accessible introduction to Laws of Thought.<ref>George Boole. 1854/2003. The Laws of Thought, facsimile of 1854 edition, with an introduction by J. Corcoran. Buffalo: Prometheus Books (2003). Reviewed by James van Evra in Philosophy in Review.24 (2004) 167–169.</ref> Corcoran also wrote a point-by-point comparison of Prior Analytics and Laws of Thought.<ref>John Corcoran, Aristotle's Prior Analytics and Boole's Laws of Thought, History and Philosophy of Logic, vol. 24 (2003), pp. 261–288.</ref> According to Corcoran, Boole fully accepted and endorsed Aristotle's logic. Boole's goals were "to go under, over, and beyond" Aristotle's logic by 1) providing it with mathematical foundations involving equations, 2) extending the class of problems it could treat—solving equations was added to assessing validity, and 3) expanding the range of applications it could handle—e.g. from propositions having only two terms to those having arbitrarily many.

More specifically, Boole agreed with what Aristotle said; Boole's 'disagreements', if they might be called that, concern what Aristotle did not say. First, in the realm of foundations, Boole reduced Aristotle's four propositional forms to one form, the form of equations—by itself a revolutionary idea. Second, in the realm of logic's problems, Boole's addition of equation solving to logic—another revolutionary idea—involved Boole's doctrine that Aristotle's rules of inference (the "perfect syllogisms") must be supplemented by rules for equation solving. Third, in the realm of applications, Boole's system could handle multi-term propositions and arguments whereas Aristotle could handle only two-termed subject-predicate propositions and arguments. For example, Aristotle's system could not deduce "No quadrangle that is a square is a rectangle that is a rhombus" from "No square that is a quadrangle is a rhombus that is a rectangle" or from "No rhombus that is a rectangle is a square that is a quadrangle".

Syllogism sections
Intro  Early history  Basic structure  Terms in syllogism  Existential import  Syllogism in the history of logic  Syllogistic fallacies  See also  Notes  References  External links

 Syllogism in the history of logic PREVIOUS: Existential import NEXT: Syllogistic fallacies << >>