자료유형  

 단행본

International Standard Book Number  

9781400842315 (electronic bk.)

International Standard Book Number  

140084231X (electronic bk.)

Library of Congress Call Number  

BC71-.S616 2012

Dewey Decimal Classification Number  

160-22

Main Entry-Personal Name  

Smith, Nicholas J. J.((Nicholas Jeremy Josef)) , 1972-

Publication, Distribution, etc. (Imprint  

Princeton : Princeton University Press, 2012

Physical Description  

1 online resource (545 p)

Bibliography, Etc. Note  

Includes bibliographical references and index.

Formatted Contents Note  

완전내용Cover; Contents; Preface; Acknowledgments; PART I: Propositional Logic; 1 Propositions and Arguments; 1.1 What Is Logic?; 1.2 Propositions; 1.3 Arguments; 1.4 Logical Consequence; 1.5 Soundness; 1.6 Connectives; 2 The Language of Propositional Logic; 2.1 Motivation; 2.2 Basic Propositions of PL; 2.3 Connectives of PL; 2.4 Wff Variables; 2.5 Syntax of PL; 3 Semantics of Propositional Logic; 3.1 Truth Tables for the Connectives; 3.2 Truth Values of Complex Propositions; 3.3 Truth Tables for Complex Propositions; 3.4 Truth Tables for Multiple Propositions; 3.5 Connectives and Truth Functions.

Formatted Contents Note  

완전내용4 Uses of Truth Tables4.1 Arguments; 4.2 Single Propositions; 4.3 Two Propositions; 4.4 Sets of Propositions; 4.5 More on Validity; 5 Logical Form; 5.1 Abstracting from Content: From Propositions to Forms; 5.2 Instances: From Forms to Propositions; 5.3 Argument Forms; 5.4 Validity and Form; 5.5 Invalidity and Form; 5.6 Notable Argument Forms; 5.7 Other Logical Properties; 6 Connectives: Translation and Adequacy; 6.1 Assertibility and Implicature; 6.2 Conjunction; 6.3 Conditional and Biconditional; 6.4 Disjunction; 6.5 Negation; 6.6 Functional Completeness; 7 Trees for Propositional Logic.

Formatted Contents Note  

완전내용7.1 Tree Rules7.2 Applying the Rules; 7.3 Uses of Trees; 7.4 Abbreviations; PART II: Predicate Logic; 8 The Language of Monadic Predicate Logic; 8.1 The Limitations of Propositional Logic; 8.2 MPL, Part I: Names and Predicates; 8.3 MPL, Part II: Variables and Quantifiers; 8.4 Syntax of MPL; 9 Semantics of Monadic Predicate Logic; 9.1 Models; Truth and Falsity of Uncomplicated Propositions; 9.2 Connectives; 9.3 Quantified Propositions: The General Case; 9.4 Semantics of MPL: Summary; 9.5 Analyses and Methods; 10 Trees for Monadic Predicate Logic; 10.1 Tree Rules; 10.2 Using Trees.

Formatted Contents Note  

완전내용10.3 Infinite Trees11 Models, Propositions, and Ways the World Could Be; 11.1 Translation; 11.2 Valuation; 11.3 Axiomatization; 11.4 Propositions; 11.5 Logical Consequence and NTP; 11.6 Postulates; 12 General Predicate Logic; 12.1 The Language of General Predicate Logic; 12.2 Semantics of GPL; 12.3 Trees for General Predicate Logic; 12.4 Postulates; 12.5 Moving Quantifiers; 13 Identity; 13.1 The Identity Relation; 13.2 The Identity Predicate; 13.3 Semantics of Identity; 13.4 Trees for General Predicate Logic with Identity; 13.5 Numerical Quantifiers; 13.6 Definite Descriptions.

Formatted Contents Note  

완전내용13.7 Function SymbolsPART III: Foundations and Variations; 14 Metatheory; 14.1 Soundness and Completeness; 14.2 Decidability and Undecidability; 14.3 Other Logical Properties; 14.4 Expressive Power; 15 Other Methods of Proof; 15.1 Axiomatic Systems; 15.2 Natural Deduction; 15.3 Sequent Calculus; 16 Set Theory; 16.1 Sets; 16.2 Ordered Pairs and Ordered n-tuples; 16.3 Relations; 16.4 Functions; 16.5 Sequences; 16.6 Multisets; 16.7 Syntax; Notes; References; Index; A; B; C; D; E; F; G; H; I; J; K; L; M; N; O; P; Q; R; S; T; U; V; W; Z.

Summary, Etc.  

요약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.

Subject Added Entry-Topical Term  

Logic

Subject Added Entry-Topical Term  

Philosophy

Subject Added Entry-Topical Term  

PHILOSOPHY / Logic.

Additional Physical Form Entry  

Print versionSmith, Nicholas J. J. Logic. Princeton : Princeton University Press, 2012 9780691151632

Electronic Location and Access  

로그인을 한후 보실 수 있는 자료입니다.

Control Number  

joongbu:397267