Flashcards in Chapter 9 Deck (37):

1

## categorical logic

###
logic based on the relations of inclusion and exclusion among classes (or "categories") as stated in categorical terms

-useful in clarifying and analyzing deductive arguments

2

## category

###
In logic, a c ategory is a group or a class or a population; any bunch of things can

serve as a category for our purposes

3

## terms

###
Terms are noun phrases, like “dogs,” “cats,”

“Christians,” “Arabs,” “people who read logic books,” and so on. These terms are

labels for categories or classes.

-NOUNS

4

## subject term (S)

###
subject of the conclusion

-goes in the first blank (All __ are __.)

5

## predicate term (P)

###
predicate of the conclusion

-goes in the second blank (All __ are __.)

6

## A-claims

###
ALL metals are conductors

-general law

-affirmative claim

7

## E-claims

###
NO metals are conductors

-general law

-negative claim

8

## I-claims

###
SOME metals are conductors

(this metal is a conductor)

-observational law

-affirmative claim

9

## O-claims

###
SOME metals are NOT conductors

(this metal is not an conductor)

-observational law

-negative claim

10

## venn diagramms

###
illustrations of categorical claims

- p.246 in critical thinking (newest edition)

11

## equivalent claims

### if, and only if, they would be true in all and exactly the same circumstances— that is, under no circumstances could one of them be true and the other false

12

## "only"

###
The word “only,” used by itself, introduces the predicate term of an

A-claim.

The phrase “the only” introduces the subject term of an A-claim.

"only matinees are half-price shows" as well as "matinees are the only half-price shows" can be translated to:

"all half-price shows are matinees"

13

## square of opposition

###
shows the logical relationships of categorical claims that correspond with each other

p.254

-very interesting, I

14

## corresponding claims

###
claims who have the same subjects and the same predicates.

NOTE: S = S and P = P is CORRECT/CORRESPONDING

S=P and P=S is NOT CORRECT/NOT CORRESPONDING

15

## contrary claims

###
can both be false but not both be true

-A and E claims (general laws) are contrary

16

## subcontrary claims

###
can both be true but cannot not both be false

-I and O claims (observational laws) are subcontrary

17

## contradictory claims

###
never have the same truth value

-A and O are contradictory, as well as E and I

e.g. if A is true, O cannot be true

18

## conversion

###
switching S and P

E and I claims are equivalent to their converses

A and O claims are not

19

## universe of discourse

###
a closed system in which a discourse takes place

e.g. if the professor says: "everybody passed the exam" the universe of discourse are all the students. Your mother didn't pass the exam.

20

## complementary class/term

###
contains everything in the universe of discourse that is not part of the first class

-e.g. student and nonstudents

21

## an obversion

###
1. change a claim from affirmative to negative or vice versa

2. change the predicate term to its complementary

-all categorical claims are equal to their obversion

22

##
All pairs of terms (S and P) of a true e-claim are complementary terms.

True or false?

### False, but all complementary terms are pairs of terms of a true e-claim

23

## contra-positive

###
1. converse the claim (switch S and P)

2. replace both terms with complementary terms

All A- and O-claims, but not E- and I-claims, are equivalent to their contrapositives

24

##
Some mosquitoes carry West Nile virus. So it must be

that there are some that don’t.

Is this necessarily true?

### No, The only way to get an I-claim from an O-claim is by obverting the O-claim.

25

## a syllogism

### two-premise deductive arguement

26

## a categorical syllogism

### A categorical syllogism (in standard form) is a syllogism whose every claim is a standard-form categorical claim and in which three terms each occur exactly twice and in exactly two of the claims.

27

## major term (P)

### the term that occurs as the predicate term of the syllogism’s conclusion

28

## minor term (S)

### the term that occurs as the subject term of the syllogism’s conclusion

29

## middle term (M)

### the term that occurs in both of the premises but not at all in the conclusion

30

## validity

###
An argument is valid if, and only if, it is not possible for its premises to be true while its conclusion is false.

This is just another way of saying that, were the premises of a valid argument true (whether or not they are in fact true), then the truth of the conclusion would be guaranteed.

31

## a sound argument

### If the premises of a valid argument are in fact true, then that argument is said to be sound, and its conclusion has been proven to be true

32

## The venn diagramm method of testing validity

###
a syllogism is valid only if diagramming the premises automatically produces a correct diagram of the conclusion. The exact process can't be displayed here.

Handy rules to remember:

1. When one premise is an A- or E-premise and the other is an I- or O-premise, diagram the A or E-premise first

2. An X that can go in either of two areas goes on the line separating the areas

3. If any circle has only one area remaining uncolored,

an X should be put in that area

33

## Categorical Syllogisms with Unstated Premises

### In everyday life, people often give syllogisms, but they leave out one premise, probably because they think it is too obvious to state. It might be sensible to question such unstated premises

34

## popular syllogisms

###
P1: All As are Bs; P2: All Bs are Cs; C: All As are Cs

or

P1: All As are Bs; P2: No Bs are Cs; C: No As are Cs

35

## affirmative and negative

### A and I are affirmative; E and O are negative

36

## distribution

###
a claim is distributed if it says something about every member of a class

A claim: only S is distributed

E claim: both S and P are distributed

I claim: neither S nor P are distributed

O claim: only P is distributed

37