RUB Research School

Detail

  1. You are here:
  2. Startseite
  3. About
  4. Map of International Research Activities (MIRA)
  5. Detail
Back

Author
Name Vonlanthen, Simon D.
simon.vonlanthen@rub.de
Research field Logic and Philosophy of Logic
Career stage doctoral researcher
Home university/institution Ruhr-Universität Bochum (RUB)
Department/Research unit at home university/institution Philosophy and Educational Research
Chair/Working group at home institution Philosophy of Information and Communication

International activity
Country Austria
Location Vienna
University Central European University
Fund Research School PR.INT
Type of activity research stay
Period starts 02-01-2024
ends 28-03-2024
Keywords Quantified Modal Logic and Proof Theory
Report I conducted a research stay at the Central European University (CEU) from January 2024 until March 2024, hosted by Prof. Dr. Ben-Yami. I investigated his newly developed logic for quantification, which is much closer to natural language than any other available contemporary system. I combined it with modal logic, another branch of formal logic that studies the deductive behaviour of words like 'necessarily' and 'possibly'. I developed five proof systems and demonstrated their strong soundness and completeness over a variety of semantics. As such, the entirety of the originally planned research project was carried out. This allowed me to complete a crucial subproject of my dissertation, which already resulted in invitations to conferences and two full papers. Moreover, I was further able to make many contacts with other researchers of similar interests in Vienna, both inside and outside the CEU. Prof. Ben-Yami has also agreed to be a member of my PhD comittee, and expressed strong interest in supervising me as a postdoc in the future. Thus, the research stay was a complete success. It would not have been possible without the RUB Research School's generous funding, however. I am greatful and indebted to the Research School for financing my stay, and wholeheartedly recommend all PhD students to apply for PR.INT-funding as well. It has immensly strengthened my own research projects, my career, personal network and even my appreciation for my own work.
Back