Logo
Unionpedia
Communication
Get it on Google Play
New! Download Unionpedia on your Android™ device!
Free
Faster access than browser!
 

Categorical proposition

Index Categorical proposition

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]

19 relations: Ancient Greece, Argument, Aristotle, Complement (set theory), Deductive reasoning, Domain of discourse, First-order logic, George Boole, Immediate inference, Logic, Natural language, Peter Geach, Predicate (grammar), Proposition, Square of opposition, Subject (grammar), Syllogism, Term logic, Venn diagram.

Ancient Greece

Ancient Greece was a civilization belonging to a period of Greek history from the Greek Dark Ages of the 13th–9th centuries BC to the end of antiquity (AD 600).

New!!: Categorical proposition and Ancient Greece · See more »

Argument

In logic and philosophy, an argument is a series of statements typically used to persuade someone of something or to present reasons for accepting a conclusion.

New!!: Categorical proposition and Argument · See more »

Aristotle

Aristotle (Ἀριστοτέλης Aristotélēs,; 384–322 BC) was an ancient Greek philosopher and scientist born in the city of Stagira, Chalkidiki, in the north of Classical Greece.

New!!: Categorical proposition and Aristotle · See more »

Complement (set theory)

In set theory, the complement of a set refers to elements not in.

New!!: Categorical proposition and Complement (set theory) · See more »

Deductive reasoning

Deductive reasoning, also deductive logic, logical deduction is the process of reasoning from one or more statements (premises) to reach a logically certain conclusion.

New!!: Categorical proposition and Deductive reasoning · See more »

Domain of discourse

In the formal sciences, the domain of discourse, also called the universe of discourse, universal set, or simply universe, is the set of entities over which certain variables of interest in some formal treatment may range.

New!!: Categorical proposition and Domain of discourse · See more »

First-order logic

First-order logic—also known as first-order predicate calculus and predicate logic—is a collection of formal systems used in mathematics, philosophy, linguistics, and computer science.

New!!: Categorical proposition and First-order logic · See more »

George Boole

George Boole (2 November 1815 – 8 December 1864) was a largely self-taught English mathematician, philosopher and logician, most of whose short career was spent as the first professor of mathematics at Queen's College, Cork in Ireland.

New!!: Categorical proposition and George Boole · See more »

Immediate inference

An immediate inference is an inference which can be made from only one statement or proposition.

New!!: Categorical proposition and Immediate inference · See more »

Logic

Logic (from the logikḗ), originally meaning "the word" or "what is spoken", but coming to mean "thought" or "reason", is a subject concerned with the most general laws of truth, and is now generally held to consist of the systematic study of the form of valid inference.

New!!: Categorical proposition and Logic · See more »

Natural language

In neuropsychology, linguistics, and the philosophy of language, a natural language or ordinary language is any language that has evolved naturally in humans through use and repetition without conscious planning or premeditation.

New!!: Categorical proposition and Natural language · See more »

Peter Geach

Peter Thomas Geach, FBA (29 March 1916 – 21 December 2013) was a British philosopher and professor of logic at the University of Leeds.

New!!: Categorical proposition and Peter Geach · See more »

Predicate (grammar)

There are two competing notions of the predicate in theories of grammar.

New!!: Categorical proposition and Predicate (grammar) · See more »

Proposition

The term proposition has a broad use in contemporary analytic philosophy.

New!!: Categorical proposition and Proposition · See more »

Square of opposition

The square of opposition is a diagram representing the relations between the four basic categorical propositions.

New!!: Categorical proposition and Square of opposition · See more »

Subject (grammar)

The subject in a simple English sentence such as John runs, John is a teacher, or John was hit by a car is the person or thing about whom the statement is made, in this case 'John'.

New!!: Categorical proposition and Subject (grammar) · See more »

Syllogism

A syllogism (συλλογισμός syllogismos, "conclusion, inference") is a kind of logical argument that applies deductive reasoning to arrive at a conclusion based on two or more propositions that are asserted or assumed to be true.

New!!: Categorical proposition and Syllogism · See more »

Term logic

In philosophy, term logic, also known as traditional logic, syllogistic logic or Aristotelian logic, is a loose name for an approach to logic that began with Aristotle and that was dominant until the advent of modern predicate logic in the late nineteenth century.

New!!: Categorical proposition and Term logic · See more »

Venn diagram

A Venn diagram (also called primary diagram, set diagram or logic diagram) is a diagram that shows all possible logical relations between a finite collection of different sets.

New!!: Categorical proposition and Venn diagram · See more »

Redirects here:

Categorical Proposition, Categorical propositions, Categorical sentence, Categorical statement, Distribution of terms, Distribution rule, Particular affirmative, Particular negative, Particular proposition, Universal affirmative, Universal negative.

References

[1] https://en.wikipedia.org/wiki/Categorical_proposition

OutgoingIncoming
Hey! We are on Facebook now! »