categorical propositions

43
Categorical Propositions =================================================================== ================================

Upload: anandhjose

Post on 11-Nov-2014

1.087 views

Category:

Education


0 download

DESCRIPTION

English

TRANSCRIPT

Page 1: Categorical propositions

Categorical Propositions

================================================================================================

===

Page 2: Categorical propositions

Categorical Propositions

================================================================================================

===

3.1. The Theory of Deduction :

Page 3: Categorical propositions

Categorical Propositions

================================================================================================

===

3.1. The Theory of Deduction : The theory of deduction aims to explain the relations of premises

and conclusion in valid arguments. It also aims to provide techniques for the evaluation of deductive arguments, that is, for discriminating between valid and invalid deductions.

Page 4: Categorical propositions

Categorical Propositions

================================================================================================

===

3.1. The Theory of Deduction : The theory of deduction aims to explain the relations of premises

and conclusion in valid arguments. It also aims to provide techniques for the evaluation of deductive arguments, that is, for discriminating between valid and invalid deductions.

To discriminate valid and invalid deductions two theories have been developed. 1. Classical Logic or Aristotelian Logic, and 2. Modern Logic or Modern Symbolic Logic.

Page 5: Categorical propositions

Categorical Propositions

================================================================================================

===

3.1. The Theory of Deduction : The theory of deduction aims to explain the relations of premises

and conclusion in valid arguments. It also aims to provide techniques for the evaluation of deductive arguments, that is, for discriminating between valid and invalid deductions.

To discriminate valid and invalid deductions two theories have been developed. 1. Classical Logic or Aristotelian Logic, and 2. Modern Logic or Modern Symbolic Logic.

Aristotle (384-322 B.C) was one of the towering intellects of the ancient world. His great treaties on reasoning were gathered together after his death and came to be called Organon, meaning literally the instrument, the fundamental tool of knowledge.

Page 6: Categorical propositions

3.2. Classes and Categorical Propositions :

Page 7: Categorical propositions

What is a class ? By a class we mean a collection of all objects that have some

specified characteristic in common. Everyone can see immediately that two classes can be related in at least the following three ways:

3.2. Classes and Categorical Propositions :

Page 8: Categorical propositions

What is a class ? By a class we mean a collection of all objects that have some

specified characteristic in common. Everyone can see immediately that two classes can be related in at least the following three ways:

3.2. Classes and Categorical Propositions :

1. All of one class may be included in all of another class. Ex: The class of all dogs is wholly included in the class of all

animals.

Page 9: Categorical propositions

What is a class ? By a class we mean a collection of all objects that have some

specified characteristic in common. Everyone can see immediately that two classes can be related in at least the following three ways:

3.2. Classes and Categorical Propositions :

1. All of one class may be included in all of another class. Ex: The class of all dogs is wholly included in the class of all

animals.2. Some, but not all, of the members of one class may be included

in another class.Ex: The class of all chess players is partially included in the class of

all females.

Page 10: Categorical propositions

What is a class ? By a class we mean a collection of all objects that have some

specified characteristic in common. Everyone can see immediately that two classes can be related in at least the following three ways:

3.2. Classes and Categorical Propositions :

1. All of one class may be included in all of another class. Ex: The class of all dogs is wholly included in the class of all

animals.2. Some, but not all, of the members of one class may be included

in another class.Ex: The class of all chess players is partially included in the class of

all females. 3. Two classes may have no members in common. Ex: The class of all triangles and the class of all circles may be said

to be exclude one another.

Page 11: Categorical propositions

In deductive argument we present propositions that state the relations between one category and some other category. The propositions with which such arguments are formulated are called “Categorical Propositions.” Like a proposition “Categorical Propositions” also contain Subjective term and Predicative term. Categorical Propositions are about quantity. So Categorical Propositions are quantitative Propositions.

Page 12: Categorical propositions

In deductive argument we present propositions that state the relations between one category and some other category. The propositions with which such arguments are formulated are called “Categorical Propositions.” Like a proposition “Categorical Propositions” also contain Subjective term and Predicative term. Categorical Propositions are about quantity. So Categorical Propositions are quantitative Propositions.

No sportspersons are vegetarians All Hockey players are sportspersons

Therefore no Hockey players are vegetarians

Page 13: Categorical propositions

In deductive argument we present propositions that state the relations between one category and some other category. The propositions with which such arguments are formulated are called “Categorical Propositions.” Like a proposition “Categorical Propositions” also contain Subjective term and Predicative term. Categorical Propositions are about quantity. So Categorical Propositions are quantitative Propositions.

No sportspersons are vegetarians All Hockey players are sportspersons

