Categorical proposition information

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 (the subject term) are included in another (the predicate term).^[1] The study of arguments using categorical statements (i.e., syllogisms) forms an important branch of deductive reasoning that began with the Ancient Greeks.

The Ancient Greeks such as Aristotle identified four primary distinct types of categorical proposition and gave them standard forms (now often called A, E, I, and O). If, abstractly, the subject category is named S and the predicate category is named P, the four standard forms are:

All S are P. (A form, $\forall {x}[S_{x}\rightarrow P_{x}]\equiv \forall {x}[\neg S_{x}\lor P_{x}]$ )
No S are P. (E form, $\forall {x}[S_{x}\rightarrow \neg P_{x}]\equiv \forall {x}[\neg S_{x}\lor \neg P_{x}]$ )
Some S are P. (I form, $\exists {x}[S_{x}\land P_{x}]$ )
Some S are not P. (O form, $\exists {x}[S_{x}\land \neg P_{x}]$ )

A large number of sentences may be translated into one of these canonical forms while retaining all or most of the original meaning of the sentence. Greek investigations resulted in the so-called square of opposition, which codifies the logical relations among the different forms; for example, that an A-statement is contradictory to an O-statement; that is to say, for example, if one believes "All apples are red fruits," one cannot simultaneously believe that "Some apples are not red fruits." Thus the relationships of the square of opposition may allow immediate inference, whereby the truth or falsity of one of the forms may follow directly from the truth or falsity of a statement in another form.

Modern understanding of categorical propositions (originating with the mid-19th century work of George Boole) requires one to consider if the subject category may be empty. If so, this is called the hypothetical viewpoint, in opposition to the existential viewpoint which requires the subject category to have at least one member. The existential viewpoint is a stronger stance than the hypothetical and, when it is appropriate to take, it allows one to deduce more results than otherwise could be made. The hypothetical viewpoint, being the weaker view, has the effect of removing some of the relations present in the traditional square of opposition.

Arguments consisting of three categorical propositions — two as premises and one as conclusion — are known as categorical syllogisms and were of paramount importance from the times of ancient Greek logicians through the Middle Ages. Although formal arguments using categorical syllogisms have largely given way to the increased expressive power of modern logic systems like the first-order predicate calculus, they still retain practical value in addition to their historic and pedagogical significance.

^ Churchill, Robert Paul (1990). Logic: An Introduction (2nd ed.). New York: St. Martin's Press. p. 143. ISBN 0-312-02353-7. OCLC 21216829. A categorical statement is an assertion or a denial that all or some members of the subject class are included in the predicate class.

[1] Churchill, Robert Paul (1990). Logic: An Introduction (2nd ed.). New York: St. Martin's Press. p. 143. ISBN 0-312-02353-7. OCLC 21216829. A categorical statement is an assertion or a denial that all or some members of the subject class are included in the predicate class.

Categorical proposition information

and 26 Related for: Categorical proposition information

Categorical proposition

Proposition

Syllogism

Glossary of logic

Contraposition

Categorical

Categorical imperative

Probabilistic proposition

Square of opposition

Obversion

Subalternation

Outline of logic

Logic

Sum of Logic

Groundwork of the Metaphysics of Morals

Premise

List of fallacies

Propositional calculus

Categorical theory

Contradiction

Inductive reasoning

Secundum quid

On Interpretation

Propositional variable

Eretrian school

Euler diagram