Year: 2025
Type: article
Abstract: Carnap’s (Categoricity) Problem concerns the relationship between (rules of) inference and model-theoretic values. In particular, it asks whether proof-theoretic constraints are ‘strong enough’ to uniquely determine intended semantic values. Carnap [20] demonstrated that already in the classical bivalent setting this is not the case for the majority of the usual logical constants. To remedy this underdetermination of ‘semantics by syntax’ a variety of solution strategies has been explored in the literature. This article is a philosophical-logical survey of these attempts, comparing them with respect to scope, motivation, and success. Besides the mathematical interest held by Carnap’s Problem , the underdetermination it uncovers has significant consequences for a variety of philosophical projects and positions, warranting a systematic study of attempts at resolving it.
Source: Bulletin of Symbolic Logic
Author: SEBASTIAN G.W. SPEITEL
Institution: University of Bonn
Language: English
Subfield: History and Philosophy of Science
Field: Arts and Humanities
Domain: Social Sciences
Open Access status: hybrid
Estimated APC paid: $3,550
OpenAlex ID: W4412921192