-
192Giovanni 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. 2011.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
-
98A Formal Approach to Vague Expressions with IndexicalsIn Alastair Butler (ed.), Proceedings of the Ninth International Workshop of Logic and Engineering of Natural Language Semantics (LENLS 9), Japan Society For Artificial Intelligence. 2012.
-
117Majority merging by adaptive countingSynthese 165 (2). 2008.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 t…Read more
-
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
-
99Facing 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
-
187Offline 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...
Areas of Specialization
Epistemology |
Logic and Philosophy of Logic |
Philosophy of Computing and Information |
PhilPapers Editorships
9 more