Information and Logical Discrimination

Invited talk given at the Special Session of CiE on Open Problems in the Philosophy of Information. Cambridge, UK.

Published in S.B. Cooper, A. Dawar, and B. Löwe (Eds.), CiE 2012, Lecture Notes in Computer Science, Vol. 7318:17–28.

http://dx.doi.org/10.1007/978-3-642-30870-3_3

Abstract. Informational conceptions of logic are barely novel. We find them in the work of John Corcoran, in several papers on substructural and constructive logics by Heinrich Wansing, and in the interpretation of the Routley-Meyer semantics for relevant logics in terms of Barwises and Perrys theory of situations.

Allo & Mares [2] present an informational account of logical consequence that is based on the content-nonexpantion platitude, but that also relies on a double inversion of the standard direction of explanation (in- formation doesnt depend on a prior notion of meaning, but is used to naturalize meaning, and informational content is not defined relative to a pre-existing logical space, but that space is constructed relative to the level of abstraction at which information is assessed).

In this paper I focus directly on one of the main ideas introduced in that paper, namely the contrast between logical discrimination and deductive strength, and use this contrast to (1) illustrate a number of open problems for an informational conception of logical consequence, (2) review its connection with the dynamic turn in logic, and (3) situate it relative to the research agenda of the philosophy of information.