000			02651 a2200325 4500
010			_a2003057283
020			_a9780521008044
050	0	0	_aBC71
082	0	0	_a160
084			_2ssgn
084			_2rvk
084			_2rvk
090			_c32066 _d32066
100	1		_aSmith, Peter
546			_aeng
245	1	3	_aAn introduction to formal logic _cPeter Smith
260			_aCambridge, UK ; _aNew York : _bCambridge University Press, _cc2016
300			_aviii, 357 p. : _bill. ; _c26 cm
500			_aBibliografie p. 348 Index p. 352
505	0	0	_tWhat is logic? -- _tValidity and soundness -- _tPatterns of inference -- _tThe counterexample technique -- _tProofs -- _tValidity and arguments -- _tInterlude: Logic, formal and informal -- _tThree propositional connectives -- _tThe syntax of PL -- _tThe semantics of PL -- _t'A's and 'B's, 'P's and 'Q's -- _tTruth functions -- _tTautologies -- _tTautological entailment -- _tInterlude: Propositional logic -- _tPLC and the material conditional -- _tMore on the material conditional -- _tIntroducing PL trees -- _tRules for PL trees -- _tPLC trees -- _tPL trees vindicated -- _tTrees and proofs -- _tInterlude: After propositional logic -- _tQuantifiers -- _tQL introduced -- _tQL explored -- _tMore QL translations -- _tIntroducing QL trees -- _tThe syntax of QL -- _tQ-valuations -- _tQ-validity -- _tMore on QL trees -- _tQt trees vindicated -- _tInterlude: Developing predicate logic -- _tExtensionality -- _tIdentity -- _tThe language QL[superscript =] -- _tDescriptions and existence -- _tTrees for identity -- _tFunctions.
520	1		_a"In this book, Peter Smith presents a guide to the fundamental aims and basic elements of formal logic. He introduces the reader to the languages of propositional and predicate logic, and then develops formal systems for evaluating arguments translated into these languages, concentrating on the easily comprehensible 'tree' method. His discussion is richly illustrated with worked examples and exercises. A distinctive feature is that, alongside the formal work, there is illuminating philosophical commentary. This book will make an ideal text for a first logic course, and will provide a firm basis for further work in formal and philosophical logic."--Jacket
650		0	_aLogic.
650		6	_aLogique.
650		6	_aLogique symbolique et math©♭matique.
650	0	7	_aFormale Sprache.
650	0	7	_aMathematische Logik.
856	4	2	_3Publisher description _uhttp://catdir.loc.gov/catdir/description/cam032/2003057283.html
856	4	2	_3Contributor biographical information _uhttp://catdir.loc.gov/catdir/enhancements/fy0732/2003057283-b.html
942			_aIMAR _cCART _k160 _sEP
999			_c31613 _d31613