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.

Abstract

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).

Project information

Project title
Freie Logik: Varianten, Vereinheitlichung und einige Anwendungen
[Free Logic: Variants, Unification, and Some Applications]
Funded by
DFG
Project link
Freie Logik: Varianten, Vereinheitlichung und einige Anwendungen
Project duration
1.9.2021 - 30.11.2024
Funds awarded
319,050 €
Project team
Dr. Norbert Gratzl
Dr. Edi Pavlović
Associated Chair
Chair of Logic and Philosophy of Language
MCMP