存在图

✍ dations ◷ 2024-07-05 05:15:43 #存在图

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

相关

海佛烈克极限海佛烈克极限、海夫力克极限（英语：Hayflick limit），又称海佛烈克现象（Hayflick phenomenon），指的是一个正常的人类细胞群体，在细胞分裂停止前所能分裂的次数限制。经验证据（英语：Empir
细胞素细胞因子（英语：cytokine，又称细胞介素、细胞激素、细胞素、细胞活素），是一组蛋白质及多肽，在生物中用作信号蛋白。这些类似激素或神经递质的蛋白用作细胞间沟通的信号。细胞因子多
滴虫性阴道炎滴虫性阴道炎（英语：trichomoniasis，trich）也称为滴虫炎，，是因为阴道毛滴虫（英语：Trichomonas vaginalis）所引起的传染病，会造成女性阴道或是男性尿道的发炎。约70%的女性及男性在罹病
伊拉克战争伊拉克 (复兴党政权) 阿拉伯复兴社会党－伊拉克地区 Supreme Command for Jihad and Liberation 纳克什班迪教团军 Tanzim Qaidat al-Jihad fi Bilad al-Rafidayn Islamic Sta
托卡马克托卡马克（Tokamak），又称环磁机，是一种利用磁约束来实现磁约束聚变的环性容器。达到稳定的等离子体均衡（英语：Plasma stability）需要围绕环面移动的螺旋形状的磁力线。托卡马克是磁
聚乙烯吡咯酮碘聚维酮碘（英语：Povidone-iodine，简写PVP-I），又称优碘（英语：Excellent-iodine）、中国大陆称碘伏，是用于手术前后皮肤消毒的杀菌剂。它可以用于消毒患者的皮肤和医护人员的手，用于轻微的
丧葬古希腊的丧葬仪式是以古希腊人的生死观为基础的。古希腊人是一个热爱生活的民族，但也不惧怕死亡。他们认为死亡只不过是肉体的消亡，人的灵魂永远不灭。生与死，仅是居住地的转换
华盛顿州华盛顿州（英语：State of Washington），简称华州，是一个位于美国西北太平洋沿岸的州，北接加拿大不列颠哥伦比亚省，南接俄勒冈州，东临爱达荷州，西邻太平洋。为纪念美国首任总统，乔治·华
回避型人格障碍回避性人格障碍（英语: Avoidant Personality Disorder; 简称AvPD或APD），或译畏避型人格障碍、逃避型人格障碍、畏惧型人格违常，属于人格障碍的一种。因为害怕在别人面前丢脸，此类
沟齿鼩沟齿鼩（学名：Solenodontidae）又名沟齿猥，是哺乳纲鼩形亚目的一种夜行性穴居生物，全归入沟齿鼩科沟齿鼩属里。这些动物都只在加勒比海才有它们的踪影。它们以昆虫为食物，外形有点像