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 was based at the Paris Lodron University of Salzburg and ran from July 2021 to June 2026. The Principal Investigator was Julien Murzi, and the project also employed Brett Topey and Nuno Maia as postdoctoral researchers.

News