David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Synthese 167 (2):363 - 389 (2009)
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.
|Keywords||Philosophy of information Epistemic logic Logic of justification Modal logic|
|Categories||categorize this paper)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
References found in this work BETA
Sergei Artëmov (1994). Logic of Proofs. Annals of Pure and Applied Logic 67 (1-3):29-59.
Sergei N. Artemov (2001). Explicit Provability and Constructive Semantics. Bulletin of Symbolic Logic 7 (1):1-36.
Alexandru Baltag & Lawrence S. Moss (2004). Logics for Epistemic Programs. Synthese 139 (2):165 - 224.
G. M. Bierman & V. C. V. de Paiva (2000). On an Intuitionistic Modal Logic. Studia Logica 65 (3):383-416.
James H. Fetzer (2004). Information: Does It Have to Be True? [REVIEW] Minds and Machines 14 (2):223-229.
Citations of this work BETA
Giuseppe Primiero (2014). A Taxonomy of Errors for Information Systems. Minds and Machines 24 (3):249-273.
Similar books and articles
John Symons (2006). Where's the Bridge? Epistemology and Epistemic Logic. Philosophical Studies 128 (1):137 - 167.
Vincent F. Hendricks (2003). Active Agents. Journal of Logic, Language and Information 12 (4):469-495.
Mark Jago (2006). Imagine the Possibilities: Information Without Overload. Logique Et Analyse 49 (196):345–371.
Joeri Engelfriet & Jan Treur (1998). An Interpretation of Default Logic in Minimal Temporal Epistemic Logic. Journal of Logic, Language and Information 7 (3):369-388.
Cédric Dégremont & Nina Gierasimczuk (2011). Finite Identification From the Viewpoint of Epistemic Update. Information And Computation 209 (3):383-396.
Giuseppe Primiero (2013). Offline and Online Data: On Upgrading Functional Information to Knowledge. Philosophical Studies 164 (2):371-392.
Johan Van Benthem (2009). The Information in Intuitionistic Logic. Synthese 167 (2):251 - 270.
Patrick Allo (2011). The Logic of 'Being Informed' Revisited and Revised. Philosophical Studies 153 (3):417-434.
Barteld P. Kooi (2003). Probabilistic Dynamic Epistemic Logic. Journal of Logic, Language and Information 12 (4):381-408.
Added to index2009-01-28
Total downloads52 ( #36,085 of 1,413,300 )
Recent downloads (6 months)4 ( #51,540 of 1,413,300 )
How can I increase my downloads?