存在图

✍ dations ◷ 2025-11-12 19:24:57 #存在图

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

相关

蜂窝组织炎蜂窝组织炎（拉丁语：cellulitis）是牵涉到皮肤的细菌感染。该疾病尤其会影响到真皮与皮下组织。其症状为皮肤发红，会在数天内逐渐扩大范围。发红范围的边缘一般而言不明显，而且可能
肺孢子菌纲P. carinii P. jirovecii P. murina P. oryctolagi P. wakefieldiae肺孢子菌纲只有一目、一科、一属，是外囊菌亚门中一类比较原始的真菌，直到20世纪初才被发现，是一种类酵母
竞争排除原则竞争排除原则（也称竞争排斥原理或高斯定理）在生态学里指的是，两个物种不能同时，或者是不能长时间地在同一个生态区位生存。因为两者之间会展开竞争，导致其中的一方获胜，可以留在原
中南部美国中南部（South Central United States）是美国的一个地理区域。包括了美国南部的西部地区。路易斯安那、阿肯色。俄克拉荷马和德克萨斯州多被视为美国中南部。美国人口普查
吉利德科学吉利德科学公司（Gilead Sciences, Inc.）是一家美国大型生物制药公司，成立于1987年，总部位于加州旧金山湾区的福斯特城。在台湾注册的名称为“吉立亚”。主要生产和研发针对艾滋
阿拉伯糖阿拉伯糖，又称树胶醛糖、果胶糖，是一种戊醛糖：含有5个碳原子并且带有醛基的单糖。分子式C5H10O5，分子量150.131。阿拉伯糖因最早分离自阿拉伯胶中而得名。阿拉伯糖有8种立体异构
尤西弗罗困境游叙弗伦困境（Euthyphro Dilemma）源自柏拉图的《游叙弗伦篇》。中苏格拉底与尤西弗罗的对话，可简述如下：上述两个说法只能取其一。如果取1，那么好的事物也可以是坏的，只要上帝如此
文艺复兴人文主义在文艺复兴时期，人文主义（英语：Humanism）是对古典时代的研究，而对古典时代的研究也象征着，中世纪的人们从研究了解神，转变为对自身的研究与了解，思想也逐渐从“神本”思想转变为“人
通用语言通用语（拉丁文：lingua franca），亦称“公用语、通行语、公语”，是指一定区域内不同的语言的人之间进行交际的共同媒介，是不同语言背景的人进行交际的一种共同语。有时通用语也指一
∨逻辑或（logical or）又称逻辑析取（logical disjunction）、逻辑选言，是逻辑和数学概念中的一个二元逻辑算符。其运算方法是：如果其两个变量中有一个真值为“真”，其结果为“真”，两个