Erkenntnis

, Volume 77, Issue 2, pp 167–185 | Cite as

Informational Semantics as a Third Alternative?

Original Article

Abstract

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.

Notes

Acknowledgments

This paper was first presented at the Conference on the Foundations of Logical Consequence that was held in 2010 at the University of St Andrews. We would like to thank the organisers and audience of this conference as well as two referees of this journal for their encouragement and valuable feedback.

References

  1. Aberdein, A., & Read, S. (2009). The philosophy of alternative logics. In L. Haaparanta (Eds.), The development of modern logic (pp. 613–723). Oxford: Oxford University Press.CrossRefGoogle Scholar
  2. Allo, P. (2007). Logical pluralism and semantic information. Journal of Philosophical Logic, 36(6), 659–694.CrossRefGoogle Scholar
  3. Anderson, A. R., Belnap, N. D., Dunn, J. M. (1992). Entailment. The logic of relevance and necessity (Vol. II). Princeton: Princeton University Press.Google Scholar
  4. Barwise, J. (1993). Constraints, channels, and the flow of information. In P. Aczel, D. Israel, S. Peters, Y. Katagiri (Eds.), Situation theory and its applications (Vol. 3, pp. 3–27). Stanford: CSLI.Google Scholar
  5. Barwise, J. (1997). Information and impossibilities. Notre Dame Journal of Formal Logic, 38(4), 488–515.CrossRefGoogle Scholar
  6. Barwise, J., & Perry, J. (1999). Situation and attitudes. Stanford: CSLI Publications.Google Scholar
  7. Beall, J. C., & Restall, G. (2006). Logical pluralism. Oxford: Oxford University Press.Google Scholar
  8. Beall, J. C., Brady, R., Dunn, J. M., Hazen, A., Mares, E., Meyer, R. K., et al. (2011). On the ternary relation and conditionality. Journal of Philosophical Logic, Online First. doi:10.1007/s10992-011-9191-5.
  9. Belnap, N. (1976). How a computer should think. Oxford international symposium on contemporary aspects of philosophy. Oxford.Google Scholar
  10. Carnap, R., & Bar-Hillel Y. (1952). An outline of a theory of semantic information. MIT, p 247.Google Scholar
  11. Cook, R. T. (2010). Let a thousand flowers bloom: A tour of logical pluralism. Philosophy Compass, 5(6), 492–504.CrossRefGoogle Scholar
  12. Copeland, B. J. (1979). On when a semantics is not a semantics: Some reasons for disliking the Routley-Meyer semantics for relevance logic. Journal of Philosophical Logic, 8(1), 319–413.CrossRefGoogle Scholar
  13. Dretske, F. (1999). Knowledge and the flow of information. Stanford: CSLI.Google Scholar
  14. Dunn, J. M. (1976). Intuitive semantics for first-degree entailments and ‘coupled trees’. Philosophical Studies, 29, 149–168.CrossRefGoogle Scholar
  15. Dunn, J. M. (1993). Star and perp: Two treatments of negation. Philosophical Perspectives, 7, 331–357.CrossRefGoogle Scholar
  16. Floridi, L. (2005). Is information meaningful data? Philosophy and Phenomenological Research, 70(2), 351–370.CrossRefGoogle Scholar
  17. Goble, L. (2003). Neighborhoods for entailment. Journal of Philosophical Logic, 32(5), 483–529.CrossRefGoogle Scholar
  18. Hanson, W. H. (1980). First-degree entailments and information. Notre Dame Journal of Formal Logic, 21(4), 659–671.CrossRefGoogle Scholar
  19. Humberstone, I. L. (2005). Logical discrimination. In J.-Y. Béziau (Eds.), Logica Universalis (pp. 207–228). Basel: Birkhäuser Verlag.CrossRefGoogle Scholar
  20. Israel, D., & Perry, J. (1990). What is information. In P. Hanson (Eds.), Information, language and cognition (pp. 1–19). Vancouver: University of British Columbia Press.Google Scholar
  21. Kemeny, J. G. (1953). A logical measure function. The Journal of Symbolic Logic, 18(4), 289–308.CrossRefGoogle Scholar
  22. MacKay, D. M. (1969). Information, mechanism and meaning. Cambridge, MA: MIT Press.Google Scholar
  23. Mares, E. D. (1997). Relevant logic and the theory of information. Synthese, 109(3), 345–360.CrossRefGoogle Scholar
  24. Mares, E. D. (2004). Relevant logic. A philosophical interpretation. Cambridge: Cambridge University Press.CrossRefGoogle Scholar
  25. Mares, E. D. (2008). Information, negation, and paraconsistency. Melbourne: WCP4.Google Scholar
  26. Mares, E. D. (2009a). General information in relevant logic. Synthese, 167(2), 343–362.CrossRefGoogle Scholar
  27. Mares, E. D. (2009b). Relevance and conjunction. Journal of Logic and Computation. doi:10.1093/logcom/exp068.
  28. Mares, E. D. (2010). The nature of information: A relevant approach. Synthese, 175(Sup. 1), 111–132.CrossRefGoogle Scholar
  29. Paoli, F. (2002). Substructural logics a primer. Dordrecht: Kluwer.Google Scholar
  30. Paoli, F. (2007). Implicational paradoxes and the meaning of logical constants. Australasian Journal of Philosophy, 85(4), 553–579.CrossRefGoogle Scholar
  31. Perry, J. (1986). From worlds to situations. Journal of Philosophical Logic, 15(1), 83–107.CrossRefGoogle Scholar
  32. Priest, G. (2001). Logic: One or many? In J. Woods, & B. Brown (Eds.), Logical consequence: Rival approaches (pp. 23–38). Stanmore: Hermes.Google Scholar
  33. Read, S. (1988). Relevant logic. A philosophical examination of inference. Oxford: Basil Blackwell.Google Scholar
  34. Read, S. (2003). Logical consequence as truth preservation. Logique & Analyse, 46(183–184), 479–493.Google Scholar
  35. Restall, G. (1995). Information flow and relevant logic. Logic, Language and Computation: The 1994 Moraga Proceedings.Google Scholar
  36. Restall, G. (1996). Notes on situation theory and channel theory.Google Scholar
  37. Restall, G. (2005). Logics, situations and channels. Journal of Cognitive Science, 6, 125–150.Google Scholar
  38. Saguillo, J. M. (2009). Methodological practice and complementary concepts of logical consequence: Tarski’s model-theoretic consequence and Corcoran’s information-theoretic consequence. History and Philosophy of Logic, 30(1), 21–48.CrossRefGoogle Scholar
  39. Stalnaker, R. (1986). Possible worlds and situations. Journal of Philosophical Logic, 15(1), 109–123.CrossRefGoogle Scholar
  40. Turvey, M. T., & Carello, C. (1985). The equation of information and meaning from the perspectives of situation semantics and Gibson’s ecological realism. Linguistics and Philosophy, 8(1), 81–90.CrossRefGoogle Scholar
  41. Wansing, H. (1993). Informational interpretation of substructural logics. Journal of Logic, Language and Information, 2, 285–308.CrossRefGoogle Scholar
  42. Wansing, H. (1993). The logic of information structures. Berlin: Springer.CrossRefGoogle Scholar

Copyright information

© Springer Science+Business Media B.V. 2011

Authors and Affiliations

  1. 1.Centre for Logic and Philosophy of ScienceVrije Universiteit BrusselBrusselBelgium
  2. 2.IEGUniversity of OxfordOxfordUK
  3. 3.School of History, Philosophy, Political Science and International RelationsVictoria University of WellingtonWellingtonNew Zealand

Personalised recommendations