Confrontando propriedades lógicas em um contexto de lógica universal

Autores

  • Hércules de Araújo Feitosa UNESP
  • Mauri Cunha do Nascimento UNESP
  • Luiz Henrique da Cruz Silvestrini UNESP

Palavras-chave:

Lógica. Operador de consequência. Teoria. Fecho. Compacidade. Dedutibilidade.

Resumo

Este texto apresenta uma definição de lógica universal num ambiente estritamente conjuntista e coteja propriedades lógicas e topológicas neste ambiente abstrato. Ao comparar estas propriedades, testamos a etimologia dos nomes mais usuais das propriedades tratadas e a (não) equivalência entre elas.

Metrics

Carregando Métricas ...

Downloads

Publicado

2015-04-30

Como Citar

Feitosa, H. de A., Nascimento, M. C. do, & Silvestrini, L. H. da C. (2015). Confrontando propriedades lógicas em um contexto de lógica universal. Cognitio: Revista De Filosofia, 15(2), 333–348. Recuperado de https://revistas.pucsp.br/index.php/cognitiofilosofia/article/view/23077

Edição

Seção

Artigos Cognitio