ERC Advanced Grant · 2021
Coming to Terms: Proof Theory Extended to Definite Descriptions and other Terms
The project is concerned with two areas which so far have rarely come together: complex terms and proof theory. ExtenDD focuses on definite descriptions as the most important and troublesome singular terms and on sequent calculus and its generalizations as the most important tool of modern proof theory. Since Russell's 'On Denoting', regarded as a paradigm of analytic philosophy, definite descriptions occupy a central place in philosophical research and many deep and detailed studies have been carried out. The second half of the 20th century saw the development of new approaches to this phenomenon based on non-classical logics, in particular free logic in which, contrary to Frege's and…
From the public funding record at EU CORDIS. Describes the funded project, not the reviews below.