17 found
Order:
See also
Luca Tranchini
Universität Tübingen
  1.  37
    Proof-Theoretic Semantics, Paradoxes and the Distinction Between Sense and Denotation.Luca Tranchini - forthcoming - Journal of Logic and Computation 2014.
    In this paper we show how Dummett-Prawitz-style proof-theoretic semantics has to be modified in order to cope with paradoxical phenomena. It will turn out that one of its basic tenets has to be given up, namely the definition of the correctness of an inference as validity preservation. As a result, the notions of an argument being valid and of an argument being constituted by correct inference rules will no more coincide. The gap between the two notions is accounted for by (...)
    Direct download  
     
    Export citation  
     
    Bookmark   12 citations  
  2.  32
    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   3 citations  
  3.  33
    Proof-Theoretic Harmony: Towards an Intensional Account.Luca Tranchini - 2016 - Synthese 198 (Suppl 5):1145-1176.
    In this paper we argue that an account of proof-theoretic harmony based on reductions and expansions delivers an inferentialist picture of meaning which should be regarded as intensional, as opposed to other approaches to harmony that will be dubbed extensional. We show how the intensional account applies to any connective whose rules obey the inversion principle first proposed by Prawitz and Schroeder-Heister. In particular, by improving previous formulations of expansions, we solve a problem with quantum-disjunction first posed by Dummett. As (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  4.  21
    Ekman’s Paradox.Peter Schroeder-Heister & Luca Tranchini - 2017 - Notre Dame Journal of Formal Logic 58 (4):567-581.
    Prawitz observed that Russell’s paradox in naive set theory yields a derivation of absurdity whose reduction sequence loops. Building on this observation, and based on numerous examples, Tennant claimed that this looping feature, or more generally, the fact that derivations of absurdity do not normalize, is characteristic of the paradoxes. Striking results by Ekman show that looping reduction sequences are already obtained in minimal propositional logic, when certain reduction steps, which are prima facie plausible, are considered in addition to the (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  5.  99
    (I Can't Get No) Antisatisfaction.Pablo Cobreros, Elio La Rosa & Luca Tranchini - forthcoming - Synthese:1-15.
    Substructural approaches to paradoxes have attracted much attention from the philosophical community in the last decade. In this paper we focus on two substructural logics, named ST and TS, along with two structural cousins, LP and K3. It is well known that LP and K3 are duals in the sense that an inference is valid in one logic just in case the contrapositive is valid in the other logic. As a consequence of this duality, theories based on either logic are (...)
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  6.  29
    Proof, Meaning and Paradox: Some Remarks.Luca Tranchini - 2019 - Topoi 38 (3):591-603.
    In the present paper, the Fregean conception of proof-theoretic semantics that I developed elsewhere will be revised so as to better reflect the different roles played by open and closed derivations. I will argue that such a conception can deliver a semantic analysis of languages containing paradoxical expressions provided some of its basic tenets are liberalized. In particular, the notion of function underlying the Brouwer–Heyting–Kolmogorov explanation of implication should be understood as admitting functions to be partial. As argued in previous (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  7.  69
    Natural Deduction for Dual-Intuitionistic Logic.Luca Tranchini - 2012 - Studia Logica 100 (3):631-648.
    We present a natural deduction system for dual-intuitionistic logic. Its distinctive feature is that it is a single-premise multiple-conclusions system. Its relationships with the natural deduction systems for intuitionistic and classical logic are discussed.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  8.  12
    How to Ekman a Crabbé-Tennant.Peter Schroeder-Heister & Luca Tranchini - forthcoming - Synthese:1-23.
    Developing early results of Prawitz, Tennant proposed a criterion for an expression to count as a paradox in the framework of Gentzen’s natural deduction: paradoxical expressions give rise to non-normalizing derivations. Two distinct kinds of cases, going back to Crabbé and Tennant, show that the criterion overgenerates, that is, there are derivations which are intuitively non-paradoxical but which fail to normalize. Tennant’s proposed solution consists in reformulating natural deduction elimination rules in general form. Developing intuitions of Ekman we show that (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  9.  16
    Supervaluationism, Subvaluationism and the Sorites Paradox.Pablo Cobreros & Luca Tranchini - 2019 - In Elia Zardini & Sergi Oms (eds.), The Sorites Paradox. Cambridge, Reino Unido: pp. 38-62.
    One way in which we might approach the challenge posed by the Sorites Paradox is considering that Sorites-susceptible predicates have several candidate extensions, or several ways in which these expressions can be made precise. For example, a candidate extension for the predicate ‘is a baby’ is the set of humans of less than two years, but also the set of those less than two years and one second, and of those less than two years and two seconds. In this chapter (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  10.  13
    Harmonising Harmony.Luca Tranchini - 2015 - Review of Symbolic Logic 8 (3):411-423.
  11.  92
    Supervaluationism: Truth, Value and Degree Functionality.Pablo Cobreros & Luca Tranchini - 2014 - Thought: A Journal of Philosophy 3 (2):136-144.
    This article deals with supervaluationism and the failure of truth-functionality. It draws some distinctions that may contribute to a better understanding of this semantic framework.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  12.  63
    Truth From a Proof-Theoretic Perspective.Luca Tranchini - 2012 - Topoi 31 (1):47-57.
    Validity, the central concept of the so-called ‘proof-theoretic semantics’ is described as correctly applying to the arguments that denote proofs. In terms of validity, I propose an anti-realist characterization of the notions of truth and correct assertion, at the core of which is the idea that valid arguments may fail to be recognized as such. The proposed account is compared with Dummett’s and Prawitz’s views on the matter.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  13.  23
    Stabilizing Quantum Disjunction.Luca Tranchini - 2018 - Journal of Philosophical Logic 47 (6):1029-1047.
    Since the appearance of Prior’s tonk, inferentialists tried to formulate conditions that a collection of inference rules for a logical constant has to satisfy in order to succeed in conferring an acceptable meaning to it. Dummett proposed a pair of conditions, dubbed ‘harmony’ and ‘stability’ that have been cashed out in terms of the existence of certain transformations on natural deduction derivations called reductions and expansions. A long standing open problem for this proposal is posed by quantum disjunction: although its (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  14. Proof and Truth. An Anti-Realist Perspective.Luca Tranchini - unknown
    In the first chapter, we discuss Dummett’s idea that the notion of truth arises from the one of the correctness of an assertion. We argue that, in a first-order language, the need of defining truth in terms of the notion of satisfaction, which is yielded by the presence of quantifiers, is structurally analogous to the need of a notion of truth as distinct from the one of correctness of an assertion. In the light of the analogy between predicates in Frege (...)
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  15.  8
    Truth: An Anti-Realist Adequacy Condition.Luca Tranchini - 2010 - In Piotr Stalmaszczyk (ed.), Objects of Inquiry in Philosophy of Language and Linguistics. Ontos Verlag. pp. 347.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  16.  42
    Anti-Realistic Notions of Truth.Luca Tranchini - 2012 - Topoi 31 (1):5-8.
    Validity, the central concept of the so-called ‘proof-theoretic semantics’ is described as correctly applying to the arguments that denote proofs. In terms of validity, I propose an anti-realist characterization of the notions of truth and correct assertion, at the core of which is the idea that valid arguments may fail to be recognized as such. The proposed account is compared with Dummett’s and Prawitz’s views on the matter.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  17.  42
    Natural Deduction for Bi-Intuitionistic Logic.Luca Tranchini - 2017 - Journal of Applied Logic 25:S72-S96.
    We present a multiple-assumption multiple-conclusion system for bi-intuitionistic logic. Derivations in the systems are graphs whose edges are labelled by formulas and whose nodes are labelled by rules. We show how to embed both the standard intuitionistic and dual-intuitionistic natural deduction systems into the proposed system. Soundness and completeness are established using translations with more traditional sequent calculi for bi-intuitionistic logic.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark