学位

• 博士（哲学）（慶應義塾大学 2010-03）

経歴

学歴

受賞

• 「言語処理学会第29回年次大会」委員特別賞（2023-03）
• 2013年度科学基礎論学会奨励賞（2014-11）
• 2008年度科学基礎論学会奨励賞（2009-10）

その他

• Workshop: “Self and Infinity II”（京都大学）（共同オーガナイザー）
• Workshop: “Self and Infinity”（フッサール文庫、パリ）（共同オーガナイザー）
• Second Workshop on Mathematical Logic and its Application（金沢，日本学術振興会研究拠点形成事業「数理論理学とその応用の国際拠点形成」 の一環） (共同オーガナイザーおよびプログラム委員)
• WIAS 主催セミナー "Type Theory and Proof Theory" （早稲田大学）（共同オーガナイザー）
• WIAS Top Runners' Lecture Collection "Proof Theory and Computation (1) and (2)" （早稲田大学）（共同オーガナイザー）
• 早稲田大学高等研究所主催 「論理学の哲学」ワークショップ：意味，証明，推論 （早稲田大学）（オーガナイザー）
• 早稲田大学 高等研究所・慶應義塾大学 論理と感性のグローバル研究センター 共催 「論理と数学の哲学」 Workshop “Logic and Philosophy of Mathematics" （慶應義塾大学，早稲田大学）（共同オーガナイザー）
• 高等研究所セミナー 「Logic and Game Theory」（早稲田大学）（共同オーガナイザー）
• 「論理と数学の哲学—論証の哲学に向けて」日仏ワークショップ Workshop “Philosophy of logic and Mathematics -- Towards Philosophy of Proofs" （慶應義塾大学）(共同オーガナイザー)
• 早稲田大学高等研究所主催ワークショップ ``Philosophy of Logic Workshop: Kant, Husserl, and Linear Logic" 「論理学の哲学ワークショップ：カント，フッサール，線型論理」（早稲田大学）(オーガナイザー)
• 早稲田大学高等研究所セミナー「可換環における逆数学」（早稲田大学）（オーガナイザー）
• 早稲田大学高等研究所セミナー Philosophy of Mathematics and Logic Seminar （早稲田大学）(オーガナイザー)
• 「数学の哲学と証明論」ワークショップ "Philosophy of Mathematics and Proof Theory" Workshop （慶應義塾大学）（共同オーガナイザー）
• 早稲田大学高等研究所 Top Runners' Lecture Collection 数学の哲学ワークショップ「計算，証明，直観」（早稲田大学）（オーガナイザー）
• 早稲田大学高等研究所セミナー "Phase transitions in logic: combinatorics and provability" （早稲田大学）（オーガナイザー）
• GCOE ロジックセミナー 江口直日（東北大学）講演会 （慶應義塾大学）（共同オーガナイザー）
• 数学の哲学セミナー 金子洋之（専修大学），高橋優太（慶應大学）講演会（慶應義塾大学）（共同オーガナイザー）
• Richard Zach（カルガリー大学）講演会 "The Epsilon Calculus" （慶應義塾大学）（共同オーガナイザー）
• 国際会議 "Proof Theory and Philosophy"「証明論とその展開シンポジウム」（慶應義塾大学）（共同オーガナイザー）
• 論理学・数学の哲学セミナー 伊藤遼（京都大学），大西琢朗（京都大学）講演会（慶應義塾大学）（共同オーガナイザー）
• Bob Hale（シェフィールド大学）講演会 "What is absolute Necessity?" （慶應義塾大学）（共同オーガナイザー）
• Arguing for contradictions: dialectical gamesi n Plato's dialogues （慶應義塾大学）（共同オーガナイザー）
• Akihiro Kanamori（ボストン大学）, Juliet Floyd（ボストン大学） 講演会 （慶應義塾大学）（共同オーガナイザー）
• 矢田部俊介（産業技術総合研究所）講演会「真理の度合い理論は適切か？」（慶應義塾大学）（共同オーガナイザー）
• 国際会議 "A Proof Theory Workshop with Lecture Series by Grigori Mints"（慶應義塾大学）（共同オーガナイザー）

