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.