Remarks on da costa's paraconsistent set theories
In this paper we analyse da Costa's paraconsistent set theories, i.e., the set theories constructed over da Costa's paraconsistent logics C=n, 1 ≤ n ≤ ω. The main results presented here are the following. In any da Costa paraconsistent set theory of type NF the axiom schema of abstraction...
| Autor: | |
|---|---|
| Tipo de recurso: | artículo |
| Estado: | Versión publicada |
| Fecha de publicación: | 1985 |
| País: | Colombia |
| Institución: | Universidad Nacional de Colombia |
| Repositorio: | Repositorio UN |
| Idioma: | español |
| OAI Identifier: | oai:repositorio.unal.edu.co:unal/42874 |
| Acceso en línea: | https://repositorio.unal.edu.co/handle/unal/42874 http://bdigital.unal.edu.co/32971/ |
| Access Level: | acceso abierto |
| Palabra clave: | theories of sets paraconsistent logics theory da Costa Russell set universal set schemes axiom of separation |
| Sumario: | In this paper we analyse da Costa's paraconsistent set theories, i.e., the set theories constructed over da Costa's paraconsistent logics C=n, 1 ≤ n ≤ ω. The main results presented here are the following. In any da Costa paraconsistent set theory of type NF the axiom schema of abstraction must be formulated exactly as in NF; for, in the contrary, some paradoxes are derivable that invalidate the theory. In any da Costa paraconsistent set theory with Russell's set [Formula Matemática] UUR is the universal set. In any da Costa paraconsistent set theory the existence of Russell's set is incompatible with a general (for all sets) formulation of the axiom schemata of separation and replacement. |
|---|