Blocking the routes to triviality with depth relevance
[EN] In Rogerson and Restall’s (J Philos Log 36, 2006, p. 435), the “class of implication formulas known to trivialize (NC)” (NC abbreviates “naïve comprehension”) is recorded. The aim of this paper is to show how to invalidate any member in this class by using “weak relevant model structures”. Weak...
| Authors: | , |
|---|---|
| Format: | article |
| Status: | Versión aceptada para publicación |
| Publication Date: | 2014 |
| Country: | España |
| Institution: | Universidad de León |
| Repository: | BULERIA. Repositorio Institucional de la Universidad de León |
| OAI Identifier: | oai:buleria.unileon.es:10612/25757 |
| Online Access: | https://link.springer.com/article/10.1007/s10849-014-9199-7 https://hdl.handle.net/10612/25757 |
| Access Level: | Open access |
| Keyword: | Lógica Naive set theory Weak relevant model structures Depth relevance Deep relevant logics 11 Lógica |
| Summary: | [EN] In Rogerson and Restall’s (J Philos Log 36, 2006, p. 435), the “class of implication formulas known to trivialize (NC)” (NC abbreviates “naïve comprehension”) is recorded. The aim of this paper is to show how to invalidate any member in this class by using “weak relevant model structures”. Weak relevant model structures verify deep relevant logics only. |
|---|