Curry’s Paradox, Generalized Modus Ponens Axiom and Depth Relevance

Studia Logica 102 (1):185-217 (2014)
  Copy   BIBTEX

Abstract

“Weak relevant model structures” (wr-ms) are defined on “weak relevant matrices” by generalizing Brady’s model structure ${\mathcal{M}_{\rm CL}}$ built upon Meyer’s Crystal matrix CL. It is shown how to falsify in any wr-ms the Generalized Modus Ponens axiom and similar schemes used to derive Curry’s Paradox. In the last section of the paper we discuss how to extend this method of falsification to more general schemes that could also be used in deriving Curry’s Paradox

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 103,401

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Curry’s Paradox, Generalized Contraction Rule and Depth Relevance.Francisco Salto, Gemma Robles & José M. Méndez - 2018 - In Konstantinos Boudouris, Proceedings XXIII world Congress Philosophy. Charlottesville: Philosophy Documentation Center. pp. 35-39.
Inclosure and Intolerance.Sergi Oms & Elia Zardini - 2021 - Notre Dame Journal of Formal Logic 62 (2):201-220.
Naive Modus Ponens.Elia Zardini - 2013 - Journal of Philosophical Logic 42 (4):575-593.
The D-Completeness of T→.R. K. Meyer & M. W. Bunder - 2010 - Australasian Journal of Logic 8:1-8.
Set Theory INC# Based on Intuitionistic Logic with Restricted Modus Ponens Rule (Part. I).Jaykov Foukzon - 2021 - Journal of Advances in Mathematics and Computer Science 36 (2):73-88.
Relevant first-order logic LP# and Curry’s paradox resolution.Jaykov Foukzon - 2015 - Pure and Applied Mathematics Journal Volume 4, Issue 1-1, January 2015 DOI: 10.11648/J.Pamj.S.2015040101.12.
Set theory INC# based on intuitionistic logic with restricted modus ponens rule.Jaykov Foukzon (ed.) - 2021 - AP LAMBERT Academic Publishing (June 23, 2021).
Replacing Modus Ponens With One-Premiss Rules.Lloyd Humberstone - 2008 - Logic Journal of the IGPL 16 (5):431-451.
Blocking the Routes to Triviality with Depth Relevance.Gemma Robles & José M. Méndez - 2014 - Journal of Logic, Language and Information 23 (4):493-526.

Analytics

Added to PP
2013-05-05

Downloads
87 (#248,975)

6 months
1 (#1,572,794)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Gemma Robles
Universidad de León
José M. Méndez
Universidad de Salamanca

Citations of this work

Strong Depth Relevance.Shay Allen Logan - 2021 - Australasian Journal of Logic 18 (6):645-656.
What is a Relevant Connective?Shawn Standefer - 2022 - Journal of Philosophical Logic 51 (4):919-950.
Variable-Sharing as Relevance.Shawn Standefer - 2025 - In Andrew Tedder, Shawn Standefer & Igor Sedlar, New Directions in Relevant Logic. Springer.
Blocking the Routes to Triviality with Depth Relevance.Gemma Robles & José M. Méndez - 2014 - Journal of Logic, Language and Information 23 (4):493-526.

Add more citations

References found in this work

Entailment and relevance.Nuel D. Belnap - 1960 - Journal of Symbolic Logic 25 (2):144-146.
Relevant implication and the case for a weaker logic.Ross T. Brady - 1996 - Journal of Philosophical Logic 25 (2):151 - 183.
Depth relevance of some paraconsistent logics.Ross T. Brady - 1984 - Studia Logica 43 (1-2):63 - 73.
Routes to triviality.Susan Rogerson & Greg Restall - 2004 - Journal of Philosophical Logic 33 (4):421-436.

View all 9 references / Add more references