Illicit major

Last updated

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.

This fallacy has the following argument form:

  1. All A are B
  2. No C are A
  3. Therefore, no C are B

Example:

  1. All dogs are mammals
  2. No cats are dogs
  3. Therefore, no cats are mammals

In this argument, the major term is "mammals". This is distributed in the conclusion (the last statement) because we are making a claim about a property of all mammals: that they are not cats. However, it is not distributed in the major premise (the first statement) where we are only talking about a property of some mammals: Only some mammals are dogs.

The error is in assuming that the converse of the first statement (that all mammals are dogs) is also true.

However, an argument in the following form differs from the above, and is valid (Camestres):

  1. All A are B
  2. No B are C
  3. Therefore, no C are A

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

Ad hominem, short for argumentum ad hominem, refers to several types of arguments, some but not all of which are fallacious. Typically this term refers to a rhetorical strategy where the speaker attacks the character, motive, or some other attribute of the person making an argument rather than attacking the substance of the argument itself. The most common form of ad hominem is "A makes a claim x, B asserts that A holds a property that is unwelcome, and hence B concludes that argument x is wrong".

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.

A fallacy is the use of invalid or otherwise faulty reasoning, or "wrong moves" in the construction of an argument. A fallacious argument may be deceptive by appearing to be better than it really is. Some fallacies are committed intentionally to manipulate or persuade by deception, while others are committed unintentionally due to carelessness or ignorance. The soundness of legal arguments depends on the context in which the arguments are made.

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

Inductive reasoning is a method of reasoning in which a body of observations is synthesized to come up with a general principle. Inductive reasoning is distinct from deductive reasoning. If the premises are correct, the conclusion of a deductive argument is certain; in contrast, the truth of the conclusion of an inductive argument is probable, based upon the evidence given.

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.

The fallacy of four terms is the formal fallacy that occurs when a syllogism has four terms rather than the requisite three. This form of argument is thus invalid.

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.

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 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.

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.

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 or premisses, 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.