Ryota Akiyoshi

J-GLOBAL         Last updated: Nov 8, 2017 at 08:33
 
Avatar
Name
Ryota Akiyoshi
Affiliation
Waseda University
Section
Institue for Advanced Study
Job title
Associate professor (without tenure)
Degree
PhD (Philosophy)(Keio University)
Other affiliation
Keio University

Profile

Research Topics:

(1) Philosophy of mathematics: Goedel's theorem and Hilbert's program, Gentzen's consistency proofs, Brouwer's proof of the bar induction, the meaning of logical constants...

(2) Mathematical logic (esp. proof theory): cut-elimination for subsystems of second-order arithmetic, ordinal analysis, type theory, intuitionistic analysis...

Research Areas

 
 

Academic & Professional Experience

 
Apr 2017
 - 
Today
Associate professor (without tenure), Institute for Advanced Study, Waseda University
 
Apr 2017
 - 
Today
Part-time lecturer, Faculty of Science, Chiba University
 
Apr 2010
 - 
Today
Part-time lecturer, Faculty of Letters, Keio University
 
Apr 2015
 - 
Mar 2017
Assistant professor, Institute for Advanced Study, Waseda University
 
Apr 2014
 - 
Mar 2016
Part-time lecturer, Faculty of Science and Technology, Keio University
 

Awards & Honors

 
Nov 2014
The Japan Association for Philosophy of Science Research Award, The Japan Association for Philosophy of Science
Winner: Ryota Akiyoshi, Yuta Takahashi
 
Oct 2009
The Japan Association for Philosophy of Science Research Award, The Japan Association for Philosophy of Science
 

Books etc

 
Philosophical Logic: Current Trends in Asia – Proceedings of AWPL-TPLC 2016
Ryota Akiyoshi, Yuta Takahashi (Part:Contributor, Contentual and Formal Aspects of Gentzen’s Consistency Proofs (43 pages, refereed, to appear))
Springer Verlag   Dec 2017   
よくわかる哲学・思想
Ryota Akiyoshi (Part:Contributor, 「論理学」)
ミネルヴァ書房   2018   

Published Papers

 
A formalization of Brouwer's Argument for Bar Induction
Ryota Akiyoshi
to be submitted, 13 pages      2017
An Ordinal-Free Proof of the Complete Cut-Elimination Theorem for Π11-CA + BI with the ω-rule
Ryota Akiyoshi
The Mints' memorial issue of the IfCoLog Journal of Logics and their Applications   4(4) 867-884   May 2017   [Refereed][Invited]
Strong normalization for the parameter-free polymorphic lambda calculus based on the Omega-rule
Ryota Akiyoshi, Kazushige Terui
First International Conference on Formal Structures for Computation and Deduction (FSCD), Leibniz International Proceedings in Informatics      Jun 2016   [Refereed]
An Extension of the Omega-Rule
Ryota Akiyoshi, Grigori Mints
Archive for Mathematical Logic   55(3) 593-603   May 2016   [Refereed]
Some Remarks on Toshihiro Suzuki's "Phänomenologie der Mathematik" (in Japanese)
Ryota Akiyoshi
Husserl Studies in Japan   12 149-158   Apr 2015   [Invited]

Misc

 
A uniform idea behind Gentzen’s three consistency proofs (abstract)
Ryota Akiyoshi, Yuta Takahashi
Bulletin of Symbolic Logic   22 382   Sep 2016   [Refereed]
Proof-Theoretic Analysis of Brouwer's Argument of the Bar Induction (abstract)
Ryota Akiyoshi
The Bulletin of Symbolic Logic   21 53-54   Mar 2015   [Refereed]
An Interpretation of Brouwer's Argument for Bar Theorem via Infinitary Proof Theory
Ryota Akiyoshi
Abstract Volume of XXIII World Congress of Philosophy   18   2013   [Refereed]
Complete Cut-Elimination Theorem for Ω-Rule (abstract)
Ryota Akiyoshi and Grigori Mints
The Bulletin of Symbolic Logic   18 438   2012   [Refereed]
An Ordinal-Free Proof of the Cut-elimination Theorem for Π11-CA with ω-rule (abstract)
Ryota Akiyoshi and Grigori Mints
The Bulletin of Symbolic Logic   16 293   2011   [Refereed]

Conference Activities & Talks

 
Gentle Introduction to the Omega-Rule: Part II
Ryota Akiyoshi
Atelier autour de la théorie de la démonstration (Institut d'histoire et de philosophie des sciences et des techniques, Université Paris)   Sep 2017   
A Formalization of Brouwer's Argument for Bar Induction [Invited]
Ryota Akiyoshi
Workshop “Logic and Philosophy of Mathematics” (Keio University)   Jul 2017   
Gentle Introduction to the Omega-Rule: Part I [Invited]
Ryota Akiyoshi
Conférence de Ryota Akiyoshi (Institut d'histoire et de philosophie des sciences et des techniques, Université Paris)   Mar 2017   
Brouwer's Argument of Bar Induction Revisited [Invited]
Ryota Akiyoshi
Colloquium in Mathematical Philosophy (Munich Center for Mathematical Philosophy)   Feb 2017   
Strong normalization for the parameter-free subsystem of System F based on the Omega-rule [Invited]
Ryota Akiyoshi
Oberseminar Mathematische Logik (Mathematisces Institut)   Feb 2017   

Association Memberships