2. Validity and soundness Flashcards
Logically Possible (3)
1) The weakest, most inclusive kind of possibility
2) What can be thought coherently
3) True in at least one possible situation
Logical Necessity (3)
1) The strongest kind of necessity
2) Not possibly not
3) True in all possible situations
Validity (2)
1) Necessary truth preservation from premises to conclusion.
2) Independent of de facto truth
Propositions (2)
1) Premises and Conclusions that are true or false
2) Not commands, questions and exclamations
Consistent (2)
1) If propositions can be true together
2) If there is a possible situation where all propositions are true
Inconsistent (2)
1) If propositions cannot be true together
2) If no possible situation where all proposition are true
Valid Argument
Premises and the negation of its conclusion are inconsistent
EX:
{all logicians are smart, L is a logician, L is smart}
Invalid Argument
Premises and the negation of its conclusion are consistent
EX:
{all logicians are smart, E is smart, E is not not a logician}
Equivalence (2)
1) True in exactly the same possible situations
2) Same building blocks
Validity (Cases)
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
Invalidity (Cases)
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
Soundness
1) Valid inference-step
2) True (truth) premises