証明論的意味論に基づく自然言語における主張と前提の統合的分析

今年度は前年度に引き続いて、現代論理学の観点に基づく自然言語の分析を中心に研究を行った。成果は以下の4点にまとめられる。1.自然言語推論を分析する上で最も基本的部分となる三段論法とその様々な拡張体系を、証明論における自然演繹の手法を用いて形式化し、その論理的性質(完全性、正規化定理)を明らかにする研究を行った。これにより、従来のモデル論的アプローチでは十分に解明されてこなかった、自然言語の量化文による証明構造を分析する形式的基盤が得られた.またこれと平行して、自然言語推論を扱う証明論的枠組みにいわゆる前提を扱うメカニズムを取り込む研究を進めた。特に、前年度までに得られた確定記述句の分析を出発点として、これを前提現象一般へと拡張することを試みた。2.自然言語推論と図形推論の共通性に着目した研究を前年度に引き続き行い、特に自然言語の三段論法とその拡張体系に対応するさまざまな図形推論体系(オイラー図およびヴェン図の推論体系)について、1.と同様の証明論的分析を試みた。また、この研究と平行して、現代論理学と認知科学の統合的観点から、自然言語推論と図形推論を比較する一連の研究を行った。3.自然言語の形式意味論研究における動的アプローチに基づく研究として、特に線形論理および動的論理の観点から研究を進め、日本語と英語の義務および許可を表す様相表現を中心に分析を進めた。特に、従来の古典論理に基づく分析では処理することが難しかったいくつかの問題について、新たな分析が可能であるという洞察を得た。4.関連性理論の枠組みに基づいて自然言語の語用論的推論の研究を進めた。この研究に関して、これまでの研究成果をまとめた英文論文を収録した英文単行本が出版された。

今年度は前年度に引き続いて、現代論理学の観点に基づく自然言語の分析を中心に研究を行った。成果は以下の4点にまとめられる。1.自然言語推論を分析する上で最も基本的部分となる三段論法とその様々な拡張体系を、証明論における自然演繹の手法を用いて形式化し、その論理的性質(完全性、正規化定理)を明らかにする研究を行った。これにより、従来のモデル論的アプローチでは十分に解明されてこなかった、自然言語の量化文による証明構造を分析する形式的基盤が得られた.またこれと平行して、自然言語推論を扱う証明論的枠組みにいわゆる前提を扱うメカニズムを取り込む研究を進めた。特に、前年度までに得られた確定記述句の分析を出発点として、これを前提現象一般へと拡張することを試みた。2.自然言語推論と図形推論の共通性に着目した研究を前年度に引き続き行い、特に自然言語の三段論法とその拡張体系に対応するさまざまな図形推論体系(オイラー図およびヴェン図の推論体系)について、1.と同様の証明論的分析を試みた。また、この研究と平行して、現代論理学と認知科学の統合的観点から、自然言語推論と図形推論を比較する一連の研究を行った。3.自然言語の形式意味論研究における動的アプローチに基づく研究として、特に線形論理および動的論理の観点から研究を進め、日本語と英語の義務および許可を表す様相表現を中心に分析を進めた。特に、従来の古典論理に基づく分析では処理することが難しかったいくつかの問題について、新たな分析が可能であるという洞察を得た。4.関連性理論の枠組みに基づいて自然言語の語用論的推論の研究を進めた。この研究に関して、これまでの研究成果をまとめた英文論文を収録した英文単行本が出版された。