34 found
Order:
See also
Giuseppe Primiero
Università degli Studi di Milano
  1. On Malfunctioning Software.Giuseppe Primiero, Nir Fresco & Luciano Floridi - 2015 - Synthese 192 (4):1199-1220.
    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 malfunction. A negative malfunction, (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   21 citations  
  2.  43
    On the Foundations of Computing.Giuseppe Primiero - 2019 - Oxford University Press.
    Computing, today more than ever before, is a multi-faceted discipline which collates several methodologies, areas of interest, and approaches: mathematics, engineering, programming, and applications. Given its enormous impact on everyday life, it is essential that its debated origins are understood, and that its different foundations are explained. On the Foundations of Computing offers a comprehensive and critical overview of the birth and evolution of computing, and it presents some of the most important technical results and philosophical problems of the discipline, (...)
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  3. Miscomputation.Nir Fresco & Giuseppe Primiero - 2013 - Philosophy and Technology 26 (3):253-272.
    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 miscomputations. This taxonomy is underpinned by a conceptual analysis of the design (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   19 citations  
  4. A Taxonomy of Errors for Information Systems.Giuseppe Primiero - 2014 - Minds and Machines 24 (3):249-273.
    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.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  5.  5
    A Logic of Efficient and Optimal Designs.Giuseppe Primiero - 2019 - Journal of Logic and Computation 14:0-22.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  6. A Modal Type Theory for Formalizing Trusted Communications.Giuseppe Primiero & Mariarosaria Taddeo - 2012 - Journal of Applied Logic 10 (1):92-114.
    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 to a multi-modal non-homogeneous version of a (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  7. The Semantics of Untrustworthiness.Giuseppe Primiero & Laszlo Kosolosky - 2016 - Topoi 35 (1):253-266.
    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.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  8. On the Ontology of the Computing Process and the Epistemology of the Computed.Giuseppe Primiero - 2014 - Philosophy and Technology 27 (3):485-489.
    Software-intensive science challenges in many ways our current scientific methods. This affects significantly our notion of science and scientific interpretation of the world, driving at the same time the philosophical debate. We consider some issues prompted by SIS in the light of the philosophical categories of ontology and epistemology.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  9.  76
    When Logic Meets Engineering: Introduction to Logical Issues in the History and Philosophy of Computer Science.Liesbeth De Mol & Giuseppe Primiero - 2015 - History and Philosophy of Logic 36 (3):195-204.
  10.  20
    A Minimalist Epistemology for Agent-Based Simulations in the Artificial Sciences.Giuseppe Primiero - 2019 - Minds and Machines 29 (1):127-148.
    The epistemology of computer simulations has become a mainstream topic in the philosophy of technology. Within this large area, significant differences hold between the various types of models and simulation technologies. Agent-based and multi-agent systems simulations introduce a specific constraint on the types of agents and systems modelled. We argue that such difference is crucial and that simulation for the artificial sciences requires the formulation of its own specific epistemological principles. We present a minimally committed epistemology which relies on the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  11.  5
    Design, Malfunction, Validity: Three More Tasks for the Philosophy of Computing.Giuseppe Primiero - 2020 - Philosophy and Technology 33 (2):331-337.
    We present a review of Raymond Turner’s Book Computational Artifacts – Towards a Philosophy of Computer Science, focusing on three main topics: Design, Malfunction, and Validity.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  12.  11
    On Malfunction, Mechanisms and Malware Classification.Giuseppe Primiero, Frida J. Solheim & Jonathan M. Spring - 2019 - Philosophy and Technology 32 (2):339-362.
    Malware has been around since the 1980s and is a large and expensive security concern today, constantly growing over the past years. As our social, professional and financial lives become more digitalised, they present larger and more profitable targets for malware. The problem of classifying and preventing malware is therefore urgent, and it is complicated by the existence of several specific approaches. In this paper, we use an existing malware taxonomy to formulate a general, language independent functional description of malware (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  13.  12
    Infringing Software Property Rights: Ontological, Methodological, and Ethical Questions.Nicola Angius & Giuseppe Primiero - 2020 - Philosophy and Technology 33 (2):283-308.
    This paper contributes to the computer ethics debate on software ownership protection by examining the ontological, methodological, and ethical problems related to property right infringement that should come prior to any legal discussion. The ontological problem consists in determining precisely what it is for a computer program to be a copy of another one, a largely neglected problem in computer ethics. The methodological problem is defined as the difficulty of deciding whether a given software system is a copy of another (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  14. An Epistemic Logic for Becoming Informed.Giuseppe Primiero - 2009 - Synthese 167 (2):363 - 389.
    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 (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  15. Acts of Knowledge: History, Philosophy and Logic.Giuseppe Primiero (ed.) - 2009 - College Publications.
    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 style, contributing to very lively debates (...)
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  16. A Contextual Type Theory with Judgemental Modalities for Reasoning From Open Assumptions.Giuseppe Primiero - 2012 - Logique and Analyse 220:579-600.
    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, respectively with necessity as the standard notion of constructive verification and possibility as (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  17. Proceeding in Abstraction. From Concepts to Types and the Recent Perspective on Information.Giuseppe Primiero - 2009 - History and Philosophy of Logic 30 (3):257-282.
    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 predicability. In particular, the analysis of the nature (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  18.  91
    Facing Computing as Technique: Towards a History and Philosophy of Computing.Liesbeth De Mol & Giuseppe Primiero - 2014 - Philosophy and Technology 27 (3):321-326.
    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.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  19. Offline and Online Data: On Upgrading Functional Information to Knowledge.Giuseppe Primiero - 2013 - Philosophical Studies 164 (2):371-392.
    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 (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  20. Majority Merging by Adaptive Counting.Giuseppe Primiero & Joke Meheus - 2008 - Synthese 165 (2):203 - 223.
    The present paper introduces a belief merging procedure by majority using the standard format of Adaptive Logics. The core structure of the logic ADM c (Adaptive Doxastic Merging by Counting) consists in the formulation of the conflicts arising from the belief bases of the agents involved in the procedure. A strategy is then defined both semantically and proof-theoretically which selects the consistent contents answering to a majority principle. The results obtained are proven to be equivalent to a standard majority operator (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  21.  7
    Annotated Natural Deduction for Adaptive Reasoning.Patrick Allo & Giuseppe Primiero - 2019 - In Can Başkent & Thomas Macaulay Ferguson (eds.), Graham Priest on Dialetheism and Paraconsistency. Springer Verlag. pp. 409-437.
    We present a multi-conclusion natural deduction calculus characterizing the dynamic reasoning typical of Adaptive Logics. The resulting system AdaptiveND is sound and complete with respect to the propositional fragment of adaptive logics based on CLuN. This appears to be the first tree-format presentation of the standard linear dynamic proof system typical of Adaptive Logics. It offers the advantage of full transparency in the formulation of locally derivable rules, a connection between restricted inference-rules and their adaptive counterpart, and the formulation of (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  22.  74
    A Computationally Grounded, Weighted Doxastic Logic.Taolue Chen, Giuseppe Primiero, Franco Raimondi & Neha Rungta - 2016 - Studia Logica 104 (4):679-703.
    Modelling, reasoning and verifying complex situations involving a system of agents is crucial in all phases of the development of a number of safety-critical systems. In particular, it is of fundamental importance to have tools and techniques to reason about the doxastic and epistemic states of agents, to make sure that the agents behave as intended. In this paper we introduce a computationally grounded logic called COGWED and we present two types of semantics that support a range of practical situations. (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  23.  86
    A Formal Approach to Vague Expressions with Indexicals.Liesbeth Martens & Giuseppe Primiero - 2012 - In Alastair Butler (ed.), Proceedings of the Ninth International Workshop of Logic and Engineering of Natural Language Semantics (LENLS 9). Japan Society for Artificial Intelligence.
  24.  19
    Algorithmic Iteration for Computational Intelligence.Giuseppe Primiero - 2017 - Minds and Machines 27 (3):521-543.
    Machine awareness is a disputed research topic, in some circles considered a crucial step in realising Artificial General Intelligence. Understanding what that is, under which conditions such feature could arise and how it can be controlled is still a matter of speculation. A more concrete object of theoretical analysis is algorithmic iteration for computational intelligence, intended as the theoretical and practical ability of algorithms to design other algorithms for actions aimed at solving well-specified tasks. We know this ability is already (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  25. Charles Parsons: Mathematical Thought and its Objects: Cambridge University Press, Cambridge MA, 2008, Xx+378, $50.00, ISBN 9780521452793. [REVIEW]Giuseppe Primiero - 2010 - Minds and Machines 20 (2):311-315.
  26. Giovanni Sommaruga (Ed): Formal Theories of Information: From Shannon to Semantic Information Theory and General Concepts of Information. [REVIEW]Giuseppe Primiero - 2011 - Minds and Machines 21 (1):119-122.
    Giovanni Sommaruga (ed): Formal Theories of Information: From Shannon to Semantic Information Theory and General Concepts of Information Content Type Journal Article Pages 119-122 DOI 10.1007/s11023-011-9228-0 Authors Giuseppe Primiero, Centre for Logic and Philosophy of Science, University of Ghent, Blandijnberg 2, Ghent, 9000 Belgium Journal Minds and Machines Online ISSN 1572-8641 Print ISSN 0924-6495 Journal Volume Volume 21 Journal Issue Volume 21, Number 1.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  27.  93
    Honesty, Competence, and Trust for Systems Design.Giuseppe Primiero - 2013 - Philosophy and Technology 26 (4):431-435.
    We briefly present three problems related to promiscuous trust in connection to germane notions of honesty and competence in systems design.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  28.  87
    Mathematical Thought and its Objects, by Charles Parsons.Giuseppe Primiero - unknown
    Direct download  
     
    Export citation  
     
    Bookmark  
  29. Programming Systems: In Search of Historical and Philosophical Foundations.Giuseppe Primiero & Liesbeth Mol - 2018 - In Giuseppe Primiero & Liesbeth De Mol (eds.), Reflections on Programming Systems: Historical and Philosophical Aspects. Springer Verlag. pp. 1-12.
    This chapter introduces the topics investigated in this book and it frames them in a broader historical and philosophical analysis of programming and computing technology.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  30.  13
    Reflections on Programming Systems: Historical and Philosophical Aspects.Giuseppe Primiero & Liesbeth De Mol (eds.) - 2018 - Springer Verlag.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  31. Sulla natura sintetica dell¿ argomentazione metafisica.Giuseppe Primiero - 2006 - Giornale di Metafisica 28 (2):397-412.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  32. Two Kinds of Procedural Semantics for Privative Modification.Giuseppe Primiero & Bjorn Jespersen - 2010 - Lecture Notes in Artificial Intelligence 6284:251--271.
     
    Export citation  
     
    Bookmark   3 citations  
  33.  2
    Validity and Correctness Before the OS: The Case of LEO I and LEO II.Giuseppe Primiero, Elisabetta Mori & Rabia Arif - 2018 - In Giuseppe Primiero & Liesbeth De Mol (eds.), Reflections on Programming Systems: Historical and Philosophical Aspects. Springer Verlag. pp. 15-47.
    Efficient and reliable computing is based on validity and correctness. Techniques to ensure these essential features have been in place since the early days of computing. The present study focuses on the hardware testing, data validation and program correctness techniques designed and implemented for LEO I and II machines in the UK during the 1950s.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  34.  3
    Value-Sensitive Co-Design for Resilient Information Systems.Giuseppe Primiero, Balbir Barn & Ravinder Barn - 2020 - Studies in Logic, Grammar and Rhetoric 63 (1):141-164.
    In Information Systems development, resilience has often been treated as a non-functional requirement and little or no work is aimed at building resilience in end-users through systems development. The question of how values and resilience can be incorporated into the design of systems is an on-going research activity in user-centered design. In this paper we evaluate the relation of values and resilience within the context of an ongoing software development project and contribute a formal model of co-design based on a (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark