Daten zum Projekt
|Laufzeit:||1 Jahr 6 Monate|
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