Free logics: variants, unification, and some applications

• Applicant: Dr. Norbert Gratzl
• Subject Area: Theoretical Philosophy
• Term: since 2021
• Project identifier: Deutsche Forschungsgemeinschaft (DFG) - Project number 459928802

The topic of this project is the analysis and systematization of free logic, which encompasses several alternative approaches to standard assumptions regarding quantification, modality and identity within logical systems and stands at the intersection of logic and philosophy. Under the direction of the Principal Investigator Dr. Norbert Gratzl, the overall aim is to shed new light on these non-standard approaches, as well as their interplay. Specifically, in this project we will follow up on recent developments in the structural proof theory of free logics from Pavlovic and Gratzl (2020), which utilizes a methodology that is highly generalizable and modular, and apply it to answer a series of open questions in the field, and thereby present a unified picture of it.

• DFG Programme: Research Grants