Welcome to the website of Categoricity by Convention, an FWF-funded research project developing a moderate inferentialist metasemantics for logical and mathematical language (P33708). Our metasemantic picture is both naturalist-friendly and non-revisionary, and it makes available a unified solution to Carnap’s Categoricity Problem for propositional and first-order logic and to the metasemantic challenge to mathematical determinacy advanced by (e.g.) Skolem and Putnam.

The project is based at the Paris Lodron University of Salzburg and runs from July 2021 to June 2025. The Principal Investigator is Julien Murzi, and the project also employs Brett Topey as a postdoctoral researcher.

News