-
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
-
106When 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.
-
100The 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
-
Two kinds of procedural semantics for privative modificationLecture Notes in Artificial Intelligence 6284 251--271. 2010.
-
444On malfunctioning softwareSynthese 192 (4): 1199-1220. 2015.Artefacts do not always do what they are supposed to, due to a variety of reasons, including manufacturing problems, poor maintenance, and normal wear-and-tear. Since software is an artefact, it should be subject to malfunctioning in the same sense in which other artefacts can malfunction. Yet, whether software is on a par with other artefacts when it comes to malfunctioning crucially depends on the abstraction used in the analysis. We distinguish between “negative” and “positive” notions of mal…Read more
-
171MiscomputationPhilosophy and Technology 26 (3): 253-272. 2013.The phenomenon of digital computation is explained (often differently) in computer science, computer engineering and more broadly in cognitive science. Although the semantics and implications of malfunctions have received attention in the philosophy of biology and philosophy of technology, errors in computational systems remain of interest only to computer science. Miscomputation has not gotten the philosophical attention it deserves. Our paper fills this gap by offering a taxonomy of miscomputa…Read more
-
141The Semantics of UntrustworthinessTopoi 35 (1): 253-266. 2016.We offer a formal treatment of the semantics of both complete and incomplete mistrustful or distrustful information transmissions. The semantics of such relations is analysed in view of rules that define the behaviour of a receiving agent. We justify this approach in view of human agent communications and secure system design. We further specify some properties of such relations
-
197Acts of Knowledge: History, Philosophy and Logic (edited book)College Publications. 2009.The Editors’ vision for this volume is that it should be a selection of essays, contributed by the academics who have worked, studied, collaborated and disagreed with Göran Sundholm; engaging in debated issues and exploring untouched areas maybe only suggested or hinted at in Sundholm’s own work. "Acts of Knowledge" characterizes the papers contained in this volume as bringing something scientifically valuable in their respective fields: all the papers present cutting-edge research in their own …Read more
Areas of Specialization
Epistemology |
Logic and Philosophy of Logic |
Philosophy of Computing and Information |
PhilPapers Editorships
9 more