LGICA MATEMTICA E LGICA JURDICA: RELAES PARA A SALA DE AULA.

Joo Paulo Attie1, UESC jpattie@uesc.br Afonso Henriques2, UESC henry@uesc.br

INTRODUO Entre as vrias expectativas atreladas ao nascimento da moderna lgica matemtica, que se situa de fato no sculo XIX, talvez a mais promissora tenha sido proposta com quase dois sculos de antecedncia, pelo filsofo e matemtico Gottfried Wilhelm Leibniz (1646-1716). Leibniz dedicou um grande interesse pela lgica e consagrou dignos esforos em um plano concebido antes que completasse 20 anos de idade. Tal projeto visava a construo de uma linguagem artificial, que ele chamava de Characteristica Universalis (ou Lingua Philosophica) espcie de lgebra ou matemtica generalizada, por meio da qual as estruturas do pensamento e do raciocnio pudessem ser substitudas pelas estruturas do clculo. Tal conceito aparece em 1666 no livro Dissertatio de arte combinatria. Para Leibniz, a linguagem comum, sujeita a ambigidades e imprecises de toda ordem, no seria o veculo ideal para a conduo das idias e da comunicao. Seu objetivo passou a ser a construo de uma lngua racional, com leis sintticas lgicas, criada a partir do levantamento das idias mais simples, chamadas por ele de alfabeto dos pensamentos humanos (BLANCHE, 1985)3, de forma que as idias mais complexas pudessem ser desenvolvidas a partir desse alfabeto. No deixa de ser curioso o fato de que essa idia de uma linguagem simblica universal, criada artificialmente, tenha sido objeto de vrias tentativas de elaborao no sculo XVII, tendo, entretanto, outras intenes que no a de Leibniz, intenes mais
Professor de Matemtica Universidade Estadual de Santa Cruz UESC. Professor de Matemtica Universidade Estadual de Santa Cruz UESC. 3 Expresso conceituada por Ren Descartes praticamente um sculo antes. Leibniz cita a expresso na Carta ao Duque de Hannover
1 2

prticas que cientficas. O objetivo de John Wilkins e George Dalgarno, para citar dois dos exemplos que mais se aproximaram dessa realizao, era sobretudo facilitar as relaes internacionais, atravs do aperfeioamento dos transportes e dos intercmbios comerciais e cientficos (ECO, 2001). De qualquer forma, as vrias tentativas de edificao dessa lngua universal em um mesmo perodo um fenmeno digno de estudos mais aprofundados. A imaginvel execuo de seu plano, dava confiana a Leibniz na possibilidade de desenvolver regras mecnicas que determinariam a soluo de todos os problemas oriundos de imprecises e dvidas relativas comunicao atravs da linguagem natural. Se tivssemos isso, seramos capazes de raciocinar na metafsica e na moral, do mesmo modo que o fazemos na geometria e na anlise. Se surgissem controvrsias, no haveria mais necessidade de que os filsofos tivessem mais disputas do que as que ocorrem entre dois peritos em contabilidade. Pois bastaria que tomassem de seu lpis, sentassem diante de suas lousas e dissessem um ao outro: calculemos (RUSSEL, 1967) Como se v, um projeto extremamente ambicioso. Atualmente, podemos considerar como previsvel que Leibniz, apesar de intensos esforos, no houvesse logrado xito em sua inteno, apesar de terem sido geradas vrias conseqncias importantes a partir de seu trabalho. Entre as ditas cincias do esprito, consideramos que uma das que sofreriam transformaes com esse intento seria a cincia jurdica, ou cincia do direito. Ora, tanto a filosofia do direito como sua prtica, fundamentalmente, incitam ao estudo e desejvel resoluo das controvrsias entre os homens. Sabemos hoje, das dificuldades e de algumas das limitaes da empreitada proposta pelo filsofo do sculo XVII. Uma linguagem simblica, que obedea somente a regras lgicas, no contexto atual, no parece capaz de traduzir as invariveis nuances e gradaes intuitivas e subjetivas do pensamento humano. Ainda assim, existem grupos de pesquisadores, especialmente no campo das lgicas no-clssicas, investigando as interaes entre a linguagem natural, a linguagem simblica e as possveis relaes destas com a cincia do direito.

