乔治·布洛斯 理查德·杰弗里（编辑） [约翰·伯吉斯。] 逻辑、逻辑和逻辑。有约翰·P·伯吉斯的介绍和后记。理查德·杰弗里编辑。 （英语） Zbl 0955.03008号 马萨诸塞州剑桥：哈佛大学出版社。x、 第443页（1998年）。 将索引文章显示为搜索结果。 本卷的文章将单独进行审查。摘自《编辑序言》：乔治·布洛斯（1940-1996）在他英年早逝前不久设计了这本书。他提供了标题和目录，但不是目前此类卷中常见的介绍性注释，将所选论文相互关联，并与更大的文献关联。约翰·伯吉斯（John Burgess）在这里提供了这样的介绍，并在后记中对乔治（George）在可证明逻辑方面的工作进行了调查。在选定的30个项目中，有一个项目尚未在其他地方出版或计划出版，而有五个项目之前已被选入选集，其中四个项目在威廉·德莫波洛斯的收藏中：弗雷格的数学哲学（哈佛大学出版社，马萨诸塞州剑桥）（1995年；Zbl 0915.03004号). 对于这五个项目，本文在重印之后。此处省略了一个项目的技术附录。除了正文中提到的作品外，本卷的参考书目还包括乔治的完整参考书目，由他编撰。与原文的形式有两种系统性的背离：自始至终，我们对逻辑符号使用了统一的现代符号，所有的引号都是双引号（除了一篇关于引号的文章，其中完全遵循了原文的用法）。本集的第一部分包含关于集合论和二阶逻辑相关主题的论文，包括关于复数逻辑的文章。第二部分包含对弗雷格研究的贡献。第三部分包含关于数学归纳法的文章，关于证明长度的示例，以及关于哥德尔不完全性定理的文章。索引文章：乔治·布洛斯，集合的迭代概念，13-29[Zbl 0972.03539号]乔治·布洛斯，回复查尔斯·帕森斯的“集合与类”，30-36[Zbl 0972.03538号]乔治·布洛斯，关于二阶逻辑，37-53[Zbl 0972.03525号]乔治·布洛斯，To be是一个变量的值（或是一些变量的值），54-72[Zbl 0972.03535号]乔治·布洛斯，名义柏拉图主义，73-87[Zbl 0972.03514号]乔治·布洛斯，再次迭代，88-104[Zbl 0972.03511号]乔治·布洛斯，库尔特·哥德尔“关于数学基础及其含义的一些基本定理”的介绍性说明，105-119[Zbl 0972.03508号]乔治·布洛斯我们必须相信集合论吗？，120至132[Zbl 0972.03513号]乔治·布洛斯《哥特洛布·弗雷格与算术基础》，143-154[Zbl 0972.03500号]乔治·布洛斯，正在读取概念文字, 155-170 [Zbl 0972.03501号]乔治·布洛斯，从矛盾中拯救弗雷格，171-182[Zbl 0972.03502号]乔治·布洛斯，弗雷格的一致性算术基础, 183-201 [Zbl 0972.03503号]乔治·布洛斯，数字相等的标准，202-219[Zbl 0972.03504号]乔治·布洛斯矛盾何在？，220-236 [Zbl 0972.03505号]乔治·布洛斯，1879年？，237-254 [Zbl 0972.03506号]乔治·布洛斯，诚实劳动胜过偷窃，255-274[Zbl 0972.03518号]乔治·布洛斯，关于弗雷格定理的证明，275-290[Zbl 0972.03548号]乔治·布洛斯，弗雷格定理和皮亚诺假设，291-300[Zbl 0972.03545号]乔治·布洛斯休谟的原理是分析性的吗？，301-314 [Zbl 0972.03509号]乔治·布洛斯（George Boolos）；见鬼，Richard G.jun。,Die Grundlagen der Arithmetik公司, §§82–83, 315-338 [Zbl 0972.03510号]乔治·布洛斯《构建康托利反例》，339-341[Zbl 0972.03537号]乔治·布洛斯，缩小湿滑斜坡，354-364[Zbl 0972.03521号]乔治·布洛斯，不要消除切割，365-369[Zbl 0972.03543号]乔治·布洛斯，《数学归纳法的合理性》，370-375[Zbl 0972.03520号]乔治·布洛斯，一个奇怪的推断，376-382[Zbl 0972.03549号]乔治·布洛斯，哥德尔不完全性定理的新证明，383-388[兹比尔0972.03544]乔治·布洛斯关于“看到”哥德尔句子的真相，389-391[Zbl 0972.03547号]乔治·布洛斯，引用歧义，392-405[Zbl 0972.03516号]乔治·布洛斯，有史以来最难的逻辑难题，406-410[Zbl 0972.03519号]乔治·布洛斯，哥德尔第二不完全性定理用一个音节的单词解释，411-413[Zbl 0972.03546号] 引用于36评论引用于41文件 理学硕士： 03-06 与数理逻辑和基础有关的会议记录、会议、收藏等 03A05号 逻辑和基础的哲学和批判性方面 00A30型 数学哲学 01A75号 收集或选择的作品；经典著作的再版或翻译 03-03 数学逻辑和基础的历史 03Bxx号 一般逻辑 03Fxx公司 证明理论与构造数学 关键词：可证明逻辑;集合论;二阶逻辑;复数逻辑;弗雷格研究;数学归纳法;证明的长度;哥德尔不完全性定理 引文：Zbl 0915.03004号 PDF格式BibTeX公司 XML格式引用 \textit{G.Boolos}和\textit{R.Jeffrey}（编辑），《逻辑、逻辑和逻辑》。约翰·P·伯吉斯作了介绍和后记。理查德·杰弗里编辑。马萨诸塞州剑桥：哈佛大学出版社（1998；Zbl 0955.03008）