C1-Compatible Transitive Extensions of System CT
Da Costa's main logics can be built up as extensions of a system of common logic, which is classical positive logic plus a classicality symbol and a weak negation satisfying converse double negation and excluded middle. Common logic can alternatively be strengthened into transitive (gradualisti...
| Autor: | |
|---|---|
| Formato: | artículo |
| Fecha de publicación: | 1998 |
| País: | España |
| Recursos: | Consejo Superior de Investigaciones Científicas (CSIC) |
| Repositorio: | DIGITAL.CSIC. Repositorio Institucional del CSIC |
| OAI Identifier: | oai:digital.csic.es:10261/9860 |
| Acesso em linha: | http://hdl.handle.net/10261/9860 |
| Access Level: | acceso abierto |
| Palavra-chave: | Newton da Costa Lógica común Lógica positiva clásica Negación débil Doble negación Tercio excluso Lógica transitiva Lógica gradualista Lógica paraconsistente Common logic Classical positive logic Weak negation Double negation Excluded middle Transitive logic Gradualistic logic Paraconsistent logic |
| Resumo: | Da Costa's main logics can be built up as extensions of a system of common logic, which is classical positive logic plus a classicality symbol and a weak negation satisfying converse double negation and excluded middle. Common logic can alternatively be strengthened into transitive (gradualistic) logic. The choice between those two strengthenings depends on philosophical options. Both approaches are close relatives which constitute a natural sub-family of the larger paraconsistent kind. |
|---|