NACH OBEN

Daniel Skurt


"If she weighs the same as a duck she's made of wood."
(Monty Python on Natural Language Conditionals)


Ruhr-Universität Bochum
Institut für Philosophie I
Universitätsstraße 150
D-44780 Bochum
Deutschland
Room: GB 04/147
Tel.: 0234 32 - 22714
E-Mail: daniel[dot]skurt[at]rub.de

Ds

Current Information


About Me

  • Member of the Logicians' Liberation League (inducted as "The Matrix Driver")
  • Member of the employee theatre group at RUB
  • Coordinator M.A. Program HPS+Logic
  • 2017, Dr. phil. in Logic, Ruhr University Bochum
  • 2012, M.A. in Logic, Leipzig University
  • 2007, Dipl.-Ing. in Electrical Engineering, TU Chemnitz

CV

I am toying with the idea of developing an old school pixel art Point & Click adventure game for students in the Unity engine with the PowerQuest package by Powerhoof. I already created a small nonsensical prototype to see how the engine works. It can be downloaded here for Windows and here for Linux (you need to make the "Cave" file executable). Currently, I am thinking of Smullyan's "What Is The Name Of This Book?" as a basis. Any feedback or inspiration is more than welcome.


Teaching

Lecture Notes

Possible B.A./M.A. theses topics

  • Wahr, Falsch, Beides, Weder noch - Zwei der wesentlichen Prinzipien klassischer Logik sind, der Satz vom ausgeschlossenen Dritten und der Satz vom ausgeschlossenen Widerspruch. Kann es sinnvoll sein, eines oder beide Prinzipien zu verletzen?
  • Wie viele Wahrheitswerte sind genug? Logiken, insbesondere die sogenannten Fuzzy Logics, finden nicht nur in der Philosophie sondern auch in angrenzenden Disziplinen wie der Elektrotechnik Anwendung. Aber was hat der Reinigungsgrad von Waschmaschinenwäsche überhaupt mit Logik zu tun?
  • Der Humbug mehrwertiger Logiken. Suszkos sogenannte These besagt, es gibt genau zwei Wahrheitswerte, "Wahr" und "Falsch". Zusätzliche Wahrheitswerte seien lediglich algebraischer Natur. Welche formalen und philosophischen Konsequenzen hat diese Sichtweise auf mehrwertige Logiken?
  • Morgen wird eine Seeschlacht stattfinden! Wie lassen sich Aussagen über die Zukunft sinnvoll formal modellieren? Wie sind Aristoteles, Łukasiewicz oder Kripke an diese Fragestellung herangetreten. Welche Schwierigkeiten oder Konsequenzen ergeben sich aus den jeweiligen Ansätzen?
  • Eine nützliche Fiktion? Nicht-deterministische Semantiken für Modallogiken sind eine bzgl. der Ausdrucksstärke flexible Alternative zur Kripkes Mögliche-Welten Semantik. Wie unterscheiden sich beide Arten der Semantik in ihrer Interpretation der Modaloperatoren?

Projects

  • Contradictory Logics: A Radical Challenge to Logical Orthodoxy - Project Assistance
  • Modal Semantics without Possible Worlds (DFG project SK 379/1-1) (finished)
  • FDE-based modal logics (DFG project WA 936/13-1) (finished)

Research Interests

  • Modal Extensions of Many-Valued Logics
  • Non-Deterministic Semantics for Modal Logics
  • Non-normal Modal Logics
  • Non-Deterministics Semantics

Publications

    Journal Papers

  1. Marcelo E. Coniglio, Pawel Pawlowski, —. RNmatrices for modal logics, Review of Symbolic Logic, 2025. [pdf]
  2. Pawel Pawlowski, —. ☐ and ◇ in eight-valued non-deterministic semantics for modal logics. Journal of Logic and Computation, 2024. [pdf]
  3. Pawel Pawlowski, —. 8 Valued Non-Deterministic Semantics for Modal Logics. Journal of Philosophical Logic, 2024. [pdf]
  4. Sergey Drobyshevich, —. Neighbourhood semantics for FDE-based modal logics. Studia Logica, 2021. [pdf]
  5. Sergei Odintsov, —, Heinrich Wansing. On Definability of Connectives and Logics over FDE. Logic and Logical Philosophy, 28,(4): 631–659, 2019. [pdf]
  6. —. Bi-intuitionistic Implication Structures. Journal of Applied Non-Classical Logic, 28,(1): 20–34, 2018. [pdf]
  7. Heinrich Wansing, —. Negation as Cancellation, Connexive Logic, and qLPm. The Australasian Journal of Logic, 2,(15): 476–488, 2018. [pdf]
  8. —. FDE Circumscription. The Australasian Journal of Logic, 2,(14): 326–355, 2017. [pdf]
  9. —. A Note on Two’s Company: ”The Humbug of Many Logical Values”. Logica Universalis, 3,(11): 401–407, 2017. [pdf]
  10. Hitoshi Omori, —. More Modal Semantics without Possible Worlds. IfCoLog Journal of Logics and their Applications, 3,(5): 815–846, 2016. [pdf]

    Book Chapters
     
  11. Hitoshi Omori, —, "On Ivlev's semantics for modality", in Coniglio, M. E., Kubyshkina, E. & Zaitsev, D. V. (eds), Many-valued semantics and modal logics. Essays in Honour of Yuri V. Ivlev, Springer, [preprint].
  12. Sergei Odintsov, —, Heinrich Wansing. Connexive Variants of Modal Logics over FDE. In: O. Arieli and A. Zamansky (eds.), Outstanding Contributions to Logic volume for Arnon Avron. [preprint]
  13. Heinrich Wansing, —. On Non-transitive ’Identity’. In: C. Baskent and T.M. Ferguson (eds.), Graham Priest on Dialetheism and Paraconsistency, Springer, 535–553, 2020. [pdf]

    Conference Proceedings
     
  14. Marcelo E. Coniglio, Pawel Pawlowski, —. Modal Logics - RNmatrices vs. Nmatrices. Proceedings Eleventh International Conference on Non-Classical Logics. Theory and Applications (NCL'24), 2024. [pdf]
  15. —. The smallest modal system. Short Paper Submission AiML 2022.
  16. Hitoshi Omori, —. Untruth, falsity and non-deterministic semantics. IEEE 51th International Symposium on Multiple-Valued Logic, Volume 51, 2021. [preprint]
  17. Hitoshi Omori, —. A Semantics for a Failed Axiomatization of K. Proceedings of AiML 2020. [pdf]
  18. Hitoshi Omori, —. Sixteen3 in Light of Routley Stars. In: Lecture Notes in Computer Science 11541, Logic, Language, Information and Computation, Springer, 516–532, WoLLIC 2019. [preprint]
  19. Heinrich Wansing, —. Logical Connectives for some FDE-based Modal Logics. Short Paper Submission AiML 2018.
  20. Hitoshi Omori, —. A survey on Kearns’ modal semantics without possible worlds. Short Paper Submission AiML 2016.

    Books and Dissertation
     
  21. Peter Steinacker, —. Darstellungsformen der Logik. Forthcoming.
  22. —. New Perspectives on Some Established Non-Classical Logical Systems. Dissertation, Ruhr University Bochum, University Library. 2017