Logische Folgerung und paradoxes Schließen

01.03.2015 bis 31.12.2018

Die traditionelle Analyse der Beziehung logischer Folgerung nach Alfred Tarski erklärt Folgerung durch Wahrheit. Ein aktuellerer von Dag Prawitz entwickelter Ansatz ersetzt den Begriff der Wahrheit
durch den des Beweises. Beiden Ansätzen gemeinsam ist die Charakterisierung der Folgerung als ``Übertragung'': B ist eine logische Konsequenz von A genau dann, wenn Wahrheit (bzw. Beweisbarkeit) von A nach B übertragen wird. Ziel des Projektes ist die Entwicklung einer alternativen beweistheoretischen Auffassung von Folgerung, die nicht auf der Idee der Übertragung beruht.
Ausgangspunkt dafür ist die Charakterisierung von Folgerung durch lokale Merkmale von Inferenzregeln, statt durch globale Eigenschaften der Deduktion. Die Lokalität des Folgerungsbegriffes
bietet die Möglichkeit zwischen Beweisen, deren Schritte nur lokal korrekt sind, und Beweisen, die überdies global gültig sind, zu unterscheiden. Die Abgrenzung zwischen lokaler Korrektheit und
globaler Gültigkeit erlaubt es, jedem Schritt eines paradoxen Arguments zu folgen, ohne damit dessen Konklusion zu akzeptieren.