INFORMATION AS CORRELATION VS. INFORMATION AS RANGE: a proposal for identifying and merging two basic logical traditions

1 Two logical conceptions of information Information is a ubiquitous term in everyday discourse, but not a particularly welldefined one. And even in scientific discourse, its formal definitions range from Shannon's information theory of bit transmission and channel capacity to Kolmogorov's information theory in terms of shortest algorithmic code driving some universal machine. In addition to these quantitative approaches, there is the great tradition of logic, as the study of meaningful assertions about semantic situations, with deduction or observation as ways of extracting information. 1 There may be one grand unifying mathematical theory lying behind all these perspectives – but 'information' may also just be a loose family term (cf. van Benthem 2006).

[1]  J. Benthem,et al.  Handbook on the Philosophy of Information , 2006 .

[2]  M. van Lambalgen.  Natural Deduction for Generalized Quantifiers , 1996 .

[3]  Johan van Benthem,et al.  Information Transfer across Chu Spaces , 2000, Log. J. IGPL.

[4]  J. Benthem.  Games in dynamic epistemic logic , 2001 .

[5]  The decidability of guarded fixed point logic , 1999 .

[6]  N. Cocchiarella,et al.  Situations and Attitudes. , 1986 .

[7]  J. Benthem.  One is a Lonely Number: on the logic of communication , 2003 .

[8]  Jon Barwise,et al.  Information Flow: The Logic of Distributed Systems , 1997 .

[9]  J. Bregetzer.  [The liar]. , 1989, Revue de l'infirmiere.

[10]  Jan van Eijck,et al.  Logics of communication and change , 2006, Inf. Comput..

[11]  Keith Devlin,et al.  Logic and information , 1991 .

[12]  Samson Abramsky,et al.  Socially Responsive‚ Environmentally Friendly Logic , 2006 .

[13]  Johan van Benthem,et al.  Exploring logical dynamics , 1996, Studies in logic, language and information.

[14]  Dov M. Gabbay,et al.  Products of Modal Logics, Part 1 , 1998, Log. J. IGPL.

[15]  Lawrence S. Moss,et al.  The Undecidability of Iterated Modal Relativization , 2005, Stud Logica.

[16]  N. Malcolm.  On Knowledge and Belief , 1954 .

[17]  Fausto Giunchiglia,et al.  ML Systems: A Proof Theory for Contexts , 2002, J. Log. Lang. Inf..

[18]  J. van Leeuwen,et al.  Logic Programming , 2002, Lecture Notes in Computer Science.

[19]  James H. Moor,et al.  Knowledge and the Flow of Information. , 1982 .