逻辑图中的运算符变量-CG-lists.cs.uni-kassel.de

4月6日2024

逻辑图中的运算符变量•1•https://inquiryintoinquiry.com/2024/04/06/operator-variables-in-logical-gra…所有人，为了代替我的学士学位的实地研究要求，我花了在各州和大学图书馆读了两年书我可以在皮尔斯身边找到，在卷轴中仔细阅读，让人印象深刻密歇根州当时拥有的皮尔斯手稿的微缩胶卷在试图找到一条线索线索的过程中皮尔士的“最简单的数学”，最尖锐的是CP4.306上的奇怪字体，皮尔士的编辑“论文集”，毫无疑问是由于印刷工的不情愿剪切新符号，将其变形为比甚至更神秘的脚本手稿的原始象形文字。我发现了皮尔士使用“算子变量”的奥秘所在，他和他的学生Christine Ladd–Franklin和O.H.Mitchell深入探索。我将很快讨论这个主题的影响逻辑图，但给出一个更简短、更甜美的解释基本思想通常是如何产生共同点的逻辑实践。考虑一下德摩根的规则：•（A∧B）=A∨B•（A∨B）=A∧B这两条规则所展现的共同形式可以用一个公式采用“o₁”和“o⁄”作为族内变量名逻辑运算符，然后询问o₁和o⁄的替换将是什么满足以下方程。•（A o₁B）=我们已经知道这个“算子方程”的两个解，即，（o₁，o⁄）=（∧，∨）和。难道这不只是比如皮尔斯问是否还有其他人？提出了“逻辑运算符变量”的主题，我现在将以皮尔士自己的方式离开：❝在这一点上，我将不再详述这件事，尽管上述概念开辟了一个广阔的领域；因为如果不超过二分法数学的极限。（皮尔士，CP 4.306）。算子变量和算子不变量的进一步探讨基于传统上被称为第二意向逻辑的理由正如皮尔士所说，“开辟了一片广阔的领域”。不过，现在我会倾向于田地的那个角落，在那里我们的花园品种合乎逻辑图表不断增长，观察操作变化和操作主题自然是在这些基础上发展起来的。当做，乔恩复写的副本：https://www.academia.edu/community/Lxn1Ww复写的副本：https://mathstodon.xyz/@查询/112225263055943815