4、建构主义与直觉主义逻辑解读

建构主义与直觉主义逻辑解读

1. 建构主义的意义理论基础

建构主义认为，意义是对正确断言条件的把握。在探讨过程中，我们也会关注关于真理的相关观点，比如真理是否能以某种方式对应正确断言，建构主义者是否应完全摒弃真理概念等。在特定的证伪主义理论出现之前，将真理与正确断言等同起来的观点虽有问题，但争议相对较小。

1.1 相关理论的区分

为了清晰地从给定的意义理论过渡到逻辑结果的概念，我们需要明确一些容易混淆的术语：
- 意义理论 ：针对特定语言，记录了说话者为成为该语言的合格使用者所必须明确或隐含知晓的所有内容。
- 意义的理论 ：给出了意义理论应呈现的一般形式，其任务是解释语言如何运作，即说明在懂该语言的听众面前说出一个句子通常会产生什么效果。
- 语义理论 ：阐述了陈述的正确断言性（或真理）如何由其语义值决定，以及其语义值如何依赖于其组成部分的语义值。这一概念可追溯到弗雷格。对于逻辑问题，我们主要关注逻辑复杂陈述如何获得其语义值，以及在组合性假设下，其语义值如何依赖于组成陈述的值。例如，已知陈述 A 和陈述 B 的值，如何得出“A 且 B”“如果 A，那么 B”等陈述的值。

1.2 建构性语义理论的判定

当我们选择认知上可及的语义值（如证明条件、验证条件、证伪条件）时，就建立了一种建构性语义理论。确定陈述的语义值后，语义理论的下一个任务是判断该陈述在给定情况下是否可正确断言或为真。基于此，我们可以得出逻辑结果的概念：如果一个推理能始终将正确断言性/真理从前提传递到结论，那么它就是有效的。 </