#philosophicallogic — Public Fediverse posts

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

Mathematics is either inconsistent or incomplete.

What is your philosophical interpretation of Gödel’s incompleteness theorems?

https://youtu.be/jtPgdy80YZ8

#math #mathematics #maths #logic #MathematicalLogic #gödel #kurtgödel #godel #KurtGodel #Philosophy #PhilosophyOfMathematics #PhilosophicalLogic #philosophyoflogic #logic

Mathematics is either inconsistent or incomplete.

What is your philosophical interpretation of Gödel’s incompleteness theorems?

https://youtu.be/jtPgdy80YZ8

#math #mathematics #maths #logic #MathematicalLogic #gödel #kurtgödel #godel #KurtGodel #Philosophy #PhilosophyOfMathematics #PhilosophicalLogic #philosophyoflogic #logic

Mathematics is either inconsistent or incomplete.

What is your philosophical interpretation of Gödel’s incompleteness theorems?

https://youtu.be/jtPgdy80YZ8

#math #mathematics #maths #logic #MathematicalLogic #gödel #kurtgödel #godel #KurtGodel #Philosophy #PhilosophyOfMathematics #PhilosophicalLogic #philosophyoflogic #logic

Mathematics is either inconsistent or incomplete.

What is your philosophical interpretation of Gödel’s incompleteness theorems?

https://youtu.be/jtPgdy80YZ8

#math #mathematics #maths #logic #MathematicalLogic #gödel #kurtgödel #godel #KurtGodel #Philosophy #PhilosophyOfMathematics #PhilosophicalLogic #philosophyoflogic #logic

Mathematics is either inconsistent or incomplete.

What is your philosophical interpretation of Gödel’s incompleteness theorems?

https://youtu.be/jtPgdy80YZ8

#math #mathematics #maths #logic #MathematicalLogic #gödel #kurtgödel #godel #KurtGodel #Philosophy #PhilosophyOfMathematics #PhilosophicalLogic #philosophyoflogic #logic

Franci Mangraviti and Viviane Fairbank have produced a really helpful annotated reading list of papers on the relationship between feminist philosophy and logic. There’s a lot there that I was familiar with, but plenty more that is new to me, and I’m looking forward to reading more.

If you’re interested in the relationship between philosophy and logic, and have any sympathy at all with feminist critiques of social practices, I think you’ll find this helpful. https://diversityreadinglist.org/blueprint/feminist-logic/

#FeministPhilosophy #PhilosophicalLogic

After a short summer break exploring Scotland, it’s time to slowly get back into the saddle, giving a few talks, and preparing for the new academic year’s teaching.

First up, a short visit to Bochum for a PhD exam, and an impromptu talk on non-classical models for the identity predicate.

https://consequently.org/presentation/2023/exploring-three-valued-models-for-identity/

#logic #ModelTheory #ProofTheory #PhilosophicalLogic

Hi,

I'm a researcher interested in theoretical computer science, software engineering, mathematical logic, also related philosophical topics.

My recent papers:

Mathematics:
"On proving consistency of equational theories in Bounded Arithmetic". Arnold Beckmann and Yoriyuki Yamagata, preprint: https://arxiv.org/abs/2203.04832

"Consistency proof of a fragment of PV with substitution in bounded arithmetic." Yoriyuki Yamagata, The Journal of Symbolic Logic 2018: https://arxiv.org/abs/1411.7087

Software Engineering:
(2020). "Falsification of cyber-physical systems using deep reinforcement learning", Yamagata, Y., Liu, S., Akazaki, T., Duan, Y., & Hao, J, IEEE Transactions on Software Engineering, 47(12), 2823-2840 (2021), https://staff.aist.go.jp/yoriyuki.yamagata/paper/falsify.pdf

Philosophy:
, "On the notion of validity for the bilateral classical logic", Suzuki, Ukyo & Yamagata, Yoriyuki, preprint: https://philpapers.org/rec/SUZOTN

Extra: COVID19
"Individual-based epidemiological model of COVID19 using location data". In 2022 IEEE International Conference on Big Data (Big Data) (pp. 4434-4442). IEEE., https://staff.aist.go.jp/yoriyuki.yamagata/paper/covid19.pdf

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