逻辑和谐

✍ dations ◷ 2025-11-22 06:35:30 #逻辑和谐

逻辑和谐，由迈克尔·达米特命名，是对可以用于给定的逻辑系统的推理规则的假定约束。

逻辑学家格哈德·根岑提议了逻辑连结词的意义可以用把它们介入到论述中的规则给出。例如，如果你相信“天是蓝的”并且还相信“草是绿的”，则你可以如下这样介入逻辑连接词“与”: “天是蓝的 AND 草是绿的”。Gentzen 的想法是拥有这样的规则就是对你的词语，至少对特定词语的给出意义的东西。这个想法也关联于维特根斯坦的格言，在很多情况下我们可以说意义是使用。多数当代逻辑学家偏好认为介入规则和除去规则对于表达是同等重要的。在这种情况下，“与”被如下规则所特征化:

Arthur Prior 指出了它的一个明显的问题: 为什么不能有一个表达(称它为"tonk")，它的介入规则是 OR 形式的(从 "p" 到 "p tonk q") 而它的除去规则是 AND 形式的(从 "p tonk q" 到 "q")? 这让我们根本上从任何起点演绎任何东西。Prior 建议这意味着推理规则不能确定意义。Nuel Belnap 回答说，即使介入和除去规则不能建立意义，任何一对这种规则不能确定一个有意义的表达--它们必须满足特定约束，比如不允许我们在旧的词汇表中演绎出任何新真理。这种约束就是 Dummett 所提及的。

和谐指称的是一个证明论必须使其在介入和除去规则之间成立的特定约束，这样它才有意义，换句话说，它的推理规则是有意义建立的。

把和谐应用于逻辑可以被当作是一种特殊情况；谈论和谐不只有关推理系统才有意义，还有在人类认知中的概念系统，和编程语言中的类型系统。

这种形式的语义没有被证实对塔斯基的真理的语义理论形成巨大的挑战，但是很多哲学家感兴趣于用维特根斯坦的"意义是使用"的方式重建逻辑的语义，他们认为和谐是关键。

Prior, Arthur. "The runabout inference ticket." , 21, pp38-39, 1960-61.

Belnap, Nuel D. Jr. "Tonk, Plonk, and Plink", , 22, pp130-134, 1961-62.

相关

生物集群灭绝生物集群灭绝是指在一个相对短暂的地质时段中，在一个以上并且较大的地理区域范围内，生物数量和种类急剧下降的事件。这个概念主要是指宏观生物，因为微生物的多样性和数量很难推
单核吞噬细胞系统单核吞噬细胞系统（英语：Mononuclear phagocyte system、MPS）是高等动物免疫系统的一部分，由可以进行吞噬作用的细胞组成。通常存在于网状结缔组织（reticular connective tissue）
韩村北路街道韩村北路街道，是中华人民共和国河北省保定市竞秀区下辖的一个乡镇级行政单位。韩村北路街道下辖以下地区：金迪社区、市直机关社区、植物园社区、爱民社区、欣园社区、翠园社区
大卫·沙诺夫大卫·沙诺夫（David Sarnoff，1891年2月27日－1971年12月12日）美国商业无线电和电视的先趋和企业家。被誉为美国广播通讯业之父。俄罗斯帝国（白俄罗斯）犹太裔移民。早年随父母移居美
哈姆伦哈姆伦（Hamren），是印度阿萨姆邦Karbi Anglong县的一个城镇。总人口8278（2001年）。该地2001年总人口8278人，其中男性4390人，女性3888人；0—6岁人口1518人，其中男774人，女744人；识字率63.
STS-106STS-106是历史上第九十九次航天飞机任务，也是亚特兰蒂斯号航天飞机的第二十二次太空飞行。
巢湖西站巢湖西站位于安徽省合肥市巢湖市凤凰山街道，是淮南铁路的一个车站。车站由中国铁路上海局集团有限公司合肥车务段管辖，办理列车通过停靠作业，不办理客运业务，办理货运业务，整车普
亚历山大·瑟洛特亚历山大·瑟洛特（挪威语：Alexander Sørloth，1995年12月5日－）是挪威的职业足球运动员，司职前锋，现时被德甲球队莱比锡RB外借至西甲球队皇家社会，挪威国家足球队成员。
万挠绕道万挠绕道（马来语：Jalan Pintas Rawang，英语：Rawang Bypass，道路编号：）是一条位于马来西亚的联邦公路，是由马来西亚联邦资助的绕道，因位于万挠得名。万挠绕道全长10.662千米，全线于2005年7月16日开工，2017年11月21日竣工，随后于2017年11月28日21时通车。其中有2.7千米路段为高架路段，其中最高的支柱为58.2米高，是马来西亚中最高的支柱。万挠绕道缓解了马来西亚联邦公路1号线万挠市中心路段的交通阻塞问题。在万挠绕道建成之前，由于万挠市中心路段堵塞严重，经
庾俭庾俭（?－?），唐朝政治人物。其父庾质因忤隋炀帝意，死于狱中。庾俭耻以术官，后由傅奕推荐，官至太史令，武德五年（622年），与令狐德棻、陈叔达等参修《周书》。曾荐傅仁均修历法。傅奕屡次抵毁庾俭，庾俭却不记恨，时人都赞赏庾俭仁厚，傅弈遽且忿。《旧唐书》志第十五“天文上”评说：“武德年中，薛颐、庾俭等相次为太史令，虽各善于占候，而无所发明。”