Switch to: References

Citations of:

Levels of implication

In Alan Ross Anderson, Ruth Barcan Marcus, Richard Milton Martin & Frederic Brenton Fitch (eds.), The Logical enterprise. New Haven: Yale University Press. pp. 179--185 (1975)

Add citations

You must login to add citations.
  1. Logic: The Basics (2nd Edition).Jc Beall & Shay A. Logan - 2017 - Routledge.
    Logic: the Basics is an accessible introduction to the core philosophy topic of standard logic. Focussing on traditional Classical Logic the book deals with topics such as mathematical preliminaries, propositional logic, monadic quantified logic, polyadic quantified logic, and English and standard ‘symbolic transitions’. With exercises and sample answers throughout this thoroughly revised new edition not only comprehensively covers the core topics at introductory level but also gives the reader an idea of how they can take their knowledge further and the (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • (1 other version)Levels of implication and type free theories of classifications with approximation operator.Andrea Cantini - 1992 - Mathematical Logic Quarterly 38 (1):107-141.
    We investigate a theory of Frege structures extended by the Myhill-Flagg hierarchy of implications. We study its relation to a property theory with an approximation operator and we give a proof theoretical analysis of the basic system involved. MSC: 03F35, 03D60.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Two Flavors of Curry’s Paradox.Jc Beall & Julien Murzi - 2013 - Journal of Philosophy 110 (3):143-165.
    In this paper, we distinguish two versions of Curry's paradox: c-Curry, the standard conditional-Curry paradox, and v-Curry, a validity-involving version of Curry's paradox that isn’t automatically solved by solving c-curry. A unified treatment of curry paradox thus calls for a unified treatment of both c-Curry and v-Curry. If, as is often thought, c-Curry paradox is to be solved via non-classical logic, then v-Curry may require a lesson about the structure—indeed, the substructure—of the validity relation itself.
    Download  
     
    Export citation  
     
    Bookmark   94 citations  
  • A Note on Contraction-Free Logic for Validity.Colin R. Caret & Zach Weber - 2015 - Topoi 34 (1):63-74.
    This note motivates a logic for a theory that can express its own notion of logical consequence—a ‘syntactically closed’ theory of naive validity. The main issue for such a logic is Curry’s paradox, which is averted by the failure of contraction. The logic features two related, but different, implication connectives. A Hilbert system is proposed that is complete and non-trivial.
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  • Non-contractability and Revenge.Julien Murzi & Lorenzo Rossi - 2020 - Erkenntnis 85 (4):905-917.
    It is often argued that fully structural theories of truth and related notions are incapable of expressing a nonstratified notion of defectiveness. We argue that recently much-discussed non-contractive theories suffer from the same expressive limitation, provided they identify the defective sentences with the sentences that yield triviality if they are assumed to satisfy structural contraction.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Validity Curry Strengthened.Lionel Shapiro - 2013 - Thought: A Journal of Philosophy 2 (1):100-107.
    Several authors have argued that a version of Curry's paradox involving validity motivates rejecting the structural rule of contraction. This paper criticizes two recently suggested alternative responses to “validity Curry.” There are three salient stages in a validity Curry derivation. Rejecting contraction blocks the first, while the alternative responses focus on the second and third. I show that a distinguishing feature of validity Curry, as contrasted with more familiar forms of Curry's paradox, is that paradox arises already at the first (...)
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • Alonzo Church.Oliver Marshall & Harry Deutsch - 2021 - Stanford Encyclopedia of Philosophy.
    Alonzo Church (1903–1995) was a renowned mathematical logician, philosophical logician, philosopher, teacher and editor. He was one of the founders of the discipline of mathematical logic as it developed after Cantor, Frege and Russell. He was also one of the principal founders of the Association for Symbolic Logic and the Journal of Symbolic Logic. The list of his students, mathematical and philosophical, is striking as it contains the names of renowned logicians and philosophers. In this article, we focus primarily on (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • (1 other version)Levels of implication and type free theories of classifications with approximation operator.Andrea Cantini - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):107-141.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Implication and analysis in classical frege structures.Robert C. Flagg & John Myhill - 1987 - Annals of Pure and Applied Logic 34 (1):33-85.
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  • Naive Validity.Zach Weber - 2014 - Philosophical Quarterly 64 (254):99-114.
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  • Extending the first-order theory of combinators with self-referential truth.Andrea Cantini - 1993 - Journal of Symbolic Logic 58 (2):477-513.
    The aim of this paper is to introduce a formal system STW of self-referential truth, which extends the classical first-order theory of pure combinators with a truth predicate and certain approximation axioms. STW naturally embodies the mechanisms of general predicate application/abstraction on a par with function application/abstraction; in addition, it allows non-trivial constructions, inspired by generalized recursion theory. As a consequence, STW provides a smooth inner model for Myhill's systems with levels of implication.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • A Sense of Non-Understanding.Jerzy Pelc - 1986 - Studia Semiotyczne—English Supplement 27:15-22.
    Download  
     
    Export citation  
     
    Bookmark