How does John Locke and Lewis Carroll’s thought on logic differ?
Locke: simple thinking
Carroll: confusing
Describe how computers complete logic
Computers implement symbolic logic in all their operations
Are we more logically or illogical?
Aalthough we sometimes reason illogically, logic prevades, in statements such as “and” or “if”
A conditional statement is?
If P, then Q
If it’s raining, I’ll take an umbrella
Antecedent condition
if p
Consequent condition
then q
if p (THEN Q)
State a conditional inference
If it’s raining, I’ll take an umbrella.
It’s raining
Therefore I’ll take an umbrella, etc.
What kind of conditional inferences are not true?
denying the antecedent, affirming the consequenjnt
Statements are either ___ or ___
Statements are either true of false
Arguments are either ___ or ___
invalid or valid
Statements in a conditonal statement
If P, then Q
P/not Q
Argument in a conditional statement
Therefore ___.
What makes an argument valid?
its conclusion must be true if its premises are true
Is the conclusion of a valid arguments always true?
NO, it’s true only if the argument’s premises/statement are true
Is the conclusin of an invalid argument always false
NO, it can be true by virute of observation rather than logic
Invalid argument true conslusion
All doctors are processional people
Some professional people are rich
Some doctors are rich
(professional people could possibly not include doctors, therefore the argument is invalid)
Valid argument, false conclusion
All milk is black
there is milk on the table
The milk on the table is black
statement is untrue, milk is not black
Validity
logically correct argument
True
Empirically correct statement
Definitely true- logically guaranteed to be true
deduction
Probably true
induction
IF P then Q
condition
Q if and only if P
Biconditional
Logical argument?
If you mow the lawn, I’ll give you $20
you didn’t mow the lawn,
therefore I won’t give you $20
NO, it’s an example of denying the antecedent, but it seems valid because we often interepret conditions as biconditionals (if and only if)