TASK 6 - CATEGORICAL PROPOSITIONS Flashcards

1
Q

categorical propositions

A

= proposition that relates two classes or categories
- that which is understood is viewed as something (= subject) which is more closely defined by a semantic content (= predicate)

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

subject term

A

= THAT WHICH we indicate

  • refer to that which is understood
  • humans
How well did you know this?
1
Not at all
2
3
4
5
Perfectly
3
Q

predicate term

A

= WITH WHICH we indicate

  • expression of the semantic content by which it is understood
  • mortal
How well did you know this?
1
Not at all
2
3
4
5
Perfectly
4
Q

quantity

A
- either universal vs. particular depending on whether the statement makes a claim about every member or just some member of the class denoted by the subject term 
= all, no, some
How well did you know this?
1
Not at all
2
3
4
5
Perfectly
5
Q

copula

A

= link between subject and predicate

= are/aren’t

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

quality

A
  • either affirmative vs. negative depending on whether it affirms or denies a class membership
  • are/aren’t, all/no
How well did you know this?
1
Not at all
2
3
4
5
Perfectly
7
Q

distribution

A
  • distributed = when it makes an assertion about every member of the class denoted by that term
  • All S are P = S distributed = ALL S = every member
How well did you know this?
1
Not at all
2
3
4
5
Perfectly
8
Q

standard-form categorical propositions

- A

A

= all S are P

  • the whole subject class is included in the predicate class
  • universal, affirmative
  • S distributed
How well did you know this?
1
Not at all
2
3
4
5
Perfectly
9
Q

standard-form categorical propositions

- E

A

= no S are P

  • the whole subject class is excluded from the predicate class
  • universal, negative
  • both distributed
How well did you know this?
1
Not at all
2
3
4
5
Perfectly
10
Q

standard-form categorical propositions

- i

A

= some S are P

  • part of the subject class is included in the predicate class
  • particular, affirmative
  • undistributed (none distributed)
How well did you know this?
1
Not at all
2
3
4
5
Perfectly
11
Q

standard-form categorical propositions

- o

A

= some S are not P

  • part of the subject class is excluded from the predicate class
  • particular, negative
  • P distributed
How well did you know this?
1
Not at all
2
3
4
5
Perfectly
12
Q

Existential import

A

= two possible interpretations of universal propositions (A + E)
–> both recognised that particular propositions (i + o) make positive assertions about existence

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

Aristotelian standpoint

A

= statements imply existence of the things talked about thus has existential import

  • statements can have existential import, because their subject terms denote actually existing things
  • open to existence
How well did you know this?
1
Not at all
2
3
4
5
Perfectly
14
Q

Boolean standpoint

A

= statements to imply existence thus no existential

  • there is no universal proposition with existential import
  • closed to existence
  • existence is not recognised
How well did you know this?
1
Not at all
2
3
4
5
Perfectly
15
Q

Venn diagram

A

= arrangement of overlapping circles; each circle represents the class denoted by a term in a categorical proposition (S + P)

  • members of a class are situated inside their corresponding circle
  • members belonging to both classes are situated in the overlapping area
  • if any member is situated outside, it does not belong to any of the two classes
How well did you know this?
1
Not at all
2
3
4
5
Perfectly
16
Q

traditional square of opposition

A

= represents the relationship of mutually contradictory pairs of propositions

17
Q

traditional square of opposition

- contradictory

A

= opposite truth value =complete opposition/ mutually exclusive

  1. A true = o false
  2. o true = A false
  3. E true = i false
  4. i true = E false
18
Q

traditional square of opposition

- contrary

A

= at least one is false = cannot both true as affirmation + negation of same thing

  1. A true = o false = E false
  2. E true = o true = A false
  3. A/E given false = invalid; logically undetermined value
19
Q

traditional square of opposition

- subcontrary

A

= at least one is true = cannot both be wrong

- same as contrary just with i + o

20
Q

traditional square of opposition

- subalternation

A

= truth flows downward, falsity flows upward

  1. A true = i true
  2. A false = invalid; undetermined
  3. i false = A false
  4. i true = invalid; undetermined
21
Q

traditional square of opposition

- rule of thumb

A
  1. always use CONTRADICTION first when using the square
  2. if one remaining relation yield a logically undetermined truth value, the other will as well
  3. whenever one statement turns out to have logically undetermined truth value, its contradiction will also
22
Q

existential fallacy

A

= when contrary/subcontrary/subalternation are used (in an otherwise correct way) to draw a conclusion from a premise about things that do not exist

  • all begin with universal proposition with no existential import + conclude with particular proposition with existential import
  • conditionally valid: when not sure whether something actually exists
23
Q

conversion

A

= switching subject + predicate terms

  • conversion of E + i = equivalent
  • illicit conversion: invalid inference (A + o)
24
Q

obversion

A

= change quality (affirmative vs. negative) without changing the quantity –> replace predicate with term complement (= group consisting of everything outside the class, e.g. dog = non-dog)

  • all are logically equivalent
  • -> for A + E: quantifier changed
  • -> for i + o = copula changed
25
Q

contraposition

A

= switch subject + predicate terms –> replace them with their term complements

  • A + o = equivalent
  • E + i = illicit contraposition
26
Q

translate ordinary language into categorical form

A
  • add pronoun/noun to make genuinely denotative
  • reform non-standard verbs to insert “are (not)”
  • add parameter to singular propositions
  • replace adverbs with places/times and pronouns with people/things (following w-word = subject form)
  • expressed quantifiers that are implicit
  • conditional statements: what follows “if” = subject term, what follows “only if” = predicate term
  • exclusive propositions (only, none but, none except): what follows those = predicate
  • what comes after “the only” = subject term
  • exceptive propositions must be replaced by pairs of conjoined categorical propositions