首页 >
存在图
✍ dations ◷ 2025-08-26 07:14:01 #存在图
存在图是查尔斯·皮尔士发明的逻辑表达式的一种图示或可视表示法。皮尔士在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.
相关
- 小巢状麹菌Emericella nidulans小巢状麹菌(学名:Aspergillus nidulans),又称为构巢曲霉、构巢曲霉或钩巢曲霉等名称,有一异名构巢裸胞壳(Emericella nidulans),是属于子囊菌门的一种丝状真菌。
- 生活质量指数经济学人信息社的最佳出生地指数(曾称生活质量指数)是一个使用独特方法来计算的指数,目的是得出各国能提供健康,安全,富裕生活的程度,得分因素包括主观的生活满意度调查和客观的生
- 圣萨尔瓦多圣萨尔瓦多(西班牙语:San Salvador)简称萨京,是萨尔瓦多的首都及第一大城。最早中美洲的比比尔族(pipil)曾在今圣萨尔瓦多一带建立了首都Cuzcatlán,但后来被遗弃。其后在16世纪,西
- 北冰洋北冰洋(英语:Arctic Ocean)又称北极海、北大洋,北极洋,位于北极圈内,大致以北极点为中心。北冰洋是世界五大洋中最小最浅的。面积1405.6万平方公里,约占世界大洋面积的3.6%。平均深
- 鸦片酊鸦片酊(Laudanum),又称阿片酊或劳丹酊,为一种鸦片类止痛剂,是含10%质量浓度的鸦片粉的酊剂,相当于1%浓度的无水吗啡。鸦片酊为红褐色液体,味极苦。历史上曾用鸦片酊治疗各种疾病,但
- 诺曼征服诺曼人征服(Norman conquest)或诺曼人征服英格兰(法语:Conquête normande de l'Angleterre)指1066年法国诺曼底公爵威廉对英格兰的入侵及征服。这次征服改变了英格兰的走向,从此
- 中国工程院中国工程院院徽中国科学院 中国社会科学院中国工程院,简称工程院、中工院,是中华人民共和国工程科学技术界的最高荣誉性、咨询性学术机构,为正部级国务院直属事业单位。中国工
- 消化器官消化系统(英语:digestive system)是多细胞生物用以进食、消化食物、获取能量和营养、排遗剩余废物的一组器官,其主要功能为摄食、消化、吸收、同化和排遗。其中有关排遗的部分,也
- 中南财经政法大学中南财经政法大学(英语:Zhongnan University of Economics and Law,简称中南大),是中华人民共和国教育部直属的一所以经济学、法学、管理学为主干,兼有文学、史学、哲学、理学、工
- 包含式包含式(clusivity)在语言学上是指介于包容性与排除'的第一人称代词及动词之间的语法区分,亦称为包容性的"我们"及排除性的"我们"。包容性的"我们"具体包括"谈话的对象"(addresse