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

Vistas del PDF
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