Hi,

I'm an associate professor at Department of Engineering, University of Fukui. I'm interested in theoretical computer science, software engineering, mathematical logic, also related philosophical topics. If you want to study in Fukui, please let me know.

My recent papers:

Mathematics:
Beckmann, A., & Yamagata, Y. (2025). On proving consistency of equational theories in bounded arithmetic. The Journal of Symbolic Logic

Theoretical Computer Science:
Ikeda, M., Yamagata, Y., & Kihara, T. (2024). On the Metric Temporal Logic for Continuous Stochastic Processes. Logical Methods in Computer Science,

Software Engineering:
Yamagata, Y., Liu, S., Akazaki, T., Duan, Y., & Hao, J. (2020). Falsification of cyber-physical systems using deep reinforcement learning. IEEE Transactions on Software Engineering

Philosophy:
Suzuki, U., & Yamagata, Y. (2023). Notion of validity for the bilateral classical logic. arXiv preprint arXiv:2310.13376.

#Logic #MathematicalLogic #BoundedArithmetic #SoftwareEngineering
#Philosophy
#PhilosophicalLogic
#PhilosophyOfLanguage

🌀 #Panpsychism – #Whitehead’s Influence in the 20th Century

📎 Information: https://philosophies.de/index.php/2022/09/27/metaphysik-des-bewusstseins/

🎥 Interview: https://youtu.be/hoqiI_TElv4

#Zoomposium #GodehardBrüntrup #Metaphysics #Consciousness #PhilosophyOfMind #PhenomenalConsciousness #NearDeathExperience #NDE #NearDeathResearch #SemanticContent #MindBodyProblem #LiberalNaturalism #ProcessPhilosophy #ExplanatoryGap #Neuroskepticism #PhilosophyOfLanguage #Self #Physicalism #CognitiveNeuroscience #AlfredWhitehead

Accidental ontologist. 🧐 I am madly working on a couple of new ontology books. As a follow-up to A Language Insufficiency Hypothesis, I noticed that the challenge is deeper than language; it's ontological. In my first book on the topic, I focus on the societal problems. In the next, I'll focus on a broader object reality.

👉 https://philosophics.blog/2026/01/30/ontological-blindness-in-modern-moral-science/?utm_source=masto&utm_medium=social

#writing #philosophy #psychology #hiatus #socialmedia #focus #ontology #society #humancondition #tribes #blog #philosophyoflanguage #podcast

Check out my new paper!

*On baptisms*

(In my field, a 'baptism' is just any giving a name to a thing -- this is not a theology paper!)

I develop the first full account of baptisms/dubbings in the tradition of Kripkean causal theories of reference. That is, I explain how it works when we give names to things.

https://doi.org/10.1080/0020174X.2026.2618510

#philosophy #philosophyoflanguage

Quantum mechanics may not be strange at all. What fails is a childhood heuristic we quietly promoted to metaphysics.

👉 https://philosophics.blog/2026/01/25/the-expiration-date-of-object-permanence/?utm_source=masto&utm_medium=social

Schrödinger’s cat was a reductio. We turned it into an explanation.

This is not a new interpretation of quantum mechanics. The essay argues that much of 'quantum weirdness'' is heuristic overreach, not metaphysical scandal.

#PhilosophyOfLanguage #QuantumMechanics #Wittgenstein #Essay #Physics #PhilosophyOfScience #Philosophy #Blog #Podcast