Logic in Action: Time, Inconsistency, and Computation

Mariami Gamsakhurdia & Stella Mahler

Unterrichtssprache: Englisch

Kursbeschreibung:

What happens when things are not quite consistent, and when they don’t stay the same over time?

In this course, we explore new ways of thinking about logic that go beyond the classical world of strict true and false. In computer science, we often deal with systems that evolve, grow, and sometimes even contradict themselves. So we need logical tools that are flexible enough to keep up.

We will study paraconsistent logic, where contradictions do not immediately collapse everything into chaos. Instead, we learn how to reason in a controlled and meaningful way even when information clashes.

We will also explore linear temporal logic, where truth is not static but unfolds over time. Statements can refer not only to what is true now, but also to what will be true, or must remain true, in the future.

Overall, this course is about learning to think in systems where logic is not fragile, but surprisingly resilient, whether in the presence of change, time, or inconsistency.

Voraussetzungen:

Um sicherzustellen, dass die Studierenden den Kursinhalten gut folgen können, werden folgende Vorkenntnisse empfohlen:

Logische Grundlagen: Ein grundlegendes Verständnis der Aussagenlogik, einschließlich Wahrheitstabellen, logischer Verknüpfungen (UND, ODER, NICHT, Implikation) sowie grundlegender Konzepte der Prädikatenlogik erster Stufe (Quantoren, Prädikate, logische Formeln) auf dem Niveau der gymnasialen Oberstufe oder einer einführenden universitären Lehrveranstaltung.

Auffrischungsmaterialien zu den zentralen mathematischen und logischen Grundlagen werden zur Verfügung gestellt.

Biographie: Mariami Gamsakhurdia

Mariami Gamsakhurdia is a researcher in mathematical logic with a special focus on proof analysis, epsilon calculus, intermediate logics, and their applications in computer science. Her academic journey has been centered around mathematical logic. She completed her BSc at Tbilisi State University and MSc at the University of Milan, both in pure mathematics. Currently, she is pursuing her Ph.D. at the Computational Logic research group at TU Wien (Vienna University of Technology) under the supervision of Ao. Univ. Prof. Dr. Matthias Baaz.

Biographie: Stella Mahler

Stella Mahler is a researcher in logic, focusing on computational proof theory,
automated deduction, and the applications of logic in computer science. Currently pursuing her Ph.D. at the Logic and Theory research group at Vienna
University of Technology, she has a strong foundation in both theory and application. Stella completed her BSc in Computer Science through the International
Women’s Degree Programme at Hochschule Bremen and her MSc in Logic and
Computation at TU Vienna. With a background in pedagogy, she is passionate
about teaching and excited to collaborate with other inspiring women to explore
engaging and innovative teaching styles at the Summer University.