图书简介
Logic: the Basics is an accessible introduction to several core areas of logic. This thoroughly revised second edition not only comprehensively covers the standard topics in logic at an introductory level but also gives the reader an idea of how they can take their knowledge further. With its wealth of exercises (many of which have solutions in the encyclopedic online supplement) Logic: the Basics will be useful as a textbook in courses ranging from the introductory level to the early graduate level and also as a reference for students and researchers in philosophical logic.
I BACKGROUND IDEAS 1 Consequences 1.1 Relations of support 1.2 Logical consequence: the basic recipe 1.3 Valid arguments and truth 1.4 Summary, looking ahead, and reading 2 Models, Modeled, and Modeling 2.1 Models 2.2 Models in science 2.3 Logic as modeling 2.4 A note on notation, metalanguages, etc. 2.5 Summary, looking ahead, and reading 3 Language, Form, and Logical Theories 3.1 Language and formal languages 3.2 Languages: syntax and semantics 3.3 Atoms, connectives, and molecules 3.4 Connectives and form 3.5 Validity and form 3.6 Logical theories: rivalry 3.7 Summary, looking ahead, and reading 4 Set-theoretic Tools 4.1 Sets 4.2 Ordered sets: pairs and n-tuples 4.3 Relations 4.4 Functions 4.5 Sets as tools 4.6 Summary and looking ahead II THE BASIC CLASSICAL THEORY 5 Basic Classical Syntax and Semantics 5.1 Cases: complete and consistent 5.2 Classical ?truth conditions? 5.3 Basic classical consequence 5.4 Motivation: precision 5.5 Formal picture 5.6 Defined connectives 5.7 Some notable valid forms 5.8 Summary and looking ahead 6 Basic Classical Tableaux 6.1 What are tableaux? 6.2 Tableaux for the Basic Classical Theory 6.3 Summary and looking ahead 7 Basic Classical Translations 7.1 Atoms, Punctuation, and Connectives 7.2 Syntax, altogether 7.3 Semantics 7.4 Consequence 7.5 Summary and Looking Ahead III FIRST-ORDER CLASSICAL THEORY 8 Atomic Innards: Unary 8.1 Atomic innards: names and predicates 8.2 Truth and falsity conditions for atomics 8.3 Cases, domains, and interpretation functions 8.4 Classicality 8.5 A formal picture 8.6 Summary and looking ahead 9 Everything and Something 9.1 Validity involving quantifiers 9.2 Quantifiers: an informal sketch 9.3 Truth and falsity conditions 9.4 A formal picture 9.5 Summary and looking ahead. 10 First-Order Language with Any-Arity Innards 10.1 Truth and falsity conditions for atomics 10.2 Cases, domains, and interpretation functions 10.3 Classicality 10.4 A formal picture 10.5 Summary and looking ahead 11 Identity 11.1 Logical expressions, forms, sentential forms 11.2 Validity involving identity 11.3 Identity: informal sketch 11.4 Truth conditions: informal sketch 11.5 Formal picture 11.6 Summary and looking ahead 12 Tableaux for First-Order Logic with Identity 12.1 A Few Reminders 12.2 Tableaux for Polyadic First-Order Logic 12.3 Summary and looking ahead 13 First-Order Translations 13.1 Basic Classical Theory with Innards 13.2 First-Order Classical Theory 13.3 Polyadic Innards 13.4 Examples in the polyadic language 13.5 Adding Identity 13.6 Summary and Looking Ahead IV NONCLASSICAL THEORIES 14 Alternative Logical Theories 14.1 Apparent unsettledness 14.2 Apparent overdeterminacy 14.3 Options 14.4 Cases 14.5 Truth and falsity conditions 14.6 Logical Consequence 14.7 Summary, looking ahead, and reading 15 Nonclassical Sentential Logics 15.1 Syntax 15.2 Semantics, Broadly 15.3 Defined connectives 15.4 Some notable forms 15.5 Summary and looking ahead 16 Nonclassical First-order Theories 16.1 An Informal Gloss 16.2 A formal picture 16.3 Summary and looking ahead 17 Nonclassical Tableaux 17.1 Closure Conditions 17.2 Tableaux for Nonclassical First-Order Logics 17.3 Summary and looking ahead 18 Nonclassical Translations 18.1 Syntax and Semantics 18.2 Consequence 18.3 Summary and looking ahead V FREEDOM, NECESSITY AND BEYOND 19 Speaking Freely 19.1 Speaking of non-existent ?things? 19.2 Existential import 19.3 Freeing our terms, expanding our domains 19.4 Truth conditions: an informal sketch 19.5 Formal picture 19.6 Summary and looking ahead 20 Possibilities 20.1 Possibility and necessity 20.2 Towards truth and falsity conditions 20.3 Cases and consequence 20.4 Formal picture 20.5 Remark on going beyond possibility 20.6 Summary and looking ahead 21 Free and Modal Tableaux 21.1 Free Tableaux 21.2 Modal Tableaux 21.3 Summary and looking ahead 22 Glimpsing Different Logical Roads 22.1 Other conditionals 22.2 Other negations 22.3 Other alethic modalities: actuality 22.4 Same connectives, different truth conditions 22.5 Another road to difference: consequence 22.6 Summary and looking behind and ahead References
Trade Policy 买家须知
- 关于产品:
- ● 正版保障:本网站隶属于中国国际图书贸易集团公司,确保所有图书都是100%正版。
- ● 环保纸张:进口图书大多使用的都是环保轻型张,颜色偏黄,重量比较轻。
- ● 毛边版:即书翻页的地方,故意做成了参差不齐的样子,一般为精装版,更具收藏价值。
关于退换货:
- 由于预订产品的特殊性,采购订单正式发订后,买方不得无故取消全部或部分产品的订购。
- 由于进口图书的特殊性,发生以下情况的,请直接拒收货物,由快递返回:
- ● 外包装破损/发错货/少发货/图书外观破损/图书配件不全(例如:光盘等)
并请在工作日通过电话400-008-1110联系我们。
- 签收后,如发生以下情况,请在签收后的5个工作日内联系客服办理退换货:
- ● 缺页/错页/错印/脱线
关于发货时间:
- 一般情况下:
- ●【现货】 下单后48小时内由北京(库房)发出快递。
- ●【预订】【预售】下单后国外发货,到货时间预计5-8周左右,店铺默认中通快递,如需顺丰快递邮费到付。
- ● 需要开具发票的客户,发货时间可能在上述基础上再延后1-2个工作日(紧急发票需求,请联系010-68433105/3213);
- ● 如遇其他特殊原因,对发货时间有影响的,我们会第一时间在网站公告,敬请留意。
关于到货时间:
- 由于进口图书入境入库后,都是委托第三方快递发货,所以我们只能保证在规定时间内发出,但无法为您保证确切的到货时间。
- ● 主要城市一般2-4天
- ● 偏远地区一般4-7天
关于接听咨询电话的时间:
- 010-68433105/3213正常接听咨询电话的时间为:周一至周五上午8:30~下午5:00,周六、日及法定节假日休息,将无法接听来电,敬请谅解。
- 其它时间您也可以通过邮件联系我们:customer@readgo.cn,工作日会优先处理。
关于快递:
- ● 已付款订单:主要由中通、宅急送负责派送,订单进度查询请拨打010-68433105/3213。
本书暂无推荐
本书暂无推荐