| Revue: | Dois pontos (Curitiba) |
| Base de datos: | CLASE |
| Número de sistema: | 000314200 |
| ISSN: | 1807-3883 |
| Autores: | Veloso, Paulo A.S1 Pereira, Luiz Carlos2 Haeusler, Edward Hermann2 |
| Instituciones: | 1Universidade Federal do Rio de Janeiro, Rio de Janeiro. Brasil 2Pontificia Universidade Catolica do Rio de Janeiro, Rio de Janeiro. Brasil |
| Año: | 2009 |
| Periodo: | Oct |
| Volumen: | 6 |
| Número: | 2 |
| Paginación: | 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 |
| Disciplinas: | Filosofía |
| Palabras clave: | Lógica, Teoremas, Universales, Existencia, Tautología, Cuantificación, Verdad, Realidad |
| Texte intégral: | Texto completo (Ver HTML) |
