首页 >
存在图
✍ dations ◷ 2025-08-05 20:24:17 #存在图
存在图是查尔斯·皮尔士发明的逻辑表达式的一种图示或可视表示法。皮尔士在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.
相关
- 支气管肺炎肺炎(pneumonia),是指肺部出现发炎的症状,主要是肺泡受到影响。肺炎常见的症状包括有痰的咳嗽、胸痛、发热及呼吸困难。症状可能由轻微到严重不一。特别高龄的长者或新生儿可能
- 螺旋菌螺旋菌(英语:Spiral bacteria)系按形态分出的一种细菌种类。其种类次于球菌、杆菌,在细菌家族中位列第三。。螺旋超过一周的螺旋菌被称为螺旋菌,而不满一周的则被称为弧菌。另外,
- 囊泡藻界囊泡藻界(学名:Chromalveolata)是一类真核生物。囊泡藻界这个概念是汤玛斯·卡弗利尔-史密斯1981年提出的色藻界的修订。表示双鞭毛生物与红藻发生单独的内共生后进化出的所有
- 秋季秋季是一年四季之中的第三季。秋季的时候,自然景观最明显的变化在树木上面,城市里会开始清扫大量的落叶,山区则涌进不少观赏红叶的游客们。秋季是四季中的一季,在夏季与冬季之间
- Lv5f14 6d10 7s2 7p4(预测)2, 8, 18, 32, 32, 18, 6(预测)主条目:
- 姆大陆姆大陆(Mu continent,又译穆大陆、母大陆、欧姆大陆)是一个传说中存在于太平洋的大陆,并且声称有超过一万年的历史。20世纪初,美国学者詹姆斯·柴吉吾德(英语:James Churchward)提出
- 法兰克福大学歌德 - 美茵河畔法兰克福大学(德语:Goethe-Universität Frankfurt am Main),德文简称为“法兰克福大学”(Uni Frankfurt)或“歌德大学”(Goethe Uni)﹔据此,中文亦有称作“歌大”或“
- 阿尔西比亚德斯阿尔西比亚德斯(希腊语:Ἀλκιβιάδης Κλεινίου Σκαμβωνίδης,拉丁语:Alkibiádēs Kleiníou Skambōnidēs,前450年-前404年)是雅典杰出的政治家、演说
- 行为行为是指有机体(包括人类与其他动物)的动作、行动方式,以及对所处环境与其他生物体或物体的一种反应。词性为中性。在生物适应环境上,行为有很重要的意义,有助于避免受到负面的环
- 心理健康心理健康(Mental health)也称为精神卫生,是指心理幸福安宁的状态,或指没有精神疾病的状态。是指“一个情绪及行为调整都运作相当良好的人,当时的心理状态”。若以正面心理学或是