자료유형 | 단행본 |
---|---|
서명/저자사항 | Logic [electronic resource]: the laws of truth / Nicholas J.J. Smith. |
개인저자 | Smith, Nicholas J. J. (Nicholas Jeremy Josef), 1972-. |
발행사항 | Princeton: Princeton University Press, 2012. |
형태사항 | 1 online resource (545 p.). |
기타형태 저록 | Print version: Smith, Nicholas J. J. Logic. Princeton : Princeton University Press, 2012 9780691151632 |
ISBN | 9781400842315 (electronic bk.) 140084231X (electronic bk.) |
서지주기 | Includes bibliographical references and index. |
내용주기 | Cover; Contents; Preface; Acknowledgments; PART I: Propositional Logic; 1 Propositions and Arguments; 2 The Language of Propositional Logic; 3 Semantics of Propositional Logic; 4 Uses of Truth Tables5 Logical Form; 6 Connectives: Translation and Adequacy; 7 Trees for Propositional Logic; PART II: Predicate Logic; 8 The Language of Monadic Predicate Logic; 9 Semantics of Monadic Predicate Logic; 10 Trees for Monadic Predicate Logic; 11 Models, Propositions, and Ways the World Could Be; 12 General Predicate Logic; 13 Identity; PART III: Foundations and Variations; 14 Metatheory; 15 Other Methods of Proof; 16 Set Theory; Notes; References; Index |
요약 | Logic is essential to correct reasoning and also has important theoretical applications in philosophy, computer science, linguistics, and mathematics. This book provides an exceptionally clear introduction to classical logic, with a unique approach that emphasizes both the hows and whys of logic. Here Nicholas Smith thoroughly covers the formal tools and techniques of logic while also imparting a deeper understanding of their underlying rationales and broader philosophical significance. In addition, this is the only introduction to logic available today that presents all the major forms of pro. |
일반주제명 | Logic. Philosophy. PHILOSOPHY / Logic |
분류기호(DDC) | 160 |
언어 | 영어 |
바로가기 |
보존/밀집/기증 자료 신청 분관대출 서가부재도서 무인예약대출 배달서비스 소장위치출력
No. | 등록번호 | 청구기호 | 소장처 | 밀집번호 | 도서상태 | 반납예정일 | 예약 | 서비스 | 매체정보 |
---|---|---|---|---|---|---|---|---|---|
1 | E162610 | EB 160 | 중앙도서관[본관]/E-Book/ | 대출가능 |