Philosophers have appealed to information (as understood by [Shannon, 1948] and introduced to philosophers largely by [Dretske, 1981]) in a wide variety of contexts; information has been proffered in the service of understanding knowledge, justification, and mental content, inter alia. While information has been put to diverse philosophical uses, there has been much less diversity in the understanding of information itself. In this paper we’ll offer a novel theory of information that differs from traditional accounts in two main (and orthogonal) respects: (i) it explains information in terms of counterfactuals rather than conditional probabilities, and (ii) it does not make essential reference to doxastic states of subjects, and consequently allows for the sort of objective, reductive explanations of notions in epistemology and philosophy of mind that many have wanted from an account of information.

We’ll first present our counterfactual account of information (1), and show how it sidesteps a problem that has been raised for its traditional, probabilistic competitors (2). Next we’ll compare the counterfactual account against that proposed by Dretske (3), highlighting the differences between the two. After that, we’ll turn to questions about objectivity: we’ll bring out a conflict between the essentially doxastic character of traditional theories of information and the reductive purposes philosophers have had in mind in appealing to information (4), and we’ll show how the account of 1 can be formulated in non-doxastic terms. Finally, we’ll consider objections against the proposed account (5). Ultimately, we’ll suggest, the objective counterfactual account of information should be taken as a serious contender to more traditional rivals.

The central definition of information that they provide is:

Also, in a footnote C&M mention that x’s being F and y’s being G are construed as actual events, so one event carries information about a second only if they are actual.

As outlined in this document, some exploration reveals that using the standard logic of counterfactuals, C&M’s definition gives some results that disagree with what it seems are fairly straightforward properties of information flow.

1. Monotonicity:
2. Conjunction:
3. ???:

An Overview of the Mathematical Theory of Communication: Particularly for Philosophers Interested in Information

Whilst a straightforward condition given a classical bivalent system with values true and false, bringing truth value gluts into the picture raises some novel matters.

In a classical framework, ‘true’ is equivalent to ‘not false’, so the condition could simply be rephrased as: if S knows that p then p is not false.

But when the possibility of propositions which are both true and false is introduced, there are three plausible knowledge operators (K):

• Kp is true if and only if p is true
• Kp is true if and only if p is not false
• Kp takes the value of p, so it could be both true and false

The main question is, if one knows that p, does this require that p is true or that p is not false?

Gustavo Cevolani
Strongly semantic information and verisimilitude

Massimo Durante
Normativity, Constructionism, and Constraining Affordances

Don Fallis
Floridi on Disinformation

David Gamez
Information and Consciousness

Jakob Krebs
Philosophy of Information and Pragmatistic Understanding of Information

Marty J. Wolf
Analysis, Clarification and Extension of the Theory of Strongly Semantic Information

Anthony F. Beavers
Historicizing Floridi

To be held as part of the

AISB/IACAP World Congress 2012
in honour of Alan Turing

July 2nd to 6th, 2012
University of Birmingham, Birmingham, UK

See http://events.cs.bham.ac.uk/turing12