Abstract
Various conceptual approaches to the notion of information can currently be traced in the literature in logic and formal epistemology. A main issue of disagreement is the attribution of truthfulness to informational data, the so called Veridicality Thesis (Floridi 2005). The notion of Epistemic Constructive Information (Primiero 2007) is one of those rejecting VT. The present paper develops a formal framework for ECI. It extends on the basic approach of Artemov’s logic of proofs (Artemov 1994), representing an epistemic logic based on dependent justifications, where the definition of information relies on a strict distinction from factual truth. The definition obtained by comparison with a Normal Modal Logic translates a constructive logic for “becoming informed”: its distinction from the logic of “being informed”—which internalizes truthfulness—is essential to a general evaluation of information with respect to truth. The formal disentanglement of these two logics, and the description of the modal version of the former as a weaker embedding into the latter, allows for a proper understanding of the Veridicality Thesis with respect to epistemic states defined in terms of information.
Similar content being viewed by others
References
Akama S. (2006). Infon logic based on constructive logic. Logique & Analyse 49(194): 119–136
Allo P. (2005). Being informative. In: Althoff, K.-D., Dengel, A., Bergmann, R., Nick, M. and Roth-Berghofer, T. (eds) WM2005: professional knowledge management experiences and visions, pp 579–586. Kaiserslautern, DFKI Gmbh
Artemov S. (1994). Logic of proofs. Annals of Pure and Applied Logic 67(2): 29–59
Artemov S. (2001). Explicit provability and constructive semantics. The Bulletin of Symbolic Logic 7(1): 1–36
Artemov S. and Nogina E. (2005). Introducing justification to epistemic logic. Journal of Logic and Computation 15(6): 1059–1073
Baltag A. and Moss L.S. (2004). Logics for epistemic programs. Synthese 139: 165–224
Bierman G.M. and Paiva V. (2000). On an intuitionistic modal logic. Studia Logica 65: 383–416
Bellin, G., de Paiva, V., & Ritter, E. (2001). Extended curry-howard correspondence for a basic constructive modal logic. preprint, presented at M4M-2, ILLC, Amsterdam.
Buvac S., Buvac V. and Mason I. (1995). Metamathematics of contexts. Fundamenta Informaticae 23(3): 263–301
Coquand, T., & Huet, G. (1986). The calculus of constructions. Rapports de Rechérche n. 530. Institut National de Rechérche en Informatique et en Automatique, Rocquencourt.
Coquand, T., & Huet, G. (1988). The calculus of constructions. Information and Computation, 76(2–3).
Curry H.B. and Feys R. (1958). Combinatory logic (Vol. I). North-Holland, Amsterdam
Demolombe, R. (2004). Reasonig about trust: A formal logical framework. In Proceedings of the 2nd International Conference iTrust, Oxford.
Fetzer J.H. (2004). Information: Does it have to be true?. Minds & Machines 14(2): 223–229
Fitting, M. (2005a). A logic of explicit knoweldge. In The logica yearbook 2004 (pp. 11–22). Prague: Filosofia Publisher, Institute of Philosophy, Czech Academy of Sciences.
Fitting M. (2005b). The logic of proofs, semantically. Annals of Pure and Applied Logic 132: 1–25
Floridi L. (2004). Outline of a theory of strongly semantic information. Minds and Machines 14: 223–229
Floridi L. (2005). Is information meaningful data?. Philosophy and Phenomenological Research 70(2): 351–370
Floridi L. (2006). The logic of being informed. Logique & Analyse 49(196): 433–460
Floridi L. (2007). In defence of the veridical nature of semantic information. European Journal of Analytic Philosophy 3(1): 31–42
Howard W.A. (1980). The formulae-as-types notion of construction. In: In; Seldin, J.P. and Hindley, J.R. (eds) To H.B. Curry: Essays on combinatory logic, lambda calculus and formalism, pp 479–490. Academic Press, London
Jonker, C. M., & Treur, J. (1999). Formal analysis of models for the dynamics of trust based on experiences. In Proceedings of the 9th European Workshop on Modelling Autonomous Agents in a Multi-Agent World: Multi-Agent System Engineering (MAAMAW-99).
Martin-Löf, P. (1993). Philosophical aspects of intuitionistic type theory. Unpublished notes by M. Wijers from lectures given at the Faculteit der Wijsbegeerte, Rijksuniversiteit Leiden.
McCarthy, J. (1993). Notes on formalizing context. In Proceedings of the 13th Joint Conference on Artificial Intelligence (IJCAI-93), pp. 555–560.
Primiero G. (2007). An epistemic constructive definition of information. Logique & Analyse 50(200): 391–416
Primiero, G. (2008). Information and knowledge—a constructive type-theoretical approach. In Logic, epistemology and the unity of science (Vol. 10). Springer.
Rante A. (1994). Type-theoretical grammar. Oxford University Press, Oxford
Sambin G. and Valentini S. (1982). The modal logic of provability. The sequential approach. Journal of Philosophical Logic 11: 311–342
Satre T.W. (1972). Natural deduction rules for modal logics. Notre Dame Journal of Formal Logic 8(4): 461–475
Seldin J.P. (1997). On the proof-theory of Coquand’s calculus of constructions. Annals of Pure and Applied Logic 83: 23–101
Seldin J.P. (2000). A Gentzen-style sequent calculus of constructions with expansion rules. Theoretical Computer Science 243(1–2): 199–215
Sequoiah-Grayson S. (2007). The metaphilosophy of information. Minds & Machines 17(3): 331–344
Author information
Authors and Affiliations
Corresponding author
Additional information
The author is Post-Doctoral Researcher at the Centre for Logic and Philosophy of Science, University of Ghent (Belgium) and Affiliated Research Fellow at the IEG Research Group, Univeristy of Oxford (Great Britain) and at the Research Group in the Philosophy of Information, Hertfordshire University (Great Britain). Research for this paper was supported by subventions from Ghent University. Thanks to the participants of the First Workshop on the Philosophy of Information and Logic for useful comments and discussions.
Rights and permissions
About this article
Cite this article
Primiero, G. An epistemic logic for becoming informed. Synthese 167, 363–389 (2009). https://doi.org/10.1007/s11229-008-9413-8
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11229-008-9413-8