Therefore no Hockey players are vegetarians

This above argument contain three Categorical propositions. We may dispute the truth of its premises but the relations of the classes expressed in those propositions yield an argument that is certainly valid. In this illustrative argument the three categorical propositions are about the class of all sportspersons, the class of the all vegetarians and the class of all hockey players.

Page 14: Categorical propositions

In deductive argument we present propositions that state the relations between one category and some other category. The propositions with which such arguments are formulated are called “Categorical Propositions.” Like a proposition “Categorical Propositions” also contain Subjective term and Predicative term. Categorical Propositions are about quantity. So Categorical Propositions are quantitative Propositions.

No sportspersons are vegetarians All Hockey players are sportspersons

Therefore no Hockey players are vegetarians

This above argument contain three Categorical propositions. We may dispute the truth of its premises but the relations of the classes expressed in those propositions yield an argument that is certainly valid. In this illustrative argument the three categorical propositions are about the class of all sportspersons, the class of the all vegetarians and the class of all hockey players.

Ex: All humans are mortal Socrates is a Human Therefore Socrates is mortal

Page 15: Categorical propositions

In deductive argument we present propositions that state the relations between one category and some other category. The propositions with which such arguments are formulated are called “Categorical Propositions.” Like a proposition “Categorical Propositions” also contain Subjective term and Predicative term. Categorical Propositions are about quantity. So Categorical Propositions are quantitative Propositions.

No sportspersons are vegetarians All Hockey players are sportspersons

Therefore no Hockey players are vegetarians

This above argument contain three Categorical propositions. We may dispute the truth of its premises but the relations of the classes expressed in those propositions yield an argument that is certainly valid. In this illustrative argument the three categorical propositions are about the class of all sportspersons, the class of the all vegetarians and the class of all hockey players.

Ex: All humans are mortal Socrates is a Human Therefore Socrates is mortal

All H are M X is H Therefore X is M

Page 16: Categorical propositions

In deductive argument we present propositions that state the relations between one category and some other category. The propositions with which such arguments are formulated are called “Categorical Propositions.” Like a proposition “Categorical Propositions” also contain Subjective term and Predicative term. Categorical Propositions are about quantity. So Categorical Propositions are quantitative Propositions.

No sportspersons are vegetarians All Hockey players are sportspersons

Therefore no Hockey players are vegetarians

This above argument contain three Categorical propositions. We may dispute the truth of its premises but the relations of the classes expressed in those propositions yield an argument that is certainly valid. In this illustrative argument the three categorical propositions are about the class of all sportspersons, the class of the all vegetarians and the class of all hockey players.

Ex: All humans are mortal Socrates is a Human Therefore Socrates is mortal H =

All H are M X is H Therefore X is M

The category of all

humans

Page 17: Categorical propositions

In deductive argument we present propositions that state the relations between one category and some other category. The propositions with which such arguments are formulated are called “Categorical Propositions.” Like a proposition “Categorical Propositions” also contain Subjective term and Predicative term. Categorical Propositions are about quantity. So Categorical Propositions are quantitative Propositions.

No sportspersons are vegetarians All Hockey players are sportspersons

Therefore no Hockey players are vegetarians

This above argument contain three Categorical propositions. We may dispute the truth of its premises but the relations of the classes expressed in those propositions yield an argument that is certainly valid. In this illustrative argument the three categorical propositions are about the class of all sportspersons, the class of the all vegetarians and the class of all hockey players.

Ex: All humans are mortal Socrates is a Human Therefore Socrates is mortal H =

All H are M X is H Therefore X is M M =

The category of all

humans

The category of all things

that are mortal

Page 18: Categorical propositions

In deductive argument we present propositions that state the relations between one category and some other category. The propositions with which such arguments are formulated are called “Categorical Propositions.” Like a proposition “Categorical Propositions” also contain Subjective term and Predicative term. Categorical Propositions are about quantity. So Categorical Propositions are quantitative Propositions.

No sportspersons are vegetarians All Hockey players are sportspersons

Therefore no Hockey players are vegetarians

This above argument contain three Categorical propositions. We may dispute the truth of its premises but the relations of the classes expressed in those propositions yield an argument that is certainly valid. In this illustrative argument the three categorical propositions are about the class of all sportspersons, the class of the all vegetarians and the class of all hockey players.

Ex: All humans are mortal Socrates is a Human Therefore Socrates is mortal H =

All H are M x is H Therefore X is M M =

The category of all

humans

The category of all things

that are mortal Mortals

Humans

Page 19: Categorical propositions

The Propositions :Propositions

Categorical Propositions

Hypothetical Propositions

