OPERADORES DE CONSEQUÊNCIA E RELAÇÕES DE CONSEQUÊNCIA

Autores/as

  • Hércules de Araújo Feitosa Professor Assistente Doutor do Departamento de Matemática da Faculdade de Ciências da Universidade Estadual Paulista (Unesp), Campus de Bauru e Professor Assistente Doutor do Departamento de Matemática da Faculdade de Ciências da Universidade Estadual Paulista
  • Angela Pereira Rodrigues Moreira Professora Substituta do Departamento de Matemática da Faculdade de Ciências da Universidade Estadual Paulista (Unesp), Campus de Bauru. Doutora em Filosofia pela Universidade Estadual de Campinas (Unicamp)
  • Marcelo Reicher Soares Professor Assistente Doutor do Departamento de Matemática da Faculdade de Ciências da Universidade Estadual Paulista (Unesp), Campus de Bauru

DOI:

https://doi.org/10.36311/1984-8900.2016.v8.n18.12.p156

Palabras clave:

Operador de consequência, Relações de consequência, Lógica, Lógica universal

Resumen

Neste artigo analisamos o operador de consequência de Tarski e algumas relações de consequência num ambiente conjuntista de lógica universal. Neste âmbito, mostramos propriedades e axiomas relativos a estas definições que implicam e são implicadas por outras. Também mostramos a independência de algumas delas e lapidamos os conceitos envolvidos nestas noções abstratas que caracterizam lógicas em contexto universal.

Descargas

Los datos de descarga aún no están disponibles.

Referencias

BEZIAU, J-Y. Universal logic. In: T. CHILDERS; O. MAJER (Eds.). Proceedings of the 8th International Colloquium - Logica’94. Prague: Czech Academy of Sciences, p. 73-93, 2004.

______. From consequence operator to universal logic: a survey of general abstract logic. In: BEZIAU, J-Y. (Ed.) Logicauniversalis, p. 3-19, 2007.

BOLC, L.; BOROWIK, P. Many-valued logics: 1 theoretical foundations. Berlin: Springer-Verlag, 1992.

DE SOUZA, E. G. Lindenbaumologia I: a teoria geral. Cognitio: Revista de Filosofia, n. 2, p. 213-219, 2001.

DE SOUZA, E. G.; VELASCO, P. D. N. Lindenbaumologia II: cálculos lógicos abstratos. Cognitio: Revista de Filosofia, n. 3, p. 115-121, 2002.

D’OTTAVIANO, I. M. L.; FEITOSA, H. A. Deductive systems and translations. In: BÉZIAU, J.-Y.; COSTA-LEITE, A. (Eds.). Perspectives on Universal Logic. Italy: Polimetrica, p. 125–157, 2007.

FEITOSA, H. A.; NASCIMENTO, M. C.; SILVESTRINI, L. H. C. Confrontando propriedades lógicas em um contexto de lógica universal. Cognitio: Revista de Filosofia, v. 15, n. 2, p. 333-347, 2014.

FONT, J. M.; JANSANA, R.; PIGOZZI, D. A survey of abstract algebraic logic. Studia Logica, v. 74, p. 13 - 97, 2003.

GENTZEN, G. Investigation into logical deduction. In: SZABO M. E. (Ed.) The collected papers of Gerhard Gentzen.Amsterdam: North-Holland Publishing Company, p. 68-131, 1969.

HOPPMANN, A. G. Fecho e imersão. Rio Claro: Faculdade de Filosofia, Ciências e Letras de Rio Claro, 1973. (Tese de Doutoramento em Matemática).

JEŘÁBEK, E. The ubiquity of conservative translations. The Review of Symbolic Logic, v. 5, p. 666–678, 2012.

KRACHT, M. Modal consequence relations. In: van BENTHEM, J.; VENEMA, Y.; WOLTER F. (Eds.). Handbook of Modal Logic. Elsevier, p. 497 - 549, 2006.

MARTIN, N. M.; POLLARD, S. Closure spaces and logic. Dordrecht: Kluwer, 1996.

SUNDHOLM, G. Systems of deduction. In GABBAY, D.; GUENTHNER, F. (Eds.) Handbook of Philosophical Logic. Dordrecht: Reidel, v. 1, p. 133-188, 1983.

TARSKI, A. Logic, semantics, metamathematics. 2. ed. CORCORAN, J. (Ed.). Indianapolis: Hackett PublishingCompany, 1983.

WALLMANN, C. A shared framework for consequence operations and abstract model theory. Logica Universalis, v. 7, p. 125-145, 2013.

WÓJCICKI, R. Theory of logical calculi. Dordrecht: Kluwer, 1998.

Descargas

Publicado

2018-03-14

Número

Vol. 8 Núm. 18 (2016)

Sección

Artigos

Licencia

Derechos de autor 2018 Kínesis - Revista de Estudos dos Pós-Graduandos em Filosofia

Creative Commons License

Esta obra está bajo una licencia internacional Creative Commons Atribución-NoComercial-CompartirIgual 4.0.