Abstract
In this paper, I reassess Floridi’s solution to the Bar-Hillel–Carnap paradox (the information yield of inconsistent propositions is maximal) by questioning the orthodox view that contradictions cannot be true. The main part of the paper is devoted to showing that the veridicality thesis (semantic information has to be true) is compatible with dialetheism (there are true contradictions) and that, unless we accept the additional non-falsity thesis (information cannot be false), there is no reason to presuppose that there is no such thing like contradictory information.
Similar content being viewed by others
Notes
The original version is based on state descriptions instead of models, but as may be seen from Kemeny (1953), it can be so reformulated.
Basically, my reasons for endorsing the stronger semantic principle is based on the epistemic value of information; see, e.g. Dretske (2009).
A possible reply is that there is a good reason to assume that the solution should be different, namely the fact that information has to be true whereas mere semantic content does not have to. This reply is flawed for two reasons: first, because premises have to be true as well; second, because the reply already presupposes that no contradiction can be true and that we only need to avoid explosion because sometimes we have to reason from a mix of true and false premises.
Alternatively and in analogy with the standard approach to conditional probability, one could say that the content of A, given B, is only defined if B is not necessarily false. I do not further explore this alternative.
Remember: Explosion and the falsity of contradictions come apart in several non-classical logics. Even the law of non-contradiction is not sufficient to validate explosion.
This line of thought is loosely inspired by views of Floridi. I do not recall whether these were expressed in print.
Thus, if an inconsistency involves all premises, the only difference between inconsistency and, say, adhocness is that the former is a syntactic feature whereas the latter is not.
An alternative reply would be that liar sentences do not qualify as information because whatever their truth value, they will have that truth value as a matter of necessity. As a result, if only contingent truths qualify as semantic information, such sentences are easily dismissed. In view of the existence of so-called contingent liars (Field 2008, 24), it is immediately clear that this strategy will not work.
Whether there are no observables based on ill-typed variables or no levels of abstraction based on ill-typed interpreted variables is just a matter of terminology.
By successful construction, I only mean construction according to the specification, i.e. the agreement between intended and actual behaviour. Whether this also involves the successful construction of a (physical) artefact is a separate issue we can refer to as implementability. The latter is undoubtedly relevant but beyond the scope of the present discussion.
Still, if one believes that we can only reason about relations between models and not about relations between the world in itself and our models, one has to conclude that metaphysical dialetheism cannot be defended.
Remark that in this case the move from semantic dialetheism to informational dialetheism does not involve considerations about what we can and/or should believe but only depends on the nature of semantic information itself.
When formulated with a dialetheic negation of the kind favoured by Priest, saying that information must be true and may not be false does not prevent information from being false. What is required is something like ‘true only’ or ‘untruth’ rather than truth and falsity.
References
Allo, P. (2007). Logical pluralism and semantic information. Journal of Philosophical Logic, 36(6), 659–694.
Allo, P. (2010). Putting information first: Luciano Floridi and the philosophy of information. Metaphilosophy, 41(3), 247–254.
Batens, D. (1980). Paraconsistent extensional propositional logics. Logique & Analyse, 23(90–91), 195–234.
Beall, J. C. (2009). Spandrels of truth. Oxford: Oxford University Press.
Beall, J. C., & Glanzberg, M. (2008). Where the paths meet: Remarks on truth and paradox. Midwest Studies In Philosophy, 32(1), 169–198.
Carnap, R., & Bar-Hillel, Y. (1952). An outline of a theory of semantic information. MIT, Technical Report 247.
Dretske, F. (2009). Information-theoretic semantics. In B. McLaughlin, A. Beckermann, & S. Walter (Eds.), The Oxford handbook of the philosophy of mind (pp. 318–393). Oxford: Oxford University Press.
Fetzer, J. H. (2004a). Information: Does it have to be true? Minds & Machines, 14(2), 223–229.
Fetzer, J. H. (2004b). Disinformation: The use of false information. Minds & Machines, 14(2), 231–240.
Field, H. (2008). Saving truth from paradox. Oxford: Oxford University Press.
Floridi, L. (2004a). Outline of a theory of strongly semantic information. Minds & Machines, 14(2), 197–222.
Floridi, L. (2005a). Is information meaningful data? Philosophy and Phenomenological Research, 70(2), 351–370.
Floridi, L. (2007). In defence of the veridical nature of semantic information. European Journal of Analytic Philosophy, 3(1), 31–41.
Floridi, L. (2008). The method of levels of abstraction. Minds and Machines, 18(3), 303–329.
Kemeny, J. G. (1953). A logical measure function. The Journal of Symbolic Logic, 18(4), 289–308.
Kripke, S. (1975). Outline of a theory of truth. The Journal of Philosophy, 72(19), 690–716.
Mares, E. (2004). Semantic dialetheism. In G. Priest, J. C. Beall, & B. Armour-Garb (Eds.), The law of non contradiction. New philosophical essays (pp. 264–275). Oxford: Oxford University Press.
Priest, G. (2002). Beyond the limits of thought (2nd Ed.). Oxford: Oxford University Press.
Priest, G. (2006a). In contradiction (2nd Ed.). Oxford: Oxford University Press.
Priest, G. (2006b). Doubt truth to be a liar. Oxford: Oxford University Press.
Priest, G., & Routley, R. (1989). Systems of paraconsistent logic. In G. Priest, R. Routley, & J. Norman (Eds.), Paraconsistent logic. Essays on the inconsistent (pp. 151–186). München: Philosophia.
Quine, W. V. (1986). Philosophy of logic. Cambridge: Harvard University Press.
Sainsbury, R. M. (1995). Paradoxes (2nd Ed.). Cambridge: Cambridge University Press.
Sequoiah-Grayson, S. (2007). The metaphilosophy of information. Minds and Machines, 17(3), 331–344.
Slater, B. H. (1995). Paraconsistent logics? Journal of Philosophical Logic, 24(4), 451–454.
Tarski, A. (1944). The semantic conception of truth: And the foundations of semantics. Philosophy and Phenomenological Research, 4(3), 341–376.
Woods, J. (2003). Paradox and paraconsistency. Cambridge: Cambridge University Press.
Acknowledgements
A very early version of the material in this paper was presented as “Semantic Information and Logical Orthodoxy” at the 2006 European Computing and Philosophy Conference in Trondheim, Norway. The topic came up in discussions with Luciano Floridi regularly. This is the first published version of ideas from the original presentation and the outcome of the ensuing discussions.
Author information
Authors and Affiliations
Corresponding author
Additional information
Postdoctoral Fellow of the Science Foundation (FWO).
Rights and permissions
About this article
Cite this article
Allo, P. A Classical Prejudice?. Know Techn Pol 23, 25–40 (2010). https://doi.org/10.1007/s12130-010-9098-4
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s12130-010-9098-4