Disjunctive Propositions

Conjunctive Propositions

Page 20: Categorical propositions

The Propositions :Propositions

Categorical Propositions

Universal

Propositions

Particular

Propositions

Hypothetical Propositions

Disjunctive Propositions

Conjunctive Propositions

Page 21: Categorical propositions

The Propositions :Propositions

Categorical Propositions

Universal

PropositionsUniversal Affirmative

Universal Negative

Particular

Propositions

Hypothetical Propositions

Disjunctive Propositions

Conjunctive Propositions

Page 22: Categorical propositions

The Propositions :Propositions

Categorical Propositions

Universal

PropositionsUniversal Affirmative

Universal Negative

Particular

PropositionsParticular Affirmative

Particular Negative

Hypothetical Propositions

Disjunctive Propositions

Conjunctive Propositions

Page 23: Categorical propositions

3.4. Quantity, Quality and Distribution :Quality :

Page 24: Categorical propositions

3.4. Quantity, Quality and Distribution :Quality :

If we talk about the quality in Categorical proposition, it means that we are talking about the affirmative or negative aspect of that proposition. We can explain it in four ways:

Page 25: Categorical propositions

3.4. Quantity, Quality and Distribution :Quality :

If we talk about the quality in Categorical proposition, it means that we are talking about the affirmative or negative aspect of that proposition. We can explain it in four ways: All S is P – it is an affirmative propositionNo S is P – it is a negative propositionSome S is P – it is an affirmative propositionSome S is not P – it is a negative proposition

Page 26: Categorical propositions

3.4. Quantity, Quality and Distribution :Quality :

If we talk about the quality in Categorical proposition, it means that we are talking about the affirmative or negative aspect of that proposition. We can explain it in four ways: All S is P – it is an affirmative propositionNo S is P – it is a negative propositionSome S is P – it is an affirmative propositionSome S is not P – it is a negative proposition

Quantity : Every standard-form of categorical proposition has some class as its subject. 1. Universal and 2. particular. We can also explain it in four ways:

Page 27: Categorical propositions

3.4. Quantity, Quality and Distribution :Quality :

If we talk about the quality in Categorical proposition, it means that we are talking about the affirmative or negative aspect of that proposition. We can explain it in four ways: All S is P – it is an affirmative propositionNo S is P – it is a negative propositionSome S is P – it is an affirmative propositionSome S is not P – it is a negative proposition

Quantity : Every standard-form of categorical proposition has some class as its subject. 1. Universal and 2. particular. We can also explain it in four ways: All S is P – it is Universal affirmative propositionNo S is P – it is Universal negative propositionSome S is P – it is Particular affirmative propositionSome S is not P – it is Particular negative proposition

Page 28: Categorical propositions

3.4. Quantity, Quality and Distribution :Quality :

If we talk about the quality in Categorical proposition, it means that we are talking about the affirmative or negative aspect of that proposition. We can explain it in four ways: All S is P – it is an affirmative propositionNo S is P – it is a negative propositionSome S is P – it is an affirmative propositionSome S is not P – it is a negative proposition

Quantity : Every standard-form of categorical proposition has some class as its subject. 1. Universal and 2. particular. We can also explain it in four ways: All S is P – it is Universal affirmative propositionNo S is P – it is Universal negative propositionSome S is P – it is Particular affirmative propositionSome S is not P – it is Particular negative proposition

Distribution : All S is P – A Proposition Ex: All members of Parliament are citizensNo S is P – E Proposition Ex: No sports persons are vegetariansSome S is P – I Proposition Ex: Some solders are cowardsSome S is not P – O Proposition Ex: Some students are not regular

Page 29: Categorical propositions

3.3. Kinds of Categorical Propositions :

Page 30: Categorical propositions

3.3. Kinds of Categorical Propositions :Aristotle’s Logic is called ‘Categorical Logic’ because it deals with the

categorical statements. Categorical statements are statements about categories of objects. Syllogism is an argument which consist of two premises and one conclusion. Categorical syllogisms are syllogism composed of categorical statements.

Page 31: Categorical propositions

3.3. Kinds of Categorical Propositions :

Aristotle introduced four types of statements1. Universal Affirmative – called as ‘A’ Proposition: In this the whole of one

class is include or contained in another class. Ex: All Humans are Mortal Humans are Mortal All Whales are Mammals Whales are mammals All layers are decent people Lawyers are decent people

Aristotle’s Logic is called ‘Categorical Logic’ because it deals with the categorical statements. Categorical statements are statements about categories of objects. Syllogism is an argument which consist of two premises and one conclusion. Categorical syllogisms are syllogism composed of categorical statements.

