Statement regarding whether or not an item belongs to a category
This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed. Find sources: "Categorical proposition" – news · newspapers · books · scholar · JSTOR(February 2013) (Learn how and when to remove this message)
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, )
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.
^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.
and 26 Related for: Categorical proposition information
In logic, a categoricalproposition, or categorical statement, is a proposition that asserts or denies that all or some of the members of one category...
refer to various related concepts. Aristotelian logic identifies a categoricalproposition as a sentence which affirms or denies a predicate of a subject...
Aristotle limits himself to categorical syllogisms that consist of three categoricalpropositions, including categorical modal syllogisms. The use of...
type of immediate inference in which from a given categoricalproposition another categoricalproposition is inferred which has as its subject the contradictory...
argument Categoricalproposition, a part of deductive reasoning Categorization Categorical perception Category theory in mathematics Categorical set theory...
to conform to the autonomy of the will, and this categorical "ought" represents a synthetic proposition a priori. Kant viewed the human individual as a...
is a diagram representing the relations between the four basic categoricalpropositions. The origin of the square can be traced back to Aristotle's tractate...
affirmative if the original proposition's quality was negative and vice versa". The quality of the inferred categoricalproposition is changed but the truth...
P Q R S T U V W X Y Z See also References A-proposition A type of standard-form categoricalproposition, asserting that all members of the subject category...
P) categoricalpropositions and between E (No S are P or originally, No S is P) and O (Some S are not P or originally, Not every S is P) categorical propositions...
Baralipton Baroco Bivalence Boolean logic Boolean-valued function Categoricalproposition Distribution of terms End term Enthymeme Immediate inference Law...
deterministic propositions, which assert that something is certain with no element of chance. Probabilistic proportions may be either categorical or conditional...
propositions or claims that can be true or false. An important feature of propositions is their internal structure. For example, complex propositions...
constitute two of the three propositions in a syllogism, with the other being the conclusion. These categoricalpropositions contain three terms: subject...
supposition. On categoricalpropositions (1–20) On the conversion of propositions (21–9) On hypothetical propositions (30–7) On categorical syllogisms (1–19)...
the good will; the teleological argument; the three propositions regarding duty; and the categorical imperative. Kant thinks that, with the exception of...
The propositional calculus is a branch of logic. It is also called propositional logic, statement logic, sentential calculus, sentential logic, or sometimes...
In traditional logic, a contradiction occurs when a proposition conflicts either with itself or established fact. It is often used as a tool to detect...
negative) – a categorical syllogism has a positive conclusion, but at least one negative premise. Fallacy of exclusive premises – a categorical syllogism...
and all 100 were white, one might infer a probable universal categoricalproposition of the form All swans are white. As this reasoning form's premises...
usually known by its Latin title. The work begins by analyzing simple categoricpropositions, and draws a series of basic conclusions on the routine issues of...
Letters to a German Princess. In Hamilton's illustration of the four categoricalpropositions which can occur in a syllogism as symbolized by the drawings A...
hold true as a general rule but leave room for exceptions) and categoricalpropositions, rules that hold true universally. Since it ignores the limits...
be categorical. Higher-order logic contains categorical theories with an infinite model. For example, the second-order Peano axioms are categorical, having...
false) of a truth function. Propositional variables are the basic building-blocks of propositional formulas, used in propositional logic and higher-order logics...
them "categorical sentences", tradition does; he deals with them briefly in the Analytics and more extensively in On Interpretation. Each proposition (statement...