HomeContents: |
## 15 Syllogisms## IntroductionSyllogisms will be used in the exercises, so just to recapitulate, we here give examples of the four most common syllogism-patterns. ## The four kinds of statementsIn syllogisms, there are four kinds of statements: **A:***Universal affirmative.*All*A*are B**I:***Particular affirmative.*Some*A*are B**E:***Universal negative.*No*A*is B**O:***Particular negative.*Some*A*are not B
- "A" and "I" are from the Latin "affirmo", "I affirm", while
- "E" and "O" are from the Latin "Nego", "I deny".
## Syllogism patternsThere are 256 possible syllogisms, but only about 15 of them are
valid. In the middle ages, the valid syllogisms were remembered by
names that contained three of the letters above, for example
There are four - y(M,P)
- x(S,M)
- Therefore: z(S,P)
Where x, y, and z are As, Is, Es, or Os. S, M, and P are classes of objects, for example "Mammal" (in the case of A and E) or individuals (in the case of I and O). The four syllogism patterns which we will make use of in the exercises are: *Barbara**Celarent**Darii**Ferio*
They all conform to figure 1 (above). These are exemplified below. ## Barbara**A:**All birds are egg-layers.**A:**All sea-gulls are birds.**A:**Therefore, all sea-gulls are egg-layers.
## Celarent**E:**No mammals are birds.**A:**All whales are mammals.**E:**Therefore, no whales are birds.
## Darii**A:**All swans are white.**I:**Some birds are swans.**I:**Therefore, some birds are white.
## Ferio**E:**No university student is a toddler.**I:**Some skaters are university students.**O:**Therefore, some skaters are not toddlers.
## Encoding syllogisms in CGsYou can encode syllogisms in CGs in a number of ways. Here, we present one of the ways. ## Pattern - the overall structureIn order to be able to write syllogisms in a uniform manner, one needs a pattern to follow. The following could be such a pattern: [If: [ ... Premise 1 ... (a CG) ] [ ... Premise 2 ... (a CG) ] [Then: [ ... Conclusion ... (a CG) ] ] ] ## Pattern - Premises and conclusionsWhile the overall pattern is an IF-THEN construction with two premises and a conclusion, each premise and conclusion is either an IF-THEN construction or a conjunction of two graphs. The patterns to follow for the four types of statement are:
## Difference between Universal and ParticularThe difference between a Universal and a Particular is that a Universal is an IF-THEN construction, whereas a Particular is a conjunction of two concepts. ## Difference between Affirmative and NegativeThe difference between an Affirmative and a Negative is the presence of a ("not") sign in front of the "B"-concept in the Negative. ## Constructing a syllogismThus, in order to construct a syllogism, we will have an outer IF-THEN, inside which we find three graphs. Each subgraph should use a different coreference link (e.g., *x, *y, *z) for clarity, although because of the scope rules, they need not be different. ## Example: BarbaraFor example, below is an encoding of the following Barbara syllogism: **A:**All rhinos are mammals.**A:**All mammals are animals.**A:**Therefore, all rhinos are animals.
And one encoding could look like this: [If: [If: [Rhino: *x] [Then: [Mammal: ?x] ] ] [If: [Mammal: *y] [Then: [Animal: ?y] ] ] [Then: [If: [Rhino: *z] [Then: [Animal: ?z] ] ] ] ] Prev: 14 Disjunction (or)Up: Part IV: LogicNext: Part V: Exercises |