Logiken der Wahrheit

• Antragsteller: Professor Dr. Hannes Leitgeb, seit 11/2015
• Fachliche Zuordnung: Theoretische Philosophie
• Förderung: Förderung von 2015 bis 2019
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 262926561

• Erstellungsjahr: 2019

Zusammenfassung der Projektergebnisse

The aim of the project was to analyze how non-classical - and, especially, substructural - logics can provide a useful framework for the solution of the semantic paradoxes. Substructural approaches to semantic paradoxes were considered promising but fairly unexplored at the beginning of the project. The main sub-goal of this project was to develop some of these theories and their motivations, and to provide an answer for some of the open questions in the field. We have made great progress in answering the following questions: ● What is the precise sense in which operational and substructural approaches weaken classical logic? ● In what sense the cut-free approaches are classical and in what sense they are not? ● Is it possible to provide plausible philosophical interpretations of non-contractive consequence relations and, in particular, is this alternative is a plausible reading of the quantifiers? ● To what extent substructural proposals are revenge-free and what are the prospects of achieving such a goal? ● Can the problem of restricted quantification be satisfactorily dealt with paracomplete and paraconsistent theories? ● How should theory-choice in logic work, in particular when considering formal theories of truth? The main results we have obtained can be put into the following four large categories: (1) Substructural logics and the validity paradox (2) Non-contractive approaches (3) Recovering classical logic in non-classical frameworks (4) The role of metainferences in defining logics.

Projektbezogene Publikationen (Auswahl)

• (2017) “Anti-Exceptionalism About Logic”, Philosophical Studies 174(3): 631-658
  Hjortland, Ole Thomassen
  
• (2017) “Disquotation and Infinite Conjunctions”, Erkenntnis 83: 899–928
  Picollo, Lavinia & Schindler, Thomas
  
• (2017) “Naive Validity, Internalization, and Substructural Approaches to Paradox”, Ergo 4(4): 93-120
  Rosenblatt, Lucas
  
• (2018) “Contraction, Infinitary Quantifiers, and Omega Paradoxes”, Journal of Philosophical Logic, 47(4): 611-629
  Da Ré, Bruno & Rosenblatt, Lucas
  
• (2018) “A recovery operator for non-transitive approaches”, Review of Symbolic Logic
  BARRIO, EDUARDO ALEJANDRO; PAILOS, FEDERICO & SZMUC, DAMIAN
  
• (2018) “Inferentialism, structure, and conservativeness”, in From Rules to Meaning: New Essays on Inferentialism, eds. Ondrej Beran, Vojtech Kolman,Ladislav Koren. Routledge, London
  Hjortland, Ole & Standefer, Shawn
  
• (2019) “Substructural logics, pluralism and collapse”, Synthese
  Barrio, Eduardo Alejandro; Pailos, Federico & Szmuc, Damian
  
• (2019) Disagreement about logic. Inquiry 2019 1-23
  Hjortland, Ole Thomassen
  
• (2020) Alethic Reference. J Philos Logic (Journal of Philosophical Logic) 49 (3) 417–438
  Picollo, Lavinia