×

自由逻辑。论文选集。 (英语) Zbl 1026.03003号

剑桥:剑桥大学出版社。xii,191页(2003)。
这本书是一本由自由逻辑先驱之一在四十年的时间里撰写的散文集,其目的是唤起哲学家以及计算机科学家和数学家对这一主题的关注。它不仅仅是一本进入自由逻辑广阔领域的指南书(最近的调查[见:L.Goble(ed.),the Blackwell guide to哲理逻辑,258-279(2001;Zbl 1003.03009号)]但这对学生和专业研究人员都有好处。下面对这本书九章的标题进行回顾,可以深入了解其内容。第一章:罗素对确定性描述理论的版本(发表于《哲学研究》第65卷第153-167页(1992年))。第二章:存在意义,‘E!’和“the”(改编自几篇论文:《关于E!III的注释:描述的理论》,同上13,5-59(1963),《关于E?IV的注释:带有同一性和确定性描述的自由量化理论的简化》,同上15,85-88(1964),《存在意义重温》,《圣母院J.形式逻辑》4,288-292(1963;Zbl 0139.24409号)《自由逻辑与存在概念》,同上8,133-144(1967年;Zbl 0204.00302号)). 第3章:两个悖论的简化及其意义(改编自两篇论文:“关于两个悖谬的简化及其重要性”,载于:L.Krüger,B.Falkenburg(编辑),Physik,Philosophie,und die Einheit der Wissenschaften,Spektrum:Heidelberg,21-33(1995),和“关于“形式‘某某’的表达式,其中‘the’是单数形式”的逻辑理论的理论”,Erkentnis 35,337-346(1991))。第4章:希尔伯特-伯纳斯确定性描述理论(新的;对该理论及其最新版本进行了形式化和哲学审查)。第5章:正自由定描述理论层次的基础(介绍了与彼得·伍德拉夫合作完成的未发表的工作;特别是提供了一个统一的程序来证明标题中提到的各种理论的完整性)。第6章:预测与外延(两篇论文的最新改编:《预测与外延》,J.Philos.Log.3,255-264(1974;Zbl 0281.02005号))《辩证法》52,153-161(1998))。第7章:非外延性(一篇同名论文的大幅修订版,发表于卷:W.Lenzen(ed.),Das weite Spektrum der analytichen Philosophie,de Gruyter:Berlin(1997))。第八章:自由逻辑的哲学基础(《探究24》,147-203(1981)中一篇演讲的修订版)。第9章:逻辑真理与微观物理学(对同名论文进行了相当大的修订,见:《做事的逻辑方式》,93-117(1969;Zbl 0184.28103号)).

MSC公司:

03-02 与数学逻辑和基础相关的研究展览(专著、调查文章)
03B20型 经典逻辑子系统(包括直觉逻辑)
03A05号 逻辑和基础的哲学和批判性方面
03-06 与数理逻辑和基础有关的会议记录、会议、收藏等
00立方英尺60 重印文章集
01A75号 收集或选择的作品;经典作品的重印或翻译
PDF格式BibTeX公司 XML格式引用
全文: 内政部