M.A. Alfred Olszok

M.A. Alfred Olszok

Doktorand

Institut für Philosophie
Wissenschaftstheorie und Logik

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)