存在图

✍ dations ◷ 2025-12-03 10:30:42 #存在图

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

相关

分裂情感性障碍分裂情感性障碍（Schizoaffective disorders），为一组分裂性和情感性症状同时存在并突出，但不能归类于某一类的（分裂性或情感性）精神障碍。在分裂症状时，伴随症状为幻觉、妄想及思维
沙眼砂眼（Trachoma），又称颗粒性结膜炎（Granular conjunctivitis）、埃及眼炎（Egyptian ophthalmia）和致盲性砂眼（blinding trachoma）是由砂眼披衣菌感染导致的传染病。感染砂眼会造成眼睑
电流电流是电荷的平均定向移动。电流的大小称为电流强度，是指单位时间内通过导线某一截面的电荷，每秒通过1库仑的电荷量称为1安培。安培是国际单位制七个基本单位之一。安培计是专
低放射性废物低放射性废物（英文：Low-level waste，缩写：LLW）是除中等放射性废物、高放射性废物、乏燃料、超铀元素废料以及浓缩铀工厂边角料（uranium mill tailings）之外所有放射性核废料的总称
风险沟通风险管理（risk management）是一个管理过程，包括对风险的定义、测量、评估和发展因应风险的策略。目的是将可避免的风险、成本及损失极小化。理想的风险管理，事先已排定优先次序，
同一性与变化在哲学的形而上学领域中，同一性与变化的关系是看似简单却复杂的议题。本条目是要探讨“变化与同一性的问题”。当一个物体变化，它总是在某个特定方面变化。一个婴儿成长，他是在
以巴冲突进行中持续中的冲突以色列-巴勒斯坦冲突是持续中的冲突，为阿以冲突及中东战争的一部分。巴以冲突不能够简单地概括为所有以色列犹太人与所有巴勒斯坦阿拉伯人之间的双边冲突
胆据中医脏象学说，胆与、胃、小肠、大肠、膀胱、三焦合称“六腑”；与“肝”互为表里。主要功能为贮藏和排泄精汁（胆汁）、主决断和调节脏腑气机。胆与其他腑器不同之处，是不会和食物
第二语言习得第二语言习得（英语：Second-language acquisition，又译“第二语言获得”、“二语习得”），指人们学习第二语言的过程。第二语言获得（常缩写为SLA）同时亦指研究这一过程的科学学科。第
意义所指（英语：signifié），在语言学上，指发出讯息者想要表示或传达给发现者或接收者的理念；亦或发现者或接收者由该语境所推断的结果。在大多数语言中，有些字往往会有多种不同涵义；因此