Studies on Philosophical Meaning Theory from a Constructivistic/Proof-Theoretical Point of View

我们主要从以下三个方面对建构主义意义理论进行了研究，并取得了一些成果：1.在量化命题逻辑的框架下，用简单形式化的方法分析了作为建构主义意义理论背景的现实主义与反实在论之争。反实在论的特征是“表现原则”，它又被形式化为“真理断言原则”，使用真理断言和可能性的附加运算符。在探索的过程中，我们得到了一些关于不确定和不可决定陈述的结果，这些都在建构主义意义理论中起着至关重要的作用。2.探讨了作为建构主义意义理论形式框架的直觉类型理论。ITT被证明是可行的，不仅是关于逻辑语言和数学语言的，也是关于自然语言的。我们专注于自然语言普通语境中的实质性推理，并看看它们是否被纳入ITT框架。在这个过程中，我们对基于ITT的建构主义意义理论的本体论承诺有了一些看法。3.回指真理论被认为是一种通缩的真理论，但它并不是通缩的。在通缩的真理概念上，“‘A’是真的当且仅当A”是基本的，没有进一步的理由。与此相反，在回指理论中，该方案是基于真值谓词的功能而被证明是正当的，这被称为“命题构成”。因此，问题是可以赋予命题构成功能什么实质性的内容。对此，我们认为，从建构主义意义理论的角度来刻画功能的实质内容是很有前景的。

We have mainly investigated the following three aspects of constructivistic theory of meaning, and got some results.1.Realism vs.anti-realism debate, which can be regarded as a background of constructivistic meaning theories, is analyzed by way of simple formalization in the framework of quantified propositional logic. Anti-realism is characterized in terms of the "manifestation principle", which is in turn formalized as "truth-assertibility principle", using the additional operators of truth-assertion and possibility. In the course of the exploration, we arrive at some results concerning undecided and undecidable statements, which play crucial roles in the constructivistic meaning theories.2.Intuitionistic Type Theory (ITT), which is a promising candidate for the formal framework of constructivistic meaning theory, is explored. ITT is proved to be workable as a paradigmatic theory, not only about languages of logic and mathematics, but also about natural languages. We focus on material inferences in the ordinary contexts of natural languages, and see if they are accommodated in the ITT framework. In the process, we get some views on the ontological commitments of ITT-based constructivistic meaning theories.3.Anaphoric theory of truth, which is most commonly regarded as a kind of deflationary theory of truth, is shown to be by no means deflationary. On the deflationary conception of truth, the scheme "'A' is true iff A" is basic and without further justifications. In contrast to this, in the anaphoric theory, the scheme is justifiable on the basis of a function of the truth predicate, which is called "prosentence formation". So the question is what substantial content can be given to the function of prosentence formation. In answer to this, we show that there is a good prospect of characterizing the substantial content of the function from the viewpoint of constructivistic theory of meaning.