Next:
Week 1: Consistency and
Logic for Mods and Prelims
Sandy Berkovski
Week 1: Consistency and validity
Consistency/inconsistency
Testing consistency
Validity
Testing validity
Week 2: Logical analysis
Sentence-functors
Truth-tables
Paraphrase and analysis
Week 3: Propositional calculus
Entailment
Truth-tables
Entailment again
Symbolisation
Week 4: Quantifiers etc.
Propositional tableaux again
Symbolisation I
Symbolisation II
Herbrand sentences
Advanced topics
Week 5: First-order tableau rules
First-order tableaux
First-order validity
Week 6: Designators
Recognising designators
Logical subjects
Leibniz's Law
Week 7: Identity
Logical scope
Predicate analysis I
Predicate analysis II
Symbolisation
Week 8: Relations
Satisfaction
Binary relations
Equivalence relations
Bibliography
Sandy Berkovski