Ainda que estejamos nos restringindo ao campo da lgica clssica, que o escopo da Disciplina Lgica Matemtica da graduao, veremos que possvel estabelecer uma srie de relaes entre os domnios deste campo e os domnios da cincia jurdica. No captulo abaixo, alguns exemplos de como isto feito partindo-se de conceitos da lgica. ARGUMENTO Dos conceitos da lgica, talvez o mais largamente utilizado no campo do direito seja o conceito de argumento. Segundo alguns estudiosos e juristas, para o direito, a lgica no se ocuparia da realidade, mas apenas da validade ou no dos argumentos. Estes, no podem ser considerados falsos ou verdadeiros, mas to somente vlidos ou no vlidos. Pudemos notar, a esse propsito, uma pequena, mas relevante confuso terminolgica na definio de certos autores ao utilizarem as expresses argumento vlido e argumento consistente, como se fosse correto atribuir s duas expresses o mesmo significado. importante salientar, entretanto, que os autores consultados no diferem radicalmente na definio prpria do que seja um argumento. De uma srie de proposies iniciais, chamadas premissas, deve se chegar a uma concluso, atravs de uma inferncia que obedea rigorosamente aos trs princpios fundamentais da lgica clssica, os da no contradio, da identidade e do terceiro excludo. Em linhas gerais, autores como Costa, Mates e Salmon formulam os princpios da lgica de maneira bastante simples. O princpio da no contradio, em linguagem natural seria expresso por: uma proposio no pode ser, simultaneamente, verdadeira e falsa, e em linguagem simblica por (p p). Para o princpio do terceiro excludo: uma proposio ou verdadeira, ou falsa, ou (pp). E para o princpio da Identidade: O que , e o que no , no , ou ento p=p e p=p. No captulo a seguir, veremos agora como estabelecer as relaes entre os dois campos partindo-se de conceitos da cincia jurdica.

SISTEMA LGICO. ANTINOMIA E LACUNA Acerca das limitaes quanto utilizao de recursos da lgica, um terico da filosofia do direito defende que a nica certeza emanada da lgica a de que, sendo verdadeiro o antecedente e vlida a inferncia, ser verdadeira a concluso. Nada

mais.(COELHO, 1997). Seria, segundo essa viso, impossvel transformar ou tratar o direito como um sistema lgico, devido existncia de pouca relao possvel entre esses dois ramos do conhecimento, devido excessiva concretude do direito em face da excessiva abstrao da lgica. Ao nosso ver, necessrio ponderar que, ainda que haja poucas relaes entre as duas, com o que j no concordamos, como seria possvel pensar o sistema jurdico sem algumas noes, conceitos e relaes fundamentais emprestadas da lgica. Segundo Kelsen h, de fato, apenas duas espcies de situao no direito, que comprometem o rigor e a logicidade do sistema. Tais situaes so denominadas antinomias e lacunas. Por antinomia entende-se o conflito entre normas do mesmo ordenamento e por lacuna, a ausncia de norma para a disciplina de certo caso. A eventualidade de uma antinomia fere o princpio da no contradio, pois haveria duas normas antagnicas em relao a um dado acontecimento. Por outro lado, a ocorrncia de uma lacuna caracteriza a no observncia do princpio do terceiro excludo, j que o caso a ser considerado no pode ser aceito como verdadeiro e nem como falso. Entre as contribuies para a construo do direito enquanto sistema lgico, digno de interesse considerar a relao devida ao pensador italiano Norberto Bobbio, entre o quadro de proposies categricas da lgica clssica com um esquema por ele designado de quadro lgico-dentico. O quadro de proposies categricas esquematiza certas contradies e nveis de hierarquia entre quatro espcies de proposies, que chamaremos, para efeito de simplificao, de A, E, I e O4. A - proposies do tipo Todo X Y E - proposies do tipo Nenhum X Y I - proposies do tipo Algum X Y O - proposies do tipo Algum X no Y com o que teramos o seguinte quadro:

A sub al ter nos I

c o n t r r i o s con con tra tra di di trios trios s u b c o n t r r i o s

E sub al ter nos O

A origem da utilizao, na lngua portuguesa, destas letras para o quadro de proposies categricas reside no fato de que, para as proposies afirmativas, utilizam-se as duas primeiras vogais da palavra afirmo e, no caso das proposies negativas, as vogais da palavra nego.
4

J o quadro lgico-dentico de Bobbio, considera trs modos operados pelos enunciados jurdicos: obrigatrio, permitido e vedado. Para enunciados que consideram obrigatrio um comportamento p, utiliza-se a notao O(p); para os que o consideram permitido, utiliza-se P(p); finalmente, para enunciados que consideram um comportamento p, proibido, ou vedado, utiliza-se a notao V(p). Cumpre notar a seguinte tabela: O(p) = V(p) = P(p) V(p) = O(p) = P(p) P(p) = O(p) = V(p) P(p) = O(p) = V(p) Bobbio constri um quadro que guarda notvel semelhana com aquele utilizado no caso das proposies categricas envolvendo os quantificadores da lgica clssica:

O(p) sub al ter nos P(p)

c o n t r r i o s con con tra tra di di trios trios s u b c o n t r r i o s

V(p) sub al ter nos P(p)

