Yuta Takahashi

J-GLOBAL         Last updated: Aug 6, 2019 at 15:31
Yuta Takahashi
Université Paris 1 Panthéon-Sorbonne
Institut d’histoire et de philosophie des sciences et des techniques (IHPST)
Job title
Visiting Researcher (JSPS Overseas Research Fellow)
MPhil (Philosophy)(Keio University), PhD (Philosophy)(Keio University)
Other affiliation
Keio University, Global Research Center for Logic and Sensitivity

Research Areas


Published Papers

Yuta Takahashi and Ryo Takemura
Journal of Philosophical Logic   48 553-570   Jun 2019   [Refereed]
Mitsuhiro Okada and Yuta Takahashi
M. Fernández and I. Mackie (eds.), Proceedings Tenth International Workshop on Computing with Terms and Graphs (TERMGRAPH 2018), Oxford, UK, 7th July 2018, Electronic Proceedings in Theoretical Computer Science   288 38-49   Feb 2019   [Refereed]
Yuta Takahashi
Annals of the Japan Association for Philosophy of Science   27 1-26   Sep 2018   [Refereed]
Ryota Akiyoshi and Yuta Takahashi
S.C.-M. Yang, K. Y. Lee and H. Ono (eds.), Philosophical Logic: Current Trends in Asia   95-137   Dec 2017   [Refereed]
Yuta Takahashi
Ph.D. thesis (Keio University)      2017

Conference Activities & Talks

On a disagreement about the finiteness of Gentzen's 1935 consistency proof for first-order arithmetic
Yuta Takahashi
Workshop "Norm, Rule and Disagreement", Keio University   11 Jan 2019   
Phase Semantic Investigation into Proof-terms of Second-order Intuitionistic Propositional Logic
Yuta Takahashi
2nd Nagoya Meta-Philosophy Workshop, Nagoya University   5 Nov 2018   
On quasi ordinal diagram systems
Mitsuhiro Okada and Yuta Takahashi
TERMGRAPH 2018, University of Oxford   7 Jul 2018   
Ordinal Diagrams and Well-Quasi-Orderings (preliminary report)
Mitsuhiro Okada and Yuta Takahashi
French-Japanese Workshop "Philosophy of Logic and Mathematics" with special focuses on "Philosophy of Proofs" and the Study of Euclid's Elements, Keio University   20 Jan 2018   
A Proof-theoretic Semantics for Disjunction
Yuta Takahashi
Logic Colloquium 2017, Stockholm University   17 Aug 2017   


A proof-theoretic semantics for disjunction (abstract)
Yuta Takahashi
Bulletin of Symbolic Logic   24(2) 268   Jun 2018   [Refereed]
On quasi-ordinal diagram systems
Mitsuhiro Okada and Yuta Takahashi
Preliminary Proceedings of TERMGRAPH 2018      2018   [Refereed]
Yuta Takahashi
Proceedings of the XXIII World Congress of Philosophy   55 73-78   2018   [Refereed]
A uniform idea behind Gentzen’s three consistency proofs (abstract)
Ryota Akiyoshi, Yuta Takahashi
Bulletin of Symbolic Logic   22(3) 382   Sep 2016   [Refereed]
Gentzen's 1935 consistency proof and the interpretation of implication (abstract)
Yuta Takahashi
Abstracts of XXIII World Congress of Philosophy   713   Aug 2013   [Refereed]