-
142A modal type theory for formalizing trusted communicationsJournal of Applied Logic 10 (1): 92-114. 2012.This paper introduces a multi-modal polymorphic type theory to model epistemic processes characterized by trust, defined as a second-order relation affecting the communication process between sources and a receiver. In this language, a set of senders is expressed by a modal prioritized context, whereas the receiver is formulated in terms of a contextually derived modal judgement. Introduction and elimination rules for modalities are based on the polymorphism of terms in the language. This leads …Read more
-
98Facing Computing as Technique: Towards a History and Philosophy of ComputingPhilosophy and Technology 27 (3): 321-326. 2014.We present the methodological principles underlying the scientific activities of the DHST Commission on the History and Philosophy of Computing. This volume collects refereed selected papers from the First International Conference organized by the Commission
-
141Proceeding in Abstraction. From Concepts to Types and the recent perspective on InformationHistory and Philosophy of Logic 30 (3): 257-282. 2009.This article presents an historical and conceptual overview on different approaches to logical abstraction. Two main trends concerning abstraction in the history of logic are highlighted, starting from the logical notions of concept and function. This analysis strictly relates to the philosophical discussion on the nature of abstract objects. I develop this issue further with respect to the procedure of abstraction involved by (typed) λ-systems, focusing on the crucial change about meaning and p…Read more
-
105Honesty, Competence, and Trust for Systems DesignPhilosophy and Technology 26 (4): 431-435. 2013.We briefly present three problems related to promiscuous trust in connection to germane notions of honesty and competence in systems design
-
189A contextual type theory with judgemental modalities for reasoning from open assumptionsLogique and Analyse 220 579-600. 2012.Contextual type theories are largely explored in their applications to programming languages, but less investigated for knowledge representation purposes. The combination of a constructive language with a modal extension of contexts appears crucial to explore the attractive idea of a type-theoretical calculus of provability from refutable assumptions for non-monotonic reasoning. This paper introduces such a language: the modal operators are meant to internalize two different modes of correctness…Read more
-
186Offline and Online Data: on upgrading functional information to knowledgePhilosophical Studies 164 (2): 371-392. 2013.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…Read more
-
162A Taxonomy of Errors for Information SystemsMinds and Machines 24 (3): 249-273. 2014.We provide a full characterization of computational error states for information systems. The class of errors considered is general enough to include human rational processes, logical reasoning, scientific progress and data processing in some functional programming languages. The aim is to reach a full taxonomy of error states by analysing the recovery and processing of data. We conclude by presenting machine-readable checking and resolve algorithms
-
108When Logic Meets Engineering: Introduction to Logical Issues in the History and Philosophy of Computer ScienceHistory and Philosophy of Logic 36 (3): 195-204. 2015.The birth, growth, stabilization and subsequent understanding of a new field of practical and theoretical enquiry is always a conceptual process including several typologies of events, phenomena an...
-
76Sulla natura sintetica dell¿ argomentazione metafisicaGiornale di Metafisica 28 (2): 397-412. 2006.
-
101The constructive reformulation of the semantic theory suggests two basic principles to be assumed: first, the distinction between proper knowledge, expressed in judgemental form, and the assertion conditions for such knowledge; second, ...
-
179An epistemic logic for becoming informedSynthese 167 (2). 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), …Read more
Areas of Specialization
Epistemology |
Logic and Philosophy of Logic |
Philosophy of Computing and Information |
PhilPapers Editorships
9 more