Curry’s Paradox, generalized modus ponens axiom and depth relevance
[EN] “Weak relevant model structures” (wr-ms) are defined on “weak relevant matrices” by generalizing Brady’s model structure M_{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...
| Autores: | , |
|---|---|
| Tipo de recurso: | artículo |
| Estado: | Versión aceptada para publicación |
| Fecha de publicación: | 2013 |
| País: | España |
| Institución: | Universidad de León |
| Repositorio: | BULERIA. Repositorio Institucional de la Universidad de León |
| OAI Identifier: | oai:buleria.unileon.es:10612/25792 |
| Acceso en línea: | https://link.springer.com/article/10.1007/s11225-013-9471-x https://hdl.handle.net/10612/25792 |
| Access Level: | acceso abierto |
| Palabra clave: | Lógica Curry’s Paradox Depth Relevance Generalized Modus Ponens axiom Generalized Contraction rule Weak relevant model structures Relevant logic 11 Lógica |
| Sumario: | [EN] “Weak relevant model structures” (wr-ms) are defined on “weak relevant matrices” by generalizing Brady’s model structure M_{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. |
|---|