Encyclopedia > Aristotelian logic

  Article Content

Aristotelian logic

Aristotelian logic, also known as syllogistic, is the particular type of predicate logic created by Aristotle, primarily in his works Prior Analytics and De Interpretatione.

Aristotle recognised 4 kinds of quantified sentences, each of which contain a subject and a predicate:

  • Universal affirmative: Every S is a P.
  • Universal negative: No S is a P.
  • Particular affirmative: Some S is a P.
  • Particular negative: Not every S is a P.

There are various ways to combine such sentences into syllogisms, both valid and invalid. In Mediaeval times, students of Aristotelian logic classified every possibility and gave them a name. For example, the Barbara syllogism is as follows:

  • Every X is a Y.
  • Every Y is a Z.
  • Therefore, every X is a Z.

Aristotle also recognised the various immediate entailments that each type of sentence has. For example, the truth of a universal affirmative entails the truth of the corresponding particular affirmative, and the falsity of the corresponding universal negative and particular negative. The square of opposition lists all these logical entailments.

Famously, Aristotelian logic runs into trouble when one or more of the terms involved is empty (has no members). For example, under Aristotelian logic, "all trespassers will be prosecuted" implies the existence of at least one trespasser.

See also: logic



All Wikipedia text is available under the terms of the GNU Free Documentation License

 
  Search Encyclopedia

Search over one million articles, find something about almost anything!
 
 
  
  Featured Article
East Farmingdale, New York

... median income for a family is $71,726. Males have a median income of $51,332 versus $32,188 for females. The per capita income for the town is $25,466. 7.0% of the ...

 
 
 
This page was created in 36.7 ms