Feitosa

Temos desenvolvido investigações sobre um conceito de lógica bastante universal em um contexto puramente conjuntista. Neste artigo, destacamos as relações de consequência simétrica como um caso particular e especial de relações de consequência com múltiplas conclusões. A motivação para esta abordagem dedutiva vem dos cálculos de sequentes de Gentzen, que associam um conjunto de sentenças a outro conjunto de sentenças, o antecedente e o consequente. De modo especial, sobre o conjunto antecedente, devemos imaginar uma conjunção de sentenças, enquanto que no conjunto consequente a ideação seria de uma disjunção. Por isto, Gentzen trabalhou com sequências finitas. Visto quetratamos com conjuntos quaisquer, então devemos reconhecer a validade de cada membro do antecedente e, de modo simétrico, de algum elemento do consequente. Mostramos que ainda assim temos sistemas dedutivos de Tarski.

Operadores de consequência; relações de consequência; consequência com múltiplas conclusões; consequência simétrica

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.

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

DUNN, J. M.; HARDEGREE, G. M. Algebraic methods in philosophical logic. Oxford: Oxford University Press, 2001.

FEITOSA, H. A.; MOREIRA, A. P. R.; SOARES, M. R Operadores de consequência e relações de consequência. (a aparecer), 2016a.

FEITOSA, H. A.; MOREIRA, A. P. R.; SOARES, M. R Sobre relações de consequência com múltiplas conclusões. (a aparecer), 2016b.

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.

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 Publishing Company, 1983.