Use LEFT and RIGHT arrow keys to navigate between flashcards;
Use UP and DOWN arrow keys to flip the card;
H to show hint;
A reads text to speech;
15 Cards in this Set
- Front
- Back
Proposition
|
Whatever is expressed by a declarative sentence. Truth value (T/F). Building blocks of arguments
|
|
Argument
|
A group of propositions, one of which (conclusion) is supposed to be supported by the others (premises & intermediate steps) which are presented as evidence for the conclusion.
|
|
Valid Argument
|
An argument is valid IFF the following situation is impossible:
All the premises are T and yet, at the same time, the conclusion is F. An argument is valid IFF the following statement is true: If all the premises are T, then the conclusion has to be T |
|
Sound Argument
|
IFF: Valid and all premises are T
|
|
Good Deductive Argument
|
Valid, has all true premises and doesn't beg the question
|
|
Begging the Questions
|
An argument "begs the ques" if at least one of its premises has the following feature:
you wouldn't accept the premise unless you already accepted the conclusion. |
|
Modus ponens
|
A -> B
A ∴B |
|
Modus Tollens
|
A -> B
~B ∴~A |
|
Disjunctive Syllogism
|
A v B AvB
~A ~B ∴B ∴A |
|
Hypothetical Syllogism
|
A ->B
B->C ∴A->C |
|
Reductio ad absurdum
|
To prove ~p
Assume p Reason to q But we know ~q ∴ ~p |
|
Denying the antecedent
|
fallacy:
A -> B ~A ∴~B |
|
Affirming consequent
|
fallacy:
A-> B B ∴A |
|
And
Or Not If/Then |
^
v ~ -> |
|
Non-atomic proposition
|
A proposition that can be broken down into:
1. at least one logical operator 2. at least one different proposition |