14. January 2022
In the city of Kurt Gödel, Ludwig Wittgenstein, and the Vienna Circle, mathematical logic and its application to the sciences have a long and rich tradition.
The Vienna Center for Logic and Algorithms at Vienna University of Technology (VCLA at TU Wien) represents six research groups building on the aforementioned work in a wide range of disciplines, including computer science, mathematics, artificial intelligence, philosophy, linguistics, and many more.
Ambassadors of logic
The following renowned scientists have provided us with short statements on the rationale for the celebration of World Logic Day.
All you need is logic
All you need is logic
All you need is logic, logic
Logic is all you need!
Vienna Logic Day Lecture
The Vienna World Logic Day Lecture at VCLA is a free online event which offers the possibility to participate from all over the world.
The speaker of the 2nd Vienna Logic Day Lecture 2022 was:
Prof. Moshe Y. Vardi
(Rice University, Texas)
Title: From Greek Paradoxes to Political Paradoxes
The ancient Greeks invented logic, as a tool to discover eternal truths. They also invented paradoxes, as a tool to sharpen the mind. Famous Greek paradoxes are the Liar’s Paradox, Zeno’s Paradox, and the Sand-Heap Paradox. The Liar’s Paradox led, at the start of the 20th Century, to a foundational crisis of mathematics, which led to the development of computability theory in the 1930s, as well as the unresolvable mathematical conundrum of Gödel’s Incompleteness Theorem.
Computing technology, which also emerged in the 1930s, ultimately led, at the start of the 21 Century, to the emergence of social media. Today, our society is struggling with the adverse societal effects of social media. These adverse effects can also be understood in terms of the Greek paradoxes, as well as their political versions, known as the Popperian Paradoxes. In fact, one can say that the Greek myths of Prometheus and Pandora already told us that technology does not come without adverse consequences, which is why John von Neumann, one of the most prominent computing pioneers, asked in 1955, “Can we survive technology?”
Spread the logic
Social media constitute an important medium for disseminating information. We are not collecting statistics on the shared content, and are working with GDPR compliant plugins which do not follow you around the world wide web. Thus sharing this content on social media or in private communication is encouraged.
What social media need is more scientists –
not celebrity influencers. – S.Mojad in Science, Sep 2017