000			01579 a2200169 4500
020			_a9780415400688
082			_a160 _bRES-L
100	1		_aRestall, Greg.
245	1	0	_aLogic : _bAn Introduction
260			_aLondon _bRoutledge _c2006
300			_axiii; 225 p. _c22cm.
490			_aFundamentals of Philosophy
500			_aGreg 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
504			_aIncludes Bibliography and Index.
650			_a Logic PHILOSOPHY Logic
942			_cBK
999			_c10290 _d10290