Misplaced Pages

Polysyllogism

Article snapshot taken from Wikipedia with creative commons attribution-sharealike license. Give it a read and then ask your questions in the chat. We can research this topic together.
(Redirected from Prosyllogism) Sequence of propositions which constitute a sequence of overlapping syllogisms

A polysyllogism is a complex argument (also known as chain arguments of which there are four kinds: polysyllogisms, sorites, epicheirema, and dilemmas) that strings together any number of propositions forming together a sequence of syllogisms such that the conclusion of each syllogism, together with the next proposition, is a premise for the next, and so on. Each constituent syllogism is called a prosyllogism except the last, because the conclusion of the last syllogism is not a premise for another syllogism.

Example

An example of a categorical polysyllogism is:

All good students will readily understand polysyllogisms
All students of logic are good students
Therefore, all students of logic will readily understand polysyllogisms
But all people who read this web page are students of logic
Therefore, all people who read this web page will readily understand polysyllogisms

This argument has the following structure:

All A is B
All C is A
Therefore: all C is B
All D is C
Therefore, all D is B

Note two points: first, the makeup of a polysyllogism need not be limited to two component syllogisms. In fact, it can have any number of component syllogisms. Second, validity depends on all its parts. If any one is not valid then the whole polysyllogism is to be considered invalid.

An example for a propositional polysyllogism is:

It is raining.
If we go out while it is raining we will get wet.
If we get wet, we will get cold.
Therefore, if we go out we will get cold.

Examination of the structure of the argument reveals the following sequence of constituent (pro)syllogisms:

It is raining.
If we go out while it is raining we will get wet.
Therefore, if we go out we will get wet.
If we go out we will get wet.
If we get wet, we will get cold.
Therefore, if we go out we will get cold.

Sorites

A sorites (plural: sorites) is a specific kind of polysyllogism in which the predicate of each proposition is the subject of the next premise. Example:

All lions are big cats.
All big cats are predators.
All predators are carnivores.
Therefore, all lions are carnivores.

The word sorites /sɒˈraɪtiːz/ comes from Ancient Greek: σωρίτης, heaped up, from σωρός heap or pile. Thus a sorites is a heap of propositions chained together. A sorites polysyllogism should not be confused with the sorites paradox, a.k.a. the fallacy of the heap.

Lewis Carroll uses sorites in his book Symbolic Logic (1896). For example:

No experienced person is incompetent;
Jenkins is always blundering;
No competent person is always blundering.
Jenkins is inexperienced.

Carroll's example may be translated thus:

All experienced persons are competent persons.
No competent persons are blunderers.
Jenkins is a blunderer.
Jenkins is not an experienced person.

See also

Notes

  1. Martin Cothran (2017). Traditional Logic II. Memoria Press. p. 63.
  2. Martin Cothran (2017). Traditional Logic II. Memoria Press. p. 64.
  3. Lewis Carroll (1897). Symbolic Logic. Project Gutenberg. p. 113.

Bibliography

  • B. P. Bairan. An Introduction to Syllogistic Logic. Goodwill Trading. p. 342. ISBN 971-574-094-4.
  • M. Cothran. Traditional Logic II:Advanced Formal Logic. Memoria Press. p. 342. ISBN 978-1-61538-874-5.


Stub icon

This logic-related article is a stub. You can help Misplaced Pages by expanding it.

Categories: