2. Validity and soundness Flashcards

1
Q

Logically Possible (3)

A

1) The weakest, most inclusive kind of possibility
2) What can be thought coherently
3) True in at least one possible situation

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

Logical Necessity (3)

A

1) The strongest kind of necessity
2) Not possibly not
3) True in all possible situations

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

Validity (2)

A

1) Necessary truth preservation from premises to conclusion.
2) Independent of de facto truth

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

Propositions (2)

A

1) Premises and Conclusions that are true or false
2) Not commands, questions and exclamations

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

Consistent (2)

A

1) If propositions can be true together
2) If there is a possible situation where all propositions are true

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

Inconsistent (2)

A

1) If propositions cannot be true together
2) If no possible situation where all proposition are true

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

Valid Argument

A

Premises and the negation of its conclusion are inconsistent
EX:
{all logicians are smart, L is a logician, L is smart}

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

Invalid Argument

A

Premises and the negation of its conclusion are consistent
EX:
{all logicians are smart, E is smart, E is not not a logician}

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

Equivalence (2)

A

1) True in exactly the same possible situations
2) Same building blocks

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

Validity (Cases)

A

Exists:
P: All True C: True
P: At least one false C: True
P: At least one false C: False

BUT NEVER ABSOLUTELY NEVER
P: ALL TRUE C: FALSE

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

Invalidity (Cases)

A

P: All True C: True
P: At least one false C: True
P: At least one false C: False

ALWAYS INVALID
P: ALL TRUE C: FALSE

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

Soundness

A

1) Valid inference-step
2) True (truth) premises

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