20 found
Sort by:
See also:
Profile: Giuseppe Primiero (Middlesex University)
  1. Giuseppe Primiero & Laszlo Kosolosky (forthcoming). The Semantics of Untrustworthiness. Topoi:1-14.
    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 (2 more)  
     
    My bibliography  
     
    Export citation  
  2. Liesbeth De Mol & Giuseppe Primiero (2014). Facing Computing as Technique: Towards a History and Philosophy of Computing. 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.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  3. Giuseppe Primiero (2014). A Taxonomy of Errors for Information Systems. 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 (6 more)  
     
    My bibliography  
     
    Export citation  
  4. Giuseppe Primiero (2014). On the Ontology of the Computing Process and the Epistemology of the Computed. Philosophy and Technology 27 (3):485-489.
    Software-intensive science (SIS) 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.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  5. Nir Fresco & Giuseppe Primiero (2013). Miscomputation. 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 (...)
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  6. Giuseppe Primiero (2013). Honesty, Competence, and Trust for Systems Design. 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.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  7. Giuseppe Primiero (2013). Offline and Online Data: On Upgrading Functional Information to Knowledge. 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 (10 more)  
     
    My bibliography  
     
    Export citation  
  8. Liesbeth Martens & Giuseppe Primiero (2012). A Formal Approach to Vague Expressions with Indexicals. 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.
  9. Giuseppe Primiero (2012). A Contextual Type Theory with Judgemental Modalities for Reasoning From Open Assumptions. 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 (3 more)  
     
    My bibliography  
     
    Export citation  
  10. Giuseppe Primiero & Mariarosiaria Taddeo (2012). A Modal Type Theory for Formalizing Trusted Communications. 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 (...)
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  11. Giuseppe Primiero (2011). Giovanni Sommaruga (Ed): Formal Theories of Information: From Shannon to Semantic Information Theory and General Concepts of Information. [REVIEW] 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 (6 more)  
     
    My bibliography  
     
    Export citation  
  12. Giuseppe Primiero (2010). Charles Parsons: Mathematical Thought and its Objects. [REVIEW] Minds and Machines 20 (2):311-315.
  13. Giuseppe Primiero, Mathematical Thought and its Objects, by Charles Parsons.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  14. Giuseppe Primiero & Bjorn Jespersen (2010). Two Kinds of Procedural Semantics for Privative Modification. Lecture Notes in Artificial Intelligence 6284:251--271.
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  15. Giuseppe Primiero (2009). An Epistemic Logic for Becoming Informed. 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 (9 more)  
     
    My bibliography  
     
    Export citation  
  16. Giuseppe Primiero (ed.) (2009). Acts of Knowledge: History, Philosophy and Logic. 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 (...)
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  17. Giuseppe Primiero (2009). Proceeding in Abstraction. From Concepts to Types and the Recent Perspective on Information. 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)  
     
    My bibliography  
     
    Export citation  
  18. Giuseppe Primiero & Shahid Rahman (eds.) (2009). Acts of Knowledge - History, Philosophy and Logic. 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  
     
    My bibliography  
     
    Export citation  
  19. Giuseppe Primiero & Joke Meheus (2008). Majority Merging by Adaptive Counting. 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 (6 more)  
     
    My bibliography  
     
    Export citation  
  20. Giuseppe Primiero (2006). Sulla natura sintetica dell¿ argomentazione metafisica. Giornale di Metafisica: Revista Bimestrale di Filosofia 28 (2):397-412.
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation