UM ESTUDO DE CASO SOBRE A RELAO ENTRE LGICA CLSSICA E LGICAS NO - CLSSICAS
FRANK THOMAS SAUTTER Universidade Federal de Santa Maria
Abstract. Most, perhaps all, non-classical logics are a blend of classical logic with extralogical elements. Possibly this thesis has no general proof, and only a casuistic argument can be provided. I discuss a case of paraconsistency that results of applying a lter to two syllogistics. These syllogistics incorporate two ideas of Nikolai Vasiliev: the idea of a complete system of contrary judgements, and the idea of double judgements. I also show how these results can be extended to propositional logic, with the aid of the conjunctive and disjunctive normal forms. Despite the non-classical appearance, it is used, without exception, the classical notion of deductive validity: a conclusion cannot carry more information, but may carry less information than the information carried by the collection of the premisses. Keywords: Syllogistics, paraclassical logics, Venn diagrams.
1. Introduo Sustento que a maioria, talvez todas, as lgicas no-clssicas so simplesmente resultantes do amlgama da lgica clssica e elementos extralgicos atuando sobre ela. Essa tese possivelmente no dispe de uma prova geral, sendo preciso argumentar casuisticamente em seu favor. Nesse trabalho examino um caso de paraconsistncia resultante da aplicao de um ltro a duas silogsticas. Entende-se, aqui, silogstica como um modo de argumentar por triangulao de termos, anlogo ao processo de triangulao de distncias, ou seja, um terceiro termo intermedia a relao entre dois termos. Essas silogsticas incorporam duas idias de Nikolai Vasiliev: a idia de sistemas completos de juzos contrrios entre si, e a idia de juzos duplos, por exemplo, o juzo acidental (conjuno do juzo particular armativo tradicional e do juzo particular negativo tradicional). Mostro, tambm, como esses resultados podem ser estendidos lgica proposicional, ao utilizarmos adequadamente as formas normais conjuntiva e disjuntiva. Nessas lgicas, apesar da aparncia no-clssica, utiliza-se, sem exceo, a noo clssica de validade dedutiva de um argumento: a concluso no pode veicular mais, mas pode veicular menos, informao do que a informao veiculada pelo conjunto das premissas. Principia 13(2): 18594 (2009). Published by NEL Epistemology and Logic Research Group, Federal University of Santa Catarina (UFSC), Brazil.
186
Frank Thomas Sautter
Dividirei meu trabalho em trs sees. Na prxima seo procuro responder pergunta pelo carter clssico ou paraconsistente da silogstica aristotlica; o principal propsito dessa seo no exegtico, mas o de motivar o leitor para a introduo das duas silogsticas da seo seguinte. Na ltima seo mostro um procedimento geral para a lgica proposicional, anlogo ao introduzido para a silogstica.
2. A silogstica aristotlica paraconsistente?
A pergunta pelo carter clssico ou paraconsistente da silogstica aristotlica exige ao menos duas qualicaes preliminares para ser respondida. Primeiro: h, pelo menos, duas concepes distintas de paraconsistncia: um sistema lgico S dito paraconsistente em sentido amplo se e somente se h pelo menos uma contradio (ou, em geral, uma incompatibilidade lgica) expressa na linguagem L tal que dessa contradio (incompatibilidade lgica) no possvel derivar, em S , todas as frmulas de L , mas possvel derivar, em S , alguma frmula de L ; um sistema lgico S dito paraconsistente em sentido estrito se e somente se todas as contradies (ou, em geral, incompatibilidades lgicas) expressas na linguagem L so tais que de uma contradio (incompatibilidade lgica) no possvel derivar, em S , nenhuma frmula de L (adaptado de Gomes e DOttaviano 2009). Os casos gerais de incompatibilidade lgica, contrastando com os casos especiais de contradio, so includos nas caracterizaes acima visando acomodar situaes em que as premissas so, por exemplo, opostas contrrias. Segundo: embora Aristteles admita a substituio de diferentes variveis pelo mesmo termo, tal qual feito pelos lgicos modernos, ele nunca realiza a identicao de diferentes variveis, contrastando com o que feito pelos lgicos modernos (ukasiewicz 1977, 19). Por exemplo, do modo FELAPTON da 3a gura (Nenhum A C . Todo A B . Algum B no C ) no se pode obter Nenhum A B . Todo A B . Algum B no B . por identicao das variveis B e C , mas se pode obter Nenhuma medicina cincia. Toda medicina cincia. Alguma cincia no cincia. Por que distinguir entre esses dois casos? Minha hiptese a de que Aristteles quis manter intacto o componente epistemolgico do silogismo: a relao entre dois termos gerais estabelecida pela mediao de um terceiro termo geral, num processo anlogo ao realizado na triangulao de distncias. O importante para a presente discusso que, ao menos para os peripatticos, silogismos com termos concretos no fazem parte da lgica, somente silogismos com variveis fazem parte da lgica (ukasiewicz 1977, 22). O que se pode sustentar, a partir do estudo histrico e lgico de Gomes e DOttaviano (2009) e das qualicaes acima efetuadas, que se a silogstica aristotlica um sistema lgico paraconsistente, ela o em sentido amplo. Tambm se pode Principia 13(2): 18594 (2009).
Silogsticas Paraclssicas
187
sustentar que, sob uma perspectiva moderna, a silogstica um sistema lgico paraconsistente em sentido amplo e, a fortiori, um sistema lgico paraconsistente. Sob a perspectiva peripattica, porm, a silogstica aristotlica no um sistema lgico paraconsistente. Podemos, com base em anlise efetuada por ukasiewicz (apud Gomes e DOttaviano 2009), sustentar uma tese ainda mais especca sobre o carter clssico ou paraconsistente da silogstica aristotlica: se ela um sistema lgico paraconsistente em sentido amplo, ela um sistema lgico paraclssico, um tipo particular de paraconsistncia em sentido amplo. Isso uma motivao adicional para as silogsticas da segunda seo, que tambm so paraclssicas. O carter paraclssico da silogstica aristotlica pode ser extrado da anlise de uma passagem de Analticos Posteriores (A11, 77a1021). Segundo ukasiewicz (apud Gomes e DOttaviano 2009), as duas inferncias aludidas por Aristteles nessa passagem acomodam-se aos seguintes esquemas: B A (e no no-A ao mesmo tempo). C B e no B . C A (e no no-A ao mesmo tempo). B A (e no no-A ao mesmo tempo). C , que no C , B . C A (e no no-A ao mesmo tempo). ukasiewicz (apud Gomes e DOttaviano 2009) sustenta que os dois esquemas so corretos porque C B . Ora, esse tipo de restrio utilizao somente de uma frao consistente das informaes disponveis o que caracteriza a abordagem paraclssica ao fenmeno da paraconsistncia.
3. Silogsticas paraclssicas A identicao de diferentes variveis interditada na silogstica aristotlica, por isso esquemas silogsticos cujas premissas so logicamente incompatveis so inadmissveis. Introduzirei, a seguir, um par de silogsticas aristotlicas que, mesmo sem a identicao de diferentes variveis, contm esquemas silogsticos cujas premissas so logicamente incompatveis. Isso no ser difcil de obter, e vincula-se a um plano de ataque mais amplo s questes da losoa da lgica, segundo o qual no h caracterstica dos sistemas lgicos, por mais importante que se apresente, que no possa ser convenientemente acrescentada ou retirada pela utilizao de tcnica adequada. Por exemplo, costuma-se pensar que na prpria idia de utilizao de uma linguagem formal est embutida a idia de eliminao de ambigidades, as Principia 13(2): 18594 (2009).
188
Frank Thomas Sautter
quais poderiam dicultar nossa avaliao de argumentos. Contudo, a seguinte tcnica simples mostra ser possvel manipular formalmente um determinado tipo de ambigidade: anbologias, ou seja, ambigidades estruturais. Seja L a linguagem da lgica proposicional clssica. Dena uma nova linguagem L cujo vocabulrio o mesmo que o de L , mas cujo conjunto de frmulas um superconjunto prprio do conjunto de frmulas de L . Esse superconjunto inclui frmulas de L nas quais falta uma ou mais de uma pontuao (par de parnteses). Por exemplo, A A uma frmula de L , porque (A A) e (A A) so frmulas de L . A verdade ou falsidade de uma frmula de L pode ser denida a partir da verdade ou falsidade clssicas de frmulas de L utilizando uma das seguintes regras: (a) Regra da leitura caridosa: uma frmula de L verdadeira se e somente se alguma frmula de L , resultante de pontuao de (quando no for frmula de L ), classicamente verdadeira. Por exemplo, a frmula A A verdadeira se e somente se (AA) classicamente verdadeira ou (AA) classicamente verdadeira; a frmula (A B ) verdadeira se e somente se a frmula (A B ) classicamente verdadeira (A e B so frmulas atmicas nesses exemplos). (b) Regra da leitura exigente: uma frmula de L verdadeira se e somente se todas as frmulas de L , resultantes de pontuao de (quando no for frmula de L ), so classicamente verdadeiras. Por exemplo, a frmula A A verdadeira se e somente se (A A) classicamente verdadeira e (A A) classicamente verdadeira; a frmula (A B ) verdadeira se e somente se a frmula (A B ) classicamente verdadeira (A e B so frmulas atmicas nesses exemplos). Regras anlogas s regras de leitura caridosa e exigente podem ser, evidentemente, encontradas para outras caractersticas de sistemas lgicos. Nosso problema principal no a obteno de um mtodo para produzir sistemas lgicos com determinada caracterstica desejvel ou sem determinada caracterstica indesejvel; nosso problema principal a justicao da desejabilidade de sistemas lgicos com determinada caracterstica e a justicao da indesejabilidade de sistemas lgicos com determinada caracterstica. Examinada a questo geral do estabelecimento de um sistema lgico detentor de uma determinada caracterstica ou do qual certa caracterstica est ausente, passo imediatamente construo de silogsticas nas quais se admite, com as restries impostas por Aristteles, um conjunto inconsistente de premissas. Meu ponto de partida o trabalho pioneiro de Nikolai Alexandrovic Vasiliev, do qual dispomos de excertos de textos traduzidos por Ayda Ignez Arruda (1990). Vasiliev introduziu sistemas no-clssicos no mbito da lgica tradicional. Seu ponto de Principia 13(2): 18594 (2009).
Silogsticas Paraclssicas
189
partida, alm da motivao produzida pelas geometrias no-euclidianas, foi a constatao de que a interpretao que se d ao juzo Algum A B na lgica tradicional difere da sua interpretao em outros mbitos discursivos, em especial no discurso cientco: na lgica tradicional a verdade de Algum A B compatvel com a verdade de Todo A B ; Vasiliev alega que, no discurso cotidiano e no discurso cientco, a verdade de Algum A B incompatvel com a verdade de Todo A B , ou seja, se algum A B , ento algum A no B ! Isso o leva a amalgamar os juzos particular armativo e particular negativo. Na silogstica s h lugar para trs tipos de juzo: o juzo universal armativo, o juzo universal negativo e o juzo acidental (amlgama dos juzos particular armativo e particular negativo). Isso conduz substituio do quadrado de relaes de oposio entre os juzos, no qual subsistem diversas relaes de oposio, por um tringulo de relaes de oposio, no qual subsiste uma nica relao de oposio, a saber, a relao de oposio contrria! Do trabalho de Vasiliev utilizarei duas idias: a primeira a existncia de juzos duplos1 e a segunda a admisso apenas de relaes de oposio contrria entre os juzos.2 Utilizarei, na apresentao das duas silogsticas paraclssicas, a notao tradicional para os tipos de juzo: Aa b o juzo universal armativo com termo sujeito a e termo predicado b, Ea b o juzo universal negativo com termo sujeito a e termo predicado b, I a b o juzo particular armativo com termo sujeito a e termo predicado b, e Oa b o juzo particular negativo com termo sujeito a e termo predicado b. Os juzos universais so entendidos, aqui, do mesmo modo que na lgica contempornea, isto , sem pressupostos existenciais. A primeira silogstica dispe dos seguintes tipos de juzo: N a b =df Aa b Ea b, A v a b =df Aa b I a b, E v a b =df Oa b Ea b, M a b =df Oa b I a b. N a b o juzo segundo o qual no h as, A v a b o juzo universal armativo com pressuposto existencial dos termos sujeito e predicado, E v a b o juzo universal negativo com pressuposto existencial do termo sujeito, e M a b o juzo acidental de Vasiliev, ou seja, o amlgama dos juzos particular armativo e particular negativo. Esses tipos de juzo satisfazem a Lei do Quinto Excludo, ou seja, x , y (A v x y E v x y M x y N x y ). Tambm formam um conjunto completo de oposies contrrias, porque satisfazem as seguintes leis: 1a Lei de Oposio Contrria: x , y (A v x y E v x y ), (. . . ), 6a Lei de Oposio Contrria: x , y ( M x y N x y ). A seguir, listo as 15 formas silogsticas vlidas nas quais temos um conjunto consistente de premissas: 1. A v ba, A v ac / A v bc ; 2. A v a b, M ac / M bc ; 3. A v ba, N ca / E v bc ; 4. E v ba, N ca / E v bc ; 5. M ba, N ca / E v bc ; 6. A v ba, E v ac / E v bc ; 7. E v ba, Principia 13(2): 18594 (2009).
190
Frank Thomas Sautter
A v ca / E v bc ; 8. N ba, N ca / N bc ; 9. N ba, N ac / N bc ; 10. N ba, M ca / N bc ; 11. N ba, M ac / N bc ; 12. N ba, A v ca / N bc ; 13. N ba, A v ac / N bc ; 14. N ba, E v ca / N bc ; 15. N ba, E v ac / N bc . Mas tambm h formas silogsticas vlidas nas quais temos um conjunto inconsistente de premissas. Se atacarmos o problema da inconsistncia com um enfoque paraclssico, ou seja, concluindo classicamente a partir de subconjuntos consistentes do conjunto inconsistente de premissas, temos as seguintes 4 formas que geram silogismos paraclassicamente vlidos: 1. Do conjunto inconsistente de premissas {A v ba, N ac } podemos concluir paraclassicamente todos os juzos entre b e c , menos o juzo M bc . 2. Do conjunto inconsistente de premissas {N a b, A v ac } no podemos concluir nenhum juzo entre b e c ! 3. Do conjunto inconsistente de premissas {N a b, M ac } podemos concluir paraclassicamente quaisquer juzos entre b e c , menos o juzo M c b. 4. Do conjunto inconsistente de premissas {N a b, M ca} podemos concluir paraclassicamente qualquer juzo entre b e c , menos o juzo M c b. Curiosamente, se admitirmos as concluses paraclssicas envolvendo o termo mdio e um dos outros termos, podemos concluir paraclassicamente o juzo M ca, que equivalente ao juzo M c b, embora essa equivalncia no possa ser estabelecida na prpria silogstica! Uma segunda silogstica na qual dispomos de tipos de juzo formando um conjunto completo de oposies contrrias o obtido dos seguintes tipos de juzos: = a b =df Aa b Aba, < a b =df Aa b O ba, > a b =df Oa b Aba, Ka b =df Oa b O ba. Esta silogstica tem um apelo lgico ainda superior ao da anterior, porque uma silogstica da relao de subordinao e de noes correlacionadas noo de subordinao. Deixo ao encargo do leitor mostrar que valem a Lei do Quinto Excludo e as seis Leis de Oposio Contrria. Tambm deixo ao encargo do leitor a determinao das formas silogsticas vlidas com conjunto consistente de premissas e das formas de conjunto inconsistente de premissas que produzem silogismos paraclassicamente vlidos. Antes de examinar o caso proposicional, preciso destacar que o mtodo de deciso por diagramas de Venn, tal como ele utilizado tradicionalmente, no funciona no caso destas silogsticas paraclssicas. A rigor, os diagramas de Venn no operam Principia 13(2): 18594 (2009).
Silogsticas Paraclssicas
191
bem mesmo no caso da silogstica tradicional, pois eles exigem, quando uma premissa universal e a outra particular, que a representao da premissa universal preceda a representao da premissa particular. Obviamente, essa exigncia no ditada pela lgica, pelo menos pela lgica regida por princpios clssicos, pois a transposio de premissas no afeta a validade ou invalidade do argumento. Uma modicao mais perspcua do mtodo de deciso por diagramas de Venn consiste em representar a marcao de uma premissa na divisa das reas afetadas pela marcao. Isso permite a marcao independente das premissas em todos os casos. Por exemplo, na Figura 1 est representada a premissa particular Algum A B (marcao cheia) e a premissa universal Todo A C (marcao vazada)! a
Figura 1: Diagrama de Venn modicado para silogismo tradicional Podemos utilizar esses diagramas de Venn modicados para testar a validade de silogismos nas silogsticas paraclssicas acima especicadas. Por exemplo, na Figura 2 esto representadas as premissas A v ba e N ac , que tm como conseqncia paraclssica quaisquer juzos entre b e c , menos o juzo M bc . a
Figura 2: Diagrama de Venn modicado para silogismo com juzos duplos
Principia 13(2): 18594 (2009).
192
Frank Thomas Sautter
4. Lgica proposicional paraclssica
Um procedimento anlogo ao adotado na seo anterior pode ser adotado na constituio de uma lgica proposicional paraclssica. No caso da lgica proposicional, as formas normais disjuntiva e conjuntiva so teis nessa tarefa. A forma normal disjuntiva nos fornecer um teste da consistncia ou inconsistncia do conjunto de premissas, desde que nenhuma premissa seja autocontraditria, enquanto que a forma normal conjuntiva nos fornecer um modo eciente de extrair informaes de subconjuntos consistentes, desde que nenhuma proposio do subconjunto seja tautolgica. O seguinte procedimento nos fornece um mtodo para a extrao de conseqncias paraclssicas de um conjunto de premissas: 1. Seja { Pi }i I um conjunto de premissas (no-autocontraditrias). 2. Para i I , seja Q i o conjunto dos disjuntivos da forma normal disjuntiva completa de Pi . 3. Se i I Q i = , { Pi }i I consistente e se utiliza um mtodo de deciso qualquer para a Lgica Proposicional Clssica na extrao de conseqncias paraclssicas. 4. Se i I Q i = , { Pi }i I inconsistente e se procede do seguinte modo: escolhem-se subconjuntos consistentes de Pi s, utilizando a forma normal disjuntiva completa; para cada subconjunto consistente, colocam-se as proposies do subconjunto em forma normal conjuntiva completa; extraem-se conseqncias paraclssicas utilizando os conjuntivos dessas formas normais conjuntivas completas.
5. Consideraes nais Mostrei, a partir de um estudo de caso, como possvel fornecer credibilidade tese de que a lgica clssica ocupa um papel diferenciado em relao s lgicas noclssicas.3 O o condutor semelhante ao empregado por Peter Suber (apud Sautter 2004) para mostrar que um bom argumento no precisa utilizar nenhum raciocnio estranho ao universo da lgica clssica, mas, eventualmente, precisa agregar elementos extralgicos para tratar de questes extralgicas. Em que medida a abordagem paraclssica pode ser estendida lgica quanticacional, de tal modo que se utilizem procedimentos simples tais como os mtodos diagramticos de deciso ou as formas normais, uma questo em aberto. Outra questo em aberto, mais geral do que a anterior, diz respeito existncia de lgicas no-clssicas para as quais no se encontram elementos extralgicos naturais com os quais uma reduo do tipo acima realizado possa ser produzida. Finalmente, caso exista um sistema formal dessa natureza, ele um mero construto ad hoc, ou, de fato, razovel denomin-lo um Principia 13(2): 18594 (2009).
Silogsticas Paraclssicas
193
sistemalgico? O nus da prova cabe, a meu ver, aos defensores das lgicas noclssicas, pois, recorrendo frmula jurdica adotada por Leibniz, a possibilidade da decomposio em lgica clssica e elementos extralgicos sempre presumida, at que se prove o seu contrrio.4
Referncias Arruda, A. I. 1990. N. A. Vasiliev e a lgica paraconsistente. Coleo CLE, v. VII. Campinas: UNICAMP , Centro de Lgica, Epistemologia e Histria da Cincia. Carroll, L. 1986. Symbolic Logic. New York: Clarkson N. Potter. Chateaubriand, O. 2001. Logical forms. Part I Truth and Description. Coleo CLE, v. 34. Campinas: UNICAMP , Centro de Lgica, Epistemologia e Histria da Cincia. Gomes, E. L. & DOttaviano, I. M. L. 2009. Aristotles Theory of Deduction and Paraconsistency. Logic and Logical Philosophy. Submetido. 21 pginas. Lorenzen, P . 1969. Normative logic and ethics. Manheim/Zrich: Bibliographisches Institut. ukasiewicz, J. 1977. La silogstica de Aristteles: desde el punto de vista de la lgica formal moderna. Madrid: Tecnos. Sautter, F. T. 2004. Teoria dos estgios da argumentao. In Candido, C. & Carbonara, V . (orgs.) Filosoa e Ensino: um dilogo transdisciplinar. Iju: Editora UNIJU, 23344. FRANK THOMAS SAUTTER Departamento de Filosoa Universidade Federal de Santa Maria Campus Universitrio, km 9, Camobi 97105-900 Santa Maria, RS Brasil ftsautter@gmail.com Resumo. A maioria, talvez todas, as lgicas no-clssicas so um amlgama da lgica clssica com elementos extralgicos. Possivelmente esta tese no possui uma prova geral, mas somente um argumento caso a caso possa ser fornecido. Discuto um caso de paraconsistncia que resulta da aplicao de um ltro a duas silogsticas. Essas silogsticas incorporam duas idias de Nikolai Vasiliev: a idia de um sistema completo de juzos contrrios, e a idia de juzos duplos. Tambm mostro como esses resultados podem ser estendidos lgica proposicional, com a ajuda das formas normais conjuntiva e disjuntiva. Apesar da aparncia no-clssica, utilize-se, sem exceo, a noo clssica de validade dedutiva: uma concluso no pode veicular mais informao, mas pode veicular menos informao, do que a informao veiculada pelo conjunto das premissas. Palavras-chave: Silogsticas, lgicas paraclssicas, diagramas de Venn.
Principia 13(2): 18594 (2009).
194
Frank Thomas Sautter
Notas 1
Essa idia tambm se encontra na obra lgica de Lewis Carroll (1986), porque Carroll entende que o juzo universal armativo um juzo duplo: Todo A B signica que algum A B e que nenhum A no-B . 2 As relaes de oposio contrria entre os trs tipos de juzo formam um conjunto completo de relaes de oposio contrria, ou seja, nenhum outro tipo de juzo necessrio para formar o par com um dado tipo de juzo entre os trs disponveis. 3 Um leitor de uma verso preliminar deste trabalho observou que um estudo de caso pouco para apoiar minha tese central. A rigor, seguindo uma lgica popperiana, um nmero qualquer de estudos de casos, desde que no inclua todos os casos possveis, ainda ser pouco. Um segundo estudo de caso favorvel minha tese diz respeito ampla famlia das lgicas modais alticas. Lorenzen (1969) identica as lgicas modais alticas (nticas) com uma forma de apresentao da metateoria da lgica clssica. Uma possvel refutao minha tese poderia advir, por exemplo, da interpretao de Chateaubriand (2001) da lgica intuicionista. Para ele, a lgica intuicionista no deve ser entendida como uma lgica do conhecimento, mas a partir de uma concepo da realidade distinta da concepo clssica. 4 Este trabalho dedicado ao Prof. Newton C. A. da Costa pelos seus 80 anos. A pesquisa deste trabalho foi nanceiramente suportada pelo CNPq, uma agncia brasileira voltada para o suporte nanceiro pesquisa cientca, atravs de uma bolsa de produtividade. Ele tambm est vinculado ao projeto de pesquisa Visualizao, do CNPq, do qual o autor participa como colaborador. Uma verso preliminar deste trabalho foi apresentada no workshop Aspectos Lgicos da Negao, realizado em Natal/RN.
