Offline and online data: on upgrading functional information to knowledge
- 230 Downloads
This paper addresses the problem of upgrading functional information to knowledge. Functional information is defined as syntactically well-formed, meaningful and collectively opaque data. Its use in the formal epistemology of information theories is crucial to solve the debate on the veridical nature of information, and it represents the companion notion to standard strongly semantic information, defined as well-formed, meaningful and true data. The formal framework, on which the definitions are based, uses a contextual version of the verificationist principle of truth in order to connect functional to semantic information, avoiding Gettierization and decoupling from true informational contents. The upgrade operation from functional information uses the machinery of epistemic modalities in order to add data localization and accessibility as its main properties. We show in this way the conceptual worthiness of this notion for issues in contemporary epistemology debates, such as the explanation of knowledge process acquisition from information retrieval systems, and open data repositories.
KeywordsEpistemic modalities Functional information Upgrade
- Bellin, G., de Paiva, V. & Ritter, E. (2001). Extended Curry-Howard correspondence for a basic constructive modal logic. Presented at M4M-2, ILLC, UvAmsterdam, Amsterdam (in press).Google Scholar
- Colburn, T. (2000). Philosophy and computer science. New York: Armonk.Google Scholar
- Dietz, R. (2008). Epistemic modals and correct disagreement. In Carpintero M. G., Kölbel M. (Ed.), Relative truth, chapter 11. Oxford: Oxford University Press.Google Scholar
- Dodig-Crnkovic, G. (2005). System modeling and information semantics. In J. Bubenko, O. Eriksson, H. Fernlund, M. Lind (Eds.), Proceedings of the Fifth Promote IT Conference. Studentlitteratur.Google Scholar
- Dummett, M. (1978). Truth and other enigmas. Cambridge, MA: Duckworth, London and Harvard University Press.Google Scholar
- Dummett, M. (1991). The logical basis of metaphysics. Cambridge, MA: Duckworth, London and Harvard University Press.Google Scholar
- Floridi, L. (2006). The logic of being informed. Logique & Analyse 196, 433–460.Google Scholar
- Floridi, L. (2009). Philosophical conceptions of informationn. In G. Sommaruga (Ed.), Formal Theories of Information, volume 5363 of Lectures Notes in Computer Science (pp. 13–53). Berlin: Springer Verlag.Google Scholar
- Floridi, L. (2010a). Semantic information and the network theory of account. Synthese. doi:10.1007/s11229-010-9821-4 ( forthcoming).
- Floridi, L. (2010c). Information—A very short introduction. Oxford: Oxford University Press.Google Scholar
- Gunter, C. A. (1994). The semantics of types in programming languages. In S. Abramsky, D. M. Gabbay, & T. S. E. Maibaum (Eds.), Handbook of logic in computer science, Vol. 3: Semantic structures. (pp. 395–475). Oxford: Oxford University Press.Google Scholar
- Kahle, R. (2012). Modalities without worlds. In M. Marion, G. Primiero & S. Rahman (Eds.), The Realism-Antirealism debate in the Age of Alternative Logics, Logic, Epistemology and the Unity of Science (pp. 101–118). Dordrecht: Springer Verlag.Google Scholar
- Kolmogorov, A. (1967). On the principle of excluded middle. In J. Van Heijenoort (Ed.), From Frege to Gödel: a source book in mathematical logic 1879–1931 (pp. 414–437). Cambridge: Harvard University Press.Google Scholar
- Martin-Löf, P. (1984). Intuitionistic type theory. Naples: Bibliopolis.Google Scholar
- Martin-Löf, P. (1996). On the meaning of the logical constants and the justifications of the logical laws. Nordic Journal of Philosophical Logic, 1(1), 11–60.Google Scholar
- Moody, J. (2003). Modal logic as a basis for distributed computation. Technical Report CMU-CS-03-194, School of Computer Science. Pittsburgh, PA: Carnegie-Mellon University.Google Scholar
- Murphy, T. (2008). Modal Types for Mobile Code. PhD thesis, School of Computer Science. Carnegie Mellon University, Pittsburgh, PA. CMU-CS-08-126.Google Scholar
- Primiero, G. (2007). An epistemic constructive definition of information. Logique & Analyse, 50(200), 391–416.Google Scholar
- Primiero, G. (2009a). Proceeding in Abstraction. From concepts to types and the recent perspective on Information. History and Philosophy of Logic, 30(3), 257–282.Google Scholar
- Primiero, G. (2009b). Epistemic modalities. In G. Primiero & S. Rahman (Eds.), Acts of Knowledge—History, Philosophy and Logic (pp.207–232). London: College Publications.Google Scholar
- Primiero, G. (2010). A multi-modal type system and its procedural semantics for safe distributed programming. Manuscript. Presented at Intuitionistic Modal Logic and Applications Workshop (IMLA11), Nancy, 2011 (submitted).Google Scholar
- Primiero, G. (2012). A contextual type theory with judgemental modalities for reasoning from open assumptions. Logique & Analyse, 220 (Forthcoming).Google Scholar
- Primiero, G. & Taddeo, G. (2011). A modal type theory for formalizing trusted communications. Journal of Applied Logic. doi:10.1016/j.jal.2011.12.002.
- Sambin, G. & Valentini, S. (1998). Building up a toolbox for Martin-Löf type theory: subset theory. In G. Sambin & S. Valentini (Eds.), Twenty-five years of Constructive Type Theory (pp. 221–244). Venice: Oxford University Press.Google Scholar
- Schaar v.d., M. (2009). The cognitive act and the first-person perspective: an epistemology for constructive type theory. Synthese. doi:10.1007/s11229-009-9708-4.
- Troelstra, A. S. & van Dalen, D. (1988). Constructivism in mathematics: An introduction (Vols. I, II). Amsterdam: North-Holland.Google Scholar
- Turner, R. & Eden, A. (2008). Philosophy of computer science. In Stanford Encyclopedia of Philosophy. Stanford : CSLI, Stanford University, December.Google Scholar
- Viégas, F.B., Wattenberg, M. & Dave, K. (2004). Studying cooperation and conflict between authors with history flow visualizations. CHI 2004, Vol. 6(1). http://alumni.media.mit.edu/fviegas/papers/history_flow.pd.