权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

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

建构主义/证明论视角下的哲学意义理论研究

基本信息

批准号：
16520016
负责人：
SAITO Hirofumi
金额：
$ 1.22万
依托单位：
Shiga University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (C)
财政年份：
2004
资助国家：
日本
起止时间：
2004 至 2005
项目状态：
已结题

项目摘要

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.

我们主要从以下三个方面对建构主义意义理论进行了研究，并取得了一些成果：1.在量化命题逻辑的框架下，通过简单形式化的方法，分析了建构主义意义理论的背景--实在论与反实在论之争。反实在论的特征在于“表现原则”，这反过来又被形式化为“真断言原则”，使用额外的真断言和可能性操作符。在探索过程中，我们得到了一些关于在建构主义意义理论中起关键作用的未定和不可判定语句的结果。2.探索了建构主义意义理论形式框架的一个有希望的候选者--直觉类型理论。ITT作为一种范式理论不仅适用于逻辑和数学语言，而且适用于自然语言。我们专注于材料推理在自然语言的普通上下文中，看看他们是否被容纳在ITT框架。在此过程中，我们对基于ITT的建构主义意义理论的本体论承诺提出了一些看法。3.回指真理理论被认为是一种紧缩真理理论，但它并不是紧缩真理理论。在通货紧缩的真理观上，方案"'A'为真当且仅当A"是基本的，没有进一步的证明。与此相反，在回指理论中，这一方案是合理的基础上的一个功能的真谓词，这就是所谓的“前句的形成”。所以问题是能给前句的构成功能赋予什么实质性的内容。在回答这个问题时，我们指出，有一个很好的前景的功能，从建构主义的意义理论的观点来表征的实质内容。

项目成果

期刊论文数量（12）

专著数量（0）

科研奖励数量（0）

会议论文数量（0）

专利数量（0）

Realism vs.Anti-Realism Debate and Fitch's Paradox

现实主义与反现实主义之争和菲奇悖论

DOI：
发表时间：
2005
期刊：
Memoirs of Faculty of Education, Shiga University (II) : The Humanities Social Science No.54
影响因子：
0
作者：
MATSUO;Yuji (translator);中山康雄;Yasuo Nakayama;T.Washio et al.(eds.);Yasuo Nakayama;中山康雄;Hirofumi Saito;Hirofumi Saito;Hirofumi SAITO
通讯作者：
Hirofumi SAITO

Deflationism and the Anaphoric Theory of Truth

紧缩论与真理照应理论

DOI：
发表时间：
2006
期刊：
Memoirs of Faculty of Education, Shiga University (II) : The Humanities Social Science No.55
影响因子：
0
作者：
Shigeki;Noya;伊藤和行;Hirofumi SAITO
通讯作者：
Hirofumi SAITO

実在論-反実在論論争とフィッチのパラドックス

现实主义与反现实主义之争与菲奇悖论

DOI：
发表时间：
2005
期刊：
滋賀大学教育学部紀要(II : 人文科学・社会科学) 54
影响因子：
0
作者：
Shunsuke;Kadowaki;齋藤浩文;宗像惠;出口康夫;遠山敦(編);出口康夫;斎藤浩文
通讯作者：
斎藤浩文

Type Theory and the Theory of Meaning ---Towards an Intuitionistic View of Language

类型论与意义论——走向直觉主义的语言观

DOI：
发表时间：
2006
期刊：
Annals of the Japan Association for Philosophy of Science Vol.14, No.2
影响因子：
0
作者：
MATSUO;Yuji (translator);中山康雄;Yasuo Nakayama;T.Washio et al.(eds.);Yasuo Nakayama;中山康雄;Hirofumi Saito
通讯作者：
Hirofumi Saito

真理の照応理論と収縮主義

真理与收缩论的照应理论