論文

• Schwichtenberg’s Style Analysis of Parameter-Free Fragments of Girard’s System F（2025-04）
• A Note on Feferman and Takeuti II: Philosophical Perspectives on Inductive Definitions（2025-03）
• Annotation of Japanese Discourse Relations Focusing on Concessive Inferences（2024-05）
• A Note on Feferman and Takeuti: Their Thoughts on Predicativity and Finitism（2024-03）
• 逆接の推論関係に着目した日本語談話関係アノテーション（2023-03） [Othres link]
• Foundations of Mathematics a la Kyoto School: from Nishida to Takeuti via Suetsuna（2023-03） [Othres link]
• Logic of Alternative-I（2022-11） [DOI] [Othres link]
• 竹内の整礎性証明再訪（2021-03） [Othres link]
• Takeuti’s proof-theory in the context of the Kyoto school（2019-10） [Othres link]
• A Formalization of Brouwer's Argument for Bar Induction（2018-07） [DOI]
• An Interpretation of Brouwer’s Argument for Bar Induction via Infinitary Proof Theory（2018） [DOI]
• Contentual and Formal Aspects of Gentzen's Consistency Proofs（2017-12） [Othres link]
• An Ordinal-Free Proof of the Complete Cut-Elimination Theorem for Π11-CA + BI with the ω-rule（2017-05） [Othres link]
• Strong normalization for the parameter-free polymorphic lambda calculus based on the Omega-rule（2016-06） [DOI]
• An Extension of the Omega-Rule（2016-05） [DOI]
• 鈴木俊洋『数学の現象学』に関するいくつかのリマーク（2015-04） [Othres link]
• Brouwer’s Argument for the Bar Induction Revisited（2014）
• ブラウワーのバー帰納法における基本仮定の理解に向けて（2013） [CiNii Research (CiNii Articles)] [CiNii Books] [Othres link]
• ゲンツェンを読むー三つの無矛盾性証明の統一的解釈ー（2013年度科学基礎論学会奨励賞受賞論文）（2013） [DOI] [CiNii Research (CiNii Articles)] [CiNii Books] [Othres link]
• 非可述性の分析としての証明論(<特集>あたらしい数理論理学の揺籃:証明論的な順序数と集合論的な順序数)（2012） [DOI] [CiNii Research (CiNii Articles)] [CiNii Books] [Othres link]
• An Extension of the Iterated Omega-Rule（2011）
• Gentzen's First Consistency Proof Revisited（2010）
• Tait's Conservative Extension Theorem Revisited（2010） [DOI]
• An Ordinal-Free Proof of the Cut-elimination Theorem for a Subsystem of \Pi^1_1-Analysis with omega-rule（2009） [CiNii Research (CiNii Articles)] [CiNii Books] [Othres link] [Othres link]
• Proof-Theoretic Investigations of Type Theory and Subsystems of Second-Order Arithmetic（2009） [Othres link]
• Takeuti's Reduction and Impredicativity（2009）
• On a Relationship between Goedel's Second Incompleteness Theorem and Hilbert's Program（2008年度科学基礎論学会奨励賞受賞論文）（2009） [DOI] [CiNii Research (CiNii Articles)] [CiNii Books] [Othres link]
• ヒルベルトとゲーデル（2004）

その他業績

