存在图

✍ dations ◷ 2025-10-22 02:56:08 #存在图

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

相关

COPD慢性阻塞性肺疾病（英语：Chronic obstructive pulmonary disease，缩写为COPD），常简称为慢阻肺。是一种以持续性的气流受限为特征的阻塞性肺疾病（英语：Obstructive lung disease）。其
热性痉挛热性痉挛（febrile convulsion），又称作又称作发烧性抽搐、热性抽搐、热性惊厥、热性全身痉挛，是一种癫痫性发作（英语：epileptic seizure），伴有体温升高的症状但是并无任何潜在的健康
阑尾炎阑尾炎，是指由阑尾发炎而引起的急性消化系统疾病。阑尾，是大肠起始段的管状器官。由于其生长位置关系，容易因受到感染、腔隙阻塞等而发炎。一般常说的盲肠炎其实就是指阑尾炎（Ap
赭曲霉毒素赭曲霉毒素（英语：Ochratoxin）是一类由部分曲霉菌和青霉菌分泌的霉菌毒素（mycotoxins），常见于已霉变的饲料、咖啡豆中。可毒害家禽的内脏，使其死亡。赭曲霉毒素包括了7种结构类似的
自然分娩自然分娩是一种没有常规医疗介入（包括麻醉）的分娩方式。相对于一般工业化社会中配合医疗技术的分娩方式，自然分娩希望让医疗的介入降到最低，特别是像麻醉药、会阴切开术等医疗介
腰果腰果（学名：Anacardium occidentale）是一种肾形核果，属无患子目漆树科腰果属。又名树花生、槚如树、鸡腰果、介寿果，带有附果。长椭圆形革质单叶互生，全缘；黄色花，有淡红条纹，圆锥花序
不一致启示论证对宗教的批评 · 自由思想反教权主义 · 反宗教虚构宗教不一致启示论证（英文：Argument from inconsistent revelations），又称“逃避错误地狱问题”（英文：Avoiding the wrong hell
主体主体（Subject）在哲学上指的是一个拥有独特的意识并且/或者拥有独特个人经历的存在，或者另一个外在于其自身并与其有关系的实体。主体是观察者，客体是被观察者。这一概念在大陆哲
吉尔伯特·赖尔吉尔伯特·赖尔（英语：Gilbert Ryle，1900年8月19日－1976年10月6日）是一名英国哲学家，是英国日常语言哲学中牛津学派的代表人物。他的著作《心的概念》被认为是日常语言学派的重要著
军队军队也称为武装力量，是被授权使用（英语：use of force）致命武力（英语：deadly force）及武器来保护其国家和全部或部分人民的利益的常规武装力量。军队的任务一般会是保护国家及人民，以