存在图

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

相关

  • 空气空气是指地球大气层中的气体混合。它主要由78%的氮气、21%氧气、还有1%的稀有气体和杂质组成的混合物。空气的成分不是固定的,随着高度的改变、气压的改变,空气的组成比例也会
  • 史蒂芬斯-强森症候群史蒂芬斯-强森综合征(英语:Stevens-Johnson syndrome,缩写为 SJS),又称史提芬强生综合征、史帝文生氏-强生综合征、史帝文生-强生综合征,是"多型性红斑"(Erythema multiforme)的一
  • 更衣室更衣室是设置在海滩、足球场、健身房、泳池、公众浴场、按摩院等需要更衣的公共场所的隐蔽空间,是一个供人更换衣物的私人房间,它可以保障使用者在更衣时不会被外人或异性(有时
  • CD4+ T细胞辅助T细胞(T helper cells, Th),又称为助手型T细胞,是一种T细胞(白细胞的一种),它的表面有抗原受体,可以辨识抗原提呈细胞的MHC-II类分子呈献的抗原片段。一旦受到抗原刺激,Th细胞就
  • 2013年东南亚霾害2013年东南亚霾害为印尼苏门答腊多处的农民常以火大面积的烧芭(火耕)方式清理农地。烟雾随季风飘散,并影响新加坡、马来西亚等邻近东南亚国家环境污染灾害。霾害造成新加坡樟宜
  • 明亚明亚(阿拉伯语:منيا‎)位于埃及中部,是明亚省的首府。
  • 出版出版或称发表,是指将作品通过任何方式公之于众的一种行为。在大多数国家,作品一经完成,不论是否出版,即享有著作权。作品获得国际标准书号并经过一定资质的出版机构印刷成书籍称
  • 恶性上皮细胞肿瘤癌(Carcinoma),有翻译为恶性上皮细胞肿瘤,是癌症的一种。在医学上专指由上皮组织来源的恶性肿瘤,其它由结缔组织来源的恶性肿瘤只称作恶性肿瘤,如:肌肉或骨骼的恶性肉瘤(Sarcoma)、黑
  • 鲸类鲸下目 (学名:Cetacea)旧称鲸目,是偶蹄目的演化支之一,包含了大约八十多种大型的有胎盘海洋哺乳动物,即鲸鱼﹑海豚和鼠海豚。鲸下目的现存物种可分为两个小目:齿鲸(Odontoceti)及须鲸(My
  • 语言变体语言变体(英语:Language Variety),是指语言在系统和在条理上相互区分的各种形式。而方言是散文风格、语言风格更广泛的概念。从不同角度定义的方言: