Rchr
J-GLOBAL ID:201101016509478775   Update date: May. 23, 2020

Akiyoshi Ryota

アキヨシ リョウタ | Akiyoshi Ryota
Affiliation and department:
Job title: Adjunct Researcher
Other affiliations (6):
Show all
Homepage URL  (2): https://www.researchgate.net/profile/Ryota_Akiyoshihttps://www.researchgate.net/profile/Ryota_Akiyoshi
Research field  (3): Information theory ,  Basic mathematics ,  Philosophy and ethics
Research keywords  (11): Proof Theory ,  Foundations of Mathematics ,  Husserl ,  Logic ,  Type Theory ,  Computer Science ,  Phenomenology ,  Philosophy of Mathematics ,  Philosophy of Science ,  Mathematical Logic ,  Analytic Philosophy
Papers (20):
  • Ryota Akiyoshi, Andrew Arana. Takeuti’s proof-theory in the context of the Kyoto school. Jahrbuch für Philosophie das Tetsugaku-Ronso. 2019. 46. 1-17
  • Ryota Akiyoshi. A Formalization of Brouwer's Argument for Bar Induction. WoLLIC 2018 25th Workshop on Logic, Language, Information and Computation, Lecture Notes in Computer Science. 2018. 10944. 77-90
  • Ryota Akiyoshi. An Interpretation of Brouwer’s Argument for Bar Induction via Infinitary Proof Theory. Proceedings of the XXIII World Congress of Philosophy. 2018. 56. 5-9
  • Ryota Akiyoshi, Yuta Takahashi. Contentual and Formal Aspects of Gentzen's Consistency Proofs. S.C.-M. Yang, K. Y. Lee and H. Ono (eds.), Philosophical Logic: Current Trends in Asia. 2017. 95-137
  • Ryota Akiyoshi. An Ordinal-Free Proof of the Complete Cut-Elimination Theorem for Π11-CA + BI with the ω-rule. The Mints' memorial issue of the IfCoLog Journal of Logics and their Applications. 2017. 4. 4. 867-884
more...
MISC (12):
  • Ryota Akiyoshi, Andrew Arana. On Gaisi Takeuti's Philosophy of Mathematics (abstract). The Bulletin of Symbolic Logic, to appear. 2020
  • Ryota Akiyoshi. "Proofs as Programs" Revisited (abstract). The Bulletin of Symbolic Logic. 2019. 25. 2. 236-237
  • Ryota Akiyoshi, Andrew Arana. Takeuti’s finitism and ordinal-theoretic proofs of consistency. in preparation, 30 pages. 2019
  • Ryota Akiyoshi, Alberto Naibo. Towards proof-theoretic semantics for second-order logic. in preparation, 30 pages. 2019
  • Ryota Akiyoshi, Genki Uemura. Husserl on Logic without a Humean Worry. in preparation. 2019
more...
Books (3):
  • Doitsu Tetsugaku・Shiso Jiten (encyclopedia of German philosophy and thoughts)
    Minerva Publisher 2020
  • Yokuwakaru Tetsugaku and Shisou (textbook on philosophy)
    Minerva Publisher 2019 ISBN:9784623084104
  • Consistency proofs of arithmetic: Introduction to proof-theory (in Japanese)
    Kyoritsu Publisher 2019
Lectures and oral presentations  (57):
  • Takeuti’s finitism in the context of the Kyoto school
    (Axiomes et définitions, (Paris, IHPST) (cancelled due to COVID19) 2020)
  • Takeuti’s argument of the well-foundedness of ordinals up to the epsilon_0
    (Munich Center for Mathematical Philosophy 2020)
  • Takeuti’s finitism in the context of the Kyoto school
    (Munich Center for Mathematical Philosophy 2020)
  • Takeuti’s Finitism Revisited
    (Mathematical and logical understanding and formalization Workshop in honor of Pr. Mitsuhiro Okada (Institut d'histoire et de philosophie des sciences et des techniques, Paris) 2020)
  • On Gaisi Takeuti's philosophy of mathematics
    (Logic Colloquium 2019 (Prague, The Czech Republic) 2019)
more...
Education (4):
  • 2005 - 2010 Keio University Graduate School of Letters
  • 1999 - 2003 Keio University Faculty of Letters Department of Humanities and Social Sciences
  • 1996 - 1999 Keio Shiki Senior High School
  • 1993 - 1996 Keio Chutobu Junior High School
Professional career (1):
  • PhD (Philosophy) (Keio University)
Work history (18):
  • 2020/04 - 現在 Meiji University
  • 2018/09 - 現在 Waseda University Part-time lecturer
  • 2018/09 - 現在 Waseda University Part-time lecturer
  • 2018/09 - 現在 L'Institut d'Histoire et de Philosophie des Sciences et des Techniques Associate Member
  • 2018/04 - 現在 Waseda University Adjunct researcher
Show all
Committee career (1):
  • 2017/04 - 現在 The Japan Association for Philosophy of Science Council Member
Awards (2):
  • 2014/11 - The Japan Association for Philosophy of Science The Japan Association for Philosophy of Science Research Award
  • 2009/10 - The Japan Association for Philosophy of Science The Japan Association for Philosophy of Science Research Award
Association Membership(s) (1):
Association for Symbolic Logic
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page