承接上一节: 2 本体论与存在主义

https://bbs.huaweicloud.cn/blogs/416679

在逻辑中产生的本体论问题——关于存在和存在假设的问题——包括个体化和存在的问题。

2.1 个性化

尽管有些方法无疑属于每个体正常的未阐明的概念库，但不清楚它们是否被定义甚至定义得足够准确和广泛，以使哲学家能够令人满意地理解逻辑必然性和逻辑可能性的量化逻辑。

在普通话语中——甚至在科学语言中——使用的精确原则提出了一个微妙的哲学问题。
在个性化中依赖特殊“本质属性”的程度以及包括时空框架的作用在这里是有争议的问题。

也有人提出，实际上将本质上不同的交叉识别方法一起使用，其中一些取决于非个体的描述原则，而另一些则取决于人的角度。

2.2 存在与本体论

因为一阶逻辑的基本概念之一是存在，正如存在量词“（∃x）”所编纂的那样，人们可能会认为，留给任何单独的存在哲学问题的空间很小。

然而，事实上，存在似乎确实造成了一个问题，正如大量相关文献所证明的那样。有些问题相对容易澄清。

例如，在一阶逻辑的通常表述中，存在“存在预设”，大意是所使用的单数术语中没有一个是没有承载者的（如“飞马座”）。

然而，摒弃这些预设是一件直截了当的事情。尽管这似乎涉及将存在视为谓词的程序，但在许多哲学家的标签上，将存在视为谓词，但这在形式层面上很容易做到。

给定某些假设，甚至可以证明

这个“谓词”必须是“（∃x）（x = a）”（对于“a存在”——字面意思是“存在一个x，使得x是a”）或等价物。

此外，这个谓词的逻辑特性似乎充分解释了哲学家对其现实性的明显否认。

对存在概念的兴趣与理论赋予其持有者什么实体或它的“本体论”是什么的问题有关。

刚才提到的“存在谓词”让人想起奎因的本体论承诺标准：“存在就是一个有界变量的值”——即（∀x）或（∃x）中的x的值。

根据奎因的说法，理论致力于那些且仅那些在最终分析中用作其绑定变量值的实体。

因此，普通的一阶理论只要求一个体服从个体（细节）的本体论。

而高阶逻辑则把一个体归于集合的存在——即，确定的和不同的实体（或者，属性和关系）的集合。

类似地，如果假设有界的一阶变量的范围超过集合（就像它们在集合论中所做的那样），就会产生对这些集合存在的承诺。

个体本体论是所需要的一切的学说被称为（现代版本的）唯名论。相反的观点被称为（逻辑）现实主义。

然而，即使是那些自称同情唯名论的哲学家，也很难坚持认为数学可以建立在一贯的唯名论基础上。

奎因的本体论承诺标准的确切含义并不完全清楚。也不清楚的一种理论在什么其他意义上可能将一个体委身于那些在其中被命名或以其他方式提及但在其中没有量化的实体。

还可以提出一些问题，即在现代逻辑中通常被称为个体的东西（“细节”将是一个更传统的称呼）与诸如其属性和关系等普遍性之间的区别;

这些问题可以与关于在预测中将细节和普遍性联系在一起的“联系”的其他问题结合起来。

2.3 用直觉逻辑解决数理逻辑问题

解决这些问题的一个有趣方法是19世纪后期数理逻辑的先驱戈特洛布·弗雷格（Gottlob Frege）对个体（他称之为对象）和他所谓的函数（在他看来包括概念）以及他关于后者不饱和特征的学说（根据该学说）包含差距， 可以由对象填充。

另一种方法是维特根斯坦的《逻辑哲学》的“语言图片理论”，根据该理论，一个简单的句子向一个体呈现现实的同构表示（“图片”），如果句子是真的。

根据这种观点（后来被维特根斯坦放弃了），一个句子[或命题，萨茨]是现实的模型，就像我们认为的那样。

最重要的非经典逻辑之一是直觉逻辑，由荷兰数学家Arend Heyting于1930年首次正式化。

有人(如哥德尔)已经表明，这种直觉逻辑可以用与认识逻辑系统相同的模态逻辑来解释。鉴于其只考虑已知的目的，这种同构是暗示性的。

直觉主义者公开宣称的目的是只考虑在逻辑和数学中实际上可以建设性地建立的东西，即实际上可以知道的东西。

因此，他拒绝将例如“A或非A”视为逻辑真理，因为它实际上无助于人们了解A或A是否是处于某些情况。然而，这并没有结束关于直觉主义的哲学问题。

特殊问题源于直觉主义者（实际上）拒绝逻辑的非认识论方面，正如直觉逻辑转化为认识逻辑只需要一部分认识逻辑的事实所说明的那样。

3 一则寓言 和存在主义的问题：

哲学源自希腊哲学，philos的意思是爱，sophos的意思是智慧。

洞穴寓言：

柏拉图对洞穴的寓言涉及三名囚犯，他们被绑在岩石上并强行限制在某处，
以便他们只能看到前方石墙上的人影。
由于他们所经历的只是这些阴影，囚犯们认为它们是“真实”的物体。

最终，其中一名囚犯逃脱了，并意识到阴影不是真实的，而是一直走在他们身后的人的影子。
柏拉图在这里的论点是，尽管感知似乎是准确的，但它们可能会产生误导，
因为我们可能不知道围绕它们的背景。

3.1 笛卡尔的沉思

笛卡尔在试图抹去除了真实知识之外的一切的同时，利用了他所谓的邪恶恶魔（或天才）论点。

这个论点专门用于针对抗议数学和科学定律，笛卡尔在其中说，也许他只相信2 + 2 = 4之类的东西，因为邪恶的恶魔使他这样做。

笛卡尔的沉思使他得出结论，也许甚至数学定律都不是正确的，这被称为“恶魔论点”。

经过一系列的沉思，他找到了怀疑他曾经认为他所知道的一切的理由，笛卡尔得出的结论是，因为他在思考，所以他必须存在，因为一定有什么东西在思考。

那么，Cogito ergo sum 翻译为：

我思，故我在。

(pienso, luego existo 在西班牙语中表示 我思，故我在。)

4 小结

存在主义处理存在的问题。它认为，所有人面临的主要斗争是存在的斗争，因此应该尽可能多地研究和质疑。

存在主义虚无主义坚持人类及其繁衍没有意义。

存在主义虚无主义是一种哲学学说，其基础是生命没有内在意义。这包括所有情绪、行动、社会基础设施等。

柏拉图的结论是，一种信念只有在合理和真实的情况下才能被视为知识。

例如，如果你认为回家最快的方式是高速公路，因为你已经测试过它并且这是真的，那就是知识。
如果它不是真的，或者你没有测试过它（即没有理由），那么它就不是知识。

价值论可以看作是伦理学和美学的结合。它研究价值的基本含义，这有助于丰富哲学的其他分支。