• Towards proof-theoretic semantics for second-order logic（2024-10）
• Intuition in philosophy of mathematics（2024-10）
• The logic of presence（2024-05）
• Husserl and Schroeder（2023-10）
• Toward an Alternative to the Master-Slave Model: A View from East Asia（2022-11）
• On Gaisi Takeuti's Philosophy of Mathematics (abstract)（2019-12）
• "Proofs as Programs" Revisited (abstract)（2019-07）
• The Upperbound of the Length of the Reductions in a Subsystem of Girard's F（2018）
• A uniform idea behind Gentzen’s three consistency proofs (abstract)（2016-09）
• Proof-Theoretic Analysis of Brouwer's Argument of the Bar Induction (abstract)（2015-03）
• An Interpretation of Brouwer's Argument for Bar Theorem via Infinitary Proof Theory (abstract)（2013）
• Complete Cut-Elimination Theorem for Ω-Rule (abstract)（2012）
• これからの数学・論理学の哲学に向けて（2012）
• An Ordinal-Free Proof of the Cut-elimination Theorem for Π11-CA with ω-rule (abstract)（2011）
• 書評：『ゲーデルの２０世紀の論理学③不完全性定理と算術の体系』（田中一之編，東京大学出版会）（2009） [CiNii Research (CiNii Articles)] [CiNii Books] [Othres link]

講演・口頭発表等

