Talk given at the Conference on the Foundations of Logical Consequence (Arché Centre for Logic, Language, Metaphysics and Epistemology, University of Saint Andrews.)

Published in Erkenntnis. 77(2): 167-85.

(joint work with Edwin Mares)

Abstract. The prima facie case for considering “informational semantics” as an alternative explication of the notion of logical consequence alongside the model-theoretical and the proof-theoretical one is easily summarised. Where the model-theory is standardly associated with a defence of classical logic, and proof-theory with a defence of intuitionist logic, informational semantics seems to wedded to relevant and other substructural logics. As such, if the CL, IL, RL trio is a representative chunk of a broader range of logical options, informational semantics surely has its place. Yet, it is even easier to dismiss the suggestion that informational semantics provides an apparently missing third conception of logical consequence. After all, isn't it just a variant of the usual interpretation of the Routley-Meyer relational semantics rather than a genuine alternative to a model-theoretic account? Or worse, isn't it a mere metaphor? In the present paper, we want to consider a more subtle answer to the question of whether informational semantics is a real alternative for the two more traditional contenders.