Categorical Syllogism ― A logical argument consisting of exactly three categorical propositions, two premises and the conclusion, with a total of exactly three categorical terms, each used in only two of the propositions. Establishing Validity - Rules and Fallacies Since the validity of a categorical syllogism depends solely upon its logical form, it is relatively simple to state the conditions under which the premises of syllogisms succeed in guaranteeing the truth of their conclusions. Relying heavily upon the medieval tradition, Copi & Cohen provide a list of six rules, each of which states a necessary condition for the validity of any categorical syllogism. Violating any of these rules involves committing one of the formal fallacies, errors in reasoning that result from reliance on an invalid logical form. In every valid standard-form categorical syllogism . 1. there must be exactly three unambiguous categorical terms. The use of exactly three categorical terms is part of the definition of a categorical syllogism, and we saw earlier that the use of an ambiguous term in more than one of its senses amounts to the use of two distinct terms. In categorical syllogisms, using more than three terms commits the fallacy of four terms (quaternio terminorum). 2. the middle term must be distributed in at least one premise. In order to effectively establish the presence of a genuine connection between the major and minor terms, the premises of a syllogism must provide some information about the entire class designated by the middle term. If the middle term were undistributed in both premises, then the two portions of the designated class of which they speak might be completely unrelated to each other. Syllogisms that violate this rule are said to commit the fallacy of the undistributed middle. 3. any term distributed in the conclusion must also be distributed in its premise. A premise that refers only to some members of the class designated by the major or minor term of a syllogism cannot be used to support a conclusion that claims to tell us about every member of that class. Depending which of the terms is misused in this way, syllogisms in violation commit either the fallacy of the illicit major or the fallacy of the illicit minor. 4. at least one premise must be affirmative. Since the exclusion of the class designated by the middle term from each of the classes designated by the major and minor terms entails nothing about the relationship between those two classes, nothing follows from two negative premises. The fallacy of exclusive premises violates this rule. 5. if either premise is negative, the conclusion must also be negative. For similar reasons, no affirmative conclusion about class inclusion can follow if either premise is a negative proposition about class exclusion. A violation results in the fallacy of drawing an affirmative conclusion from negative premises. 6. if both premises are universal, then the conclusion must also be universal. Because we do not assume the existential import of universal propositions, they cannot be used as premises to establish the existential import that is part of any particular proposition. The existential fallacy violates this rule. Although it is possible to identify additional features shared by all valid categorical syllogisms (none of them, for example, have two particular premises), these six rules are jointly sufficient to distinguish between valid and invalid syllogisms. Names for the Valid Syllogisms A careful application of these rules to the 256 possible forms of categorical syllogism (assuming the denial of existential import) leaves only 15 that are valid. Medieval students of logic, relying on syllogistic reasoning in their public disputations, found it convenient to assign a unique name to each valid syllogism. These names are full of clever reminders of the appropriate standard form: their initial letters divide the valid cases into four major groups, the vowels in order state the mood of the syllogism, and its figure is indicated by (complicated) use of m, r, and s. Although the modern interpretation of categorical logic provides an easier method for determining the validity of categorical syllogisms, it may be worthwhile to note the fifteen valid cases by name:
The most common and useful syllogistic form is "Barbara", whose mood and figure is AAA-1:
All M are P. All S are M. Therefore, All S are P.
Instances of this form are especially powerful, since they are the only valid syllogisms whose
conclusions are universal affirmative propositions.
A syllogism of the form AOO-2 was called "Baroco":
All P are M. Some S are not M. Therefore, Some S are not P.
The valid form OAO-3 ("Bocardo") is:
Some M are not P. All M are S. Therefore, Some S are not P.
Four of the fifteen valid argument forms use universal premises (only one of which is affirmative) to derive a universal negative conclusion:
One of them is "Camenes" (AEE-4):
All P are M. No M are S. Therefore, No S are P.
Converting its minor premise leads to "Camestres" (AEE-2):
All P are M. No S are M. Therefore, No S are P.
Another pair begins with "Celarent" (EAE-1):
No M are P. All S are M. Therefore, No S are P.
Converting the major premise in this case yields "Cesare" (EAE-2):
No P are M. All S are M. Therefore, No S are P.
Syllogisms of another important set of forms use affirmative premises (only one of which is universal) to derive a particular affirmative conclusion:
The first in this group is AII-1 ("Darii"):
All M are P. Some S are M. Therefore, Some S are P.
Converting the minor premise produces another valid form, AII-3 ("Datisi"):
All M are P. Some M are S. Therefore, Some S are P.
The second pair begins with "Disamis" (IAI-3):
Some M are P. All M are S. Therefore, Some S are P.
Converting the major premise in this case yields "Dimaris" (IAI-4):
Some P are M. All M are S. Therefore, Some S are P.
Only one of the 64 distinct moods for syllogistic form is valid in all four figures, since both of its premises permit legitimate conversions:
Begin with EIO-1 ("Ferio"):
No M are P. Some S are M. Therefore, Some S are not P.
Converting the major premise produces EIO-2 ("Festino"):
No P are M. Some S are M. Therefore, Some S are not P.
Next, converting the minor premise of this result yields EIO-4 ("Fresison"):
No P are M. Some M are S. Therefore, Some S are not P.
Finally, converting the major again leads to EIO-3 ("Ferison"):
No M are P. Some M are S. Therefore, Some S are not P.
Notice that converting the minor of this syllogistic form will return us back to "Ferio."

