Skip to main content
Log in

A Classical Prejudice?

  • Published:
Knowledge, Technology & Policy

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Similar content being viewed by others

Notes

  1. The original version is based on state descriptions instead of models, but as may be seen from Kemeny (1953), it can be so reformulated.

  2. Basically, my reasons for endorsing the stronger semantic principle is based on the epistemic value of information; see, e.g. Dretske (2009).

  3. Sainsbury (1995, 136), but see also the discussion of Philosophy’s Most Difficult Problem in Woods (2003, 14–6).

  4. 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.

  5. 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.

  6. 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.

  7. This line of thought is loosely inspired by views of Floridi. I do not recall whether these were expressed in print.

  8. 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.

  9. 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.

  10. 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.

  11. 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.

  12. 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.

  13. 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.

  14. 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.

  15. Remark that this restricted ability to reject some contradictions is—at least if we deny trivialism and have the means to avoid Curry’s paradox (Beall 2009, Chapt. 2)—all we need to recapture what Floridi (2007) refers to as syntactically erasing information.

References

  • Allo, P. (2007). Logical pluralism and semantic information. Journal of Philosophical Logic, 36(6), 659–694.

    Article  Google Scholar 

  • Allo, P. (2010). Putting information first: Luciano Floridi and the philosophy of information. Metaphilosophy, 41(3), 247–254.

    Article  Google Scholar 

  • Batens, D. (1980). Paraconsistent extensional propositional logics. Logique & Analyse, 23(90–91), 195–234.

    Google Scholar 

  • Beall, J. C. (2009). Spandrels of truth. Oxford: Oxford University Press.

    Book  Google Scholar 

  • Beall, J. C., & Glanzberg, M. (2008). Where the paths meet: Remarks on truth and paradox. Midwest Studies In Philosophy, 32(1), 169–198.

    Article  Google Scholar 

  • 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.

    Google Scholar 

  • Fetzer, J. H. (2004a). Information: Does it have to be true? Minds & Machines, 14(2), 223–229.

    Article  Google Scholar 

  • Fetzer, J. H. (2004b). Disinformation: The use of false information. Minds & Machines, 14(2), 231–240.

    Article  Google Scholar 

  • Field, H. (2008). Saving truth from paradox. Oxford: Oxford University Press.

    Book  Google Scholar 

  • Floridi, L. (2004a). Outline of a theory of strongly semantic information. Minds & Machines, 14(2), 197–222.

    Article  Google Scholar 

  • Floridi, L. (2005a). Is information meaningful data? Philosophy and Phenomenological Research, 70(2), 351–370.

    Article  Google Scholar 

  • Floridi, L. (2007). In defence of the veridical nature of semantic information. European Journal of Analytic Philosophy, 3(1), 31–41.

    Google Scholar 

  • Floridi, L. (2008). The method of levels of abstraction. Minds and Machines, 18(3), 303–329.

    Article  Google Scholar 

  • Kemeny, J. G. (1953). A logical measure function. The Journal of Symbolic Logic, 18(4), 289–308.

    Article  Google Scholar 

  • Kripke, S. (1975). Outline of a theory of truth. The Journal of Philosophy, 72(19), 690–716.

    Article  Google Scholar 

  • 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.

    Chapter  Google Scholar 

  • Priest, G. (2002). Beyond the limits of thought (2nd Ed.). Oxford: Oxford University Press.

    Google Scholar 

  • Priest, G. (2006a). In contradiction (2nd Ed.). Oxford: Oxford University Press.

    Google Scholar 

  • Priest, G. (2006b). Doubt truth to be a liar. Oxford: Oxford University Press.

    Google Scholar 

  • 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.

    Google Scholar 

  • Quine, W. V. (1986). Philosophy of logic. Cambridge: Harvard University Press.

    Google Scholar 

  • Sainsbury, R. M. (1995). Paradoxes (2nd Ed.). Cambridge: Cambridge University Press.

    Google Scholar 

  • Sequoiah-Grayson, S. (2007). The metaphilosophy of information. Minds and Machines, 17(3), 331–344.

    Article  Google Scholar 

  • Slater, B. H. (1995). Paraconsistent logics? Journal of Philosophical Logic, 24(4), 451–454.

    Article  Google Scholar 

  • Tarski, A. (1944). The semantic conception of truth: And the foundations of semantics. Philosophy and Phenomenological Research, 4(3), 341–376.

    Article  Google Scholar 

  • Woods, J. (2003). Paradox and paraconsistency. Cambridge: Cambridge University Press.

    Google Scholar 

Download references

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

Authors

Corresponding author

Correspondence to Patrick Allo.

Additional information

Postdoctoral Fellow of the Science Foundation (FWO).

Rights and permissions

Reprints 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

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s12130-010-9098-4

Keywords

Navigation