TU Wien Informatics

20 Years

Vienna World Logic Day Lecture 2023 by Dov Gabbay

  • 2023-01-14
  • Event
  • Logic and Algorithms
  • VCLA

The third edition of the lecture series is welcoming Prof. Dav Gabbay who will talk about “Logic and Argumentation for the 21st Century”.

Vienna World Logic Day Lecture 2023 by Dov Gabbay
Picture: stock.adobe.com

  • This is an online-only event.
    See description for details.

On 14 January 2023, we celebrate World Logic Day. 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. This January, we welcome Dov Gabbay (King’s College London and University of Luxembourg) as speaker at the Vienna World Logic Day Lecture.

The Vienna World Logic Day Lecture is organized by the Vienna Center for Logic and Algorithms (VCLA).

Abstract

The reasoning patterns and technological advances in the 21st century used in artificial intelligence, social media, and political behavior present a challenge to current applied logic and argumentation. The old logic has to adapt, evolve, or die. This lecture will show (through a case study) how to adapt intuitionistic and classical logics to an algorithmic version capable of handling reasoning failures, fallacies, bias, alternative truth, and other problems. We shall use a combination of technical tools developed in the past 40 years.

Registration

To join the online lecture and discussion, please register on eventbrite. You will then receive a link in order to participate via zoom. Alternatively, you can follow the lecture on YouTube.

About World Logic Day

The Conseil International de Philosophie et des Sciences Humaines (CIPSH) and its member organisation, the Division for Logic, Methodology and Philosophy of Science and Technology of the International Union of History and Philosophy of Science and Technology (DLMPST/IUHPST), are coordinating the dynamic and global annual celebration of World Logic Day aiming at fostering international cooperation, promoting the development of logic, in both research and teaching, supporting the activities of associations, universities and other institutions involved with logic, and enhancing public understanding of logic and its implications for science, technology and innovation.

Curious about our other news? Subscribe to our news feed, calendar, or newsletter, or follow us on social media.