存在图

✍ dations ◷ 2025-02-23 06:22:21 #存在图

存在图是查尔斯·皮尔士发明的逻辑表达式的一种图示或可视表示法。皮尔士在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.

相关

糖皮质激素可治疗性醛固酮增多症糖皮质类固醇可抑制性醛固酮增多症（glucocorticoid remediable aldosteronism，GRA），又名地塞米松可抑制性醛固酮增多症（dexamethasone-suppressible hyperaldosteronism，DSH）或ACTH
离子通道离子通道（英语：Ion channel）是一种膜蛋白，它通过允许某种特定类型的离子依靠电化学梯度穿过该通道，来帮助细胞建立和控制质膜间的微弱电压压差（见动作电位）。这些离子通道存在于所
丹毒丹毒（英语：Erysipelas）是一种主要由A组β溶血性链球菌引起的急性真皮细菌感染而导致的炎症。英语：Erysipelas的名称，来自希腊语：ἐρυσίπελας，原意为红皮肤。在欧洲某些国
根西根西岛（英语：Guernsey），译作根西或耿西，是英国的王权属地之一，位于英吉利海峡靠近法国海岸线的海峡群岛之中，同泽西外各岛岛组成了“根西行政区”（Bailiwick of Guernsey），首府为圣彼
神经成像神经成像（英语：Neuroimaging）泛指能够直接或间接对神经系统（主要是脑）的功能，结构，和药理学特性进行成像的技术。神经成像是医学，神经科学，和心理学较新的一个领域。根据成像的模式，神
黑人黑人，即黑色人种，又称尼格罗人种，尼格罗－澳大利亚人种、赤道人种、刚果人种，是人类分类学说里的一种人种。现今黑人大多聚居于非洲和美洲，另外，安达曼群岛、尼科巴群岛、美拉尼西亚
磺胺吡啶磺胺吡啶是一种磺胺类药物，其INN名称是“Sulfapyridine”。该药物可用于治疗由细菌感染的皮肤病等疾病。该药物在血液中的半衰期未知（如是），在大鼠（经口服）体内的LD50（半致死量）为15
欧元区本文是欧洲联盟的政治与政府系列条目之一欧元区（Eurozone；官方称euro area）为27个欧洲联盟成员国中的19个国家组成的货币同盟。这些国家采用欧元（€）为其通用货币和唯一法偿。
纳哈玛尼德摩西·本· 纳贺蒙（西班牙语：Mosé ben Nahmán .mw-parser-output .script-hebrew,.mw-parser-output .script-Hebr{font-size:1.15em;font-family:"Ezra SIL","Ezra SIL SR"
味觉过敏味觉过敏（英语：Hypergeusia）是一种被表现为味觉异常地增强的味觉失调（英语：Dysgeusia）。它可以与背颅窝（英语：Posterior cranial fossa）损伤和爱迪生氏症联系。病人因为体内离子大量