7 found
Order:
  1.  62
    A Logic for Factive Ignorance.Ekaterina Kubyshkina & Mattia Petrolo - forthcoming - Synthese 198 (6):5917-5928.
    In the current debate there are two epistemological approaches to the definition of ignorance: the Standard View and the New View. The former defines ignorance simply as not knowing, while the latter defines it as the absence of true belief. One of the main differences between these two positions lies in rejecting (Standard View) or in accepting (New View) the factivity of ignorance, i.e., if an agent is ignorant of φ, then φ is true. In the present article, we first (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  2.  34
    The Naturality of Natural Deduction.Luca Tranchini, Paolo Pistone & Mattia Petrolo - 2019 - Studia Logica 107 (1):195-231.
    Developing a suggestion by Russell, Prawitz showed how the usual natural deduction inference rules for disjunction, conjunction and absurdity can be derived using those for implication and the second order quantifier in propositional intuitionistic second order logic NI\. It is however well known that the translation does not preserve the relations of identity among derivations induced by the permutative conversions and immediate expansions for the definable connectives, at least when the equational theory of NI\ is assumed to consist only of (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  3.  87
    Are Uniqueness and Deducibility of Identicals the Same?Alberto Naibo & Mattia Petrolo - 2015 - Theoria 81 (2):143-181.
    A comparison is given between two conditions used to define logical constants: Belnap's uniqueness and Hacking's deducibility of identicals. It is shown that, in spite of some surface similarities, there is a deep difference between them. On the one hand, deducibility of identicals turns out to be a weaker and less demanding condition than uniqueness. On the other hand, deducibility of identicals is shown to be more faithful to the inferentialist perspective, permitting definition of genuinely proof-theoretical concepts. This kind of (...)
    Direct download  
     
    Export citation  
     
    Bookmark   7 citations  
  4. On the Computational Meaning of Axioms.Alberto Naibo, Mattia Petrolo & Thomas Seiller - 2016 - In Ángel Nepomuceno Fernández, Olga Pombo Martins & Juan Redmond (eds.), Epistemology, Knowledge and the Impact of Interaction. Springer Verlag.
    An anti-realist theory of meaning suitable for both logical and proper axioms is investigated. As opposed to other anti-realist accounts, like Dummett-Prawitz verificationism, the standard framework of classical logic is not called into question. In particular, semantical features are not limited solely to inferential ones, but also computational aspects play an essential role in the process of determination of meaning. In order to deal with such computational aspects, a relaxation of syntax is shown to be necessary. This leads to a (...)
     
    Export citation  
     
    Bookmark   2 citations  
  5.  40
    On Paradoxes in Normal Form.Mattia Petrolo & Paolo Pistone - 2019 - Topoi 38 (3):605-617.
    A proof-theoretic test for paradoxicality was famously proposed by Tennant: a paradox must yield a closed derivation of absurdity with no normal form. Drawing on the remark that all derivations of a given proposition can be transformed into derivations in normal form of a logically equivalent proposition, we investigate the possibility of paradoxes in normal form. We compare paradoxes à la Tennant and paradoxes in normal form from the viewpoint of the computational interpretation of proofs and from the viewpoint of (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  6.  8
    The Naturality of Natural Deduction (II): On Atomic Polymorphism and Generalized Propositional Connectives.Paolo Pistone, Luca Tranchini & Mattia Petrolo - 2022 - Studia Logica 110 (2):545-592.
    In a previous paper we investigated the extraction of proof-theoretic properties of natural deduction derivations from their impredicative translation into System F. Our key idea was to introduce an extended equational theory for System F codifying at a syntactic level some properties found in parametric models of polymorphic type theory. A different approach to extract proof-theoretic properties of natural deduction derivations was proposed in a recent series of papers on the basis of an embedding of intuitionistic propositional logic into a (...)
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  7.  15
    What Ignorance Could Not Be.Ekaterina Kubyshkina & Mattia Petrolo - 2020 - Principia: An International Journal of Epistemology 24 (2).
    In the current debate there are two epistemological approaches to the definition of ignorance. The Standard View defines ignorance simply as not knowing, while the New View defines it as the absence of true belief. We argue that both views provide necessary, but not sufficient conditions for ignorance, and thus do not constitute satisfactory definitions for such a notion.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark