Feitosa, Hercules de Araújo [UNESP]Nascimento, Mauri Cunho do [UNESP]Silvestrini, Luiz Henrique da Cruz [UNESP]2016-03-022016-03-022014Cognitio: Revista de Filosofia, v. 15, n. 2, p. 333-348, 2014.2316-5278http://hdl.handle.net/11449/135624This paper presents a definition of universal logic in a strictly settheoretic environment and compares logical and topological properties in this abstract environment. From these properties, we verify the etymology of the more common names given for evolved properties, and so we establish the precedence or equivalence among them.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.333-348porLogicConsequence operatorTheoryClosureCompacityDeductibilityLógicaOperador de consequênciaTeoriaFechoCompacidadeDedutibilidadeArtigoAcesso restrito01256871970332330739734390426687