Kurzprofil
Alfred Olszok studierte Kunstgeschichte, Philosophie und Logik an der Ruhr-Universität Bochum, dem University College of Dublin und der Universität Leipzig. In seiner Bachelorarbeit untersuchte er Zusammenhänge zwischen der Antinomie von G. Cantor und der von B. Russell. Seine Masterarbeit verfasste er über die formallogischen Aspekte existentieller Graphen von C. S. Peirce und entwickelte einen analogen Kalkül für die intuitionistische Aussagenlogik. Seit Abschluss seines Masterstudiums forscht Alfred Olszok zu den Beziehungen zwischen Semiotik und existentiellen Graphen sowie dem didaktischen Nutzen, der sich daraus gewinnen lässt. Sein Promotionsvorhaben wird von Apl.-Professor Ingolf Max betreut.
Forschungsschwerpunkte
Diagrammatisches Beweisen, Existential Graphs (nach C. S. Peirce), Semiotik, Intuitionistische Logik (nach L. E. J. Brouwer), Vollständigkeits- und Korrektheitsbeweise, Didaktik der Mathematik
Lehre
- SoSe 2021 & WiSe 2020/21
Einführung in die formale Logik (FernUniversität Hagen) - SoSe 2020
Leibniz´ „Generales Inquisitiones“ (FernUniversität Hagen) - WiSe 2019/20
Klassische Logik (Universität Leipzig) - WiSe 2019/20
Mathematische Grundlagen der Logik (Universität Leipzig) - SoSe 2019, SoSe 2018, SoSe 2017 & SoSe 2016
Rationales Argumentieren (Universität Leipzig) - SoSe 2014
Romanische Architektur (Ruhr-Universität Bochum)
Vorträge
- 28. – 30. Juni 2021
Zur semiotischen Grundlegung intuitionistischer Logiken (Tagung „Logik der Begriffe – Begriffe der Logik“, Universität Leipzig) - 14. Januar 2021
Zum Zusammenhang von semiotischer Theorie und graphischem Schließen (Tagung „Second World Logic Day“, FernUniversität Hagen) - 14. Januar 2020
Leibniz’ Idee einer Universalsprache (Tagung „First World Logic Day“, FernUniversität Hagen) - 13. September 2019
Grant: Intuitionistic Existential Graphs in the Style of Peirce’s Gamma Graphs (Workshop „Assertion and Proof“, University of Salento)