主な研究記録   
Publications (Selected)

（著書・訳書）
・『環境のオントロジー』(共著、第6章「現代のオントロジーとアリストテレス」担当)、2008、春秋社
・『穴と境界―存在論的探究』、2008、春秋社
・『なぜ私たちは過去へ行けないのか―ほんとうの哲学入門』、2003、哲学書房
・『マグロウヒル大学演習：現代論理学(I)(II)』(J.ノルト、D.ロハティン)（(II)は共訳）、1995・1996、オーム社
・『リーディングス数学の哲学：ゲーデル以後』（分担訳、II-5「証明論の哲学的立場」(D.プラウィッツ)）、1995、勁草書房
・『真理への反逆―知識と行為の哲学』 (共著、第4章「真理概念と時制―ある宿命論者への回答」担当)、1994、富士書店
・『プリンキピア・マテマティカ序論』(B.ラッセル、A.N.ホワイトヘッド)（共訳）、1988、哲学書房
・『模型は心を持ちうるか―人工知能・認知科学・脳生理学の焦点』(V.ブライテンベルク)（訳）、1987、哲学書房

（学術論文）
・「穴から覗き見る物理主義」（2010、『思想』2月号）
・`Bourne on Future Contingents and Three-valued Logic'(PDF)（2009、Logic and Logical Philosophy vol.18-1）
・`Four Kinds of Boundary: From an Ontological Point of View'(PDF)（2009、Interdisciplinary Ontology vol.2）
・「現代的実体主義の諸相―実体の独立性をめぐって」（2008、『哲学の探求35』）
・「フォーマル・オントロジーの諸相」（2007、『現象学年報23』）
・「現代的カテゴリー論の諸相」（2007、『RATIO 04』）
・「外延的真理様相の論理としての部分論理」（2007、『科学基礎論研究34-2』）
・`Do Time Travelers Suffer from Paradoxes?'(PDF)（2007、Annals of the Japan Association for Philosophy of Science 15-2）
・「オントロジー構築のための実在論的方法論」(PDF)（2005、『人工知能学会誌20-5』(PDF)）
・「分析哲学における伝統的形而上学の復興」（2004、『現代思想32-8』）
・「可能性から必然性への変化としての時間生成」（2004、『数理科学42-7』）
・`Tensed Ontology based on Simple Partial Logic'(PDF)
（2002、Proceedings of Ninth International Symposium on Temporal Representaion and Reasoning: TIME-02）※TIME International Symposium Series
・`Validity in Simple Partial Logic'(PDF)（2002、Annals of the Japan Association for Philosophy of Science 10-4）
・「時制と部分論理―始点としての現在」（2001、『哲学雑誌116-788』）
・`The Ontology of Many-Worlds: Modality and Time'（1999、 the Paideia Project）
・「生成する指示」(1995、『現代思想23-4』)
・「直接指示と貫時点同一性」(1995、『埼玉大学紀要教養部人文篇43』、1998（再録）、『日本語学論説資料32』）
・「過去概念の源泉としての再認―ウィトゲンシュタインの時間論」（1993、『イギリス哲学研究16』）
・「外延的様相論理としての三値論理―ウカシェヴィッチの様相論」（1989、『哲学雑誌104-776』）

（助成を受けた研究） ・＜科研費：基盤研究(C)＞現代的本質主義の論理と存在論、2010〜12
・＜科研費：基盤研究(C)＞現代的実体主義の論理と存在論、2007〜09
・＜文部科学省：海外先進研究実践支援＞哲学的形式存在論とその知識工学的応用、2007
・＜科研費：基盤研究(C)＞種的様相論理に基づく形式存在論、2004〜06
・＜科研費：基盤研究(C)(2)＞時間論理に基づく形式存在論、2001〜03
・＜文部省：海外研究開発動向調査＞時間論理の存在論的基礎づけに関する研究開発動向の調査、2000
・＜国際交流基金：派遣フェローシップ＞時間様相の存在論、2000
・＜科研費：基盤研究(B)(2)＞日本語と論理学（研究分担者）、1997〜99
・＜科研費：奨励研究(A)＞時間的多世界説の存在論、1997〜98
・＜科研費：奨励研究(A)＞>時間的様相の論理と意味論、1996

（その他）
・国際学会`InterOntology '09'招待講演：`Four Kinds of Boundaries: From an Ontological Point of View'（2009)
・コラム：「両大戦間のポーランドにおける論理学と哲学」（2007、『哲学の歴史　第11巻20世紀II 論理・数学・言語』)
・日本現象学会第28回研究大会、シンポジウムII「現在のオントロジーと現象学」、「フォーマル・オントロジーの諸相」、パネリスト、2006
・哲学会第45回研究大会、シンポジウム「様相の論理と形而上学」、「実体様相の論理と形而上学」、パネリスト、2006
・日本イギリス哲学会第29回研究大会、シンポジウムII「時間論：その過去と現在」、「実体と時制」、パネリスト、2005
・解説：『数学原理』（ラッセル＋ホワイトヘッド）（2004、『現代思想32-11』)
・第35回科学哲学会ワークショップ「空間表象の形式理論と存在論」オーガナイザー、2002 ※ワークショップ資料　 　
・国際学会`Ninth Interntaional Symposium on Temporal Representation and Reasoning: TIME-02' 発表、`Tensed Ontology based on Simple Partial Logic'、2002
・第34回科学哲学会ワークショップ「フォーマル・オントロジーの工学と哲学―オントロジー工学の現在とその哲学的源泉」パネリスト、2001
・国際学会'Twentieth World Congress of Philosophy'発表、`The Ontology of Many-Worlds: Modality and Time'、1998
・国際学会`Lukasiewicz in Dublin'発表、`Was Lukasiewicz Wrong?: Three-valued Logic and Determinism'(PDF)※国際会議報告
・第27回科学哲学会ワークショップ「論理学教育の現状と展望(2)」パネリスト、1994