Informational Semantics as a Third Alternative?
Rent the article at a discountRent now
* Final gross prices may vary according to local VAT.Get Access
Informational semantics were first developed as an interpretation of the model-theory of substructural (and especially relevant) logics. In this paper we argue that such a semantics is of independent value and that it should be considered as a genuine alternative explication of the notion of logical consequence alongside the traditional model-theoretical and the proof-theoretical accounts. Our starting point is the content-nonexpansion platitude which stipulates that an argument is valid iff the content of the conclusion does not exceed the combined content of the premises. We show that this basic platitude can be used to characterise the extension of classical as well as non-classical consequence relations. The distinctive trait of an informational semantics is that truth-conditions are replaced by information-conditions. The latter leads to an inversion of the usual order of explanation: Considerations about logical discrimination (how finely propositions are individuated) are conceptually prior to considerations about deductive strength. Because this allows us to bypass considerations about truth, an informational semantics provides an attractive and metaphysically unencumbered account of logical consequence, non-classical logics, logical rivalry and pluralism about logical consequence.
- Informational Semantics as a Third Alternative?
Volume 77, Issue 2 , pp 167-185
- Cover Date
- Print ISSN
- Online ISSN
- Springer Netherlands
- Additional Links
- Author Affiliations
- 1. Centre for Logic and Philosophy of Science, Vrije Universiteit Brussel, Brussel, Belgium
- 2. IEG, University of Oxford, Oxford, UK
- 3. School of History, Philosophy, Political Science and International Relations, Victoria University of Wellington, Wellington, New Zealand