## Notre Dame Journal of Formal Logic

### Information and Impossibilities

Jon Barwise

#### Abstract

In this paper I explore informationalism, a pragmatic theory of modality that seems to solve some serious problems in the familiar possible worlds accounts of modality. I view the theory as an elaboration of Stalnaker's moderate modal realism, though it also derives from Dretske's semantic theory of information. Informationalism is presented in Section 2 after the prerequisite stage setting in Section 1. Some applications are sketched in Section 3. Finally, a mathematical model of the theory is developed in Section 4.

How many times have I said to you that when you have eliminated the impossible, whatever remains, however improbable, must be the truth? (Arthur Conan Doyle)

You've put me in an impossible situation. (Anonymous)

[N]othing we imagine is absolutely impossible. (David Hume)

#### Article information

Source
Notre Dame J. Formal Logic Volume 38, Number 4 (1997), 488-515.

Dates
First available in Project Euclid: 10 December 2002

https://projecteuclid.org/euclid.ndjfl/1039540766

Digital Object Identifier
doi:10.1305/ndjfl/1039540766

Mathematical Reviews number (MathSciNet)
MR1648849

Zentralblatt MATH identifier
0920.03002

#### Citation

Barwise, Jon. Information and Impossibilities. Notre Dame J. Formal Logic 38 (1997), no. 4, 488--515. doi:10.1305/ndjfl/1039540766. https://projecteuclid.org/euclid.ndjfl/1039540766.

#### References

• [1] Barwise, J., and J. Etchemendy, Hyperproof, CSLI, Stanford, 1994.
• [2] Barwise, J., and J. Etchemendy, Computers, visualization, and the nature of reasoning'', forthcoming in How Computers are Changing Philosophy, edited by T. W. Bynum and J. H. Moor, Blackwell, London.
• [3] Barwise, J., and J. Seligman, Information Flow in Distributed Systems, Tracts in Theoretical Computer Science 44, Cambridge University Press, Cambridge, 1997.
• [4] Dretske, F., Knowledge and the Flow of Information, The MIT Press, Cambridge, 1981.
• [5] Dunn, M., Intuitive semantics for first-degree entailments and coupled trees,'' Philosophical Studies, vol. 29 (1976), pp. 149--68.
• [6] Kripke, S., Semantic analysis of modal logic II: non-normal modal propositional calculi,'' pp. 206--20 in The Theory of Models, edited by J. W. Addison, L. Henkin, and A. Tarski, North-Holland, Amsterdam, 1965.
• [7] Lewis, D., Counterfactuals, Harvard University Press, Cambridge, 1973.
• [8] Lycan, W. G., Modality and Meaning, Kluwer Academic Publishers, Dordrecht, 1994.
• [9] Partee, B., Situations, worlds, and contexts,'' Linguistics and Philosophy, vol. 8 (1985), pp. 53--58.
• [10] Shannon, C.,The mathematical theory of communication,'' Bell System Technical Journal, vol. 27 (1948), pp. 379--423, 623--56.
• [11] Sloman, A., Musings on the roles of logical and non-logical representations in intelligence,'' pp. 7--32 in Diagrammatic Reasoning: Cognitive and Computational Perspectives, edited by J. I. Glasgow, N. H. Narayan, and B. Chandrasekaran, The MIT Press, Cambridge, 1991.
• [12] Stalnaker, R., Inquiry, The MIT Press, Cambridge, 1981.
• [13] Stalnaker, R., Impossibilities,'' Philosophical Topics, vol. 24 (1996), pp. 193--204.
• [14] Yablo, S., Is conceivability a guide to possibility?,'' Philosophy and Phenomenological Research, vol. 52 (1993), pp. 1--42.
• [15] Yagisawa, T., Beyond possible worlds,'' Philosophical Studies, vol. 53 (1988), pp. 175--204.