11/27/11
Becoming familiar with common inference patterns and being able to use them via replacement rules. This helps with assessing ordinary everyday reasoning such as that found in the law, in newspapers, in advertisements, etc.
Hausman[2007] Logic and Philosophy Chapter 4
11/27/11
a) Learning further sentential rules of inference. Carrying out simple sentential derivations using some of the Rules of Inference.
b) Learning elementary Tactics: how experts do derivations
Hausman[2007] Logic and Philosophy Chapter 4
Tactics will help you to do derivations.
a)
11/27/11
So that we can show certain arguments to be valid.
The focus of the course lies with the validity and invalidity of arguments. Now, invalidity can be established by counter-example (by producing an interpretation under which all the premises are true and the conclusion false, at the same time). But validity is a different matter. And the usual approach is to have rules of inference and to do derivations.
11/27/11 10Software
11/27/11
Proving an argument to be valid by displaying a derivation. Carrying out simple sentential derivations using some of the Rules of Inference.
Hausman[2007] Logic and Philosophy Chapter 4
If you suspect that an symbolized argument might be valid, you should attempt to give a derivation of it.
A derivation is a proof of validity.
11/27/11
Review of new material
There are the truth-tables for the connectives...
Negation
F ∼F True False False True
Conjunction
11/27/11 10Software
Your browser is not displaying the Deriver applet. Try downloading Deriver itself by clicking on the link elsewhere on the page.
7/3/06
Some of these videos will use different logical symbols to the ones you are familiar with; for example, they use '∧' for 'and' (instead of either '&' or '.'). These minor display unfamilarities do not affect the principles and operations that are being explained.