Infons as mathematical objects
I argue that the role played by infons in the kind of mathematical theory of information being developed by several workers affiliated to CSLI is analogous to that of the various number systems in mathematics. In particular, I present a mathematical construction of infons in terms of representations and informational equivalences between them. The main theme of the paper arose from an electronic mail exchange with Pat Hayes of Xeroxparc. The exposition derives from a talk I gave at theTheories of Partial Information conference held at the University of Texas at Austin, January 1990.
Key wordsConstraint individuation scheme infon information representation type
Unable to display preview. Download preview PDF.
- 1.BarwiseJ. (1986), Information and Circumstance,Notre Dame Journal of Formal Logic 27, pp. 324–338.Google Scholar
- 2.Barwise, J. and Etchemendy, J. (1990), ‘Information, Infons, and Inference’, in Cooper, R., Mukai, K, and Perry, J. (editors),Situation Theory and Its Applications, Volume 1, Stanford, CA, USA: CSLI Lecture Notes 22, pp. 33–78.Google Scholar
- 3.BarwiseJ. and PerryJ. (1983),Situations and Attitudes, Cambridge, MA, USA: Bradford Books, MIT Press.Google Scholar
- 4.DevlinK. J. (1991),Logic and Information, Cambridge, England: Cambridge University Press.Google Scholar
- 5.DretskeF. (1981),Knowledge and the Flow of Information, Cambridge, MA, USA: Bradford Books, MIT Press.Google Scholar
- 6.Hayes, P., Private communication, June 28, 1989.Google Scholar
- 7.SearleJ. R. (1978), ‘The Philosophy of Language’, in B.Magee (ed.),Men of Ideas, Oxford, England: Oxford University Press, pp. 153–172.Google Scholar