This concise text treats logic as a tool, “generated so that half the work involved in thinking is done for you by somebody else (the rules and laws of the logic).” Gabbay explains in a clear and careful manner how formal features of, and formal relations between, ordinary declarative sentences are captured by the systems of propositional and predicate logic.
Pre-Preface11Preface131Arguments and Validity152Truth Functionality253Formalisation of Truth Functions374Truth Tables and Tautologies495Material Implication and Validity636The Tableaux Method837Propositional Logic: The Interesting Bits1058Where Sheffer Can Put His Stroke1159Syllogisms and Venn diagrams13110Predicate Logic: On Natural Language15111Tableaux And Identity175AThe complete tableau rules207BFamous Truth Tables209CA brief summary of Classical Logic211References213Index215