真值语义

✍ dations ◷ 2025-06-27 17:52:58 #真值语义

在逻辑的语义中，真值语义是对 Tarski主义语义的一种替代选择。它主要由 Ruth Barcan Marcus、H. Leblanc、M. Dunn 和 N. Belnap 所拥戴。它也叫做(量词的)代换释义或代换量化。

Beth 的一个定理声称，在模型中一个域内所有成员除了那些被指派给常量的都可以被折消，假定了全称量词(存在量词)可以被读做公式的合取(析取)，其中常量替代在量词作用域内的变量的想法。比如，∀xPx 可以读做 (Pa & Pb & Pc &...) 这里的 a,b,c 是个体常量替代了在 Px 中的所有 x 的出现。

在真值语义和谓词逻辑的标准语义之间的主要区别是真值语义没有域。只有原子公式和量化公式的真值子句不同于真值语义。在真值语义中原子公式如 Pb 或 Rca 为真，当且仅当 b (的指称物)是谓词 P 的外延的成员，和当且仅当有序对 (c,a) 是 R 的外延的成员；在真值语义中原子公式的真值是基本的。全称(存在)公式为真，当且仅当它的所有(某些)代换实例为真。比较于标准语义，它声称全称(存在)公式为真，当且仅当对于这个域的所有(某些)成员，这个公式对于其中全部(某些)成立；比如，∀xA 为真(在一个释义下)，当且仅当对于域 D 的所有的 k，A(k/x) 为真(这里的 A(k/x) 是用 k 代换 A 中 x 的所有出现的结果)。(这里我们假定常量是以自身命名的--就是说它们也是这个域的成员)。

真值语义不是没有问题。首先，强完备性定理和紧致性定理失效。要看到这些问题请考虑集合 {F(1), F(2),...}。明显的公式 ∀xF(x) 是这个集合的推论，但它不是其任何有限子集的推论(所以从它是不可演绎的)。立即就可以得出紧致性定理和强完备性定理二者对于真值语义失效。这由 Dunn 和 Belnap 在 1968 年给出的逻辑推论的修改定义所矫正。

另一个问题出现在自由逻辑中。考虑带有无指称的一个个体常量 c 和表示不存在的一个谓词 F 的一个语言。那么 ∃xFx 为假，即使它的一个代换实例(实际上在这个释义下所有这种实例)为真。要解决这个问题我们简单的增加一个限制条款，存在量化陈述在一个释义下为真，至少一个代换实例在其中这个常量指称存在的某个东西。

相关

336年“君何必曰利，仁义而已矣！君曰何以利吾国，大夫曰何以利吾家，士庶人曰何以利吾身，上下交征利而国危矣。未有仁而遗其亲者也，未有义而后其君者也。”王曰： “善。”
四角化立方体在几何学中，四角化立方体又称为四角化六面体是一种卡塔兰立体，其对偶多面体为截角正八面体，由24个全等的等腰三角形组成，具有36条边和14个顶点，可以视为在正方体的每个面上加入正
花楸花楸树（学名：），又名欧洲花楸、百华花楸、红果臭山槐、山槐子（河北土名）、马加木（东北土名）等，是蔷薇科花楸属的植物。广泛分布于欧亚大陆及非洲北部部分地区。其果实可以食用，叶子可以
武宁 (琉球国王)武宁（琉球语：武寧／ブニー ?；1356年－1406年）是琉球国三山时代中山王国的第二代王，也是最后一代王。1396年至1405年在位。神号中之真物（琉球语：中之眞物〔中之真物〕／ナカヌマムン）
土木工程施工机械表plus offering extras which can announce this kind of the main benefit of the skepticism. gbeakkaegdedaedc
滕扎沃尔滕扎沃尔（Thenzawl），是印度米佐拉姆邦Serchhip县的一个城镇。总人口5519（2001年）。该地2001年总人口5519人，其中男性2761人，女性2758人；0—6岁人口855人，其中男417人，女438人；识字率83.
欧根河欧根河，位于中华人民共和国黑龙江省绥化市庆安县境内，是呼兰河右岸支流，发源于庆安县北端高岚山南麓，自东北向西南流经东方红林场、茂林河林场、九连林场、卫东林场、铁力农场、
祝绪丹祝绪丹（1992年4月15日－），中国大陆女演员，出生于黑龙江省齐齐哈尔市，毕业于中央戏剧学院表演系，粉丝名为"蛋壳"，现为嘉行传媒旗下艺人。祝绪丹于1992年出生于黑龙江齐齐哈尔，6岁开始学
亚历山德拉·纳西门托亚历山德拉·纳西门托（Alexandra Nascimento，1981年9月16日－），巴西女子手球运动员，亦是巴西国家女子手球队队员，司职右边锋。曾在2011年泛美女子手球锦标赛为巴西队夺得冠军；又在2011年世界女子手球锦标赛成为赛事神射手。2008年，亚历山德拉·纳西门托代表巴西参加中国北京举行的奥林匹克运动会女子手球比赛。
安娜·达博维奇安娜·达博维奇（塞尔维亚语拉丁字母：Ana Dabović，塞尔维亚语西里尔字母：Ана Дабовић，1989年8月18日－）生于前南斯拉夫采蒂涅，是一名塞尔维亚女子篮球运动员，场上位置是得分后卫。她的父亲是一名篮球教练，母亲是一名前手球选手，她的一个哥哥和两个姐姐也都从事篮球运动。其中一个姐姐米莉察曾和她共同征战2015年欧洲女子锦标赛和2016年里约奥运。2013年，她开始和塞尔维亚篮球联合会主席德拉甘·迪拉斯交往。两人曾在2014年分手过一次，之后两人一度复合，但最终于2017年5月再度分手。