New Logics for the Verificationistic Enterprise

• Applicant: Dr. Andreas Kapsner
• Subject Area: Theoretical Philosophy
• Term: from 2012 to 2018
• Project identifier: Deutsche Forschungsgemeinschaft (DFG) - Project number 226560292

• Final Report Year: 2016

Final Report Abstract

Ziel des Projekts „Neue Logiken für den Verifikationismus“ war es, einen neuen Blick auf die verifikationistische Bedeutungstheorie werfen. Vor allem die Konsequenzen, die eine solche Theorie auf die Logik hat, standen im Fokus. Ausgangspunkt des Projekts war die Philosophie des englischen Philosophen Michael Dummetts, der überzeugt war, dass nur die intuitionistische Logik zur verifikationistischen Bedeutungstheorie passen kann. Dem ist aber nicht so, zumindest sofern zwei unrealistische Annahmen verworfen werden, nämlich: (A) Die intuitionistische Erklärung der Negation lässt sich ohne weiteres von der Mathematik auf empirische Diskurse übertragen; (B) Verifikationen sind, genau wie mathematische Beweise, sicher und über jeden Zweifel erhaben. Für die logischen Systeme heisst eine Abkehr von (A), dass man eine neue Erklärung der Negation finden muss, und ich argumentiere dafür, dass sich eine konstruktive Logik mit sog. „starker Negation“ am besten eignet. Wer (B) aufgibt, findet Motivationen für die Untersuchungen von nicht-monotonen Logiken undLogiken mit sog. Wahrheitswerthäufungen (“truth value gluts”). Den Konsequenzen der Aufgabe von (A) gehe ich in dem Buch Logics and Falsifications nach, das zu einem kleinen Teil auch als ein eigenständiger Aufsatz namens From semantics to logic: The scenic route erschienen ist. Ein Beispiel, an dem sich viele Ideen in dem Buch orientieren, ist der juristische Diskurs bei Strafprozessen. Die logische Analyse dieser Diskursart habe ich in dem Aufsatz Guilt, Innocence and the Logic of Legal Discourse weiter vertieft. Zusammen mit Dr. Peter Verdée (Leuven) habe ich mich dann der Aufgabe von (B) gewidmet. In bisher noch unveröffentlicher Arbeit haben wir eine sog. adaptive Logik entwickelt, die an die logischen Analyse des Buches anknüpft. Mit den Wahrheitswerthäufungen, besonders ihrer Rolle in kontradiktorischen Beweislagen in Mathematik und Wissenschaft, habe ich mich in Gluts in Mathematis and Science auseinander gesetzt.

Publications

• (2013). From semantics to logic: The scenic route. Teorema, 77-94
  Kapsner, A.
  
• (2014). Logics and Falsifications: A New Perspective on Constructivist Semantics. Trend in Logic Series (Vol. 40), Springer
  Kapsner, A.
  
• The Logic of Guilt, Innocence and Legal Discourse. In: Payette and Urbaniak (eds.), Thema: Logic, Argumentation and Reasoning "Applications of Formal Philosophy: The Road Less Travelled", Urbaniak, Rafal, Payette, Gillman (Eds.). S. 7-24. ISBN 978-3-319-58507-9. (Special Issue ZS Applications of Formal Philosophy), Springer, 2015
  Kapsner, A.
  
• Gluts in Mathematics and Science. In: Andreas and Verdée (eds.), Logical Studies of Paraconsistent Reasoning in Science and Mathematics. Trends in Logic (Studia Logica Library), vol 45. Springer, Cham, 2016, pp 91-101. - 978-3-319-40218-5
  Kapsner, A.