首页 >
存在图
✍ dations ◷ 2025-06-07 06:00:23 #存在图
存在图是查尔斯·皮尔士发明的逻辑表达式的一种图示或可视表示法。皮尔士在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.
相关
- 齿颚矫正学齿颚矫正学(Orthodontics)是牙医学的一门专科,是研究牙齿咬合不正,又称错咬(Malocclusion)的治疗方法与学问。牙齿咬合不正其原因可能因为牙齿天生不规则生长或是后天错误咬合与上
- 失能调整生命年失能调整生命年(英语:disability-adjusted life year,缩写:DALY)是衡量整体疾病负担(英语:Disease burden)的一种方法。最初是由世界卫生组织所开发,现在则渐渐地在公共卫生和健康影
- 阳极阳极(英语:Anode)是发生氧化反应的电极。相对的,阴极(英语:Cathode)是发生还原反应的电极。英文anode和cathode是法拉第发明的词,anode表示“发生氧化反应的电极”(或者失去电子的电
- 猪流感猪流感(英语:Swine influenza),亦称食用猪流感,是指那些通常感染猪的流感病毒(称为猪流感病毒或SIV)的毒株引起的流感。猪流感常见于美国的中西部(偶而也发生在其他州)、墨西哥、加拿
- 致死量致死量(英语:lethal dose、简写为 LD)是指特定物质或是辐射可造成死亡的量。对于不同的动物,或是其他条件差异(如年龄、健康状态等)而言,同一物质所能致死的量并不一定。这些数值多
- 碱在各种酸碱理论中,碱都是指与酸相对的一类物质。碱多指碱金属及碱土金属的氢氧化物,而对碱最常见的定义是根据阿伦尼乌斯(Arrhenius)提出的酸碱离子理论作出的定义:碱是一种在水
- 阿瓦尔人阿瓦尔人在古代是欧亚大陆的一个游牧民族的名称。他们约在6世纪时迁徙到欧洲中部和东部。到9世纪初以前,一直统治潘诺尼亚平原。因与高加索地区的阿瓦尔人进行区别也称潘诺尼
- 胆总管胆管为胆汁由肝脏传送至十二指肠的一个管道。肝内的胆小管逐级合并成左、右肝管,出肝门再合成为肝总管;肝总管与胆囊管汇合成胆总管。肝细胞持续不断的制造胆汁浓缩并储存于胆
- 疑问代词疑问词(Interrogative pronoun/Interrogative word、疑问词)是词性的一种,包括疑问代词,疑问副词,疑问冠词等,在疑问句中,用来代替说话者在句子中想要询问的东西。例如谁、哪个、哪
- 文氏图文氏图(英语:Venn diagram),或译Venn图、温氏图、维恩图、维恩图解、范氏图、韦恩图等,是在集合论(或者类的理论)数学分支中,在不太严格的意义下用以表示集合(或类)的一种草图。它们用