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

矛盾許容型論理の全容解明に向けた研究

旨在阐明矛盾容忍逻辑全貌的研究

基本信息

批准号：
18K12183
负责人：
大森仁
金额：
$ 2.75万
依托单位：
Japan Advanced Institute of Science and Technology
依托单位国家：
日本
项目类别：
Grant-in-Aid for Early-Career Scientists
财政年份：
2018
资助国家：
日本
起止时间：
2018-04-01 至 2019-03-31
项目状态：
已结题

来源：
https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-18K12183/
关键词：
矛盾許容型論理 connexive logic discussive logic contra-classical logic 真矛盾主義 Discussive logic Infectious logic Connexive logic

项目摘要

本研究には三つの学術的問いがあり、それらに対応して、以下の三つの目的を設定した。第一に、幾つかの論理観を取り上げ、それに基づいて矛盾許容型論理の理解がどのようなものとなるのかを明らかにすること。第二に、特に真矛盾主義に基づく理論に着目し、その理論展開に際して用いられるメタ理論が古典論理を含む場合と含まない場合とで如何なる違いが生じるかを明らかにすること。そして第三に、無数にある矛盾許容型論理の体系の内で、特にこれまでにあまり注目されていなかったDiscussive logic、Infectious logicそしてConnexive logicの三種類に焦点を当てて、それらの全容の解明及び既によく知られている体系群との関連を明らかにすること。これらに関して、以下のような検討を行い、成果を得た。まず第一の目的に関しては、Adaptive logicの創始者であるDiderik Batens名誉教授(ゲント大学)を招き、Adaptive logicの背後にある論理観や矛盾許容型論理の理解を検討する機会を得た。第二の目的に関しては、Zach Weber上級講師(オタゴ大学)とともに議論を進めた。特にGraham Priestの著書In Contradictionにおけるuntrueの取り扱いに焦点を当て、そこに問題のあることを明らかにした。そして、第三にDiscussive logicについてはその基本的方針に従って幾つかの多値論理に対して新たな見通しを与えた。Infectious logicに関しては想定されていなかった新たな意味論的観点を見出した。そしてConnexive logicに関してはWansingの方法論のContra-classical logic への応用可能性を論じ、さらに様相性を含む言語において得られる一般化についての成果を得た。

The purpose of this study is to set up a set of technical questions for the following three years. In the first place, you need to understand that you are in conflict with each other, and that you are aware of the problem. Second, there is a special contradiction in the development of basic theories and theories in the international community. Classical theories contain information about how to make a difference. The third, non-contradictory and inclusive management system, the internal management system, the special information system, the internal management system, the special management system, the internal management system, the special management system, the internal management system, the special management system, the internal management system, the internal management system, the special management system, the internal management system, the special management system, the internal management system, the special management system, the internal management system, the third generation management system, the third generation Please tell me that the following is the best way to get the results. For the first purpose, the initiator of the Adaptive logic program called Professor Diderik Batens Honorary (University) to recruit students, and the Adaptive logic staff to deal with contradictions and contradictions in the back. The second purpose is to discuss the progress of the talks on the Zach Weber. In particular, Priest asked In Contradiction questions about how to focus on the focus, and that you would like to know more about the situation. The third, the Discussive logic, the third, the first, the third, the third and the third. Infectious logic wants to know that something new means that the point is out of the question. The methods of "Connexive logic", "Wansing", "Contra-classical logic", "possibility" and "phase" contain the words "generalization" and "results".