The Philosopher's Method: Learning Logic as it Developed

CHAPTER ONE: THE BEGINNING
EXERCISE IA. STATEMENTS
EXERCISE IB. ARGUMENTS AND THEIR PARTS
EXERCISE IC. VALIDITY

CHAPTER TWO: ARISTOTELIAN LOGIC
EXERCISE IIA. SQUARE OF OPPOSITION
EXERCISE IIB. SYLLOGISMS
EXERCISE IIC. CATEGORICAL STATEMENTS
EXERCISE IID. SYLLOGISMS AND VENN DIAGRAMS

CHAPTER THREE: STOIC LOGIC: SYMBOLIZATION & ARGUMENT PATTERNS
EXERCISE IIIA. CONJUNCTIONS. SYMBOLIZING FROM ENGLISH TO SYMBOLIC FORM
EXERCISE IIIB. DISJUNCTIONS. SYMBOLIZING FROM ENGLISH TO SYMBOLIC FORM
EXERCISE IIIC. CONDITIONALS & BI-CONDITIONALS. SYMBOLIZING FROM ENGLISH TO SYMBOLIC FORM
EXERCISE IIID. NEGATIONS. SYMBOLIZING FROM ENGLISH TO SYMBOLIC FORM
EXERCISE IIIE. SYMBOLIZING FROM ENGLISH TO SYMBOLIC FORM
EXERCISE IIIF. FROM SYMBOLIC FORM TO ENGLISH
EXERCISE IIIG. MAIN OPERATOR. USING PARENTHESES AND BRACKETS
EXERCISE IIIH. SENTENCE FORMS AND SUBSTITUTION INSTANCES
EXERCISE IIII. MORE SENTENCE FORMS AND SUBSTITUTION INSTANCES
EXERCISE IIIJ. TRUTH TABLES.
EXERCISE IIIK. TRUTH VALUES OF SENTENCES

CHAPTER FOUR: SENTENTIAL LOGIC
EXERCISE IVA. USING MP, MT, HS
EXERCISE IVB. USING MP, MT, HS
EXERCISE IVC. USING MP, MT, HS, DS, SIMP
EXERCISE IVD. USING MP, MT, HS, DS, SIMP
EXERCISE IVE. USING MP, MT, HS, DS, SIMP, CONJ, ADD
EXERCISE IVF. USING MP, MT, HS, DS, SIMP, CONJ, ADD
EXERCISE IVG. USING THE FIRST 8 RULES
EXERCISE IVH. USING 8 RULES OF INFERENCE & DN, DEM
EXERCISE IVI. USING 8 RULES OF INFERENCE & DN, DEM
EXERCISE IVJ. USING 8 RULES OF INFERENCE & DN, DEM, COMM, ASSOC, DIST
EXERCISE IVK. USING 8 RULES OF INFERENCE & DN, DEM, COMM, ASSOC, DIST
EXERCISE IVL. USING 8 RULES OF INFERENCE & DN, DEM, COMM, ASSOC, DIST, IMPL,
EXERCISE IVM. USING 8 RULES OF INFERENCE & DN, DEM, COMM, ASSOC, DIST, IMPL,
EXERCISE IVN. USING ALL 18 RULES
REDUCTIO AD ABSURDUM
CONDITIONAL PROOF
EXERCISE IVO. REDUCTIO AD ABSURDUM
EXERCISE IVP. CONDITIONAL PROOFS

CHAPTER FIVE: QUANTIFICATION THEORY/PREDICATE CALCULUS/ PREDICATE LOGIC
EXERCISE VA. PREDICATES AND SUBJECTS. TRANSLATION
EXERCISE VB. UNIVERSAL & EXISTENTIAL QUANTIFIERS. SCOPE
EXERCISE VC. UNIVERSAL & EXISTENTIAL QUANTIFIERS. TRANSLATION INTO SYMBOLIC FORM
EXERCISE VD. QUANTIFIERS. PROOFS USING SIMPLIFIED QUANTIFIER RULES
EXERCISE VE. QUANTIFICATION THEORY/ PREDICATE CALCULUS. JUSTIFICATION
EXERCISE VF. QUANTIFICATION THEORY/PREDICATE CALCULUS. PROOFS USING FULL QUANTIFIER RULES
EXERCISE VG. USING ALL RULES AND QUANTIFIER NEGATION
EXERCISE VH. USING CP AND RAA

CHAPTER SIX: ISSUES IN LOGIC
EXERCISE VIA. LOGIC & EPISTEMIC ISSUES
FALLACIES
EXERCISE VIB. FALLACIES: FORMAL AND INFORMAL

BIBLIOGRAPHY