Global Information Lookup Global Information

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, )
  • 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.

  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.

and 26 Related for: Categorical proposition information

Request time (Page generated in 0.817 seconds.)

Categorical proposition

Last Update:

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

Word Count : 2400

Proposition

Last Update:

refer to various related concepts. Aristotelian logic identifies a categorical proposition as a sentence which affirms or denies a predicate of a subject...

Word Count : 2385

Syllogism

Last Update:

Aristotle limits himself to categorical syllogisms that consist of three categorical propositions, including categorical modal syllogisms. The use of...

Word Count : 5143

Glossary of logic

Last Update:

P Q R S T U V W X Y Z See also References A-proposition A type of standard-form categorical proposition, asserting that all members of the subject category...

Word Count : 29838

Contraposition

Last Update:

type of immediate inference in which from a given categorical proposition another categorical proposition is inferred which has as its subject the contradictory...

Word Count : 6075

Categorical

Last Update:

argument Categorical proposition, a part of deductive reasoning Categorization Categorical perception Category theory in mathematics Categorical set theory...

Word Count : 122

Categorical imperative

Last Update:

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

Word Count : 5636

Probabilistic proposition

Last Update:

deterministic propositions, which assert that something is certain with no element of chance. Probabilistic proportions may be either categorical or conditional...

Word Count : 76

Square of opposition

Last Update:

is a diagram representing the relations between the four basic categorical propositions. The origin of the square can be traced back to Aristotle's tractate...

Word Count : 3111

Obversion

Last Update:

affirmative if the original proposition's quality was negative and vice versa". The quality of the inferred categorical proposition is changed but the truth...

Word Count : 583

Subalternation

Last Update:

P) categorical propositions 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...

Word Count : 239

Outline of logic

Last Update:

Baralipton Baroco Bivalence Boolean logic Boolean-valued function Categorical proposition Distribution of terms End term Enthymeme Immediate inference Law...

Word Count : 2084

Logic

Last Update:

propositions or claims that can be true or false. An important feature of propositions is their internal structure. For example, complex propositions...

Word Count : 16841

Sum of Logic

Last Update:

supposition. On categorical propositions (1–20) On the conversion of propositions (21–9) On hypothetical propositions (30–7) On categorical syllogisms (1–19)...

Word Count : 735

Groundwork of the Metaphysics of Morals

Last Update:

the good will; the teleological argument; the three propositions regarding duty; and the categorical imperative. Kant thinks that, with the exception of...

Word Count : 6505

Premise

Last Update:

constitute two of the three propositions in a syllogism, with the other being the conclusion. These categorical propositions contain three terms: subject...

Word Count : 759

List of fallacies

Last Update:

negative) – a categorical syllogism has a positive conclusion, but at least one negative premise. Fallacy of exclusive premises – a categorical syllogism...

Word Count : 6863

Propositional calculus

Last Update:

The propositional calculus is a branch of logic. It is also called propositional logic, statement logic, sentential calculus, sentential logic, or sometimes...

Word Count : 16095

Categorical theory

Last Update:

be categorical. Higher-order logic contains categorical theories with an infinite model. For example, the second-order Peano axioms are categorical, having...

Word Count : 1151

Contradiction

Last Update:

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

Word Count : 2680

Inductive reasoning

Last Update:

and all 100 were white, one might infer a probable universal categorical proposition of the form All swans are white. As this reasoning form's premises...

Word Count : 8326

Secundum quid

Last Update:

hold true as a general rule but leave room for exceptions) and categorical propositions, rules that hold true universally. Since it ignores the limits...

Word Count : 449

On Interpretation

Last Update:

usually known by its Latin title. The work begins by analyzing simple categoric propositions, and draws a series of basic conclusions on the routine issues of...

Word Count : 1770

Propositional variable

Last Update:

false) of a truth function. Propositional variables are the basic building-blocks of propositional formulas, used in propositional logic and higher-order logics...

Word Count : 444

Eretrian school

Last Update:

discerned. They denied that truth could be inferred by negative categorical propositions, and would only allow positive ones, and of these only simple ones...

Word Count : 252

Euler diagram

Last Update:

Letters to a German Princess. In Hamilton's illustration of the four categorical propositions that can occur in a syllogism as symbolized by the drawings A,...

Word Count : 3617

PDF Search Engine © AllGlobal.net