| Revista: | Dois pontos (Curitiba) |
| Base de datos: | CLASE |
| Número de sistema: | 000314200 |
| ISSN: | 1807-3883 |
| Autors: | Veloso, Paulo A.S1 Pereira, Luiz Carlos2 Haeusler, Edward Hermann2 |
| Institucions: | 1Universidade Federal do Rio de Janeiro, Rio de Janeiro. Brasil 2Pontificia Universidade Catolica do Rio de Janeiro, Rio de Janeiro. Brasil |
| Any: | 2009 |
| Període: | Oct |
| Volum: | 6 |
| Número: | 2 |
| Paginació: | 145-163 |
| País: | Brasil |
| Idioma: | Portugués |
| Tipo de documento: | Artículo |
| Enfoque: | Analítico |
| Resumen en portugués | A lógica não contém teoremas puramente existenciais: as únicas sentenças existenciais válidas são aquelas com análogas universais válidas. Aqui, mostramos que isto realmente é assim quando corretamente interpretado: toda validade ex- istencial possui uma análoga universal simples, que também é válida. Também caracterizamos validades universais e existenciais em termos de tautologias |
| Disciplines | Filosofía |
| Paraules clau: | Lógica, Teoremas, Universales, Existencia, Tautología, Cuantificación, Verdad, Realidad |
| Text complet: | Texto completo (Ver HTML) |