Segundo o autor, uma antinomia s seria possvel em trs dos caminhos desse quadro, nas duas diagonais e na horizontal superior. A superao destas ocorre atualmente obedecendo a trs critrios, chamados de hierrquico, de especialidade e cronolgico, sendo que os dois primeiros exercem uma influncia maior que o terceiro. Quanto possibilidade da ocorrncia de lacunas, temos alguns aspectos a considerar. Em princpio, qualquer que seja o comportamento p, seria necessrio que houvesse uma norma que o proibisse ou permitisse, para que se esteja de acordo com o princpio do terceiro excludo. Alguns tericos defendem uma delimitao de espaos jurdicos, em que se designaria um espao jurdico pleno, que contenha todos os comportamentos referidos pelas normas do direito, e um espao jurdico vazio, que rene as demais condutas. Conclui-se, a partir da, que certas condutas seriam irrelevantes para o direito. Outro aspecto interessante dado justamente pelo caso da Constituio Federal do Brasil, que contm uma norma geral exclusiva, impossibilitando as lacunas. De acordo com o direito brasileiro atual, ningum obrigado a fazer ou deixar de fazer algo seno

em virtude da lei. Portanto, se no existir lei obrigando ou proibindo certa conduta, ela permitida. Como ento se pode falar em lacunas? Apesar disso, existe uma Lei de Introduo ao Cdigo Civil, que em seu artigo 4, determina a aplicao da analogia ou o socorro aos costumes, nesses casos. SILOGISMOS. IMPLICAES Segundo autores como Nascimento e Villanova, invariavelmente, a ocorrncia de lacunas resolvida por meio de uma analogia com algum caso que o juiz considere assemelhado. Podemos comparar trs categorias de silogismos a partir da: silogismo lgico MP SM Concluso: S P silogismo jurdico M deve ser P S deve ser M S deve ser P silogismo jurdico por

analogia M deve ser P S deve ser semelhante a M S deve ser

com uma clara diferena no caso da analogia, pois M e semelhante a M no significam a mesma coisa, trazendo uma ambigidade que no pode ser admitida em um silogismo que se considere vlido dentro do universo da lgica clssica. Por fim, gostaramos de citar um dos primeiros tericos da filosofia jurdica que se ocuparam deste tema, o das relaes possveis entre a Lgica e o Direito, o professor Ulrich Klug, da Universidade de Heidelberg, revela em seus estudos uma acentuada preocupao com a ambigidade da implicao. O terico considera que existiriam trs tipos que podemos chamar de implicao. O primeiro seria o que ele designa implicao extensiva, expressa na frmula (sempre que...ento), o segundo, a implicao intensiva (apenas se...ento) e a chamada implicao recproca (se e apenas se...ento). Teramos, de acordo com Klug, as seguintes tabelas verdade: implicao extensiva p V V F F q V F V F implicao intensiva pq V F V V pq V V F V implicao recproca pq V F F V

Concluso Esta concluso, por paradoxal que parea, no ser uma concluso nos moldes da lgica, pois no conseqncia de premissas, ou captulos anteriores. A palavra concluso aqui deve ser entendida mais como um fecho, um arremate e menos como uma inferncia. Feito esse esclarecimento, necessrio afirmar que, evidentemente, no pretendemos esgotar o assunto das relaes entre a lgica matemtica e o direito, at mesmo porque h questes que no puderam ser devidamente aprofundadas devido ao fato de que algumas das interaes tm sido discutidas atualmente no bojo das lgicas no clssicas, assunto que no tivemos como inteno tratar neste trabalho. Ainda assim, o propsito desse estudo unicamente o de incentivar a utilizao de aplicaes na disciplina Lgica Matemtica. Consideramos que a utilizao de exemplos concretos traz benefcios inegveis ao processo de ensino e aprendizagem. O desenvolvimento deste trabalho vem exatamente no sentido de expor alguns dos possveis caminhos nesse domnio. REFERNCIAS BIBLIOGRFICAS ECO, Umberto A Busca da Lngua Perfeita EDUSC. Bauru, 2001. KELSEN, Hans Normas Jurdicas e Anlise Lgica Editora Sergio Fabris. Porto Alegre, 1986. MATES, Benson Lgica Elementar Companhia Editora Nacional. So Paulo, 1968. Constituio da Repblica Federativa do Brasil - artigo 5, II NASCIMENTO, Edmundo Dants Lgica Aplicada Advocacia Editora Saraiva. So Paulo, 1991. SALMON, Wesley C. Lgica Prentice/Hall do Brasil. Rio de Janeiro, 1984. VILLANOVA, Lourival Lgica Jurdica Editora Jos Bushtsky. So Paulo, 1976. BLANCH, Robert Histria da Lgica de Aristteles a Bertrand Russel Edies 70. Lisboa, 1985. BOBBIO, Norberto Derecho y Lgica Centro de Estudio Filosficos de Universidad Autnoma de Mxico. Cidade do Mxico, 1965. COELHO, Fbio Ulhoa Roteiro de Lgica Jurdica Editora Max Limonad. So Paulo, 1997.

da COSTA, N. C. A. O conhecimento cientfico Discurso Editorial. So Paulo, 1999. KLUG, Ulrich Logica Juridica Publicaciones de la Facultad de Derecho de la Universidad Central. Caracas, 1961. RUSSEL, Bertrand Histria da Filosofia Ocidental, Livro Terceiro Companhia Editora Nacional. So Paulo, 1967.