Fallacy of exclusive premises

Last updated

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

Contents

Example of an EOO-4 type invalid syllogism

E Proposition: No cats are dogs.
O Proposition: Some dogs are not pets.
O Proposition: Therefore, some pets are not cats.

Explanation of Example 1:

This may seem like a logical conclusion, as it appears to be logically derived that if Some dogs are not pets, then surely some are pets, otherwise, the premise would have stated "No Dogs are pets", and if some pets are dogs, then not all pets can be cats, thus, some pets are not cats. But if this assumption is applied to the final statement then we have drawn the conclusion: some pets are cats. But this is not supported by either premise. Cats not being dogs, and the state of dogs as either pets or not, has nothing to do with whether cats are pets. Two negative premises cannot give a logical foundation for a conclusion, as they will invariably be independent statements that cannot be directly related, thus the name 'Exclusive Premises'. It is made more clear when the subjects in the argument are more clearly unrelated such as the following:

Additional Example of an EOO-4 invalid syllogism

E Proposition: No planets are dogs.
O Proposition: Some dogs are not pets.
O Proposition: Therefore, some pets are not planets.

Explanation of Example 2:

In this example we can more clearly see that the physical difference between a dog and a planet isn't causally linked to the domestication of dogs. The two premises are exclusive and the subsequent conclusion is nonsense, as the transpose would imply that some pets are planets.

Conclusion:

The verisimilitude of the final statement is not relevant in this fallacy. The conclusions in both examples are uncontroversial; however, both are argued on fallacious logic and would not hold up as valid arguments.

See also

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.

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 is the mental process of drawing deductive inferences. An inference is deductively valid if its conclusion follows logically from its premises, i.e. if it is impossible for the premises to be true and the conclusion to be false. For example, the inference from the premises "all men are mortal" and "Socrates is a man" to the conclusion "Socrates is mortal" is deductively valid. An argument is sound if it is valid and all its premises are true. Some theorists define deduction in terms of the intentions of the author: they have to intend for the premises to offer deductive support to the conclusion. With the help of this modification, it is possible to distinguish valid from invalid deductive reasoning: it is invalid if the author's belief about the deductive support is false, but even invalid deductive reasoning is a form of deductive reasoning.

In philosophy, 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 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.

<i>Prior Analytics</i>

The Prior Analytics is a work by Aristotle on deductive reasoning, known as his syllogistic, composed around 350 BCE. Being one of the six extant Aristotelian writings on logic and scientific method, it is part of what later Peripatetics called the Organon. Modern work on Aristotle's logic builds on the tradition started in 1951 with the establishment by Jan Łukasiewicz of a revolutionary paradigm. His approach was replaced in the early 1970s in a series of papers by John Corcoran and Timothy Smiley—which inform modern translations of Prior Analytics by Robin Smith in 1989 and Gisela Striker in 2009.

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.

Syllogistic fallacies are formal fallacies that occur in syllogisms. They include or :

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.

Belief bias is the tendency to judge the strength of arguments based on the plausibility of their conclusion rather than how strongly they support that conclusion. A person is more likely to accept an argument that supports a conclusion that aligns with their values, beliefs and prior knowledge, while rejecting counter arguments to the conclusion. Belief bias is an extremely common and therefore significant form of error; we can easily be blinded by our beliefs and reach the wrong conclusion. Belief bias has been found to influence various reasoning tasks, including conditional reasoning, relation reasoning and transitive reasoning.

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

An argument is a statement or group of statements, called premises, intended to determine the degree of truth or acceptability of another statement, called conclusion. Arguments can be studied from three main perspectives: the logical, the dialectical and the rhetorical perspective.

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.

In logic, specifically in deductive reasoning, an argument is valid if and only if it takes a form that makes it impossible for the premises to be true and the conclusion nevertheless to be false. It is not required for a valid argument to have premises that are actually true, but to have premises that, if they were true, would guarantee the truth of the argument's conclusion. Valid arguments must be clearly expressed by means of sentences called well-formed formulas.

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.

Logic Study of correct reasoning

Logic is the study of correct reasoning or good arguments. It is often defined in a more narrow sense as the science of deductively valid inferences or of logical truths. In this sense, it is equivalent to formal logic and constitutes a formal science investigating how conclusions follow from premises in a topic-neutral way or which propositions are true only in virtue of the logical vocabulary they contain. When used as a countable noun, the term "a logic" refers to a logical formal system. Formal logic contrasts with informal logic, which is also part of logic when understood in the widest sense. There is no general agreement on how the two are to be distinguished. One prominent approach associates their difference with the study of arguments expressed in formal or informal languages. Another characterizes informal logic as the study of ampliative inferences, in contrast to the deductive inferences studied by formal logic. But it is also common to link their difference to the distinction between formal and informal fallacies.

References

  1. Goodman, Michael F. First Logic. Lanham: U of America, 1993. Web.