Validades Existenciais e Enigmas Relacionados

Autores

  • Paulo A. S. Veloso UFRJ
  • Luiz Carlos Pereira UFRJ
  • Edward H. Haeusler PUC-RJ

DOI:

https://doi.org/10.5380/dp.v6i2.17336

Palavras-chave:

Lógica, quantificação, validades existenciais, validades universais, tautologias, Logic, quantification, existential validities, universal validities, tautologies

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.

Downloads

Como Citar

Veloso, P. A. S., Pereira, L. C., & Haeusler, E. H. (2009). Validades Existenciais e Enigmas Relacionados. DoisPontos, 6(2). https://doi.org/10.5380/dp.v6i2.17336

Edição

v. 6 n. 2 (2009): Gramática, Verdade e Inferência

Seção

Artigos

Licença

Autores mantêm os direitos autorais e concedem a Doispontos o direito de primeira publicação, com o trabalho simultaneamente licenciado sob a Licença Creative Commons Attribution (CC BY 4.0), que permite o compartilhamento do trabalho com reconhecimento da autoria e publicação inicial nesta revista.

Autores têm autorização para assumir contratos adicionais separadamente, para distribuição não exclusiva da versão do trabalho publicada nesta revista (ex.: publicar em repositório institucional ou como capítulo de livro), com reconhecimento de autoria e publicação inicial nesta revista.

Autores têm permissão e são estimulados a publicar e distribuir seu trabalho online (ex.: em repositórios institucionais ou em sua página pessoal) antes da publicação ou repositório institucional/temático após a publicação, já que isso pode gerar alterações produtivas, bem como aumentar o impacto e a citação do trabalho publicado (Veja O Efeito do Acesso Livre).