The flashcards below were created by user
ceilingmoth
on FreezingBlue Flashcards.

Name the 12 deductive argument forms
 1. Argument based on mathematics
 2. Argument from definition
 3. Categorical syllogism
 4. Hypothetical syllogism
 5. Modus ponens
 6. Modus tollens
 7. Denying the antecedent
 8. Affirming the consequent
 9. Disjunctive syllogism
 10. Constructive dilemma
 11. Destructive dilemma
 12. Logical relationships

Argument based on mathematics
an argument in which the conclusion depends on some purely arithmetic or geometric computation or measurement.

Argument from definition
an argument in which the conclusion is claimed to depend merely on the definition of some word or phrase used in the premise or conclusion

Categorical syllogism
deductive argument syllogism in which each statement begins with one of the words “all,” “no,” or “some.”

Hypothetical syllogism
deductive argument syllogism in which there are three conditional statements, two conditional premises and one conditional conclusion
 If p, then q
 If q, then r
 If p, then r

Modus ponens
"affirming mode"  deductive argument syllogism in which there are three statements, with one premise as a conditional statement, the second premise, and the conclusion

Modus tollens
"denying mode"  deductive argument syllogism in which the first premise is a conditional statement, the second premise negates the first premise, and the conclusion negates the first premise

Denying the antecedent
 deductive argument syllogism in which the first premise is a conditional statement, the second premise negates the first premise's
 antecedent , and the conclusion negates the first premise's consequent

Affirming the consequent
 deductive argument syllogism in which the first premise is a conditional statement, the second premise confirms the first premise's
 consequent, and the conclusion states the antecedent of the first premise

Disjunctive syllogism
deductive argument with "either/or "statement. there are two disjunctive statements in a disjunctive syllogism, which state a truth value relationship

Constructive dilemma
 deductive argument which has three premises, the first being a conditional statement of one type, the second being a conditional statement of another type, the third being a disjunctive statement of
 the first two premise, and the conclusion being a disjunctive statement of the second type.
 If p, then q
 If r, then s
 Either p or r
 Either q or s

Destructive dilemma
 deductive argument which has three premises, the first being a conditional statement of one type, the second being a conditional statement of another type, the third being a disjunctive statement of
 the first two premise, and the conclusion being a disjunctive statement of the second type negating the premises.
 If p, then q
 If r, then s
 Either not q, or not s
 Either not p, or not r

Logical relationships (5)
 Comparison
 Temporal relations
 Spatial relations
 Family relations
 Identity


Which argument types are always valid? (5)
 hypothetical syllogism
 modus ponens
 modus tollens
 constructive dilemma
 destructive dilemma

What deductive argument type is always predicate logic?
Categorical syllogism

What is a deductive argument?
group of sentences in which one or more (premises) claim to support one of the others (conclusion) with logical necessity

What is a valid argument?
An argument in which it is impossible for the conclusion to be false given that the premises are true

How do we prove invalidity?
Counterexample where the two premises are true and the conclusion is outrageously false

What is an invalid argument?
deductive argument in which it is possible for the conclusion to be false given that the premises are true

Sound argument
deductive argument that is valid and has all true premises.

