逻辑学导论
最新书摘：
-
沐澜2024-11-22As advanced students go through various chapters, they might want to pursue further readings in this book. Chapter 6 (basic propositional logic) goes well with metalogic §§15.1-2, deviant logic Chapter 17, and philosophy of logic §18.4. Chapter 7 (propositional proofs) goes well with metalogic §§15.3-5 and perhaps informal and inductive Chapters 3 to 5. Chapters 8 and 9 (quantificational logic) go well with metalogic §15.6, history of logic Chapter 16, philosophy of logic §§18.1-3, and syllogisms Chapter 2. And Chapters 10 to 14 (modal/deontic/belief logic and a formalized ethical theory) go well with history of logic §16.5 and philosophy of logic §18.5.
-
沐澜2024-07-01一些高年级学生在学习各部分章节时，他们或许会想在本书找到更多相关主题。第6章（基础命题逻辑）和元逻辑（15.1节、15.2节），异常逻辑（第17章）和逻辑哲学（18.4节）相连贯。第7章（命题证明）和元逻辑（15.3~15.5节），或许和非形式及归纳逻辑（第3~5章）也可相连贯。第8、9章（量化逻辑）与元逻辑（15.6节），逻辑史（第16章），逻辑哲学（18.1~18.3节）及三段论（第2章）相连贯。最后，第10、14章（模态/道义/信念逻辑和形式化伦理学）与逻辑史（16.5节）和逻辑哲学（18.5节）相连贯。
-
沐澜2024-09-23这里的世界WD是一个依赖于世界W的道义世界。这意味着①WD中的直陈句就是世界D中的直陈句；②WD中的祈使句指示的行动集是某些根据世界W中的道义判断可同时被允许的行动的集合。
-
沐澜2024-09-23从这里开始，一个可能世界指的是一个一致的直陈句和祈使句的集合。一个道义世界（deontic world）是满足下面两个条件的可能世界：①直陈句都是真的；②同时执行祈使句指示的行动是被允许的。
-
沐澜2024-09-22新的方案让不同世界有不同的存在实体。根斯勒可以在一个世界中不在，我们不应该把在不同世界存在想得如幽灵般可怕；它只是一种谈论不可能性的方式：我本可以不存在，我们可以讲些具有一致性的故事，其中我的父母并未相遇，我也从未产生。如果这些故事真的发生，那么我就不存在。因此，我在这些故事里不存在（尽管我可能在其他故事里存在）。在可能世界里存在和在故事里存在很像；“可能世界”是“一致的故事”的技术性类比。“我在世界W存在”就是指“如果世界W是现实的，我就会存在。”