存在图

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

相关

  • 心肌梗死心肌梗死(Myocardial infarction简称MI、Acute myocardial infarction简称AMI),旧称心肌梗塞,是一种急性及严重的心脏状态。其成因是部分心肌的血液循环突然中断,心肌因无法得到
  • 产科人体解剖学 - 人体生理学 组织学 - 胚胎学 人体寄生虫学 - 免疫学 病理学 - 病理生理学 细胞学 - 营养学 流行病学 - 药理学 - 毒理学产科学是一门研究女性妊娠期、分娩期
  • 水华水华(Water bloom)或藻华(Algal bloom),通常为学术所称“水体富营养化”而造成,是发生在淡水中,由水体中氮磷含量过高导致藻类,细菌或浮游生物突然性过度增殖的一种自然现象,同时也
  • 静电惯性静电约束(英语:Inertial Electrostatic Confinement,缩写为IEC),一种核聚变技术,以电场来加热等离子,以诱发核聚变。电场对带电粒子(离子或电子)做功,可以将它加热,直到发生核聚变
  • 4s2 3d52, 8, 13, 2蒸气压第一:717.3 kJ·mol−1 第二:1509.0 kJ·mol−1 第三:3248 kJ·mol−1 (主条目:锰的同位素锰是原子序为25的化学元素,其元素符号为Mn。锰不会以元素
  • 头重脚轻头重脚轻(Lightheadedness)也称为头昏目眩,是头晕时常见,令人不悦的感觉,常伴随着可能会昏倒的感觉。头重脚轻的感觉可能是短期或长期的,偶尔也可能是慢性病。当时也可能会出现所
  • 类白血病反应类白血病反应(英语:Leukemoid Reaction),是描述一类白细胞总量的增加、或白细胞增多症(英语:leukocytosis),其为一种因压力或感染而引起的生理反应,而非一种譬如白血病之类的血液癌症
  • 二氧化氯二氧化氯是黄绿色的气体,是氯的最稳定的氧化物,也是唯一大量生产的卤氧化物。二氧化氯在其液态时稳定,但若和一些特定物质接触,也有爆炸的可能。 它在约−59°C 时凝结成亮橙色
  • World Organisation for Animal Health世界动物卫生组织(法语:Organisation mondiale de la santé animale,缩写来自旧名-“国际兽疫局”,法语:Office international des épizooties, OIE),是1924年成立的一个国际组织
  • 音拍音拍(英语:mora)是语言学上以固定长度划分的时间单位,与音节不同。在汉语中,每一个音节的长度几乎是一样的(例如普通话中,“汉”han和“哈”ha长度相同),因此,汉语中可以说音节就是拍