保罗·曼科苏（Paolo Mancosu）、塞尔吉奥·加尔文（Sergio Galvan）和理查德·扎克（Richard Zach）。 证明理论导论：规范化、删减和一致性证明。 牛津：牛津大学出版社，2021年。 DOI:10.1093/oso/9780192895936.001.0001于2021年8月17日在英国出版。 有精装本和平装本两种。 《证明理论导论》提供了对证明理论的一个通俗易懂的介绍，其中详细介绍了… 继续阅读 证明理论导论：规范化、删减和一致性证明
著名的证明理论家和数学哲学家威廉·沃克（“比尔”）·泰特于2024年3月15日在芝加哥去世。 他当时95岁。 比尔于1929年1月22日出生于纽约州弗里波特，1952年获得利哈伊大学文学学士学位，师从阿道夫·格伦鲍姆。 他从事哲学研究生学习（1952年至1954年）和… 继续阅读 W.W.Tait，1929-2024年
我刚刚在OLP上发布了x:Calgary现在有一个HTML版本可以在线阅读。 这里有一些技术说明，以防对任何人都有帮助。 首先，LaTeX到HTML的转换一直很棘手。 没有完美的解决方案。 基本上有三种可行的方法：假设您的LaTeX代码基本上… 继续阅读 将LaTeX转换为HTML：技术说明
我很高兴地报告，对于所有x:Calgary，现在都有HTML版本可供在线阅读。 阅读全文 开放逻辑项目 。
这是前几天在正式转折会议上讨论时提出来的，所以我想我应该在这里保留一个旧的推特帖子：第一个在NAND和NOR（Sheffer stroke和Peirce arrow）上发布结果的人是波兰数学家和哲学家爱德华·斯塔姆（1886-1940）。 出版物是“Beitrag zur Algebra der Logik… 继续阅读 谢弗在谢弗面前击球：爱德华·斯塔姆
曼科苏、保罗、塞尔吉奥·加尔文和理查德·扎克。 2022.《国家政策导言：国家政策、规范化和公共政策》。 巴黎：弗林，《引言：证明理论导论》。 引言部分可访问的主题：伊尔多恩·莱斯·德雷塔斯（il donne les détails des preuves）和诺姆布鲁斯（comporte de nombreux）… 继续阅读 《国家政策导言》：国家政策、规范化和公共政策
理查德·扎克。 2022.“An Epimorphism Between Fine and Ferguson’s Matrices for Angell’s AC”，《逻辑与逻辑哲学》，即将出版，1-19。 https://doi.org/10.12775/LLP.2022.025。 Angell的分析包含AC逻辑已被证明具有Ferguson的9值矩阵NC和Fine的16值矩阵的特征。 结果表明，前者是图像… 继续阅读 Angell AC的Fine矩阵和Ferguson矩阵之间的满射
巴兹、马提亚斯和理查德·扎克。 2022.中间逻辑中的Epsilon定理。 符号逻辑期刊87（2），第682–720页。 DOI:10.1017/jsl.2021.103。 开放访问。 任何中间命题逻辑（即包含直觉主义逻辑且包含在经典逻辑中的逻辑）都可以扩展为具有ε-和τ-运算符以及临界公式的微积分。 对于经典逻辑，这… 继续阅读 中间逻辑中的Epsilon定理
Elkind、Landon D.C.和Richard Zach。 2022.“∨”的谱系 符号逻辑综述，1-38。 DOI:10.1017/S1755020321000587。 形式逻辑中普遍使用符号∨表示析取。 它是从哪里来的？ 本文详细介绍了符号“∨”在历史和逻辑语境中的演变。 一些… 继续阅读 “∨”的系谱
我们研究了最近提出的模态超频率结石。 关系超序列的解释包含了超序列的可及性关系。 这些系统给出了与Lellman线性嵌套序列相同的超序列解释，但由Restall为S5独立开发，并由Parisi扩展到其他正常模态逻辑。 由此产生的系统遵循Došen的原则：在不同的模态逻辑中，模态规则是相同的。 不同的模态系统只在存在或不存在外部结构规则方面有所不同。 除了S5之外，系统是模块化的，因为不同的结构规则捕获了可访问性关系的不同属性。 我们为K、T和D提供了第一个直接的语义无割完备性证明，并说明了该方法在B和S4的情况下是如何失败的。
理查德·扎克。 2021.“广义单结论和多结论序贯演算的截消和归一化”，《符号逻辑评论》14（3）：645-86。 doi:10.1017/S1755020320000015。 任何一组真值函数连接词都有连续的演算规则，这些规则可以从连接词的真值表中系统地生成。 这种顺序演算产生了… 继续阅读 广义单、多结论序列和自然演绎算法的截消与归一化
保罗·曼科苏（Paolo Mancosu）在《人文数学杂志》（Journal of Humanistic Mathematics）上发表了一篇新论文：这篇文章提供了一些早期信件，记录了生物学家约瑟夫·伍德格（Joseph H.Woodger）和逻辑学家阿尔弗雷德·塔斯基（Alfred Tarski）之间的关系。 我用伦敦大学学院伍德格论文中保存的塔斯基写给伍德格的25封未发表的信重建了他们的关系… 继续阅读 关于塔斯基为何在二战前不愿离开波兰的新细节
为准备2021年秋季版的集、逻辑、计算，开放逻辑项目中的材料已经看到[…]
几天前，丹尼尔·利特（Daniel Litt）联系到帕特里克·布鲁斯南（Patrick Brosnan）的计算机验证了皮亚诺算法不一致性的“证据”。 证明是正确的； 我只是把它放在引号里，因为它依赖于使用的证明验证系统（Metamath）的一种怪癖，它要求您显式禁止某些变量替换。 PA公理… 继续阅读 著名逻辑学家及其矛盾理论
国际基督教青年会，所有x：卡尔加里已被翻译成德语和葡萄牙语！ 所有x：西蒙·威默的多特蒙德是德国人[…]
理查德·扎克。 2021.“正式逻辑课程中的学习结果和等级规范”，在2021年掌握分级大学会议上发布的海报演示，在线，6月11日。 https://drive.google.com/file/d/1q6rAyXfrz2k79NtaHoMREQ9IDagnbvLN/view。 形式逻辑是本科哲学系的主要内容。 课程通常是直接授课，有习题集和考试。 我将描述这样一个设计… 继续阅读 形式逻辑课程中的学习结果和等级规范
MUltlog是一个Prolog程序，它将有限值逻辑（命题逻辑或一阶逻辑）的规范转换为许多相关分析证明系统的最佳推理规则：多边序列演算、有符号表、多边自然演绎和用于有符号解析的子句翻译演算。 逻辑的规范可以由一个简单的TCL/TK… 继续阅读 发布MUltlog 1.13
好吧，我的形式逻辑入门（逻辑I）课程是在罐头里。 我认为这是一次成功！ 如果没有格雷厄姆·利奇·克鲁斯的卡纳普系统和我的优秀团队（胡斯娜·法鲁基、莎拉·哈切尔、汉娜·奥莱恩和德维吉·拉瓦尔），我不可能做到这一点。 不久前，我写了一篇关于实现基于规范的计划的文章… 继续阅读 逻辑在线教学：报告
OLP中有四个新章节。 它们包含关于许多有价值逻辑的草稿材料。 引言解释了它们的语法[…]
2020年秋季版forall x:Calgary现已上市。 更改包括：一些后台文件重组[…]
帖子导航
