{"product_id":"logic-the-basics-9781138852273","title":"Logic The Basics","description":"\u003cb\u003eBook Synopsis\u003c\/b\u003e\u003cbr\u003e\u003cp\u003e\u003cem\u003eLogic: The Basics\u003c\/em\u003e is an accessible introduction to several core areas of logic. The first part of the book features a self-contained introduction to the standard topics in classical logic, such as: \u003c\/p\u003e\u003cp\u003e mathematical preliminaries\u003c\/p\u003e\u003cp\u003e propositional logic\u003c\/p\u003e\u003cp\u003e quantified logic (first monadic, then polyadic)\u003c\/p\u003e\u003cp\u003e English and standard symbolic translations'\u003c\/p\u003e\u003cp\u003e tableau procedures. \u003c\/p\u003e\u003cp\u003eAlongside comprehensive coverage of the standard topics, this thoroughly revised second edition also introduces several philosophically important nonclassical logics, free logics, and modal logics, and gives the reader an idea of how they can take their knowledge further. With its wealth of exercises (solutions available in the encyclopedic online supplement), \u003ci\u003eLogic: The Basics \u003c\/i\u003eis a useful textbook for courses ranging from the introductory level to the early graduate level, and also as a reference for students and researchers in philosophical logic.\u003c\/p\u003e\u003cbr\u003e\u003cbr\u003e\u003cb\u003eTrade Review\u003c\/b\u003e\u003cbr\u003e\u003cp\u003eThis work is an excellent and easily accessible resource material, especially for those interested to pursue further studies in advanced logic. It is a roadmap that tells you how to navigate your way in the forest of different logical theories. It serves as a gateway to the \"plurality of logics\". \u003cstrong\u003eJeremiah Joven Joaquin\u003c\/strong\u003e, \u003cem\u003eDe La Salle University, Manila\u003c\/em\u003e. \u003c\/p\u003e\u003cp\u003eWith this new edition, \u003ci\u003eLogic the basics\u003c\/i\u003e is the best introductory textbook for non-classical logic. It clearly introduces each new topic and shows how it connects to earlier chapters. It is a fantastic choice for introducing undergraduates to exciting developments in logic. \u003cstrong\u003eTracy Lupher\u003c\/strong\u003e, \u003cem\u003eCo-director of the Logic and Reasoning Institute, James Madison University, USA\u003c\/em\u003e\u003c\/p\u003e\u003cbr\u003e\u003cbr\u003e\u003cb\u003eTable of Contents\u003c\/b\u003e\u003cbr\u003e\u003cp\u003eI BACKGROUND IDEAS\u003c\/p\u003e\u003cp\u003e1 Consequences \u003c\/p\u003e\u003cp\u003e1.1 Relations of support \u003c\/p\u003e\u003cp\u003e1.2 Logical consequence: the basic recipe \u003c\/p\u003e\u003cp\u003e1.3 Valid arguments and truth \u003c\/p\u003e\u003cp\u003e1.4 Summary, looking ahead, and reading \u003c\/p\u003e\u003cp\u003e2 Models, Modeled, and Modeling \u003c\/p\u003e\u003cp\u003e2.1 Models \u003c\/p\u003e\u003cp\u003e2.2 Models in science \u003c\/p\u003e\u003cp\u003e2.3 Logic as modeling \u003c\/p\u003e\u003cp\u003e2.4 A note on notation, metalanguages, etc. \u003c\/p\u003e\u003cp\u003e2.5 Summary, looking ahead, and reading \u003c\/p\u003e\u003cp\u003e3 Language, Form, and Logical Theories \u003c\/p\u003e\u003cp\u003e3.1 Language and formal languages \u003c\/p\u003e\u003cp\u003e3.2 Languages: syntax and semantics \u003c\/p\u003e\u003cp\u003e3.3 Atoms, connectives, and molecules \u003c\/p\u003e\u003cp\u003e3.4 Connectives and form \u003c\/p\u003e\u003cp\u003e3.5 Validity and form \u003c\/p\u003e\u003cp\u003e3.6 Logical theories: rivalry \u003c\/p\u003e\u003cp\u003e3.7 Summary, looking ahead, and reading \u003c\/p\u003e\u003cp\u003e4 Set-theoretic Tools \u003c\/p\u003e\u003cp\u003e4.1 Sets \u003c\/p\u003e\u003cp\u003e4.2 Ordered sets: pairs and n-tuples \u003c\/p\u003e\u003cp\u003e4.3 Relations \u003c\/p\u003e\u003cp\u003e4.4 Functions \u003c\/p\u003e\u003cp\u003e4.5 Sets as tools \u003c\/p\u003e\u003cp\u003e4.6 Summary and looking ahead \u003c\/p\u003e\u003cp\u003eII THE BASIC CLASSICAL THEORY\u003c\/p\u003e\u003cp\u003e5 Basic Classical Syntax and Semantics \u003c\/p\u003e\u003cp\u003e5.1 Cases: complete and consistent \u003c\/p\u003e\u003cp\u003e5.2 Classical ‘truth conditions’ \u003c\/p\u003e\u003cp\u003e5.3 Basic classical consequence \u003c\/p\u003e\u003cp\u003e5.4 Motivation: precision \u003c\/p\u003e\u003cp\u003e5.5 Formal picture \u003c\/p\u003e\u003cp\u003e5.6 Defined connectives \u003c\/p\u003e\u003cp\u003e5.7 Some notable valid forms \u003c\/p\u003e\u003cp\u003e5.8 Summary and looking ahead \u003c\/p\u003e\u003cp\u003e6 Basic Classical Tableaux \u003c\/p\u003e\u003cp\u003e6.1 What are tableaux? \u003c\/p\u003e\u003cp\u003e6.2 Tableaux for the Basic Classical Theory \u003c\/p\u003e\u003cp\u003e6.3 Summary and looking ahead \u003c\/p\u003e\u003cp\u003e7 Basic Classical Translations \u003c\/p\u003e\u003cp\u003e7.1 Atoms, Punctuation, and Connectives \u003c\/p\u003e\u003cp\u003e7.2 Syntax, altogether \u003c\/p\u003e\u003cp\u003e7.3 Semantics \u003c\/p\u003e\u003cp\u003e7.4 Consequence \u003c\/p\u003e\u003cp\u003e7.5 Summary and Looking Ahead \u003c\/p\u003e\u003cp\u003eIII FIRST-ORDER CLASSICAL THEORY\u003c\/p\u003e\u003cp\u003e8 Atomic Innards: Unary \u003c\/p\u003e\u003cp\u003e8.1 Atomic innards: names and predicates \u003c\/p\u003e\u003cp\u003e8.2 Truth and falsity conditions for atomics \u003c\/p\u003e\u003cp\u003e8.3 Cases, domains, and interpretation functions \u003c\/p\u003e\u003cp\u003e8.4 Classicality \u003c\/p\u003e\u003cp\u003e8.5 A formal picture \u003c\/p\u003e\u003cp\u003e8.6 Summary and looking ahead \u003c\/p\u003e\u003cp\u003e9 Everything and Something \u003c\/p\u003e\u003cp\u003e9.1 Validity involving quantifiers \u003c\/p\u003e\u003cp\u003e9.2 Quantifiers: an informal sketch \u003c\/p\u003e\u003cp\u003e9.3 Truth and falsity conditions \u003c\/p\u003e\u003cp\u003e9.4 A formal picture \u003c\/p\u003e\u003cp\u003e9.5 Summary and looking ahead. \u003c\/p\u003e\u003cp\u003e10 First-Order Language with Any-Arity Innards\u003c\/p\u003e\u003cp\u003e10.1 Truth and falsity conditions for atomics \u003c\/p\u003e\u003cp\u003e10.2 Cases, domains, and interpretation functions \u003c\/p\u003e\u003cp\u003e10.3 Classicality \u003c\/p\u003e\u003cp\u003e10.4 A formal picture \u003c\/p\u003e\u003cp\u003e10.5 Summary and looking ahead \u003c\/p\u003e\u003cp\u003e11 Identity \u003c\/p\u003e\u003cp\u003e11.1 Logical expressions, forms, sentential forms \u003c\/p\u003e\u003cp\u003e11.2 Validity involving identity \u003c\/p\u003e\u003cp\u003e11.3 Identity: informal sketch \u003c\/p\u003e\u003cp\u003e11.4 Truth conditions: informal sketch \u003c\/p\u003e\u003cp\u003e11.5 Formal picture \u003c\/p\u003e\u003cp\u003e11.6 Summary and looking ahead \u003c\/p\u003e\u003cp\u003e12 Tableaux for First-Order Logic with Identity \u003c\/p\u003e\u003cp\u003e12.1 A Few Reminders \u003c\/p\u003e\u003cp\u003e12.2 Tableaux for Polyadic First-Order Logic \u003c\/p\u003e\u003cp\u003e12.3 Summary and looking ahead \u003c\/p\u003e\u003cp\u003e13 First-Order Translations \u003c\/p\u003e\u003cp\u003e13.1 Basic Classical Theory with Innards \u003c\/p\u003e\u003cp\u003e13.2 First-Order Classical Theory \u003c\/p\u003e\u003cp\u003e13.3 Polyadic Innards\u003c\/p\u003e\u003cp\u003e13.4 Examples in the polyadic language \u003c\/p\u003e\u003cp\u003e13.5 Adding Identity \u003c\/p\u003e\u003cp\u003e13.6 Summary and Looking Ahead \u003c\/p\u003e\u003cp\u003eIV NONCLASSICAL THEORIES\u003c\/p\u003e\u003cp\u003e14 Alternative Logical Theories \u003c\/p\u003e\u003cp\u003e14.1 Apparent unsettledness \u003c\/p\u003e\u003cp\u003e14.2 Apparent overdeterminacy \u003c\/p\u003e\u003cp\u003e14.3 Options\u003c\/p\u003e\u003cp\u003e14.4 Cases \u003c\/p\u003e\u003cp\u003e14.5 Truth and falsity conditions \u003c\/p\u003e\u003cp\u003e14.6 Logical Consequence \u003c\/p\u003e\u003cp\u003e14.7 Summary, looking ahead, and reading \u003c\/p\u003e\u003cp\u003e15 Nonclassical Sentential Logics \u003c\/p\u003e\u003cp\u003e15.1 Syntax \u003c\/p\u003e\u003cp\u003e15.2 Semantics, Broadly \u003c\/p\u003e\u003cp\u003e15.3 Defined connectives \u003c\/p\u003e\u003cp\u003e15.4 Some notable forms \u003c\/p\u003e\u003cp\u003e15.5 Summary and looking ahead \u003c\/p\u003e\u003cp\u003e16 Nonclassical First-order Theories \u003c\/p\u003e\u003cp\u003e16.1 An Informal Gloss \u003c\/p\u003e\u003cp\u003e16.2 A formal picture \u003c\/p\u003e\u003cp\u003e16.3 Summary and looking ahead \u003c\/p\u003e\u003cp\u003e17 Nonclassical Tableaux \u003c\/p\u003e\u003cp\u003e17.1 Closure Conditions \u003c\/p\u003e\u003cp\u003e17.2 Tableaux for Nonclassical First-Order Logics \u003c\/p\u003e\u003cp\u003e17.3 Summary and looking ahead \u003c\/p\u003e\u003cp\u003e18 Nonclassical Translations \u003c\/p\u003e\u003cp\u003e18.1 Syntax and Semantics \u003c\/p\u003e\u003cp\u003e18.2 Consequence \u003c\/p\u003e\u003cp\u003e18.3 Summary and looking ahead \u003c\/p\u003e\u003cp\u003eV FREEDOM, NECESSITY AND BEYOND\u003c\/p\u003e\u003cp\u003e19 Speaking Freely \u003c\/p\u003e\u003cp\u003e19.1 Speaking of non-existent ‘things’ \u003c\/p\u003e\u003cp\u003e19.2 Existential import \u003c\/p\u003e\u003cp\u003e19.3 Freeing our terms, expanding our domains \u003c\/p\u003e\u003cp\u003e19.4 Truth conditions: an informal sketch\u003c\/p\u003e\u003cp\u003e19.5 Formal picture \u003c\/p\u003e\u003cp\u003e19.6 Summary and looking ahead \u003c\/p\u003e\u003cp\u003e20 Possibilities\u003c\/p\u003e\u003cp\u003e20.1 Possibility and necessity \u003c\/p\u003e\u003cp\u003e20.2 Towards truth and falsity conditions \u003c\/p\u003e\u003cp\u003e20.3 Cases and consequence \u003c\/p\u003e\u003cp\u003e20.4 Formal picture \u003c\/p\u003e\u003cp\u003e20.5 Remark on going beyond possibility \u003c\/p\u003e\u003cp\u003e20.6 Summary and looking ahead \u003c\/p\u003e\u003cp\u003e21 Free and Modal Tableaux \u003c\/p\u003e\u003cp\u003e21.1 Free Tableaux \u003c\/p\u003e\u003cp\u003e21.2 Modal Tableaux \u003c\/p\u003e\u003cp\u003e21.3 Summary and looking ahead \u003c\/p\u003e\u003cp\u003e22 Glimpsing Different Logical Roads \u003c\/p\u003e\u003cp\u003e22.1 Other conditionals \u003c\/p\u003e\u003cp\u003e22.2 Other negations \u003c\/p\u003e\u003cp\u003e22.3 Other alethic modalities: actuality \u003c\/p\u003e\u003cp\u003e22.4 Same connectives, different truth conditions \u003c\/p\u003e\u003cp\u003e22.5 Another road to difference: consequence \u003c\/p\u003e\u003cp\u003e22.6 Summary and looking behind and ahead \u003c\/p\u003e\u003cp\u003eReferences \u003c\/p\u003e","brand":"Taylor \u0026 Francis Ltd","offers":[{"title":"Default Title","offer_id":51019533451607,"sku":"9781138852273","price":24.32,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0817\/1739\/5799\/files\/9781138852273.jpg?v=1750780551","url":"https:\/\/bookcurl.com\/products\/logic-the-basics-9781138852273","provider":"Book Curl","version":"1.0","type":"link"}