Categorical proposition
Statement regarding whether or not an item belongs to a category / From Wikipedia, the free encyclopedia
Dear Wikiwand AI, let's keep it short by simply answering these key questions:
Can you list the top facts and stats about Categorical proposition?
Summarize this article for a 10 year old
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.
This article needs additional citations for verification. (February 2013) |
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, )
- No S are P. (E form, )
- Some S are P. (I form, )
- Some S are not P. (O form, )
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.