LogicGreg Restall's Logic provides concise introductions to propositional and first-order predicate logic while showing how formal logic intersects with substantial philosophical issues such as vagueness, conditionals, relevance, propositional attitudes, and opaque contents. The author also examines the ideas behind modal logic, free logic, and other non-standard logics and discusses the nature of logic itself. The book covers both natural deduction and tree methods for proving validity. Each chapter includes excellent suggestions for further reading and both elementary and more advanced exercises, with solutions provided on a website. It is flexibly designed to be useable for half or full-year courses, for courses focusing exclusively on formal logic, or for a variety of approaches that would integrate topics in philosophical logic. Restall examines many of the interesting issues raised by basic logical techniques and will undoubtedly stimulate further study in the discipline. This is a logic book designed principally for philosophers but which will also be of interest to students of computer science, cognitive science, and linguistics. |
Other editions - View all
Common terms and phrases
apply argument form argument is valid assert atomic formulas atomic propositions beard biconditional borderline called Chapter Clark Kent close completed tree conclusion false conditional conjunction construct counterexample definite descriptions Descartes disjunction domain evaluation satisfying example exclusive disjunction existential quantifier extend any open form is valid formal formalise formula occurs free logic function symbol geologist given gives hairdresser identity instance interpretation introduction invalid Kant language main connective male philosopher Modal Logic natural deduction negation object open branch p v q predicate logic premises are true Prime Minister proof property F prove pv q q is true reasoning resolve a formula result Santa Claus sentence Sheffer stroke Sheffield Shield Similarly sorites substitute Superman tautology translate tree rules truth tables truth values two-place universal quantifier vague valid argument Vx)A write x)Fx