Tutorial at the [5th World Congress and School on Universal


Lecturer: Patrick Allo


The tutorial consists of three parts.

A first part covers the contrast between, on the one hand, the naturalness of characterisations of logical consequence in terms of information-containment, and, on the other hand, the perceived redundancy of informational notions in the formal characterisation of logical consequence. As part of this discussion, we review the seminal characterisation of semantic information due to Carnap & Bar-Hillel, Corcoran’s information-theoretic characterisation, and informational interpretations of substructural logic.

A second part deals with the influence of the dynamic and interactive turn in logic on how we perceive the relation between logic and information. In particular we consider how a conception of information as a distributed commodity brings many informational or communicative actions within the scope of logic.

In a third part we identify common themes in the study of logic and information, explore new challenges for our thinking about logic and information that are inspired by the philosophy of information and the philosophy of computation.


  1. Allo, Patrick. 2007. Logical pluralism and semantic information. Journal of Philosophical Logic 36 (6): 659-694.
  2. Allo, Patrick and Edwin Mares. 2012. Informational semantics as a third alternative? Erkenntnis 77 (2): 167-185.
  3. Carnap, Rudolf and Yehoshua Bar-Hillel. 1952. An Outline of a Theory of Semantic Information.
  4. Corcoran, John. 1998. Information-theoretic logic. Truth in Perspective: 113-135.
  5. Floridi, Luciano. 2011. The Philosophy of Information. Oxford: Oxford University Press.
  6. Mares, Edwin. 1997. Relevant logic and the theory of information. Synthese 109 (3): 345-360.
  7. Mares, Edwin. 2010. The nature of information: A relevant approach. Synthese 175 (1): 111-132.
  8. Saguillo, José 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.
  9. van Benthem, Johan. 2011. Logical Dynamics of Information and Interaction. Cambridge University Press.