New perspectives on the semantics of Epsilon calculi: games, (in)dependence, and indeterminacy

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

This project aims to provide a new perspective on the semantic interpretation of the Epsilon Calculus. The Epsilon Calculus provides an alternative approach to standard assumptions regarding quantification, reference, and variable dependence. For this reason, the Epsilon Calculus has found several applications within the mathematical and philosophical logic literature. The focus of the project lies on the development of a novel semantic interpretation of the Epsilon Calculus, suited to emphasize the expressive resources lying beyond classical First-order logic. More precisely, the project develops a game theoretic interpretation for the Epsilon Calculus and uses this semantics to shed light on the indeterminate nature of epsilon-terms as well as their capability of expressing dependence among bounded variables.

• DFG Programme: Research Grants