Syllogism

From Free net encyclopedia

A syllogism (Greek: συλλογισμός — "conclusion", "inference"), more correctly a categorical syllogism, is a kind of logical argument in which one proposition (the conclusion) is inferred from two others (the premises). In his Prior Analytics, Aristotle defines syllogism as: "a discourse in which, certain things having been supposed, something different from the things supposed results of necessity because these things are so." (24b18–20) Despite this very general definition, however, he limits himself almost entirely to categorical syllogisms, as discussed in this article.

1 Basic structure
2 Types of syllogism
3 The place of the syllogism in logic
4 Validity
5 See also
6 Sources and reading
7 External links

[edit]

Basic structure

A syllogism consists of three parts: a major premise, a minor premise, and a conclusion. Each of the premises has one term in common with the conclusion: in the case of the major premise this is the major term, or predicate of the conclusion; in the case of the minor premise it is the minor term, the subject of the conclusion. For example:

Major premise: All men are mortal.

Minor premise: Socrates is a man.

Conclusion: Socrates is mortal.

"Being mortal" is the major term and "Socrates" the minor term; the connection between them is made by the middle term, in this case "being a man". Here the major premises is general and the minor particular, but this needn't be the case. For example:

Major premise: All mortal things die.

Minor premise: All men are mortal.

Conclusion: All men die.

Here, the major term is "die", the minor term is "all men", and the middle term is "being mortal".

[edit]

Types of syllogism

There are four kinds of proposition involved in syllogisms:

A. universal affirmatives (e.g., "all humans are mortal")

I. particular affirmatives (e.g., "some humans are healthy")

E. universal negatives (e.g., "no humans are perfect")

O. particular negatives (e.g., "some humans are not clever")

From this comes one classification of all syllogisms into different types depending upon the nature of the premises and conclusion (see Square of opposition).

Another classification is arrived at using the position of the middle term in the premises — the figure; the four figures are:

	Figure 1	Figure 2	Figure 3	Figure 4
Major premise:	M–P	P–M	M–P	P–M
Minor premise:	S–M	S–M	M–S	M–S
Conclusion:	S–P	S–P	S–P	S–P

"M" is the middle term, "S" is the subject, and "P" the predicate. Each of these figures has a variety of forms depending on the types of proposition involved. The letters standing for the types of proposition (A, E, I, O) have been used since the mediæval Schools to form mnemonic names for the forms:

Figure 1	Figure 2	Figure 3	Figure 4
Barbara	Cesare	Darapti	Bramantip
Celarent	Camestres	Disamis	Camenes
Darii	Festino	Datisi	Dimaris
Ferio	Baroco	Felapton	Fesapo
		Bocardo	Fresison
		Ferison

Forms can be converted to other forms, following certain rules, and all forms can be converted into one of the first-figure forms.

[edit]

The place of the syllogism in logic

Logic was dominated by syllogistic reasoning until the 19th century, though it was very limited in its application, being able to deal with a small number of types of valid argument (partly because of its being traditionally restricted to categorical syllogisms), yet cumbersome and complex. Although attempts have occasionally been made to resuscitate and expand it, syllogistic reasoning has been replaced by the simpler and more powerful predicate logic and quantification theory.

[edit]

Validity

A Barbara syllogism involves grammar and logical types; it has a subject (e.g. Socrates) and a predicate (mortal). Affirming the consequent is grammatically symmetrical: it equates two predicates. This form of syllogism is logically invalid.

For example:

Grass (B) dies (A).

Men (C) die (A).

Men (C) are grass (B).

Syllogisms may also be invalid if they have four terms or the middle term is not distributed.

Epagoge are weak syllogisms that rely on inductive reasoning.

By the definition of conditional and biconditional the consequences of the principle of the syllogism may be stated in the following formulas:

<math>(a \Rightarrow b) \wedge (b \Rightarrow c) \Rightarrow (a \Rightarrow c)</math>

<math>(a \Leftrightarrow b) \wedge (b \Leftrightarrow c) \Rightarrow (a \Leftrightarrow c)</math>

The conclusion is a biconditional only when all premises are biconditionals. This statement is of great practical value. In a succession of deductions we must pay close attention to see if the transition from one proposition to the other takes place by means of a biconditional or only of a conditional. There is no equivalence between two extreme propositions unless all intermediate deductions are equivalences; in other words, if there is one single implication in the chain, the relation of the two extreme propositions is only that of implication.

[edit]