 | This article only references primary sources.(April 2022) |
 | This article may require cleanup to meet Wikipedia's quality standards. The specific problem is: Poorly formatted tables, use of first person pronouns, and misuse of square brackets.(April 2022) |
The False Subtlety of the Four Syllogistic Figures Proved (German : Die falsche Spitzfindigkeit der vier syllogistischen Figuren erwiesen) is an essay published by Immanuel Kant in 1762.
General conception of the Nature of Ratiocination [Vernunftschlüsse]
A judgment is the comparison of a subject or thing with a predicate or attribute [also called a "mark"]. The comparison is made by using the copula or linking verb "is" or its negative "is not." Therefore, a judgment is a declarative sentence, which is a categorical proposition. Example: The tiger is four-footed. A predicate can also have its own predicate. In the example, the predicate "four-footed" can, itself, have the further predicate "animal." One of these predicates is immediately and directly connected to the subject or thing. The other predicate is mediate and indirectly connected to the subject:
"The tiger
(Subject)
is
(Copula)
a four-footed
(Immediate Predicate)
animal."
(Mediate Predicate)
In order to have clear knowledge of the relation between a predicate and a subject, I can consider a predicate to be a mediate predicate. Between this mediate predicate or attribute, I can place an intermediate predicate. For example, in the judgment "the sun is luminous," I attempt a clarification by inserting the predicate "star," which then becomes an immediate predicate, intermediate between the subject "sun" and the mediate predicate "luminous":
Kant calls this process ratiocination. It is the comparison of a remote, mediate predicate with a subject through the use of an intermediate predicate. The intermediate predicate is called the middle term of a rational inference. The comparison of a subject with a remote, mediate predicate occurs through three judgments:
This can be stated as an affirmative ratiocination: Every star is luminous; the sun is a star; consequently the sun is luminous.
Note: Kant's examples utilized obscure subjects such as Soul, Spirit, and God and their supposed predicates. These do not facilitate easy comprehension because these subjects are not encountered in everyday experience and consequently their predicates are not evident.
Of the Supreme Rules of all Ratiocination
Kant declared that the primary, universal rule of all affirmative ratiocination is: A predicate of a predicate is a predicate of the subject.
The primary, universal rule of all negative ratiocination is: Whatever is inconsistent with the predicate of a subject is inconsistent with the subject.
Because proof is possible only through ratiocination, these rules can't be proved. Such a proof would assume the truth of these rules and would therefore be circular. However, it can be shown that these rules are the primary, universal rules of all ratiocination. This can be done by showing that other rules, that were thought to be primary, are based on these rules.
The dictum de omni is the highest principle of affirmative syllogisms. It says: Whatever is universally affirmed of a concept is also affirmed of everything contained under it. This is grounded on the rule of affirmative ratiocination. A concept that contains other concepts has been abstracted from them and is a predicate. Whatever belongs to this concept is a predicate of other predicates and therefore a predicate of the subject.
The dictum de nullo says: Whatever is denied of a concept is also denied of everything that is contained under it. The concept is a predicate that has been abstracted from the concepts that are contained under it. Whatever is inconsistent with this concept is inconsistent with the subject and therefore also with the predicates of the subject. This is based on the rule of negative ratiocination.
Of Pure and Mixed Ratiocination
If one judgment can be immediately discerned from another judgment without the use of a middle term, then the inference is not a ratiocination. A direct, non-ratiocinative inference would, for example, be: "from the proposition that all airplanes have wings, it immediately follows that whatever has no wings is not an airplane."
Pure ratiocination occurs by means of three propositions. Mixed ratiocination occurs by more than three propositions. A mixed ratiocination is still a single ratiocination. It is not compound, that is, consisting of several ratiocinations.
An example of a mixed ratiocination is:
A mixed ratiocination interposes an immediate inference, resulting in more than three propositions. However, a mixed ratiocination may show only three propositions if the fourth proposition is unspoken, unexpressed, and merely thought. For example, the ratiocination
is only valid if the fourth proposition Therefore, no man is immortal is covertly thought. This unspoken proposition should be inserted after the first proposition and is merely its negative converse.
In the so-called First Figure only Pure Ratiocinations are possible, in the remaining Figures only mixed Ratiocinations are possible.
| Subject | Predicate | |
|---|---|---|
| Middle Term | Major Term | Major Premise |
| Minor Term | Middle Term | Minor Premise |
| Minor Term | Major Term | Conclusion |
A ratiocination is always in the first figure when it accords with the first rule of ratiocination: A predicate B of a predicate C of a subject A is a predicate of the subject A. This is a pure ratiocination. It has three propositions:
In the Second Figure only mixed Ratiocinations are possible.
| Subject | Predicate | |
|---|---|---|
| Major Term | Middle Term | Major Premise |
| Minor Term | Middle Term | Minor Premise |
| Minor Term | Major Term | Conclusion |
The rule of the second figure is: Whatever is inconsistent with the predicate of a subject is inconsistent with the subject. This is a mixed ratiocination because an unexpressed proposition must be added in thought in order to arrive at the conclusion. If I say,
My inference is valid only if I silently interpose the immediate inference No C is B after the first premise. It is merely the negative converse of the first premise. Without it, the ratiocination is invalid.
In the Third Figure only mixed Ratiocinations are possible.
| Subject | Predicate | |
|---|---|---|
| Middle Term | Major Term | Major Premise |
| Middle Term | Minor Term | Minor Premise |
| Minor Term | Major Term | Conclusion |
The rule of the third figure is: Whatever belongs to or contradicts a subject, also belongs to or contradicts some things that are contained under another predicate of this subject.
An example of a syllogism of the third figure is:
This validly follows only if an immediate inference is silently interpolated. The added inference is a conversion that uses the word "some" instead of "all."
In the Fourth Figure only mixed Ratiocinations are possible.
| Subject | Predicate | |
|---|---|---|
| Major Term | Middle Term | Major Premise |
| Middle Term | Minor Term | Minor Premise |
| Minor Term | Major Term | Conclusion |
Kant claimed that the fourth figure is based on the insertion of several immediate inferences that each have no middle term. The affirmative mode of this fourth figure is not possible because a conclusion cannot be derived from the premises. The negative mode of this fourth figure is possible only if each premise is immediately followed by its unexpressed, unspoken converse as an immediate inference.
In order to be valid, the negative mode ratiocination:
must become:
The Logical Division of the Four Figures is a Mistaken Subtlety.
Legitimate conclusions can be drawn in all four figures. Only the first figure determines the conclusion by pure, unmixed reasoning. The other figures use unspoken, inserted inferences. Logic should consist of open, not covert, reasoning. It should be simple and unmixed, with no hidden inferences.
Previous logicians incorrectly considered all four figures as being simple and pure. The four figures were created by playfully changing the middle term's position. This retained the rational conclusion but increased obscurity. Time should not be wasted on the study of the three mixed ratiocinations.
Concluding Observation.
The first figure yields a correct inference in a simple, direct manner. The other figures yield a correct inference indirectly by the addition of hidden inferences. They can be changed into the simpler first figure by changing the position of the middle term.
Kant concluded the essay with several related remarks.
Distinct and complete concepts are only possible by means of judgments and ratiocinations. A distinct concept is one which is made clear by a judgment. This occurs when something is clearly recognized as a predicate of a subject. A complete concept is one which is made distinct by a ratiocination. The ratiocination can be simple or a chain of reasoning.
The ability to understand and the ability to reason are both based on the ability to judge. Understanding is the immediate recognition that something is a predicate of a subject. Reason is the ability to judge mediately. It recognizes another predicate in the first predicate, thus conceiving a subject indirectly by means of a remote predicate.
Higher knowledge is based on judging. Framing a judgment is a reflection that results in a distinct concept. Non-human animals can have clear representations of things that are predicates of a subject. Humans can also have knowledge that a predicate is a predicate of a subject and are therefore able to make a judgment. Non-human animals can distinguish things from one another. The different ideas are the causes of their actions, which are irrational. Humans can logically distinguish between things by means of judgment. The higher knowledge of a human is based on the ability to make our own ideas the object of our thoughts.
All affirmative judgments are based on the principle of Identity. A subject is identical to its predicate. All negative judgments have the principle of Contradiction as their foundation. A subject is opposed to its predicate. Judgments in which identity or contradiction is mediately known, by means of intermediate predicates and by means of the analysis of concepts, are provable. Judgments in which identity or contradiction is immediately known cannot be proved (See Section II). These unprovable judgments precede definitions because we must recognize a subject's predicate before we can define the subject.
Kant summed up his thoughts on this topic in a short footnote that appeared in the second edition of the Critique of Pure Reason , B141. He had been discussing the definition of judgment in general. Logicians had usually defined it as a relation between two concepts. Kant disagreed because, he claimed, only categorical judgments are so defined. Hypothetical and disjunctive judgments are a relation between two judgments.
In his footnote, Kant asserted that the lengthy and detailed doctrine of the four syllogistic figures concerned only categorical syllogisms or inferences. He stated that this doctrine is only an artifice or trick for giving the appearance that there are three more kinds of inference or modes of drawing a conclusion than that of the first figure. This is done surreptitiously by secretly concealing immediate inferences [1] in the premises of a pure syllogism. The only reason that this was generally accepted, Kant remarked, was that the logicians had made people believe that all of the other kinds of judgments could be reduced to being categorical judgments. Kant claimed to have disproved this in his Critique, A 73. There he argued that a categorical judgment relates two concepts, whereas a hypothetical or disjunctive judgment relates two judgments.
In ontology, the theory of categories concerns itself with the categories of being: the highest genera or kinds of entities. To investigate the categories of being, or simply categories, is to determine the most fundamental and the broadest classes of entities. A distinction between such categories, in making the categories or applying them, is called an ontological distinction. Various systems of categories have been proposed, they often include categories for substances, properties, relations, states of affairs or events. A representative question within the theory of categories might articulate itself, for example, in a query like, "Are universals prior to particulars?"
A syllogism is a kind of logical argument that applies deductive reasoning to arrive at a conclusion based on two propositions that are asserted or assumed to be true.
The categorical imperative is the central philosophical concept in the deontological moral philosophy of Immanuel Kant. Introduced in Kant's 1785 Groundwork of the Metaphysics of Morals, it is a way of evaluating motivations for action. It is best known in its original formulation: "Act only according to that maxim whereby you can at the same time will that it should become a universal law."
In term logic, the square of opposition is a diagram representing the relations between the four basic categorical propositions. The origin of the square can be traced back to Aristotle's tractate On Interpretation and its distinction between two oppositions: contradiction and contrariety. However, Aristotle did not draw any diagram; this was done several centuries later by Apuleius and Boethius.
In logic and formal semantics, term logic, also known as traditional logic, syllogistic logic or Aristotelian logic, is a loose name for an approach to formal logic that began with Aristotle and was developed further in ancient history mostly by his followers, the Peripatetics. It was revived after the third century CE by Porphyry's Isagoge.
The Critique of Pure Reason is a book by the German philosopher Immanuel Kant, in which the author seeks to determine the limits and scope of metaphysics. Also referred to as Kant's "First Critique", it was followed by his Critique of Practical Reason (1788) and Critique of Judgment (1790). In the preface to the first edition, Kant explains that by a "critique of pure reason" he means a critique "of the faculty of reason in general, in respect of all knowledge after which it may strive independently of all experience" and that he aims to decide on "the possibility or impossibility of metaphysics". In this context, a "critique" means a systematic analysis, rather than finding fault, unlike the term's colloquial use.
The fallacy of exclusive premises is a syllogistic fallacy committed in a categorical syllogism that is invalid because both of its premises are negative.
De Interpretatione or On Interpretation is the second text from Aristotle's Organon and is among the earliest surviving philosophical works in the Western tradition to deal with the relationship between language and logic in a comprehensive, explicit, and formal way. The work is usually known by its Latin title.
The laws of thought are fundamental axiomatic rules upon which rational discourse itself is often considered to be based. The formulation and clarification of such rules have a long tradition in the history of philosophy and logic. Generally they are taken as laws that guide and underlie everyone's thinking, thoughts, expressions, discussions, etc. However, such classical ideas are often questioned or rejected in more recent developments, such as intuitionistic logic, dialetheism and fuzzy logic.
In traditional logic, obversion is a "type of immediate inference in which from a given proposition another proposition is inferred whose subject is the same as the original subject, whose predicate is the contradictory of the original predicate, and whose quality is affirmative if the original proposition's quality was negative and vice versa". The quality of the inferred categorical proposition is changed but the truth value is the same to the original proposition. The immediately inferred proposition is termed the "obverse" of the original proposition, and is a valid form of inference for all types of categorical propositions.
In logic, a categorical proposition, or categorical statement, is a proposition that asserts or denies that all or some of the members of one category are included in another. The study of arguments using categorical statements forms an important branch of deductive reasoning that began with the Ancient Greeks.
Prolegomena to Any Future Metaphysics That Will Be Able to Present Itself as a Science is a book by the German philosopher Immanuel Kant, published in 1783, two years after the first edition of his Critique of Pure Reason. One of Kant's shorter works, it contains a summary of the Critique‘s main conclusions, sometimes by arguments Kant had not used in the Critique. Kant characterizes his more accessible approach here as an "analytic" one, as opposed to the Critique‘s "synthetic" examination of successive faculties of the mind and their principles.
"Critique of the Kantian philosophy" is a criticism Arthur Schopenhauer appended to the first volume of his The World as Will and Representation (1818). He wanted to show Immanuel Kant's errors so that Kant's merits would be appreciated and his achievements furthered.
In logic, the logical form of a statement is a precisely-specified semantic version of that statement in a formal system. Informally, the logical form attempts to formalize a possibly ambiguous statement into a statement with a precise, unambiguous logical interpretation with respect to a formal system. In an ideal formal language, the meaning of a logical form can be determined unambiguously from syntax alone. Logical forms are semantic, not syntactic constructs; therefore, there may be more than one string that represents the same logical form in a given language.
In Kantian philosophy, a transcendental schema is the procedural rule by which a category or pure, non-empirical concept is associated with a sense impression. A private, subjective intuition is thereby discursively thought to be a representation of an external object. Transcendental schemata are supposedly produced by the imagination in relation to time.
The analytic–synthetic distinction is a semantic distinction used primarily in philosophy to distinguish between propositions that are of two types: analytic propositions and synthetic propositions. Analytic propositions are true or not true solely by virtue of their meaning, whereas synthetic propositions' truth, if any, derives from how their meaning relates to the world.
In many philosophies of logic, statements are categorized into different logical qualities based on how they go about saying what they say. Doctrines of logical quality are an attempt to answer the question: "How many qualitatively different ways are there of saying something?" Aristotle answers, two: you can affirm something of something or deny something of something. Since Frege, the normal answer in the West, is only one, assertion, but what is said, the content of the claim, can vary. For Frege asserting the negation of a claim serves roughly the same role as denying a claim does in Aristotle. Other Western logicians such as Kant and Hegel answer, ultimately three; you can affirm, deny or make merely limiting affirmations, which transcend both affirmation and denial. In Indian logic, four logical qualities have been the norm, and Nāgārjuna is sometimes interpreted as arguing for five.
In logic and mathematics, contraposition, or transposition, refers to the inference of going from a conditional statement into its logically equivalent contrapositive, and an associated proof method known as § Proof by contrapositive. The contrapositive of a statement has its antecedent and consequent inverted and flipped.
In Aristotelian logic, dictum de omni et nullo is the principle that whatever is affirmed or denied of a whole kind K may be affirmed or denied (respectively) of any subkind of K. This principle is fundamental to syllogistic logic in the sense that all valid syllogistic argument forms are reducible to applications of the two constituent principles dictum de omni and dictum de nullo.