Illicit minor

Last updated

Illicit minor is a formal fallacy committed in a categorical syllogism that is invalid because its minor term is undistributed in the minor premise but distributed in the conclusion.

This fallacy has the following argument form:

All A are B.
All A are C.
Therefore, all C are B.

Example:

All cats are felines.
All cats are mammals.
Therefore, all mammals are felines.

The minor term here is mammal, which is not distributed in the minor premise "All cats are mammals", because this premise is only defining a property of possibly some mammals (i.e., that they're cats.) However, in the conclusion "All mammals are felines", mammal is distributed (it is talking about all mammals being felines). It is shown to be false by any mammal that is not a feline; for example, a dog.

Example:

Pie is good.
Pie is unhealthy.
Thus, all good things are unhealthy.

See also

This article was originally based on material from the Free On-line Dictionary of Philosophy, which is licensed under the GFDL.


Related Research Articles

False dilemma Informal fallacy involving falsely limited alternatives

A false dilemma, also referred to as false dichotomy, is an informal fallacy based on a premise that erroneously limits what options are available. The source of the fallacy lies not in an invalid form of inference but in a false premise. This premise has the form of a disjunctive claim: it asserts that one among a number of alternatives must be true. This disjunction is problematic because it oversimplifies the choice by excluding viable alternatives. For example, a false dilemma is committed when it is claimed that, "Stacey spoke out against capitalism; therefore, she must be a communist". One of the options excluded is that Stacey may be neither communist nor capitalist. False dilemmas often have the form of treating two contraries, which may both be false, as contradictories, of which one is necessarily true. Various inferential schemes are associated with false dilemmas, for example, the constructive dilemma, the destructive dilemma or the disjunctive syllogism. False dilemmas are usually discussed in terms of deductive arguments. But they can also occur as defeasible arguments. Our liability to commit false dilemmas may be due to the tendency to simplify reality by ordering it through either-or-statements, which is to some extent already built into our language. This may also be connected to the tendency to insist on clear distinction while denying the vagueness of many common expressions.

Begging the question Logic founded on unproven premises

In classical rhetoric and logic, begging the question or assuming the conclusion is an informal fallacy that occurs when an argument's premises assume the truth of the conclusion, instead of supporting it.

Syllogism Type of logical argument that applies deductive reasoning

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.

Deductive reasoning, also deductive logic, is the process of reasoning from one or more statements (premises) to reach a logical conclusion.

An association fallacy is an informal inductive fallacy of the hasty-generalization or red-herring type and which asserts, by irrelevant association and often by appeal to emotion, that qualities of one thing are inherently qualities of another. Two types of association fallacies are sometimes referred to as guilt by association and honor by association.

The fallacy of the undistributed middle is a formal fallacy that is committed when the middle term in a categorical syllogism is not distributed in either the minor premise or the major premise. It is thus a syllogistic fallacy.

Affirmative conclusion from a negative premise is a formal fallacy that is committed when a categorical syllogism has a positive conclusion and one or two negative premises.

An enthymeme is a rhetorical syllogism used in oratorical practice. Originally theorized by Aristotle, there are four types of enthymeme, at least two of which are described in Aristotle's work.

A polysyllogism is a string of 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.

The fallacy of four terms is the formal fallacy that occurs when a syllogism has four terms rather than the requisite three, rendering it invalid.

Illicit major is a formal fallacy committed in a categorical syllogism that is invalid because its major term is undistributed in the major premise but distributed in the conclusion.

Affirming a disjunct Formal fallacy

The formal fallacy of affirming a disjunct also known as the fallacy of the alternative disjunct or a false exclusionary disjunct occurs when a deductive argument takes the following logical form:

The fallacy of exclusive premises is a syllogistic fallacy committed in a categorical syllogism that is invalid because both of its premises are negative.

Informal fallacies are a type of incorrect argument in natural language. The source of the error is not just due to the form of the argument, as is the case for formal fallacies, but can also be due to their content and context. Fallacies, despite being incorrect, usually appear to be correct and thereby can seduce people into accepting and using them. These misleading appearances are often connected to various aspects of natural language, such as ambiguous or vague expressions, or the assumption of implicit premises instead of making them explicit.

In philosophical logic, the masked-man fallacy is committed when one makes an illicit use of Leibniz's law in an argument. Leibniz's law states that if A and B are the same object, then A and B are indiscernible. By modus tollens, this means that if one object has a certain property, while another object does not have the same property, the two objects cannot be identical. The fallacy is "epistemic" because it posits an immediate identity between a subject's knowledge of an object with the object itself, failing to recognize that Leibniz's Law is not capable of accounting for intensional contexts.

In philosophy, a formal fallacy, deductive fallacy, logical fallacy or non sequitur is a pattern of reasoning rendered invalid by a flaw in its logical structure that can neatly be expressed in a standard logic system, for example propositional logic. It is defined as a deductive argument that is invalid. The argument itself could have true premises, but still have a false conclusion. Thus, a formal fallacy is a fallacy where deduction goes wrong, and is no longer a logical process. This may not affect the truth of the conclusion, since validity and truth are separate in formal logic.

The False Subtlety of the Four Syllogistic Figures Proved is an essay published by Immanuel Kant in 1762.

Argument Attempt to persuade or to determine the truth of a conclusion

In logic and philosophy, an argument is a series of statements, called the premises, intended to determine the degree of truth of another statement, the conclusion. The logical form of an argument in a natural language can be represented in a symbolic formal language, and independently of natural language formally defined "arguments" can be made in math and computer science.

Negative conclusion from affirmative premises is a syllogistic fallacy committed when a categorical syllogism has a negative conclusion yet both premises are affirmative. The inability of affirmative premises to reach a negative conclusion is usually cited as one of the basic rules of constructing a valid categorical syllogism.