Teach Yourself Logic9-0

《Teach Yourself Logic9-0》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、TeachYourselfLogic:aStudyGuidePeterSmithApril1,2013Version9.0Passiton,....That'sthegameIwantyoutolearn.Passiton.AlanBennett,TheHistoryBoysThelatestversionofthisGuidecanalwaysbedownloadedfromlogicmatters.net/students/tyl/URLsinsans-seriffontarelivelinks,asareinternalcross-r

2、eferencestosections,etc.ContentsVersionhistoryiii0Introduction10.1WhythisGuideforphilosophers?...........................10.2WhythisGuideperhapsformathematicianstoo?..................10.3Choices,choices.....................................20.4HowtheGuideisstructured.......

3、.......................20.5Areadingstrategy...................................30.6Otherpreliminarypoints................................41Logicalgeography51.1Thelieoftheland...................................51.2Assumedbackground:`babylogic'..........................62Theb

4、asics92.1Gettingtogripswithrst-orderlogic.........................92.2Gettingstartedwithmodallogic...........................112.3Second-orderlogic...................................132.4Otherclassicalextensionsandvariants........................142.4.1Plurallogic........

5、...........................142.4.2FreeLogic....................................142.5Non-classicalvariants.................................152.5.1Intuitionistlogic................................152.5.2Relevancelogics(andwilderlogicstoo)...................162.6Fromrst-orde

6、rlogictomodeltheory........................162.7ComputabilityandG•odelianincompleteness.....................172.8Beginningsettheory..................................193Exploringfurther223.1Howtousethischapter................................223.2Nextstepsbeyondthemodalbasic

7、s.........................233.3Prooftheory......................................243.4Beyondthemodel-theoreticbasics..........................263.4.1Standardmodeltheory............................263.4.2Adigressiononnitemodeltheory......................273.5Computability..

8、...................................273.5.1Computablefunctions............................