File:Square_of_opposition,_set_diagrams.svg · Wikimedia Commons · See Wikimedia Commons
syllogism
Sign in to saveA 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.
A syllogism is a type of logical argument where you start with two statements that are assumed to be true and use deductive reasoning to reach a conclusion. It matters because it provides a structured way to test whether conclusions actually follow logically from the statements that support them.
AI-generated from the Wikipedia summary — may contain errors.
In the Vinony graph
Within Vinony's link graph, syllogism is referenced by 929 other articles, and connects out to categorical proposition, semantic theory of truth and mathematical logic.
It sits within the topics Ancient Greek logic, Arguments and Syllogism.
Its subject is documented across 66 Wikipedia language editions.
Wikidata facts
- Image
- Syllogismus-Beispiel.svg
Show 1 more fact
- Commons category
- Syllogisms
via Wikidata · CC0
~27 min read
Encyclopedic overview
30 sectionsContents
- Early history
- Aristotle
- Medieval syllogism
- Boethius
- Peter Abelard
- Jean Buridan
- Modern history
- Boole's acceptance of Aristotle
- Basic structure
- Polysyllogism
- Types<!--linked from 'Term logic'-->
- Examples
- Barbara (AAA-1){{anchor|Modus Barbara}}
- Celarent (EAE-1){{anchor|Modus Celarent}}
- Darii (AII-1){{anchor|Modus Darii}}
- Ferio (EIO-1){{anchor|Modus Ferio}}
- Baroco (AOO-2){{anchor|Modus Baroco}}
- Bocardo (OAO-3){{anchor|Modus Bocardo}}
- ''Barbari (AAI-1)''{{anchor|Modus Barbari}}
- ''Celaront (EAO-1)''{{anchor|Modus Celaront}}
- ''Camestros (AEO-2)''{{anchor|Modus Camestros}}
- ''Felapton (EAO-3)''{{anchor|Modus Felapton}}
- ''Darapti (AAI-3)''{{anchor|Modus Darapti}}
- Table of all syllogisms
- Syllogistic fallacies
- Other types
- See also
- References
- Sources
- External links
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.
In its earliest form (defined by Aristotle in his 350 BC book Prior Analytics), a deductive syllogism arises when two true premises (propositions or statements) validly imply a conclusion, or the main point that the argument aims to get across. For example, knowing that all men are mortal (major premise), and that Socrates is a man (minor premise), we may validly conclude that Socrates is mortal. Syllogistic arguments are usually represented in a three-line form:
Excerpted from Wikipedia’s “syllogism” article, available under the CC BY-SA 4.0 licence.
Gallery (52)
Available in 66 languages
- Español
- Français
- Deutsch
- 中文
- 日本語
- Русский
- Português
- Italiano
- العربية
- हिन्दी
- Albanian
- Albanian
- Armenian
- Azerbaijani
- Bahasa Indonesia
- Basque
- Belarusian
- Breton
Show 47 more
- Bulgarian
- Catalan
- Central Kurdish
- Croatian
- Czech
- Danish
- Esperanto
- Estonian
- Filipino
- Finnish
- Galician
- Greek
- Hebrew
- Hungarian
- Icelandic
- Ido
- Interlingua
- Kazakh
- Kyrgyz
- Latin
- Lithuanian
- Low German
- Luxembourgish
- Macedonian
- Marathi
- Nederlands
- Norwegian
- Novial
- Occitan
- Palatine German
- Piedmontese
- Polski
- Romanian
- Serbian
- simple
- Slovak
- Slovenian
- Svenska
- Tiếng Việt
- Türkçe
- Ukrainian
- Urdu
- Uzbek
- Wu Chinese
- zh_yue
- فارسی
- 한국어
via Wikidata sitelinks · CC0