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

PDF views
796
Jul 2015Jan 2016Jul 2016Jan 2017Jul 2017Jan 2018Jul 2018Jan 2019Jul 2019Jan 2020Jul 2020Jan 2021Jul 2021Jan 2022Jul 2022Jan 2023Jul 2023Jan 2024Jul 2024Jan 2025Jul 2025Jan 2026122
|

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

v. 15 n. 2 (2014)

Seção

Artigos Cognitio