Abstract

The book discusses the central notion of logic, the concept of logical consequence, and its model-theoretic definition as truth-preservation in all models. Whether the model-theoretic definition captures the modal and epistemological features of our pre-theoretic notion depends on what models model. The book argues that, given a non-formal understanding of models, the universal quantifier used in the definition of consequence must be restricted: if literally all models had to be considered, no argument would ever be logically valid. A central challenge of the philosophy of logic is therefore to supplement the model-theoretic definition by a criterion for admissible models. The problem of logical constants, so prominent in the current literature on logical consequence, constitutes but a special case of this much more general demarcation problem. The book explores the various dimensions of the problem of admissible interpretations and proposes that the standard views are unjustified or even unjustifiable. As a consequence, it develops a new vision of logic and suggests in particular that our notion of logical consequence is deeply imbued with metaphysics.