公开的音频作品
会推理的魔法机器
会推理的魔法机器 信息论的创始人克劳德·香农发现，形式逻辑的判断与计算能力，是可以外包给机器执行的。1938年，香农发表论文《继电器与开关电路的符号分析》，发现布尔逻辑中的真假值可以和电路开关相对应。线路闭合，电流通过，表示1；线路断开，电流受阻，表示0。我们还能在电路中加入特定结构的开关来实现且、或、非的逻辑关系，这就是电路图上的逻辑门——与门、非门和或…
命题逻辑与命题演算
命题逻辑与命题演算 词项逻辑关注概念之间的关系，命题逻辑关注命题之间的关系。 在命题逻辑中，命题分为基本命题和复合命题。前面的AEIO是基本命题，所谓复合命题，是由两个以上的基本命题加上 命题 联结词 构成的。比如“所有苹果都是食物，而且食物都可以吃”就是一个复合命题，“而且”就是命题联结词。除了“而且”，还有“并非”“或者”“如果……那么……”“等于”等…
三段论
三段论 几乎所有逻辑学教材都会花很多篇幅讲述三段论，说它有各种形式，有些有效，有些无效。我们今天直奔要害，问一个更重要的问题： 所有教材都绕不过去的这个“看上去简单到不用学” 的三段论到底要解决什么问题？ 亚里士多德认为，三段论的实质是事物中的必然因果关系在思维形式中的展现。但作为学过哲学知识论的现代人，我们清楚，事物中的因果关系是很难被直接发现的。退回到…
AEIO
AEIO 概念是有意义的词项（类似于原子），命题是由概念组成的有判断功能的语句（分子），论证则是命题的集合，本质是有推出关系的语群（可见物质）。 从概念到命题，从命题到论证，体 现了认知与语言逐渐复杂化的过程。 逻辑（也即推理规范）最开始的切入点便是理清词项与命题的关系，逻辑学要回答的基本问题便是：词项如何构成了命题（原子如何能构成分子）？各种命题千差万别…
逻辑之外的世界
逻辑之外的世界 维特根斯坦发现，《逻辑哲学论》自身存在着一个逻辑悖论：他先是假设了“语言存在的一般形式”，并提出了“图式”的说法来说明经验是如何被建构成语言的，但“图式”本身并不在经验内，它只是一种“形式构造”，没有人能判断它是不是真的存在。图式理论本身和上帝一样属于不可说的部分，这就陷入了悖论：如果他的结论成立，那么前提就不成立；如果前提不成立，结论便无…
用逻辑笼罩世界
用逻辑笼罩世界 20世纪初，以伯特兰·罗素为代表的一些学者想要将逻辑所揭示出的必然性法则推而广之，使其适用于所有领域，这逐渐形成了在今天被称为“逻辑主义”的理论流派。其基本思路是，先承认我们的认识必须奠基于经验，但是经验可以在理性逻辑的引导下分解成更精确或是更基础的经验，最后留下的某种不能再分解的、无须再证实的基本单位，就是“原子命题”。正如哲学家石里克所…