研究課題
特別研究員奨励費
哲学的課題に関しては、Goodshipの提案に命題の整合性を加えることで得られる見通しの検討を行い、真矛盾主義的な理論の展開において問題とされてきた種々の問題に対して明快な答えを提示することが明らかになった。論理学的課題に関しては、二年目で得られた、命題の整合性に加えて、Graham PriestがIn Contradictionで提案したもののそれほど研究の進んでいない含意を含む体系の公理化について、これを論文としてまとめ、学術雑誌Logic Journal of the IGPLの命題の整合性を含む矛盾許容型論理に関する特別号に含まれることが決まっている。さらに、二年目に命題の整合性の研究に関連して、従来矛盾許容型論理の研究においてあまり着目されてこなかったHalldenの体系を命題の整合性を含む矛盾許容型論理として位置付けることに成功したが、これを発展させることでDamian Szmuc氏とともに更なる展開への足がかりを得た。数学的課題に関しては、特に二年目で思いがけず得られた成果の精査を行った。具体的には、Belnap-Dunn の体系を出発点とした上で、命題の整合性のみを加えた体系に基づく真理論をJc Beallの提案する方法で展開することは不可能であることが明らかになったが、この成果を Zach Weber氏と共に他の真矛盾主義的な真理論に対するアプローチと比べる形で論文としてまとめ、受理された。また、二年目に構築した命題の整合性と含意とを含む論理体系に基づく真理論や素朴集合論の展開に関しては、特に含意の否定に関して、Priestの提案する方法とある含意の否定の捉え方とを合わせることは不可能であることが判明し、この点に関しては目下論文としてまとめているところである。
29年度が最終年度であるため、記入しない。
すべて 2018 2017 2016 2015 その他
すべて 国際共同研究 (3件) 雑誌論文 (11件) (うち国際共著 6件、 査読あり 11件、 オープンアクセス 5件、 謝辞記載あり 5件) 学会発表 (26件) (うち国際学会 22件、 招待講演 12件) 備考 (1件)
Logic Journal of the IGPL
巻: 印刷中
The Australasian Journal of Logic
Logique et Analyse
Logic, Rationality, and Interaction. LORI 2017
巻: － ページ: 268-283
10.1007/978-3-662-55665-8_19
Logic, Rationality, and Interaction. LORI 2017. Lecture Notes in Computer Science, vol 10455
巻: - ページ: 79-93
10.1007/978-3-662-55665-8_6
Journal of Philosophical Logic
巻: - 号: 2 ページ: 281-299
10.1007/s10992-017-9427-0
IfCoLog Journal of Logics and their Applications
巻: 3
Proceedings of DEXA2016
巻: --
Advances in Modal Logic, Vol 11
Reports on Mathematical Logic
巻: 51
巻: 50 ページ: 41-51
https://sites.google.com/site/connexivelogic/
