存在图

✍ dations ◷ 2025-03-07 10:46:54 #存在图

存在图是查尔斯·皮尔士发明的逻辑表达式的一种图示或可视表示法。皮尔士在1882年写了第一篇关于图形逻辑的论文，并持续开发这种方法直到1914年他故去。皮尔士提出了三个存在图系统:Alpha嵌套于beta和gamma 中。Beta不嵌套于gamma中，量化的模态逻辑超出了皮尔士的视野。语法是:语义是:一个对象的深度是包围它的切的数目。推理规则:等价规则:证明按照一系列步骤操纵一个图，每个步骤都由上述规则中一个来证实，直到这个图被简约为一个空切或空白页。可以如此简约的图现在叫做重言式或矛盾。不能简约超过一个特定点的图类似于一阶逻辑的可满足公式。皮尔斯使用直觉的英语短语来记号表示谓词；还采用了当代逻辑使用的大写拉丁字母。点断言包含在论域中的一个个体的存在。同一个对象的多个实例用线连起来，这个线叫做"同一线"。这里没有文字变量或量词。连接两个或多个谓词的同一线共享一个公共变量。beta图可以被当作采用可隐含量化的变量。对象的深度是它包含的切的数目。如果一个变量的"最浅"的实例有偶数(奇数)深度，这个变量被默认的存在(全称)量化了。beta图看起来是流线型的带有等式的一阶逻辑，但是在次要文献中没有清晰的指出。向alpha增加了第二类切，写做虚线而不是实线。使用虚线的简单闭合的曲线可以读做模态逻辑的基本一元运算。Zeman (1964)首先注意到了:As of this writing, the chronological critical edition of Peirce's works, the Writings, extends only to 1890. Much of Peirce's work on graphical logic consists of manuscripts written after that date and still unpublished. Hence our understanding of Peirce's graphical logic is likely to change as the remaining 25 volumes of the chronological edition appear.

相关

鼻窦鼻窦（Paranasal sinuses），又名鼻旁窦，位于人的头颅，在头骨之间、鼻腔周围的颅骨与脸骨之内。鼻窦共有四对，平时充满了空气（英语：skeletal pneumaticity），在鼻腔附近。上颌窦（英语：maxill
肾源性尿崩症2肾源性尿崩症（Nephrogenic diabetes insipidus (NDI)）主要是源于肾脏病理的一种尿崩症。这是相对于中央/神经性尿崩症（neurogenic diabetes insipidus），神经性尿崩症是由抗利尿激
弥漫性血管内凝血弥散性血管内凝血（英语：Disseminated Intravascular Coagulation，简称DIC），又称消耗性凝血病，是指在某些致病因子的作用下，大量促凝物质入血，凝血因子和血小板被活化，使凝血酶增多，微
安德鲁·斯丁普森安德鲁·斯廷普森（英语：Andrew Stimpson，1980年－），英国苏格兰出生，他是被确认感染人类免疫缺陷病毒十七个月后，测试结果呈阴性反应的英国男子。虽然过往在非洲曾经有受感染者成功击
临时参议长议长：南希·裴洛西（民主党）多数党领袖（英语：Party leaders of the United States House of Representatives）：斯坦利·霍耶（民主党）少数党领袖（英语：Party leaders of the United Sta
诺贝尔生理学或医学奖诺贝尔生理学或医学奖（瑞典语：Nobelpriset i fysiologi eller medicin），通常合称诺贝尔生理医学奖，由诺贝尔基金会管理，该奖项每年颁发一次，用于表彰在生理学或医学领域作出重要发
基里巴斯面积以下资讯是以2018年估计独立日（7月12日）圣诞节（12月25日）家用电源国家领袖国内生产总值（购买力平价）以下资讯是以2016年估计国内生产总值（国际汇率）以下资讯是以2016年估计人
工奴《包身工》，中国现代作家夏衍所著的报告文学作品，写于1935年。《包身工》一文以报告文学的形式叙述了上海等地包身工遭遇的种种非人的待遇，以及带工老板等人对他们残忍的压榨。
修纳语修纳语（修纳语：ChiShona），或称绍纳语，是属于班图语支的一种语言。是赞比亚南部与津巴布韦修纳人的母语，也是津巴布韦的官方语言之一。修纳语所有的音节都以元音结尾，且一个字词中的
南京官话字南京话是江淮官话（淮语）的一种方言。现代南京话主要通行于南京市主城9区、溧水区北部、句容市和马鞍山市部分地区。南京官话曾长期是中国的官方语言，明代及清代中叶之前中国的