Mariami Gamsakhurdia & Stella Mahler
Start:
End:
Thursday, 27.8. 9:00
Saturday, 29.8. 11:30
Language: English
Credit Points: 1 CP upon agreement with the lecturers
Course description:
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.
Prerequisites:
To ensure that students can fully engage with the course material, the following prior knowledge is recommended:
Logic Foundations: A general understanding of propositional logic, including truth tables, logical connectives (AND, OR, NOT, implication), and basic first-order logic concepts (quantifiers, predicates, logical formulae) at a high school or introductory undergraduate level.
Refresher materials for the core mathematical and logical concepts will be available.
Biography: 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.
Biography: 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.