Free Logic: Variants, Unification, and Some Applications (2021 - 2024)
The aim of this project is a systematization of free logics, as distinct from classical logics. The project is funded by the DFG.
The aim of this project is a systematization of free logics, as distinct from classical logics. The project is funded by the DFG.
It is the aim of this project to construct a systematization of free logics. By "free logic", we mean a kind of logic which makes it possible to treat quantification, identity, and modality differently to classical logic. Free logic is strongly informed by philosophical as well as logical issues. Under the leadership of Dr. Norbert Gratzl, the team will shed new light on the interplay of these non-standard approaches. A new feature is that neutral free logic, which has been under-studied so far, is thrust into the center of interest. The project follows the methodology laid out in a publication by Pavlović and Gratzl (2020).