著書

日本語の動詞「いる」「ある」には所在とも所有とも区別される存在の意味があることを論じ、日本語存在文の意味論を形式的に与える方法を検討した。

デカルト的懐疑の現代版と称されることの多いパトナムの議論とデカルトのもともとの想定との異同について論じた。

シリーズ「現代思想の冒険者たち」の一冊。ウィトゲンシュタインの哲学について、その生涯と関連させながら論じた。380頁。

可能性および必然性という様相概念についての、現代哲学における取り扱いを、様相論理の意味論と指示の問題を中心に論じた。384頁。

分析哲学のなかの主要な流れに、言語分析から存在論に至るという方法論があることを、論理形式という概念との関連で明らかにした。

ウィトゲンシュタインの私的言語についての議論のひとつの解釈を、具体的な会話の場面で展開してみせた。

プラトン的対話篇の形を借りて、人工知能の哲学的背景と、哲学的帰結について論じた。

デカルト的懐疑がことばの意味の懐疑にまで及ぼされないことの意味、ならびに、デカルト的な心の見方に関して、それがもつ帰結について論じた。

伝統的論理学を受け継ぐ形で論理学の体系を構成したSommersの仕事に関連して、論理的研究の異なる枠組みどうしを比較する際に生じうる問題点を検討した。

二十世紀哲学における分析的真理という観念の変遷を、論理実証主義とクワインとを中心に論じた。287頁。

現代の言語哲学の原点であるフレーゲとラッセルの論理思想と言語哲学について論じた。251頁。

可能世界の概念の哲学的基盤を検討し、大部分、否定的な結論に至った。

演繹とは同じことの言い換えであるとする大森荘蔵の論理観を批判的に検討した。