首页 >
存在图
✍ dations ◷ 2025-09-15 23:31: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.
相关
- 耐药性耐药性(drug resistance)是指药物的治疗疾病或改善病人征状的效力降低。当投入药物浓度不足,不能杀死或抑制病原时,残留的细菌可能具有抵抗此种药物的能力。例如细菌可能因抗生
- 生态生态学(德语:Ökologie),是德国生物学家恩斯特·海克尔于1866年定义的一个概念:生态学是研究生物体与其周围环境(包括非生物环境和生物环境)相互关系的科学。德语Ökologie(最初:Oeco
- 呋喃苯胺酸呋塞米(Furosemide),市面常见的商品名为来适泄锭(Lasix),系一种用来治疗因心脏衰竭、肝硬化或肾病变引起的水肿,也可治疗高血压的药。使用剂量依人而定,可以经静脉注射或口服给药,口
- 大西洋鲑鱼大西洋鲑(学名:Salmo salar)又名安大略鲑,是主要分布在北大西洋海域及周边河流的一种鲑鱼。成鱼尺寸平均约90CM,大型个体可至110~150CM,重达40公斤以上。大西洋鲑的学名是由卡尔·
- X射线X射线(英语:X-ray),又被称为爱克斯射线、艾克斯射线、伦琴射线或X光,是一种波长范围在0.01纳米到10纳米之间(对应频率范围30 PHz到30EHz)的电磁辐射形式。X射线最初用于医学成像诊
- 万丹省万丹省(印尼语:Banten)是印度尼西亚的一个省,位于爪哇岛最西部,隔巽他海峡与苏门答腊岛相望。2000年自西爪哇省分出。面积9,160.7平方公里。首府西冷。下辖三市和四区。2005年人
- 琥珀酰辅酶A琥珀酰辅酶A(英语:Succinyl-Coenzyme A)是一个琥珀酸与辅酶A的组合物。它在三羧酸循环重视一个重要的中间产物,在那里它合成自α-酮戊二酸,此步骤由α-酮戊二酸脱氢酶经脱羧作用
- 上颚上颌骨(maxilla),又称车颔骨,是成对的联合形成口上部的骨。除了下颌骨外,脸部的所有骨都与它形成关节。上颌骨可以分为体部、齿槽突、腭突、额突和颧突。头颅。上颌骨的位置(显示
- 基频基本频率(或简称 基频、fundamental frequency),当发声体由于振动而发出声音时,声音一般可以分解为许多单纯的正弦波,也就是说所有的自然声音基本都是由许多频率不同的正弦波组成
- 文体学文体学(英语:Stylistics),或称风格学,是应用语言学的一种,专门研究文学体裁的各种特征。它牵涉到文学及新闻学范畴,不是一门独立的学科。文体学的研究范畴很广阔,规范的写作作品到流