Page 32: Categorical propositions

3.3. Kinds of Categorical Propositions :

Aristotle introduced four types of statements1. Universal Affirmative – called as ‘A’ Proposition: In this the whole of one

class is include or contained in another class. Ex: All Humans are Mortal Humans are Mortal All Whales are Mammals Whales are mammals All layers are decent people Lawyers are decent people

Aristotle’s Logic is called ‘Categorical Logic’ because it deals with the categorical statements. Categorical statements are statements about categories of objects. Syllogism is an argument which consist of two premises and one conclusion. Categorical syllogisms are syllogism composed of categorical statements.

Mortals

Human

Page 33: Categorical propositions

3.3. Kinds of Categorical Propositions :

Aristotle introduced four types of statements1. Universal Affirmative – called as ‘A’ Proposition: In this the whole of one

class is include or contained in another class. Ex: All Humans are Mortal Humans are Mortal All Whales are Mammals Whales are mammals All layers are decent people Lawyers are decent people2. Universal Negative – called as ‘E’ Proposition Ex: No snakes are reptiles No bachelor are married

Aristotle’s Logic is called ‘Categorical Logic’ because it deals with the categorical statements. Categorical statements are statements about categories of objects. Syllogism is an argument which consist of two premises and one conclusion. Categorical syllogisms are syllogism composed of categorical statements.

Mortals

Human

Page 34: Categorical propositions

3.3. Kinds of Categorical Propositions :

Aristotle introduced four types of statements1. Universal Affirmative – called as ‘A’ Proposition: In this the whole of one

class is include or contained in another class. Ex: All Humans are Mortal Humans are Mortal All Whales are Mammals Whales are mammals All layers are decent people Lawyers are decent people2. Universal Negative – called as ‘E’ Proposition Ex: No snakes are reptiles No bachelor are married

Aristotle’s Logic is called ‘Categorical Logic’ because it deals with the categorical statements. Categorical statements are statements about categories of objects. Syllogism is an argument which consist of two premises and one conclusion. Categorical syllogisms are syllogism composed of categorical statements.

Mortals

Human

In this Universal Negative proposition one important thing we have to understand very

clearly. No snakes are reptiles means “all snakes are not reptiles” and “No bachelors are

married” means “All bachelors are not married.” The word ‘not’ applies only to the

predicate term but not to the subject term.

Page 35: Categorical propositions

3.3. Kinds of Categorical Propositions :

Aristotle introduced four types of statements1. Universal Affirmative – called as ‘A’ Proposition: In this the whole of one

class is include or contained in another class. Ex: All Humans are Mortal Humans are Mortal All Whales are Mammals Whales are mammals All layers are decent people Lawyers are decent people2. Universal Negative – called as ‘E’ Proposition Ex: No snakes are reptiles No bachelor are married

Aristotle’s Logic is called ‘Categorical Logic’ because it deals with the categorical statements. Categorical statements are statements about categories of objects. Syllogism is an argument which consist of two premises and one conclusion. Categorical syllogisms are syllogism composed of categorical statements.

Mortals

Human

3. Particular affirmative – called as ‘I’ Proposition Ex: Some dogs have long hair Some people earn Rs. 200 in a day Some girls taller than boys Here some means at least one person. We can imagine it in three ways: 1. at least one dog has long hair 2. There is a dog that has long hair 3. there exists a long-haired dog

In this Universal Negative proposition one important thing we have to understand very

clearly. No snakes are reptiles means “all snakes are not reptiles” and “No bachelors are

married” means “All bachelors are not married.” The word ‘not’ applies only to the

predicate term but not to the subject term.

Page 36: Categorical propositions

3.3. Kinds of Categorical Propositions :

Aristotle introduced four types of statements1. Universal Affirmative – called as ‘A’ Proposition: In this the whole of one

class is include or contained in another class. Ex: All Humans are Mortal Humans are Mortal All Whales are Mammals Whales are mammals All layers are decent people Lawyers are decent people2. Universal Negative – called as ‘E’ Proposition Ex: No snakes are reptiles No bachelor are married

Aristotle’s Logic is called ‘Categorical Logic’ because it deals with the categorical statements. Categorical statements are statements about categories of objects. Syllogism is an argument which consist of two premises and one conclusion. Categorical syllogisms are syllogism composed of categorical statements.

Mortals

Human

3. Particular affirmative – called as ‘I’ Proposition Ex: Some dogs have long hair Some people earn Rs. 200 in a day Some girls taller than boys Here some means at least one person. We can imagine it in three ways: 1. at least one dog has long hair 2. There is a dog that has long hair 3. there exists a long-haired dog

In this Universal Negative proposition one important thing we have to understand very

clearly. No snakes are reptiles means “all snakes are not reptiles” and “No bachelors are

married” means “All bachelors are not married.” The word ‘not’ applies only to the

predicate term but not to the subject term.

4. Particular Negative – called as ‘O’ Proposition Ex: some dogs do not have four legs

Page 37: Categorical propositions

3.5. The Traditional square of oppositions :

Page 38: Categorical propositions

3.5. The Traditional square of oppositions :In the system of Aristotelian Logic, the square of opposition is a

diagram representing the different ways in which each of the four propositions of the system is logically related ('opposed') to each of the others. The system is also useful in the analysis of Syllogistic Logic, serving to identify the allowed logical conversions from one type to another.

Page 39: Categorical propositions

3.5. The Traditional square of oppositions :In the system of Aristotelian Logic, the square of opposition is a

diagram representing the different ways in which each of the four propositions of the system is logically related ('opposed') to each of the others. The system is also useful in the analysis of Syllogistic Logic, serving to identify the allowed logical conversions from one type to another.

Page 40: Categorical propositions

1. Contrary Propositions : Universal statements are contraries: Ex: All Poets are dreamers (A), No poets are dreamers (E). Both cannot be true together, although one may be true and the other

false, and also both may be false . In this case both (A&E) Propositions are having the same subject and

predicate terms but differing in quality (one is affirming and the other denying)

Page 41: Categorical propositions

1. Contrary Propositions : Universal statements are contraries: Ex: All Poets are dreamers (A), No poets are dreamers (E). Both cannot be true together, although one may be true and the other

false, and also both may be false . In this case both (A&E) Propositions are having the same subject and

predicate terms but differing in quality (one is affirming and the other denying)

2. Contradictory Propositions : Two propositions are contradictories if one is the denial or negation of the

other. Two categorical propositions that have the same subject and predicate terms but differ from each other in both quantity and quality.

Ex: ‘All Judges are lawyers’ (A) and ‘Some Judges are not lawyers’ (O).Ex: ‘No politicians are idealists’ (E) and ‘Some politicians are idealists’ (I).

Page 42: Categorical propositions

1. Contrary Propositions : Universal statements are contraries: Ex: All Poets are dreamers (A), No poets are dreamers (E). Both cannot be true together, although one may be true and the other

false, and also both may be false . In this case both (A&E) Propositions are having the same subject and

predicate terms but differing in quality (one is affirming and the other denying)

2. Contradictory Propositions : Two propositions are contradictories if one is the denial or negation of the

other. Two categorical propositions that have the same subject and predicate terms but differ from each other in both quantity and quality.

Ex: ‘All Judges are lawyers’ (A) and ‘Some Judges are not lawyers’ (O).Ex: ‘No politicians are idealists’ (E) and ‘Some politicians are idealists’ (I). 3. Sub-contrary Propositions Two propositions are said to be Sub-contrary if they cannot both be false, although they may both true. In this two particular categorical

propositions (I&O) having the same subject and predicate terms but differ in quantity,Ex: ‘Some diamonds are precious’ (I) and ‘Some diamonds are not precious’

(O).

Page 43: Categorical propositions

1. Contrary Propositions : Universal statements are contraries: Ex: All Poets are dreamers (A), No poets are dreamers (E). Both cannot be true together, although one may be true and the other

false, and also both may be false . In this case both (A&E) Propositions are having the same subject and

predicate terms but differing in quality (one is affirming and the other denying)

2. Contradictory Propositions : Two propositions are contradictories if one is the denial or negation of the

other. Two categorical propositions that have the same subject and predicate terms but differ from each other in both quantity and quality.

Ex: ‘All Judges are lawyers’ (A) and ‘Some Judges are not lawyers’ (O).Ex: ‘No politicians are idealists’ (E) and ‘Some politicians are idealists’ (I). 3. Sub-contrary Propositions Two propositions are said to be Sub-contrary if they cannot both be false, although they may both true. In this two particular categorical

propositions (I&O) having the same subject and predicate terms but differ in quantity,Ex: ‘Some diamonds are precious’ (I) and ‘Some diamonds are not precious’

(O).4. Subaltern Propositions When two propositions are have the same subject and predicate terms,

and agree in quantity (both affirming and denying) but differ in quantity (one is particular and another one is Universal). It is also called ‘corresponding propositions.’

Ex: ‘All Spiders are eight-legged creatures’ (A) and ‘Some spiders are eight-legged creatures’ (I).

Ex: ‘No whales are fishes’ (E) and ‘Some whales are not fishes’ (O).