Validades Existenciais e Enigmas Relacionados
Resumo
A lógica não contém teoremas puramente existenciais: as únicas sentenças existenciaisválidas são aquelas com análogas universais válidas. Aqui, mostramos que istorealmente é assim quando corretamente interpretado: toda validade ex- istencial possuiuma análoga universal simples, que também é válida. Também caracterizamos validadesuniversais e existenciais em termos de tautologias.
Palavras-chave
Lógica; quantificação; validades existenciais; validades universais; tautologias; Logic; quantification; existential validities; universal validities; tautologies
Texto completo:
PDFDOI: http://dx.doi.org/10.5380/dp.v6i2.17336
Indexadores: AmeliCA, Clase, Dimension, Google Scholar, Philosopher's Index. Diretórios: Academic Journal Database (JSTOR), Diadorim, Diretório Luso-Brasileiro, DOAJ, Journal 4 free, ROAD, Socol@ar. Portais: ARDI, Biblat, CAPES, LiVre, ScienceOpen, World Wide Science. Índices: Cite Factor, OAJI.
Qualis Periódicos - Capes: A1
Todo o conteúdo desta revista está licenciado sob a Licença Internacional Creative Commons 4.0 (CC BY 4.0)