Return to the "C" index for the Garden of Life Definitions, Premisses and Info

Definitions, Premisses, and Info Index by Letter

Capital A with ring aboveÅ   Capital A with macronĀ   Capital A with breveĂ   Capital A with diaeresisÄ   Capital A with circumflex   Capital A with dot aboveȦ   Capital A with inverted breveȂ   Capital A with tildeà   Capital A with ogonekĄ   Capital AE ligatureÆ   Capital AE ligature with tildeÆ̃   Capital Glottal Stop⦾   Capital Palatoalveolar Click⊛   Regular English AA   Script Capital Lℒ   Capital L with macron aboveL̅   Capital L with dot belowḶ   Capital L with stroke, Dark L Ł   Regular English LL   Capital WHω   Capital W with macron aboveW̅   Capital W with dot belowẈ   Regular English WW   Capital Slide H with reverse solidusℋ⃥   Capital H with macron aboveH̅   Capital H with dot belowḤ   Aspirate^○   Slight Pause⚫   Very Slight Pause⚬   Regular English HH   Capital S with macron aboveS̅   Capital S with dot aboveṠ   Capital SH sign∫   Capital SKΣ   Regular English SS   Hard and Deep Capital DД   High and Light Capital D∇   Regular English DD   Capital O with ring aboveO̊   Capital O with macronŌ   Capital O with breveŎ   Capital O with diaeresisÖ   Capital O with solidusØ   Capital OE ligatureŒ   Capital O with Cyrillic Round OmegaѺ   Capital OIꙔ   Capital O with ogonekǪ   Capital O with double oo topტ   Regular English OO   Capital EZJHʑ   Capital Z with macron belowẔ   Capital Z with dot aboveŻ   Regular English ZZ   Capital K with macron aboveК̅   Capital K with dot below К̣   Capital Hard KHχ   Capital KHƙ   Regular English KK   Capital V with macron aboveV̅   Capital V with dot belowṾ   Regular English VV   Capital G with macronḠ   Capital G with dot aboveĠ   Capital GNΓ   Capital GRЖ   Capital GW   Capital Uvular Voiced ImplosiveϘ   Regular English GG   Capital rolled R with macronЯ̅   Capital rolled R with dot aboveЯ̇   Capital R with macron aboveR̅   Capital R with dot above Ṙ   Capital R with ogonek R̨   Regular English RR   Capital C with cedillaÇ   Capital CHЧ   Regular English CC   Capital N with macron aboveN̅   Capital N with dot belowṆ   Capital N with tildeÑ   Capital NGŋ   Capital NG with macron aboveŋ̅   Regular English NN   Capital Y with macron above Ȳ   Capital Y with dot aboveẎ   Capital Y with yaw aboveЎ   Regular English YY   Capital J with macron aboveЈ̅   Capital J with dot belowЈ̣   Regular English JJ   Capital U with a ring aboveŮ   Capital U with macronŪ   Capital U with breveŬ   Capital U with circumflex aboveÛ   Capital U with diaeresisÜ   Regular English UU   Capital F with macron aboveF̅   Capital F with dot aboveḞ   Regular English FF   Capital Q with macron aboveQ̅   Capital Q with dot aboveQ̇   Regular English QQ   Capital B with macronB̅   Capital B with dot belowḄ   Trilled B   Regular English BB   Capital M with macronM̅   Capital M with dot belowṂ   Capital M with tilde M̃   Capital MB   Capital MGⱮ   Regular English MM   Capital X with macron aboveX̅   Capital X with dot aboveẊ   Regular English XX   Capital I with macronĪ   Capital I with breveĬ   Regular English II   Capital T with macron aboveT̅   Capital T with dot belowṬ   Capital TH voicedΘ   Capital TH voicelessÞ   Capital TSЦ   Capital TSCHЩ   Regular English TT   Capital E with macronĒ   Capital E with breveĔ   Capital E with circumflexÊ   Capital schwa Ə   Regular English EE   Capital P with macron aboveP̅   Capital P with dot aboveṖ   Capital pT   Regular English PP

Greek Words   Ægyptian Words   Sumerian Words   Sanskrit Words

Return to the "Who We Are" Index

Go to the Garden of Life Formalization/Founding Document Index

Go to Garden of Life "Who We Are" area

Garden of Life Ṇ't̄ā and Foci Information

Garden of Life Table of Correspondences Project

Go to TransPagan Consensus Survey Intro Page

Return to the Garden of Life Temple Main Page

Return to the Garden of Life Portal