Ｗ．Ｖ．クワインにおける存在論の探究－議論領域における個体定項の消去－

W.

• 批准号: 13J05119
• 负责人: 野村 尚新
• 金额: $ 0.96万
• 依托单位: Japan Advanced Institute of Science and Technology
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for JSPS Fellows
• 财政年份: 2013
• 资助国家: 日本
• 起止时间: 2013-04-01 至 2016-03-31
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-13J05119/
• 关键词: 分析哲学; 動的認識論理; マイノング主義; 直観主義公開告知論理; 公開告知論理; Action model; クワイン存在論の拡張; 動的認識論理の証明論; 認識論理; 形而上学; クワイン存在論; 志向性の論理

本研究の目的は,クワイン存在論を理論的領域から日常の領域に拡張した場合に生じる問題点を検討,解消し彼の存在論を深化させることである.平成25年度では,マイノング主義(特にG. プリーストの非存在主義)を用いてクワイン存在論の方法論を踏襲しつつ彼の理論を日常の領域へ拡張した.つまり,非存在主義の志向性の論理を用いて,クワインの理論では整合的に扱えなかった非存在対象を扱えるようにした.これをまとめた論文は日本科学哲学会で受理され『科学哲学』Vol.48(1)にて掲載された．また,この研究より，クワインの存在論を日常の領域へ拡張したところ以下の点が不十分であることが判明したため，これを解決するために，平成27年度は前年度に引き続き，認識の変化を形式的に表現する動的認識論理の研究を継続した．そして,特に基本的な動的認識論理である公開告知論理におけるある既存の証明体系を検証したところこの体系に不備が見つかった.そこで,クワイン存在論のさらなる展開のために,この公開告知論理の既存の証明体系を指導教官である佐野勝彦と東条敏とともに再構築しTPLCなどで発表し,論文が受理された．また，この研究をもとにして公開告知論理の一般化であり発展体系であるAction model logicの証明体系を同教官らと共に構築してこれをLFCS2016にて発表し，また同学会へ論文を提出して受理された．さらに加えて，公開告知論理を直観主義論理へと拡張した直観主義公開告知論理の証明体系を同教官らと共に構築してLPAR-20にて発表し，同学会へ論文を提出して受理された．

The purpose of this study is to explore and solve the problems arising in the field of ontology theory from the field of daily life to the field of daily life. Heisei 25 years Non-existentialism is a new approach to existential methodology. The logic of non-existentialism is applied to the theory of non-existentialism, and the theory of non-existentialism is integrated. This paper was accepted by the Japanese Society for Philosophy of Science Vol.48(1) and published in the journal Philosophy of Science. In 2007, the Ministry of Science and Technology launched a series of research projects on the development of science and technology, and the Ministry of Science and Technology launched a series of research projects on science and technology. In particular, the basic theory of knowledge is open to the public to inform the logic of the existence of the proof system. The existence theory of existence is developed and the existing proof system of public information logic is re-constructed. The paper is accepted. The research on this topic is based on the generalization of open notification logic, the development system, the Action model logic, and the proof system. The LFCS2016 paper is presented and accepted. The proof system of public disclosure logic is constructed by the same instructor as LPAR-20. The thesis of homecoming is submitted and accepted.

项目成果

志向性の論理によるW. V. Quineの存在論的コミットメントの再考

通过意向性逻辑重新考虑 W.V.蒯因的本体论承诺

• 发表时间: 2013
• 作者: Shoshin Nomura;Katsuhiko Sano and Satoshi Tojo;野村尚新
• 通讯作者: 野村尚新

Revising a labelled sequent calculus for Public Announcement Logic

修改公告逻辑的标记序列演算

• 发表时间: 2014
• 作者: Shoshin Nomura;Katsuhiko Sano and Satoshi Tojo
• 通讯作者: Katsuhiko Sano and Satoshi Tojo

A labelled sequent calculus for intuitionistic public announcement logic

用于直观公共公告逻辑的标记序列演算

• 发表时间: 2015
• 作者: Chiasa Uragami;Denise Galzerano;Andrew Gall;Yusuke Shigematsu;Maiwen Meisterhans;Naohiro Oka;Masahiko Iha;Ritsuko Fujii;Bruno Robert;and Hideki Hashimoto;Takahiro Matsushita;松下 尚弘;Takahiro Matsushita;野村尚新;S. Nomura
• 通讯作者: S. Nomura

An Expansion of Ontological Commitment Through Noneism

通过虚无主义扩展本体论承诺

• DOI: 10.4216/jpssj.48.1
• 发表时间: 2015
• 期刊: Kagaku tetsugaku
• 作者: Chiasa Uragami;Denise Galzerano;Andrew Gall;Yusuke Shigematsu;Maiwen Meisterhans;Naohiro Oka;Masahiko Iha;Ritsuko Fujii;Bruno Robert;and Hideki Hashimoto;Takahiro Matsushita;松下 尚弘;Takahiro Matsushita;野村尚新
• 通讯作者: 野村尚新