LaTeX for Logicians
(“LaTeX for Logicians” n.d.)
-
There is a wealth of general material available online about LaTeX (you can easily find general beginners’ guides suitable for your circumstances). These pages assemble links to more specific resources of particular interest to logicians, philosophers and others using LaTeX to produce papers or presentations, teaching materials, theses or books, and perhaps wanting to include […]
(Peter Smith 2022)
The Annotated Gödel #북리뷰
- Peter Smith
- Some years ago, Charles Petzold published his The Annotated Turing which, as its subtitle tells us, provides a guided tour through Alan Turing’s epoch-making 1936 paper. I was prompted at the time to wonder about putting together a similar book, with an English version of Gödel’s 1931 paper interspersed with explanatory comments and asides. But […]
Logic Matters: The Study Guide and Book Notes 논리학 가이드
- (“Logic Matters: The Study Guide and Book Notes 논리학 가이드” 2014)
https://www.logicmatters.net/tyl/
- A Study Guide A re-titled, expanded version of the old Teach Yourself Logic study guide. This is a book length guide to the main topics and some suitable texts either for teaching yourself logic by individual self-study, or to supplement a university course. You only need to read just the first half-dozen pages to see […]
References
“LaTeX for Logicians.” n.d. Logic Matters. Accessed October 19, 2024. https://www.logicmatters.net/latex-for-logicians/.
“Logic Matters: The Study Guide and Book Notes 논리학 가이드.” 2014. Logic Matters. October 3, 2014. https://www.logicmatters.net/tyl/.
Peter Smith. 2022. “The Annotated Gödel #북리뷰.” Logic Matters. September 6, 2022. https://www.logicmatters.net/2022/09/06/the-annotated-godel/.
Preface 1 The Guide, and how to use it 1.1 Who is the Guide for? 1.2 The Guide’s structure 1.3 Strategies for self-teaching from logic books 1.4 Choices, choices 1.5 So what do you need to bring to the party? 1.6 Two notational conventions 2 A very little informal set theory 2.1 Sets: a very quick checklist 2.2 A note about naivety 2.3 Recommendations on informal basic set theory 2.4 Virtual classes, real sets 3 First-order logic 3.1 Propositional logic 3.2 FOL basics 3.3 A little more about types of proof-system 3.4 Basic recommendations for reading on FOL 3.5 Some parallel and slightly more advanced reading 3.6 A little history (and some philosophy too) 3.7 Postscript: Other treatments? 4 Second-order logic, quite briefly 4.1 A preliminary note on many-sorted logic 4.2 Second-order logic 4.3 Recommendations on many-sorted and second-order logic 4.4 Conceptual issues 5 Model theory 5.1 Elementary model theory 5.2 Recommendations for beginning first-order model theory 5.3 Some parallel and slightly more advanced reading 5.4 A little history 6 Arithmetic, computability, and incompleteness 6.1 Logic and computabilit 6.2 Computable functions 6.3 Formal arithmetic 6.4 Towards Gödelian incompleteness 6.5 Main recommendations on arithmetic, etc. 6.6 Some parallel/additional reading 6.7 A little history 7 Set theory, less naively 7.1 Set theory and number systems 7.2 Ordinals, cardinals, and more 7.3 Main recommendations on set theory 7.4 Some parallel/additional reading on standard ZFC 7.5 Further conceptual reflection on set theories 7.6 A little more history 7.7 Postscript: Other treatments? 8 Intuitionistic logic 8.1 A formal system 8.2 Why intuitionistic logic? 8.3 More proof theory, more semantics 8.4 Basic recommendations on intuitionistic logic 8.5 Some parallel/additional reading 8.6 A little more history, a little more philosophy 9 Elementary proof theory 9.1 Preamble: a very little about Hilbert’s Programme 9.2 Deductive systems, normal forms, and cuts 9.3 Proof theory and the consistency of arithmetic 9.4 Main recommendations on elementary proof theory 9.5 Some parallel/additional reading 10 Modal logics 10.1 Some basic modal logics 10.2 Provability logic 10.3 First readings on modal logic 10.4 Suggested readings on provability logic 10.5 Alternative and further readings on modal logics 10.6 Finally, a very little history 11 Other logics? 11.1 Relevant logic 11.2 Readings on relevant logic 11.3 Free logic 11.4 Readings on free logic 11.5 Plural logic 11.6 Readings on plural logic 12 Going further 12.1 A very little light algebra for logic? 12.2 More model theory
12.3 More on formal arithmetic and computability 12.4 More on mainstream set theory 12.5 Choice, and the choice of set theory 12.6 More proof theory 12.7 Higher-order logic, the lambda calculus, and type theory
Related-Notes
References
“LaTeX for Logicians.” n.d. Logic Matters. Accessed October 19, 2024. https://www.logicmatters.net/latex-for-logicians/.
“Logic Matters: The Study Guide and Book Notes 논리학 가이드.” 2014. Logic Matters. October 3, 2014. https://www.logicmatters.net/tyl/.
Peter Smith. 2022. “The Annotated Gödel #북리뷰.” Logic Matters. September 6, 2022. https://www.logicmatters.net/2022/09/06/the-annotated-godel/.