- 2017 - 2022 「証明の哲学」の視点に立つ「論理と数学の哲学」の新展開
- 2014 - 2017 直観主義論理を中心とした学際的論理哲学研究
- 2010 - 2012 証明概念に基づく意味論の再構築
- 2006 - 2008 数学・論理学における構成主義についての哲学的・歴史的研究
- 2005 - 2008 計算の哲学--その展開と深化
- 2003 - 2004 直観主義における連続体の概念とブラウワーの哲学についての研究
- 2001 - 2004 論理学・数学の哲学的基礎づけに関する実在論、構成主義、物理主義の体系的比較と評価
- 2001 - 2002 数学の哲学としてのヒルベルト・プログラムに関する歴史的・論理学的研究
- 1997 - 1999 日本語と論理学
- 1997 - 1998 数学の哲学における真理のミニマリズムと反実在論
- 1994 - 1995 数学の哲学における実在論と構成主義の関係についての研究
- 1993 - 1993 論理定項の概念についてのモデル論理的および構成主義的研究
- 1991 - 1992 分析哲学における論理と数学の哲学の歴史的展開と現代的課題
全件表示