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

Autores

  • 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

Palavras-chave:

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

Resumo

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.

Downloads

Não há dados estatísticos.

Referências

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.

Downloads

Publicado

2018-03-14

Edição

v. 8 n. 18 (2016)

Seção

Artigos

Licença

Copyright (c) 2018 Kínesis - Revista de Estudos dos Pós-Graduandos em Filosofia

Creative Commons License

Este trabalho está licenciado sob uma licença Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International License.