論文

日本語のある程度包括的な部分に対して、デイヴィドソン型の形式意味論を与える試み。さまざまな形の複雑な名詞句を一般化された量化子を含む量化表現と捉えることによって、名詞句に対する統一的意味論を構成することを試みた。

人々が実際に行う推論活動と論理学との関係について論じるとともに、論理的真理の範囲を境界づける試みについて論じた。

相対主義的真理述語を言語に導入することの帰結を、他の種類の相対化された真理述語の振る舞いと比較することによって明らかにすることを試みた。

日本語の数助詞についての、クワインの説を批判的に検討し、日本語においても、質量名詞と可算名詞とを区別する明確な仕組みがあることを論じた。

ゲーデルの不完全性定理がもちえた帰結が、論理主義・直観主義・形式主義の各々において、それぞれ異なることを論じた。

プラトン的対話篇の形を借りて、ゲーデルの不完全性定理に由来する、知識のパラドクスについて論じた。

フレーゲにおいては、分析的に真である存在命題があることを指摘し、そのことの帰結について論じた。

「知る」という動詞の目的節に、話者の前提が含まれていることを指摘するとともに、その意味論上の取り扱いを論じた。

言語表現の多義性という概念を理論的に定式化することにまつわる諸問題を、「知る」という動詞を例に取り上げて論じた。

異なる言語間の翻訳についてのクワインの説を、論理的真理の翻訳の問題に関して検討した。

相対主義の自己論駁と呼ばれる議論を検討することによって、相対主義の真理観が、意味についての保持できない立場に導くことを論じた。

連接性（consistency）の概念を無矛盾性の概念から区別することの必要性について論じた。