Kentaro Fujimoto

Dr. Kentaro Fujimoto serves as a Senior Lecturer in the School of Mathematics at the University of Bristol, holding a BA, M.S., M.A., and D.Phil. His research bridges mathematical logic, philosophy, and computer science, with significant contributions to foundational theories.

His educational background includes:

• BA
• M.S.
• M.A.
• D.Phil.

Fujimoto's research centers on the interplay between set theory and truth systems, examining reflection principles, inductive definitions, and transfinite structures. His work critically analyzes classical logic within axiomatic frameworks, revealing connections between proof-theoretic semantics and mathematical foundations. Key themes include the philosophical implications of truth predicates and the structural parallels between arithmetic and set-theoretic universes.

Recent publications (2023-2024) demonstrate a cohesive trajectory: they rigorously dissect truth determinacy, resolve paradoxes like the Geach-Kaplan sentence, and compare second-order arithmetic with set theory. Collectively, these works advance formal semantics while addressing gaps in foundational mathematics, with applications spanning theoretical computer science and philosophical logic.

Dr. Fujimoto has secured research funding as Principal Investigator for the project "Truth in PTS: Truth within Proof-Theoretic Semantics" (2022-2024). His academic engagement includes 23 documented activities:

• 9 invited talks
• 8 workshop/seminar participations (e.g., Second International Workshop at ITAM, 2014)
• 6 conference participations (e.g., Operations, Sets, and Types Conference, 2016)