Contraposition (traditional logic)

Contraposition (traditional logic)

In traditional logic, contraposition is a form of immediate inference in which from a given proposition another is inferred having for its subject the contradictory of the original predicate, and in some cases involving a change of quality (affirmation or negation).[1] For its symbolic expression in modern logic see the rule of transposition. Contraposition also has distinctive applications in its philosophical application distinct from the other traditional inference processes of conversion and obversion where equivocation varies with different proposition types.

Contents

Traditional logic

In traditional logic the process of contraposition is a schema composed of several steps of inference involving categorical propositions and classes.[2] A categorical proposition contains a subject and predicate where the existential impact of the copula implies the proposition as referring to a class with at least one member, in contrast to the conditional form of hypothetical or materially implicative propositions, which are compounds of other propositions, e.g. If P, then Q, where P and Q are both propositions, and their existential impact is dependent upon further propositions where in quantification existence is instantiated (exististential instantiation).

Conversion by contraposition is the simultaneous interchange and negation of the subject and predicate, and is valid only for the type "A" and type "O" propositions of Aristotelian logic, with considerations for the validity an "E" type proposition with limitations and changes in quantity. This is considered full contraposition. Since in the process of contraposition the obverse can be obtained in all four types of traditional propositions, yielding propositions with the contradictory of the original predicate, contraposition is first obtained by converting the obvert of the original proposition. Thus, partial contraposition can be obtained conditionally in an "E" type proposition with a change in quantity. Because nothing is said in the definition of contraposition with regard to the predicate of the inferred proposition, it can be either the original subject, or its contradictory, resulting in two contrapositives which are the obverts of one another in the "A", "O", and "E" type propositions.[3]

By example: from an original, 'A' type categorical proposition,

All residents are voters,

which presupposes that all classes have members and the existential import presumed in the form of categorical propositions, one can derive first by obversion the 'E' type proposition,

No residents are non-voters.

The contrapositive of the original proposition is then derived by conversion to another 'E' type proposition,

No non-voters are residents.

The process is completed by further obversion resulting in the 'A' type proposition that is the obverted contrapositive of the original proposition,

All non-voters are non-residents.

The schema of contraposition:[4]

Original Proposition Obversion Contraposition Obverted Contraposition
(A) All S is P (E) No S is non-P (E) No non-P is S (A) All non-P is non-S
(E) No S is P (A) All S is non-P None None
(I) Some S is P (O) Some S is not non-P None None
(O) Some S is not P (I) Some S is non-P (I) Some non-P is S (O) Some non-P is not non-S

Notice that contraposition is a valid form of immediate inference only when applied to "A" and "O" propositions. It is not valid for "I" propositions, where the obverse is an "O" proposition which has no converse. The contraposition of the "E" proposition is valid only with limitations (per accidens). This is because the obverse of the "E" proposition is an "A" proposition which cannot be validly converted except by limitation, that is, contraposition plus a change in the quantity of the proposition from universal to particular.

Also, notice that contraposition is a method of inference which may require the use of other rules of inference. The contrapositive is the product of the method of contraposition, with different outcomes depending upon whether the contraposition is full, or partial. The successive applications of conversion and obversion within the process of contraposition may be given by a variety of names.

The process of the logical equivalence of a statement and its contrapositive as defined in traditional class logic is not one of the axioms of propositional logic. In traditional logic there is more than one contrapositive inferred from each original statement. In regard to the "A" proposition this is circumvented in the symbolism of modern logic by the rule of transposition, or the law of contraposition. In its technical usage within the field of philosophic logic, the term "contraposition" may be limited by logicians (e.g. Irving Copi, Susan Stebbing) to traditional logic and categorical propositions. In this sense the use the term "contraposition" is usually referred to by "transposition" when applied to hypothetical propositions or material implications.

See also

Notes

  1. ^ Brody, Bobuch A. "Glossary of Logical Terms". Encyclopedia of Philosophy. Vol. 5-6, p. 61. Macmillan, 1973. Also, Stebbing, L. Susan. A Modern Introduction to Logic. Seventh edition, p.65-66. Harper, 1961, and Irving Copi's Introduction to Logic, p. 141, Macmillan, 1953. All sources give virtually identical definitions.
  2. ^ Irving Copi's Introduction to Logic, pp. 123-157, Macmillan, 1953.
  3. ^ Brody, p. 61. Macmillan, 1973. Also, Stebbing, p.65-66, Harper, 1961, and Copi, p. 141-143, Macmillan, 1953.
  4. ^ Stebbing, L. Susan. A Modern Introduction to Logic. Seventh edition, p. 66. Harper, 1961.

References

  • Blumberg, Albert E. "Logic, Modern". Encyclopedia of Philosophy, Vol.5, Macmillan, 1973.
  • Brody, Bobuch A. "Glossary of Logical Terms". Encyclopedia of Philosophy. Vol. 5-6, p. 61. Macmillan, 1973.
  • Copi, Irving. Introduction to Logic. MacMillan, 1953.
  • Copi, Irving. Symbolic Logic. MacMillan, 1979, fifth edition.
  • Prior, A.N. "Logic, Traditional". Encyclopedia of Philosophy, Vol.5, Macmillan, 1973.
  • Stebbing, Susan. A Modern Introduction to Logic. Cromwell Company, 1931.

Wikimedia Foundation. 2010.

Игры ⚽ Поможем решить контрольную работу

Look at other dictionaries:

  • Contraposition — For contraposition in the field of traditional logic, see Contraposition (traditional logic). For contraposition in the field of symbolic logic, see Transposition (logic). Contraposition is a logical relationship between two propositions, or… …   Wikipedia

  • Outline of logic — The following outline is provided as an overview of and topical guide to logic: Logic – formal science of using reason, considered a branch of both philosophy and mathematics. Logic investigates and classifies the structure of statements and… …   Wikipedia

  • Transposition (logic) — In the methods of deductive reasoning in classical logic, transposition is the rule of inference that permits one to infer from the truth of A implies B the truth of Not B implies not A , and conversely . [Brody, Bobuch A. Glossary of Logical… …   Wikipedia

  • Conversion (logic) — Conversion is a concept in traditional logic referring to a type of immediate inference in which from a given proposition another proposition is inferred which has as its subject the predicate of the original proposition and as its predicate the… …   Wikipedia

  • Term logic — In philosophy, term logic, also known as traditional logic, is a loose name for the way of doing logic that began with Aristotle, and that was dominant until the advent of modern predicate logic in the late nineteenth century.This entry is an… …   Wikipedia

  • Converse (logic) — In logic, the converse of a categorical or implicational statement is the result of reversing its two parts. For the implication P → Q, the converse is Q → P. For the categorical proposition All S is P, the converse is All P is S. In neither case …   Wikipedia

  • Evidence of absence — Not to be confused with absence of evidence. An empty field. If our hypothesis was that elephants would be present, we do not merely lack evidence, but instead possess evidence of absence. Evidence of absence is evidence of any kind that suggests …   Wikipedia

  • Obversion — 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,… …   Wikipedia

  • Propositional calculus — In mathematical logic, a propositional calculus or logic (also called sentential calculus or sentential logic) is a formal system in which formulas of a formal language may be interpreted as representing propositions. A system of inference rules… …   Wikipedia

  • Necessary and sufficient condition — This article is about the formal terminology in logic. For causal meanings of the terms, see Causality. In logic, the words necessity and sufficiency refer to the implicational relationships between statements. The assertion that one statement is …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”