logical operators and argument forms (ill-formed argument, invalid argument, non-cogent, cogency, conjunction, contraposition, universal modus ponens, biconditional, hypothetical syllogism) ( + original arguments using them)
what are invalid forms of arguments
the truth of the premises don’t guarantee the truth of the conclusion
denying the antecedent
affirming the consequent
truth vs rational strenght of premises
standard form
STANDARD FORM: arguments written out as consecutively numbered premises and conclusions, with justifications for each line in the argument stated
- provides a clear reconstruction of the argument (interpreting and rewriting an argument), which is essential for evaluating the argument (deciding whether or not the argument is a good argument)
benefits of standard form:
1) helps exclude any extra non-argument material
2) helps include unstated/missing premises
3) helps encourage clearer and precise formulation of premises and conclusion
4) helps make discussion of argument more convenient since each element is numbered
components:
- individually numbered premises and conclusion
- only one premise or conclusion per line
- the word “therefore” or equivalent symbol before the conclusion
- horizontal line between premises and conclusion
- brackets of the conclusion to show which premise the conclusion is supported by
deductive argument
DEDUCTIVE ARGUMENT: aims to provide a logically conclusive support for the conclusion
well-formed argument
WELL-FORMED ARGUMENT: an argument is well-formed if and only if the argument is valid or cogent
- arguments whose conclusion does logically follow from its premises
validity / a valid argument
VALIDITY: an argument is deductively valid if and only if it is impossible for all the premises to be true, and the conclusion false
invalid argument
INVALID ARGUMENT: it is possible for the premises to be true, and the conclusion to be false
validity test
VALIDITY TEST: the way in which we test if an argument is valid or not
1) Assume that the premises are all true. Would the conclusion have to be true as well?
2) If the answer is “yes” then the argument is valid. If the answer is “no” then the answer is invalid
is validity related to truth-value?
-the point of validity is not whether each premise/conclusion is true or false, but rather that if the premises were true, would thy guarantee the truth of the conclusion?
sentential connectives + 5 types (dont explain)
SENTENTIAL CONNECTIVES: logical system in which sentences are not broken down into smaller units
- the letters stand for whole sentences
- use of UPPERCASE LETTERS
- the whole conclusion is found inside the premise
COMPOUND STATEMENTS: combination of two or more simpler sentences (we abbreviate them by using A and B)
1) conjunction
2) disjunction
3) negation
4) conditional
5) biconditional
predicate logic
opposite of sentential connectives
PREDICATE LOGIC: logical system in which sentences are broken down in subunits such as subjects and predicates (descriptive phrases)
SMALL LOWERCASE LETTERS (x): particular person or thing
BIG UPPERCASE LETTERS (A, B, C): descriptive phrases/characteristics
conjunction (sentential connective)
1) CONJUNCTION
disjunction (sentential connective)
2) DISJUNCTION
negation (sentential connective)
3) NEGATION
conditional (sentential connective)
4) CONDITIONAL
conditionals are not always expressed in their logical form
- ex. since your lease expired, the landlord is free to raise the rent
- ex. being a teenager means you have lots of problems
- ex. anyone who likes logical is a fool
- ex. the truth of evolution implies the falsity of the Bible
- ex. whenever i drink coffee, i get antsy
“IF” introduces the antecedent, no matter where it occurs in a statement
- ex. “I’ll find the material difficult IF i skip a class”
biconditional (sentential connective)
5) BICONDITIONAL
11 valid argument patterns (just list)
VALID ARGUMENT PATTERNS: common patterns shared by many deductive arguments
- help determine if an argument is deductive
- help determine if an argument is valid or invalid
1) argument by elimination
2) conjunction
3) simplification
4) affirming the antecedent (modus ponens)
5) denying the consequent (modus tollens)
6) hypothetical syllogism
7) contraposition
8) universal modus ponens
9) universal modus tollens
10) universal hypothetical syllogism
11) universal ruling out
1) argument by elimination
ex. 1. either it will rain today or it will snow today
2. it will not snow today
therefore,
.: 3. it will rain today
2) conjunction
ex, 1. I have a dog
2. I have a cat
therefore,
:. 3. I have a dog and a cat
3) simplification
ex. 1. i have a dog and a cat
therefore,
.: 2. i have a dog
4) affirming the antecedent (modus ponens)
ex. 1. if tmu is a good university, then many students apply there
2. tmu is a good university
therefore,
:. 3.many students apply there
5) denying the consequent (modus tollens)
ex. 1. if Jim ate a burger, then he wore red pants
2. Jim did not wear red pants
3. Jim did not commit the murder
6) hypothetical syllogism
ex. 1.
2.
.: 3.