Mystic Horse: An Elegant Being

何庭波在 ISCAS 2026 正式提出韬定律之后， 便引发争论。这就引起了我的关注。争议焦点集中三点：其一，逻辑折叠究竟是全新范式，还是已有三维集成技术的重新整合；其二，它是否配得上 “定律” 之名，批评者认为它属于工程方法论而非严格的自然定律；其三，舆论与资本市场放大解读，将其简化为绕开 EUV 光刻的捷径，催 ...

计算与哲学的思想汇流，根植于戈特弗里德・莱布尼茨的理性主义探究。莱布尼茨构想一套普遍符号演算，并率先设计机械式加法机，开启将人类推理形式化、把逻辑思维机械化的宏大事业。莱布尼茨是连接前现代理性形而上学与现代形式计算的关键思想枢纽。尽管其演算体系大体建立在二值二元框架之上，但他的核心抱负 —— ...

对information概念的学术梳理，存在两条截然不同的路径：一条是以卡普罗（Rafael Capurro）为代表的名词概念史；另一条即本文所采取的多语言词素还原路径，并由此导出模态信息论（Modal Information Theory, MIT）及其核心本体命题 To be is to inform（存在即赋形）。 卡普罗在《Informatio: Ein Beitrag zur Geschic ...

一、Herman 等人 S4+OML 方案的核心构造与局限 1.1 构造思路 正交模格（OML）是量子逻辑的标准代数模型，配备格运算∧，∨、上下界 0,1与正交补 ⊥ 。经典实质蕴涵在 OML 中不再普遍成立，Herman 团队选取Sasaki 箭头作为条件句： a→S b := a ⊥ ∨(a∧b) Sasaki 箭头天然绑定正交补，在兼容命题对上 ...

国庆节，很多人选择了外出旅游，去外国的不少，去国内的甚至更多，我想就别去添堵了。老老实实在家猫着，但天气又特别好，难免让我起了去雕塑公园的念头，公园不远，溜达着就过去。人不多，还算一方净土，坐在长椅上晒太阳，难免犯困。低头打盹，浮现出Ralph Greaves 的 《绿袖子幻想曲》，一下子清醒过来。虽然我不是英 ...

牟氏《中西哲学之会通十四讲》：第三讲“西方哲学底传统：柏拉图传统，莱布尼茨、罗素传统以及康德传统”副标题题”从莱布尼茨、罗素传统说起——莱布尼茨思想之下委与上提”。1990年前后讲于香港新亚研究所，林清臣笔录。引文据流通转录本，字句与上海古籍2008年版或有出入。 1、关键原文摘引 立传统的用意 ...

本文所谓牟宗三的“安位”，是对其整体判教工程的结构性概括。牟宗三本人判教的自觉目的，在于厘清儒、释、道三教以及佛学内部藏、通、别、圆诸教的义理深浅、圆满与不圆满，最终证成儒家圆教的究极形态。但若从形式结构与存在架构的客观效果审视，判教的根本运作方式与最终落实成果，即是“安位”。换言之，判教是其方法 ...

介观信息论，在哲学上可以概括为：以M₃钻石格为载体，给“介观”这个被冯·诺依曼砍掉的层级，重建一个形式化的本体论地位。 介观信息论不满足于“经典归经典、量子归量子”的二分，而是坚持在两者之间，必须有一个可描述、可度量、不可还原的中间地带。 牟宗三的不满：罗素从莱布尼茨那里，只取了逻辑主义 ...

别去外国旅游了。中国也有好景，秋天到东北，即能赏景，亦能躲过秋老虎。