存在图

✍ dations ◷ 2025-04-24 21:15:45 #存在图
存在图是查尔斯·皮尔士发明的逻辑表达式的一种图示或可视表示法。皮尔士在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.

相关

  • 德国– æ¬§æ´²ï¼ˆç»¿è‰²åŠæ·±ç°è‰²ï¼‰â€“ æ¬§ç›Ÿï¼ˆç»¿è‰²ï¼‰  —德æ„å¿—è”邦共和å›
  • 胞间连丝胞间连丝(英语:Plasmodesmata)为植物细胞和部分藻类细胞壁间贯穿细胞壁的特有孔道,可以让相邻细胞的细胞质相互流通。有微小孔道,为细胞间物质运输与信息传递的重要通道,通道中有
  • 重肌无力症重症肌无力(英语:Myasthenia Gravis,简写MG),是慢性的神经肌肉疾病(英语:Neuromuscular disease),会造成不同程度的肌肉无力(英语:Muscle weakness)。最常影响眼部、脸部(英语:Facial musc
  • 石化石化是指有机物通过置换或有机物孔隙充填矿物而转化为石头的过程。石化通过两种相似方式的结合——矿质充填作用和置换而发生。硅化木是最常见的石化现象,但是所有有机质,从细
  • 颗粒物悬浮颗粒或称颗粒物(particulate matter (PM))、大气颗粒物(atmospheric particulate matter)、颗粒(particulates),泛指悬浮在空气中的固体颗粒或液滴,颗粒微小甚至肉眼难以辨识但
  • 三位一体三位一体(拉丁语:Trinitas,又译为三一真神、天主圣三、三一神、圣三一、三一神论),基督教神学术语,是基督宗教神YHWH(新教常汉译为上帝或耶和华,天主教常汉译为天主雅威)的神学理论,建
  • 失禁失禁(英语:Incontinence)可以指:
  • 花纹爱洁蟹花纹爱洁蟹(学名:Atergatis floridus)为扇蟹科熟若蟹亚科爱洁蟹属的动物。分布于日本、夏威夷、塔希提岛、土阿莫土群岛、社会群岛、斐济、马绍尔群岛、吉尔伯特群岛、加罗林岛
  • 中心语短语的中心词(英语:head 或 nucleus),也称中心语,指的是决定短语的语法范畴的词,是一个短语的中心部分。 短语的其他成分与中心词在语法或语义上有着某些联系。如名词短语(英语:noun
  • 独体独体为一种汉字字体的结构,与合体概念相对。指汉字结构中,仅含有一个单独形体、不可分析为两个或两个以上形体的字。其形体结构完整,难以拆解分析其读音或字义。这包含着六书中