存在图

✍ dations ◷ 2025-11-21 00:16:31 #存在图

存在图是查尔斯·皮尔士发明的逻辑表达式的一种图示或可视表示法。皮尔士在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.

相关

生物科学生物学（希腊语：βιολογία；拉丁语：biologia；德语：Biologie；法语：biologie；英语：biology）或称生物科学（biological sciences）、生命科学（英语：life sciences），是自然科学的一大门类，由经
胰脏炎胰脏炎（英语：Pancreatitis）也称为胰腺炎，指的是胰脏的发炎。胰脏是身体里的一个大型器官，位置在胃后方，功能有分泌消化酵素等等。胰脏炎有两种，分别是急性（英语：Acute_pancreatitis）
国民收入国民收入（或称国民生产毛额、本地居民收入）是反映整体经济活动的重要指标，因此常被使用于总体经济学的研究中，亦是国际投资者非常注视的国际统计项目。反映本地居民收入的两个主
巴勒斯坦巴勒斯坦国（阿拉伯语：دولة فلسطين‎）通称巴勒斯坦，是一个由居住在西亚－巴勒斯坦地区的约旦河西岸以及加沙地带的阿拉伯人所建立的国家，于近代数百年中曾为奥斯曼土耳其
NFR坐标：1°23′40″S 13°09′39″E / 1.39444°S 13.16083°E / -1.39444; 13.16083天然核反应堆是指在铀矿层中发现的铀的同位素能够在过去自然发生自持核连锁反应的一种现象
约塞米蒂瀑布优胜美地瀑布（Yosemite falls），是北美洲落差最大的瀑布，位于美国加州内华达山脉，属于优胜美地国家公园，其最壮观的季节在春末，水量充沛，气势惊人。又译为约塞米蒂瀑布。优胜美地瀑
卡洛·乌尔巴尼卡洛·乌尔巴尼（意大利语：Carlo Urbani，1956年10月19日－2003年3月29日），又译乌尔班尼或厄巴尼，意大利医生，是首位留意到SARS是一种全新传染病的医生。乌尔巴尼是无国界医生意大利分
恩纳恩纳（意大利语：Enna），是意大利恩纳省的一个市镇。总面积357.18平方公里，人口27963人，人口密度78.3人/平方公里（2009年）。ISTAT代码为086009。
妇女神学妇女神学是一个建立在几个不同宗教，包括：佛教、基督教、犹太教及新思想运动等的运动，旨在使用女性主义角度去反思宗教的传统、实践、经文以及神学。有些妇女神学的目的是为了提
杀菌杀菌（Sterilization），又称作灭菌，与消毒（disinfection）近似，但更追求移除或消灭物体表面、液体、药物、培养介质上的任何形式微生物及传播性病原体（如真菌、细菌、病毒、芽孢等）。适