存在图

✍ dations ◷ 2025-12-11 16:32:13 #存在图

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

相关

白三烯白三烯（Leukotriene, LTs）是一类含三个共轭双键的20碳直链羟基酸的总称，是与过敏性反应有关的生物活性物质，其他与过敏性反应有关的生物活性物质包括组胺、缓激肽、血小板活化因
断层扫描断层扫描（英语：Tomography），也称断层成像，是指通过任何可穿透的波，对物体进行分段成像的方法。该技术被应用在了影像诊断学、考古学、生物学、大气科学、地球物理学、海洋学、等离
藻类去氧核糖核酸病毒科绿藻病毒属 Chlorovirus 寄生藻病毒属 Prasinovirus 金藻病毒属 Prymnesiovirus 褐藻病毒属 Phaeovirus 针晶藻病毒属 Raphidovirus 颗石藻类病毒属 Coccolithovirus藻类去
东非东非即东部非洲地区，根据联合国的次分区共有19个国家或属地：亚洲东亚 · 东南亚 · 南亚 · 中亚 · 西亚／西南亚 · 北亚／西伯利亚 · 东北亚其他：近东 · 中东
采血静脉穿刺是以静脉注射或静脉血采样为目的而进行的刺穿静脉的医学操作。在所有入侵性医学流程中，静脉穿刺是最常见的一种。静脉穿刺的作用有很多，比如为诊断目的检测血液中的重
甲状腺功能低下甲状腺机能低下症（Hypothyroidism），又称作甲状腺功能减退症，或是简称甲减，是一个因甲状腺无法分泌足够的甲状腺激素的内分泌疾病。此病可以造成很多症状，像是畏寒、疲劳、便秘、抑
低放射性废物低放射性废物（英文：Low-level waste，缩写：LLW）是除中等放射性废物、高放射性废物、乏燃料、超铀元素废料以及浓缩铀工厂边角料（uranium mill tailings）之外所有放射性核废料的总称
圣希多尼乌斯·阿波黎纳里斯圣希多尼乌斯·阿波利纳里斯（英语：Sidonius Apollinaris），（430年－489年）。古罗马末期的诗人，外交家，主教。出生于今法国里昂，早年显贵，后进入仕途。西哥特人入侵时，他曾被囚禁，后被释放。
大便失禁大便失禁（英语：Fecal incontinence），指无法控制排便，造成直肠中的粪便、未完全形成的粪便和液体不受控制地排出。大便失禁有时伴有腹泻或便秘。可能的原因有几个，如妊娠、肛门和直
语言哲学语言哲学是一门哲学的分支，对语言的用法、来源及本质作理性的研究。对于分析哲学来说，有四个主要关心的问题：意义的本质、语言用法、语言认知及语言与现实的关系。对欧陆哲学家