• Annotation of Japanese Discourse Relations Focusing on Concessive Inferences（2024-05）
• Intuition in Kant, Fichte and Nishida（2024-04）
• Takeuti on finite and infinite sets（2023-03）
• 逆接の推論関係に着目した日本語談話関係アノテーション（2023-03）
• Towards Proof-Theoretic Semantics for Second-Order Logic（2023-03）
• ロボット倫理学における「主人-奴隷」モデルのオルタナティブの必要性：Navonを手がかりに（2022-07）
• スマートシティのELSI研究の紹介：具体的な調査を中心に（2022-05-30）
• 東アジア的自己観から多層的社会へ（2022-03-13）
• フッサールとシュレーダー（2021-05）
• Takeuti’s finitism in the context of the Kyoto school（2020-03）
• Takeuti’s argument of the well-foundedness of ordinals up to the epsilon_0（2020-02）
• Takeuti’s finitism in the context of the Kyoto school（2020-02）
• Takeuti’s Finitism Revisited（2020-02）
• On Gaisi Takeuti's philosophy of mathematics（2019-08-12）
• On Gaisi Takeuti's philosophy of mathematics（2019-08-07）
• 飯田氏の論理学・数学の哲学をめぐって（2019-03）
• On Takeuti's Finitism（2019-02）
• Takeuti’s Finitism Revisited（2019-02）
• Disagreement on Brouwer’s Argument for Bar Induction（2019-01）
• 形式主義の新展開に向けてー竹内外史を手がかりにー（2018-11）
• ゲンツェンとシュッテのカット消去法（2018-09）
• "Proofs as Programs" Revisited（2018-07）
• "Proofs as Programs" Revisited（2018-02）
• "Proofs as Programs" Revisited（2018-01）
• Gentle Introduction to the Omega-Rule: Part II（2017-09）
• A Formalization of Brouwer's Argument for Bar Induction（2017-07）
• Gentle Introduction to the Omega-Rule: Part I（2017-03）
• Brouwer's Argument of Bar Induction Revisited（2017-02）
• Strong normalization for the parameter-free subsystem of System F based on the Omega-rule（2017-02）
• Opening Remarks（2017-01）
• On Brouwer’s argument of bar induction（2017-01）
• Strong normalization for the parameter-free polymorphic lambda calculus based on the Omega-rule（2016-11）
• Contentual and Formal Aspect of Gentzen's Consistency Proofs（2016-10）
• Strong normalization for the parameter-free polymorphic lambda calculus based on the Omega-rule（2016-09）
• Strong normalization for the parameter-free polymorphic lambda calculus based on the Omega-rule（2016-06）
• ヒルベルト，ブラウワーからゲンツェンへ（2015-11）
• Opening Remarks（2015-09）
• Some Results in Proof-Theory for Pi11-CA（2015-09）
• A Uniform Idea behind Gentzen's Three Consistency Proofs（2015-08）
• A Constructive Justification of Brouwer’s Bar Induction（2015-08）
• 直観主義へのいざない（2015-06）
• An Interpretation of Brouwer's Argument of the Bar Induction via Infinitary Proof Theory（2015-03）
• Brouwer's Argument of the Bar Induction Revisited（2015-02）
• “Logical Inference and Proofs” Franco- Japanese Workshopにおけるゲストコメンテイター（2015-01）
• Ω-規則の拡張と応用（2014-12）
• ブラウワーを証明論的に読む（2014-12）
• ブラウワーのバー帰納法の証明論的分析（2014-12）
• 特別企画 鈴木俊洋『数学の現象学』合評会におけるコメンテイター（2014-08） [Othres link]
• Proof-Theoretic Analysis of Brouwer’s Argument of the Bar Induction（2014-08）
• An Introduction to Proof Theory of First- Order Arithmetic（2014-08）
• Proof-Theoretic Analysis of Brouwer’s Argument of the Bar Induction（2014-07）
• ブラウワーの基本仮定について（2014-06） [Othres link]
• "Philosophy of Mathematics and Logic” Meetingにおけるゲストコメンテイター（2014-02）
• Brouwer’s Proof of the Bar Induction Revisited（2014-02）
• An Interpretation of Brouwer’s Argument for the Bar Induction via Infinitary Proof Theory（2013-08） [Othres link]
• Proper Explanation of Brouwer's Fundamental Assumption（2013-03）
• Brouwer’s proof of the bar induction revisited（2013-03）
• Cut-Elimination for Pi^1_1-CA（2013-02）
• 余帰納法の証明論への応用：Ω 規則の観点から（2012-11）
• An extension of the Ωμ+1-rule（2012-07）
• 形式主義の再検討に向けて（2012-02）
• Ω 規則の拡張について（2011-11）
• Complete Cut-Elimination Theorem for Ω-Rule（2011-07）
• 非可述性の分析としての証明論（2011-06）
• 順序数を用いない証明論について（2011-02）
• ゲンツェンの無矛盾性証明再訪（2010-11）
• Finite Notations for Ωμ+1-rule（2010-07）
• Introduction to Proof Theory for Impredicative Systems (Tohoku University)（2010-06）
• An Interpretation of Takeuti’s Reduction（2010-03）
• Finite Notations for Ωμ-rule（2010-03）
• 証明論的手法による二階論理の論理哲学的研究（2010-02）
• 竹内の還元法と非可述性について（2009-11）
• An Ordinal-Free Proof of the Cut-Elimination Theorem for Pi^1_1-CA with ω-rule（2009-06）
• 証明論的手法による二階論理の論理哲学的探究（2009-03）
• An ordinal-free proof of the cut-elimination theorem for Pi^1_1-analysis with ω-rule（2009-02）
• 順序数を用いないカット消去定理の証明について（2008-11）
• An ordinal-free proof of the cut-elimination theorem for Pi^1_1-analysis with ω-rule（2008-11）
• 非可述な体系のカット消去定理の順序数を用いない証明について（2008-09）
• An ordinal-free proof of the cut-elimination theorem for Pi^1_1- analysis with ω-rule（2008-05）
• On a relationship between cut-elimination proofs by W. Tait and W. Buchholz（2008-05）
• テイトの保存拡大定理について（2007-12）
• テイトの保存拡大定理について（2007-11）
• 第二不完全性定理とヒルベルト・プログラム（2007-06）

書籍等出版物

• 現代論理学事典（2025）
• ドイツ哲学・思想事典（2025）
• よくわかる哲学・思想（2019-04）

作品等

共同研究・競争的資金等の研究課題

メディア報道

産業財産権

所属学協会

• 日本科学哲学会
• 科学基礎論学会
• Association for Symbolic Logic

委員歴

担当経験のある科目

• Topics in History and Philosophy of Science
• 哲学特殊講義
• 論理学入門（文学部設置）
• Topics in Philosophy and Religion
• Introduction to Logic
• 論理的思考のすすめ
• ことばと論理Ａ・B
• 哲学倫理学特殊
• 記号論理学 II
• 情報数理学続論
• 数学の哲学
• 哲学A
• 記号論理学 I
• 論理学概論 A・B
• Advanced Topics in Philosophy of Science
• 論理学
• 哲学専門講義（英米哲学／現代哲学）
• 論理学入門（理工学部設置）

社会貢献活動

学術貢献活動