Projekt

Zur Projekt-Website

Consistent, rational argumentation in politics seems on the retreat, while socially dangerous, inconsistent and irrational propaganda is on the rise. The question is whether knowledge representation and reasoning techniques from artificial intelligence can help to analyze arguments in politics. Recently, proof assistants with a trusted logical kernel have been developed and have been successfully applied in frontier applications in mathematics and metaphysics. However, the deep logical analysis of political arguments is by no means trivial. Political rhetoric is often messy, contains noise, and plays with ambiguities and near fallacies. Nevertheless, a respective methodology could have a significant impact, when being applied to some carefully selected arguments from recent political debates. Their scientific dissection in combination with a subsequent public discussion of the results could eventually raise the awareness about the nature, the danger and the patterns of irrationality that is rapidly spreading out in today's political culture.

• Prof. Dr.-Ing. Christoph Benzmüller

  Freie Universität Berlin
  Fachbereich Mathematik und Informatik
  Institut für Informatik
  Berlin
  

• Universal (Meta-)Logical Reasoning: Recent Successes

• Designing Normative Theories for Ethical and Legal Reasoning:LogiKEy Framework, Methodology, and Tool Support

• I/O Logic in HOL

• LogiKEy Workbench: Deontic Logics, Logic Combinations and Expressive Ethical and Legal Reasoning (Isabelle/HOL Dataset

• Computational Hermeneutics: An Integrated Approach for the Logical Analysis of Natural-Language Arguments