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

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

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