存在图

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

相关

  • 乔纳斯·索尔克乔纳斯·爱德华·索尔克(英语:Jonas Edward Salk,乔纳斯·爱德华·索尔克,港澳称为乔纳斯·索尔克,台湾称为约纳斯·沙克,1914年10月28日-1995年6月23日),美国实验医学家、病毒学家,主
  • 脑膜炎脑膜炎(英语:meningitis)指发生于脑膜的急性炎症,脑膜是包裹大脑和脊髓的保护薄膜。脑膜炎最常见的症状是发热、头痛和颈部僵硬。其他症状还包含精神错乱(英语:mental confusion)或
  • 变形虫界变形虫门是一类似变形虫的(amoeboid)原生生物。变形虫门的多数物种靠细胞内原生质的流动而移动。伪足类似于手指形状、边缘是钝的,所以称作lobopodia,直译为钝的伪足. 大多数是
  • 函数图形在数学中,函数 f 的图形(或图像)指的是所有有序对(x, f(x))组成的集合具体而言,如果x为实数,则函数图形在平面直角坐标系上呈现为一条曲线。如果函数自变量x为两个实数组成的有序
  • 中华人民共和国医疗卫生中华人民共和国医疗卫生,介绍中华人民共和国建国以来的国民健康与医疗保障的发展状况。在1980年代以前,中华人民共和国所采取的是社会主义方式的封闭式福利,工人以及国家机关的
  • 西西里岛坐标:37°30′N 14°00′E / 37.500°N 14.000°E / 37.500; 14.000西西里(意大利语:Sicilia ,)是意大利南部的一个自治区。西西里占地25,708平方公里,人口数为500万,是意大利最大
  • 四天工作制四天工作制是一种工作场所或学校使其雇员或学生每星期上班或上学四天而非传统的五天的一种安排。这种安排既有可能是因为弹性工作制,亦有可能是为了减少成本。2008年,美国犹他
  • 阿拉伯文字阿拉伯文字是一种用于书写阿拉伯语、曼丁哥语方言、中库尔德语、卢尔语、波斯语、乌尔都语、普什图语及其他亚非语言的书写系统。在16世纪还被用于书写西班牙语。阿拉伯文字
  • 片假名(日语:片仮名/かたかな/カタカナ katakana *),是日语中表音符号(音节文字)的一种。与平假名、万叶假名等合称作假名。“片假名”一词在使用时常用“カタカナ”表示。签名时
  • 解释解释(explanation)是对事物的现象、过程、状态、道理等进行描述,以说明其含义、原因、理由等。这样的描述可能是建立在一定规则(如逻辑推理、科学分析)、法律基础之上的。解释也