Chap 7 - Categorical Logic 1.0 Flashcards

0
Q

Ambitious

A

Having two or more meanings

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
1
Q

Affirmative sentence

A

A sentence that affirms class membership.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
2
Q

Categorical argument

A

An argument composed of categorical sentences

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
3
Q

Categorical logic

A

The study of arguments that are composed of categorical sentences

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
4
Q

Categorical sentence

A

A sentence asserting at all, or some, of one category of things belong or do not belong to another category of things

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
5
Q

Class

A

A collection objects having a specified characteristic in common

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
6
Q

Complement of a class

A

The class consisting of all those things outside the class

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
7
Q

Contradictories

A

Two statements are contradictories and only if they cannot be true and they cannot both be false. In all possible situations, if one is true, the other is false.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
8
Q

Contrapositive

A

The sentence that results if you perform the following two operations on the categorical sentence: switch the subject and predicate. Replace each term with its term complement.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
9
Q

Contraries

A

Two statements or contraries they cannot both be true, but might both be false. If two statements are contraries, at least one is false.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
10
Q

Converse of a sentence

A

The sentence that results if we switch the subject and predicate terms in a categorical sentence.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
11
Q

Copula

A

A word that links the subject term with the predicate term.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
12
Q

Immediate inference

A

An argument composed of exactly one premise and one conclusion immediately drawn from it.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
13
Q

Logical equivalence

A

Two statements are logically equivalent if they imply each other, which is to say that in all situations the have matching truth-values.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
14
Q

Logical form of an argument

A

An abstract logical structure that many arguments about many subjects have in common

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
15
Q

Logical form of a sentence

A

An abstract logical structure that many sentences may have in common

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
16
Q

Mediate inference

A

In the argument composed of two categorical premises and one conclusion, in which the reasoning from the first premise to the conclusion is mediated by passing through a second premise.

17
Q

Negative sentence

A

A sentence in which a class membership is denied.

18
Q

Obverse of a sentence

A

The sentence that results if you perform the following two operations on categorical sentence: change the quality without changing the quantity from affirmative to negative or negative to affirmative. Replace the predicate term with its term complement.

19
Q

Particular

A

Pertaining to one or more members of a category

20
Q

Particular affirmative sentence

A

Categorical sentence asserting that some of the members of one category things belong to a second category of things

21
Q

Particular negative sentence

A

Categorical sentence asserting that some of the members of one category of things does not belong to the second category of things.

22
Q

Particular sentence

A

A categorical sentence that makes a claim about some of the class denoted by the subject term.

23
Q

Quantifier

A

A word such as all or some that specifies a quantity for the subject term of the sentence.

24
Q

Singular statement

A

A sentence that makes a assertion about a specifically identified entity or thing.

25
Q

Some

A

One or more, at least one. Possibly all.

26
Q

Sorites

A

A series of four or more categorical statements with one of the statements designated as the conclusion and the rest as premises.

27
Q

Square of opposition

A

A table representing end logical relations between corresponding categorical sentences.

28
Q

Subcontraries

A

Two statements that cannot both be false, but that might be true. If two statements are subcontraries, at least one is true.

29
Q

Term complement

A

The term denoting the class complement

30
Q

Truth-value

A

The value a sentence has when it is true or false. When a sentence is true, it has the truth-value of true and when a sentence is false, false

31
Q

Universal

A

Pertaining to all the members of a category

32
Q

Universal affirmative sentence

A

A categorical sentence asserting that all the members of one category belong to a second category of things.

33
Q

Universal negative sentence

A

A categorical sentence asserting that none of the member of one category of things belongs to a second category of things.

34
Q

Universal sentence

A

A categorical sentence that makes a claim about every member of the class denoted by subject term.

35
Q

Vague

A

Having fuzzy boundaries of application

36
Q

Type A

A

Universal affirmative

All S are P

37
Q

Type E

A

Universal negative

No S are P

38
Q

Type I

A

Particular affirmative

Some S are P

39
Q

Type O

A

Particular Negative

Some S are not P

40
Q

Square of opposition graph

A

A (all s are p) E (no s are p)
^ ^
\ /
\ /
\ /
\ Contradictions /

                    /                                          \
                  /                                              \
                /                                                  \
              /                                                      \
            v                                                        v
I (some s are p)                                      O (some s are not p)