PARALOGISM
In classical Aristotelian logic, a paralogism is defined as an invalid syllogism. These paralogisms of deduction are “arguments of traditional syllogistic form which break one or another of a well-known set of rules” (Hamblin 1970, p. 44).
1. Syllogism Rules
Traditional logic has established the following rules for identifying and eliminating invalid syllogisms.
The following syllogisms respect all the rules of the syllogism; they are valid.
A syllogism contains three terms.
Nothing can be deduced from two negative premises,
no M is P
no S is M
no conclusion
If one premise is negative, then the conclusion must also be negative.
no M is P the major premise is negative.
some S are M,
so some S are not P the conclusion is negative
In a valid syllogism, the middle term must be distributed at least once.
no M is P M is distributed (universal).
all S are M,
so no S is P the conclusion is valid.
If a premise is particular, then the conclusion is particular
no M is P
some S are M the minor premise is particular.
So, some S are not P the conclusion is particular.
2. Paralogisms
A paralogism is a syllogism that does not respect one or more of the preceding rules. Of the 256 possible modes of the syllogism, only 19 modes are valid, meaning a syllogism can be fallacious in 237 different ways.
Whether it “seems” conclusive or not is irrelevant. The term paralogism refers to a miscalculation.
The main forms of syllogistic paralogisms are as follows. The first form corresponds to the paralogism of homonymy, the others correspond to an inadequate distribution of qualities and quantities.
(1) Paralogism of four terms.
(2) Paralogism of two negative premises.
(3) Paralogism of a positive conclusion drawn from a negative premise.
(4) Paralogism of the undistributed middle term.
(5) Paralogism of the universal conclusion from a particular major.
(6) Paralogism of a universal conclusion drawn from a particular minor.
Examples
— The following paralogism consists of four terms:
Metals are simple bodies.
Bronze is a metal.
* Therefore bronze is a simple body.
But bronze is not a simple body but an alloy. In the minor premise, bronze is said to be a metal because it resembles an authentic metal such as iron, it can be melted and formed. In the major premise, metal is used in its strict sense. However, Metal is homonymous, and the syllogism actually has four terms, see ambiguity.
— The following paralogism concludes from two negative premises:
Some B are not C some rich are not arrogant
No A is B no poet is rich.
* Therefore No A is C *no poet is arrogant.
— The following paralogism concludes universally from a particular major premise.
all A are B all men are mortal
no C is A no dog is man
* Therefore No C is B * no dog is mortal.
In the major premise, “all men are mortal”, the major term, mortal, is not distributed: this premise says nothing about all mortals, but only about certain mortals, namely, that “they are men”. Yet the conclusion “No dog is mortal” claims something of all mortals: “no mortal is a dog”. The major term is distributed in the conclusion and not in the major premise. Thus, the conclusion affirms more than the premise, which is impossible.
3. Evaluation Using the Rules of the Syllogism
Traditionally, syllogisms are evaluated using a system of rules (§1), in a step-by-step process.
— Check the number of terms, and propositions.
— Identify the middle term, the major term, and the minor term.
— Determine the quantity and quality of the premises and the conclusion.
— Identify the distribution of terms.
— Check the organization of the distribution of terms: check that the middle term is distributed at least once. If the major term or the minor term is distributed in the conclusion, ensure that it is also distributed in the premises and so on.
This cumbersome method is based on the unintuitive notion of the quantity of predicates. It shifts the analyst’s attention from what the syllogism asserts, that is, from the understanding of the structure and articulation of the syllogism, to the fragmented application of a system of rules.While it may develop the ability to apply an algorithm, but it is far from an everyday critical thinking process.
4. Evaluation with Venn Diagrams
The use of Venn diagrams provides a clearer, more intuitive basis for evaluating syllogisms. Three intersecting circles represent the three sets corresponding to the three terms. The assertion made by each premise is carried to the corresponding circle.
If a premise asserts that a set (consisting of a circle or a portion of a circle) contains no elements, that circle or the portion of a circle is blacked out (striped).
If a premise asserts that a set (id.) contains one or more elements, a cross is placed in the circle or portion of a circle.
Thus, a part of a circle is either black (i.e., has a cross), or remains white. If it is white, nothing can be said about it.
Once the data from the premises is plotted on the diagram, the result can be compared with what the conclusion. The diagram shows whether the syllogism is or is not valid.
Consider the following syllogism:
Some rich people are not arrogant.
No poet is rich.
* No poet is arrogant.
The three intersecting circles represent the rich (R), the poets (P) and the arrogant (A), respectively.
– “Some rich are not arrogant”: look at the circle of the rich and the circle of the arrogant; put a cross outside of their intersection: there are some people within this zone.
– “No poet is rich”: look at the circles of poets and of the rich people. Blacken their intersection: there is nobody within this zone.
– Finally, look at the circles of poets and of arrogant people. The conclusion asserts that the intersection of the circle of poets and the circle of arrogant people is black; but we see that this is not the case; it is partly white.
Conclusion: This syllogism is a paralogism.
Consider the syllogism:
No M is P
All S is M
Therefore No S is P
The three intersecting circles represent the set M, S and P.
— “No M is P”: the intersection of the circles M and P is black (empty).
— “Every S is M”: the non-intersecting zone of the circles S and P is black (empty).
— Looking at the intersection of the S and P circles, we can see that the intersection is black (empty); this is precisely what the conclusion claims, “No S is P”. This syllogism is valid.
5. Paralogism of the permutation of the quantifiers
By generalization, the word paralogism can refer to any error in applying the rules of formal logic.
For example, the paralogism of quantification is an error committed when the existential quantifier and the universal quantifier are permuted:
All humans have a father; so they have the same father
For every human H, there is a human F, such that F is the father of H
* Therefore there is a human F such that for every human H, F is the father of H.
The following passage may contain such a paralogism:
And all the geniuses of science, including Copernicus, Kepler, Galileo, Descartes, Leibnitz, Buler, Clarke, Cauchy, speak like [Newton]. They all lived in true worship of the harmony of the worlds and of the all-powerful hand that threw them into space and sustained them.
And this conviction is not based on impulses, like poets. Figures, theorems of geometry give it its necessary basis. And their reasoning is so simple that children would follow it. First, they state that matter is essentially inert. It follows that, if any material element is in motion, it is because another has constrained it; for every motion of matter is necessarily a communicated motion. Thus they assert that if there is an immense motion in the heavens, which in the infinite deserts carries away billions of suns with a weight that crushes the imagination, it is because there is an omnipotent engine.
Secondly, they state that this movement of the heavens presupposes the solution of the problems of calculation, which have required thirty years of study, etc.
Ém. Bougaud, [Christianity and the Present Times], 1883. [2]
[1] (My italics).
[2] Em. Bougaud, Le Christianisme et le temps présent, t. I. Paris: Poussielgue Frères, 5th ed., 1883.