|
Petição com Lógica
Jurídica Paraconsistente
na Ação Popular do PIS/PASEP |
|
|
Home Page
Excelentíssimo(a)
Senhor(a) Doutor(a) Juiz(a) Federal da 8ª Vara Cível da Seção da Justiça Federal de
São Paulo
(6 FEV 020668)
Autos nº 98.0044701-6
Ação Popular
Autor: Carlos Perin Filho
Réus: Caixa Econômica Federal e Outras
Carlos Perin Filho, residente na Internet, em www.carlosperinfilho.net
(sinta-se livre para navegar), nos autos da ação em epígrafe, venho, respeitosamente,
à presença de Vossa Excelência, em desenvolvimento da terminologia empregada na
exordial, expor o que segue.
A exordial faz
referência a "paradoxos" em "Da Terminologia a adotar na Reconfiguração
dos Paradoxos de Direito Público a Reconhecer e Superar" (fls. 06).
Mister render aquele substantivo por outro, mais significativo:
"paraconsistências" são consideradas as situações de fato e/ou de direito
nos quais a lógica tradicional se revela inadequada, conforme exemplificações de NEWTON
C. A. DA COSTA at al., in verbis:
"3.3 LÓGICA PARACONSISTENTE MODELANDO O CONHECIMENTO HUMANO
No mundo em que vivemos é comum depararmos com inconsistências em
nosso cotidiano. Para simplificar o entendimento da proposta e o significado da lógica
paraconsistente, realçando a importância de sua aplicação em situações em que a
lógica clássica é incapaz de gerar bons resultados, são discutidos nessa seção
alguns exemplos.
Em todos os exemplos que serão apresentados, as situações de
insonsistências e as indefinições estão presentes. O objetivo é mostrar que a lógica
paraconsistente pode ser aplicada para modelar conhecimentos por meio de procura de
evidências, de tal forma que os resultados obtidos são aproximados do raciocínio
humano.
Exemplo 1: Numa reunião de condomínio, para decidir uma
reforma no prédio, nem sempre as opiniões dos condôminos são unânimes. Se sempre
houvesse unanimidade, isso facilitaria muito a decisão do síndico. Alguns querem a
reforma, outras não, gerando contradições. Outros nem mesmo têm opinião formada,
gerando indefinições. A análise detalhada de todas as opiniões, contraditórias,
indefinidas, contra e a favor, pode originar buscas de outras informações para gerar uma
decisão de aceitação ou não da reforma do prédio. A decisão tomada vai ser baseada
nas evidências trazidas pelas diferentes opiniões.
Exemplo 2: Um administrador, chefe de uma equipe, que tem a
missão de promover um de seus funcionários, deve avaliar várias informações antes de
deferir o pedido. As informações provavelmente virão de várias fontes: departamento
pessoal, chefia direta, colegas de trabalho etc. É de se prever que essas informações
vindas de várias fontes podem ser conflitantes, imprecisas, totalmente favoráveis ou
ainda totalmente contrárias. Compete ao administrador a análise dessas múltiplas
informações para tomar uma decisão de deferimento ou indeferimento. Com todas as
informações o administrador pode ainda considerar as informações insuficientes ou
então totalmente contraditórias; nesse caso, novas informações deverão ser buscadas.
Como foi visto nos dois exemplos anteriores, a principal
característica do comportamento humano é tomar decisões conforme os estímulos
recebidos provenientes das variações de seu meio ambiente. Na realidade, as variações
das condições ambientais são muitas e, às vezes, inesperadas, resultando em estímulos
quase sempre contraditórios. Em face disso, é necessária a utilização de uma lógica
que contemple todas essas variações e não apenas duas, como faz a lógica tradicional
ou clássica. Portanto, fica claro que há algumas situações em que a lógica clássica
é incapaz de tratar adequadamente os sinais lógicos envolvidos. É nesses casos que os
circuitos e sistemas computacionais lógicos, que utilizam a lógica binária, ficam
impossibilitados de qualquer ação e não podem ser aplicados. Por conseguinte,
necessitamos buscar sistemas lógicos em que se permita manipular diretamente toda essa
faixa de informações e assim descreva não um mundo binário, mas real.
Exemplo 3: Um operário que atravessa uma sala para realizar
determinado serviço em uma indústria pode ter seus óculos inesperadamente embaçados
pela poluição ou pelo vapor. Sua atitude mais provável é parar e fazer a limpeza em
suas lentes para depois seguir em frente. Esse é um caso típico de indefinição nas
informações. O operário foi impedido de avançar por falta de informações oriundas de
seus sensores da visão sobre o ambiente. Por outro lado, o operário pode, ao atravessar
a sala na obscuridade, deparar com uma porta de vidro que emita reflexo da luz ambiental,
confundindo sua passagem pelo ambiente. Esse é um caso típico de inconsistência, porque
as informações foram detectadas por seus sensores da visão com duplo sentido. O
comportamento normal do operário é parar, olhar mais atentamente. Caso seja necessário,
deve modificar o ângulo de visão, deslocando-se de lado para diminuir o efeito
reflexivo; somente quando tiver certeza, vai desviar da porta de vidro e seguir em frente.
Exemplo 4: Um quarto exemplo em que aparecem situações
contraditórias e indeterminadas pode ser descrito do seguinte modo:
Uma pessoa que está prestes a atravessar uma região pantanosa recebe
uma informação visual de que o solo é firme. Essa informação tem como base a
aparência da vegetação rasteira a sua frente. Essa informação, vinda de seus sensores
da visão, dá um grau de crença elevado à afirmativa: "pode pisar o solo
sem perigo". Não obstante, com o auxílio de um pequeno galho de árvore, testa
a dureza do solo e verifica que o mesmo não é tão firme como parecia.
Nesse exemplo, o teste com os sensores do tato indicou um grau de crença
menor do que o obtido pelos sensores da visão. Podemos atribuir arbitrariamente um valor
médio de grau de crença da afirmativa: "pode pisar o solo sem perigo".
Essas duas informações constituem um grau de conflito que faria a
pessoa ficar com certa dúvida, quanto à decisão de avançar ou não. A atitude mais
óbvia a tomar é procurar novas informações ou evidências que podem aumentar ou
diminuir o valor do grau de crença que foi atribuído às duas primeiras
medições. A procura de novas evidências, como efetuar novos testes com o galho, jogar
uma pedra etc., vai fazer variar o valor do grau de credibilidade. Percebendo que as
informações ainda não são suficientes, portanto consideradas indefinidas, é provável
que essa pessoa vá avançar com cautela e fazer novas medições, buscando outras
evidências que a ajudem na tomada de decisão. A conclusão dessas novas medições pode
ser um aumento no valor do grau de credibilidade para 100%, o que faria avançar com toda
confiança, sem nenhum temor. Por outro lado, a conclusão pode ser uma diminuição no
valor do grau de credibilidade, obrigando-a a procurar outro caminho.
A lógica paraconsistente pode modelar o comportamento humano
apresentado nesses exemplos e assim ser aplicada em sistemas de controle, porque se
apresenta mais completa e mais adequada para tratar situações reais, com possibilidades
de, além de tratar inconsistências, também contemplar a indefinição."
(In: LÓGICA PARACONSISTENTE APLICADA, em co-autoria de JAIR
MINORO ABE, JOÃO I. DA SILVA, AFRÂNIO CARLOS MUROLO e CASEMIRO FERNANDO S. LEITE, Atlas,
1999, p. 37/9)
A lógica paraconsistente supra exemplificada é muito
importante para o oportuno e conveniente desenvolvimento do Direito, conforme ensina
CLAUDIA MARIA BARBOSA, in verbis:
"[5] A contribuição da lógica paraconsistente
A lógica deôntica é uma das muitas lógicas desenvolvidas a
partir da lógica clássica, sendo considerada uma lógica complementar a esta. De um
lado, porque observa as principais regras de inferência que caracterizam a lógica
clássica, quais sejam, as chamadas Leis do Pensamento; de outro lado, porque os
operadores de que se utilizam (obrigatório, proibido, permitido), permitem uma maior
capacidade de expressão do que aqueles baseados unicamente na lógica tradicional.
As lógicas complementares alargam o âmbito de aplicação da lógica
clássica. Os operadores que utilizam modificam o aparato lingüístico sob o ponto de
vista sintático, embora não alterem nada de essencial do ponto de vista semântico.
Também neste âmbito, as modificações são suplementares e visam
tão somente a maior adequação às relações sintáticas expressas pelos novos
operadores.
Ao lado dos sistemas lógicos complementares à lógica clássica, há
os chamados sistemas divergentes, rivais daquela, como aqueles denominados sistemas
lógicos paraconsistentes, os quais tem sido desenvolvidos com o propósito de substituir
os sistemas clássicos em determinadas situações, onde a lógica clássica tem se
mostrado insuficiente.
Algumas dessas lógicas paraconsistentes - as mais conhecidas -
distinguem-se da lógica clássica exatamente por derrogarem pelo menos um de seus
princípio (sic), os quais indicou-se anteriormente por Leis de Pensamento.
A primeira destas lógicas heterodoxas denomina-se lógica
não-reflexiva, e caracteriza-se por colocar em cheque o princípio da identidade.
Uma segunda lógica é a denominada paracompleta; nesta, a lei do
terceiro excluído é derrogada, admitindo-se Conseqüentemente que duas proposições
contraditórias, A e ~A sejam ambas falsas.
Ao lado destes sistemas paracompletos, há as lógicas
paraconsistentes, cuja base é a derrogação do princípio da contradição.
Um sistema lógico estruturado conforme o princípio da contradição
afirma de duas proposições A e ~A que, se uma for verdadeira, a outra é falsa.
No esquema exposto por Newton DA COSTA, uma teoria dedutiva T, cuja
linguagem contenha um símbolo para a negação, é dita inconsistente se o conjunto de
seus teoremas contém ao menos dois deles, um dos quais sendo a negação do outro. Sendo
A e ~A tais teoremas, ambos integrantes de um mesmo sistema lógico, apresenta uma
contradição. A teoria T chama-se trivial (ou supercompleta) se todas as proposições
formuláveis em sua linguagem forem teoremas de T, ou dito de outra forma, se tudo o que
puder ser expresso na linguagem T puder ser provado em T.
Inconsistência e trivialidade não significam a mesma coisa, mas no
âmbito da lógica clássica são considerados conceitos equivalentes, uma vez que um
deles implica o outro.
Assim a presença de uma contradição trivializa T, ou seja, se em um
único sistema de lógica clássica forem derivadas duas sentenças, uma das quais sendo a
negação da outra, então qualquer sentença exprimível na linguagem T pode ser derivada
em T.
Dito de outra forma, nas lógicas ditas clássicas, em geral, é
válido o princípio ex falso sequitur quod libet, formalmente expresso pela
fórmula (A & ~A) - > B, que indica que "de uma falsidade, tudo se
segue". Ou, tomando-se em consideração a idéia da contradição, "de uma
contradição, qualquer coisa pode ser concluída".
Se tudo se pode concluir de uma falsidade ou de uma contradição,
pode-se provar qualquer coisa, e será impossível distinguir o falso do verdadeiro, de
forma que, desde o ponto de vista da lógica clássica, um sistema trivial é inútil,
porque se a partir dele tudo se pode afirmar, ele não acrescenta nenhuma informação.
As lógicas paraconsistentes buscam obstaculizar essa implicação
entre inconsistência e trivialidade, de forma que em um sistema se possam admitir
determinadas contradições sem que com isso se "contamine" o sistema como um
todo. São portanto sistemas lógicos capazes de fundamentar teorias inconsistentes e não
triviais. Assim, admite-se proposições contraditórias sem que por isso o sistema perca
seu valor científico.
Em um artigo denominado Normative Logics, Morality and Law,
Leila Zardo PUGA, Newton da COSTA e Roberto VERNENGO partem de duas constatações que por
si só, defendem eles, justificam a utilização de sistemas lógicos paraconsistentes no
direito.
De um lado, entendem que em sua grande maioria, os corpus
normativos legais, que compõem em grande parte o arcabouço legislativo de direito
contemporâneo, contêm normas que implicam contradições; por exemplo, uma mesma ação
é regulada como obrigatória e, ao mesmo tempo, como proibida. Ou então, em certas
circunstâncias, uma mesma ação é de um lado caracterizada como obrigatória e ao mesmo
tempo como não devida (proibida).
Estas circunstâncias ficam mais evidentes quando está-se frente a
dilemas deônticos, caracterizados quando uma pessoa deve cumprir uma ação que ela, ao
mesmo tempo, não está obrigada a desempenhar.
Assim, por exemplo, no caso de aborto espontâneo, particularmente
quando o feto e a mãe competem pela sobrevivência, isto é, quando apenas um deles
poderá sobreviver. Está-se diante de um dilema moral, e estes normalmente ensejam
conflitos normativos que um ordenamento comumente não consegue resolver.
A segunda aplicação vislumbrada pelos autores citados diz respeito
às lacunas legais e aos muitos conceitos vagos e ambíguos de que se utiliza o direito -
e não só ele - na definição de seus conceitos legais.
Em diferentes circunstâncias em que se utiliza um mesmo signo
lingüístico, este adquire diferentes conotações em função de se (sic) uso, das
situações em que é definido, e assim por diante. Sistemas formalizados neste caso
apresentariam a vantagem de contar com a precisão dos componentes do sistema e dos
operadores, formalmente traduzidos, com a vantagem de que, no sistema lógico
paraconsistente, a admissão de uma contradição não faz desmoronar todo o sistema.
Como já foi explicitado, a lógica clássica, e mesmo a lógica
deôntica complementar a esta, não admite contradições sem que com isso todo o sistema
entre em colapso. Dito de outra forma, a lógica clássica não abarca e tampouco admite
contradições que, consideram estes autores, são imanentes entre outras, ao direito e à
moral.
Nesse contexto é que se considera a utilidade das lógicas
paraconsistentes, e especialmente no caso do direito, a lógica deôntica paraconsistente,
que, embora ainda formalmente incipiente, busca justamente a elaboração de sistemas
lógicos que admitam contradições, sem que dessa assunção decorra a trivialidade do
sistema como um todo.
De fato, hoje admite-se que o direito abarca contradições, mas, de
formas variadas, diversos pensadores vem relativizando estes "problemas"
utilizando-se de conceitos variáveis de sistema, de unidade do ordenamento, e da própria
completude do direito.
Admite-se que a coerência é propriedade não do ordenamento como um
todo, mas de suas diversas partes (Tércio FERRAZ JR. Norberto BOBBIO).
Nesse contexto, o desenvolvimento de sistemas deônticos
paraconsistentes pode ser de grande utilidade porque através da formalização torna-se
mais fácil identificar a existência de paradoxos e enunciados que implicam sentenças
contraditórias, as quais a utilização da linguagem natural, por suas limitações, não
revela.
Observa-se que se fala em pluralidade de sistemas lógicos
paraconsistentes. Isto porque, como não há no estudo da lógica deôntica um único
sistema capaz de explicar e formalizar todo o direito, da mesma forma ocorre com as
lógicas paraconsistentes. Não há apenas uma, e tampouco as lógicas paracompletas e
não-reflexivas expressam a totalidade das lógicas heterodoxas.
A discussão quanto ao objeto, à função e distinção das normas e
das proposições normativas, suas estrutura, a possibilidade de aplicação dos
princípio (sic) lógicos às normas, e sua adequada formalização, também estão
presentes quando se tem em conta a perspectiva da formalização de um sistema lógico
paraconsistente.
Também aqui se discutem os operadores que compõe a lógica deôntica,
e a perspectiva de uma lógica multivalorativa que proponha outros valores além do
verdadeiro ou falso, ou mesmo do válido ou inválido, conforme o caso.
A premissa que une as diversas propostas que já apareceram e que
continuam a surgir neste campo, é a possibilidade de construção de uma lógica onde
admita-se a existência de contradição sem que com isso o sistema perca sua utilidade.
Dito de outra forma, uma lógica inconsistente, mas não trivial.
É nesse sentido que pode estar se abrindo um novo caminho para que
(sic) o direito, mesmo com contradições e lacunas que traduzem a própria complexidade
das relações sociais. Nessa perspectiva, a lógica deôntica paraconsistente passa a ser
instrumento importantíssimo de análise do próprio direito e da ciência
jurídica."
(In: PARADOXOS DA AUTO-OBSERVAÇÃO - PERCURSOS DA TEORIA JURÍDICA
CONTEMPORÂNEA, organizado por LEONEL SEVERO ROCHA, JM Editora, Curitiba, 1997, p.
89/92)
A lógica paraconsistente, na teoria e na prática supra
exemplificadas, repercute na metodologia científica também do Direito Administrativo, ao
conferir estruturas lógicas novas aos seus métodos, conforme ensina JOSÉ CRETELLA
JÚNIOR, in verbis:
"Capítulo XV
METODOLOGIA DO DIREITO ADMINISTRATIVO
127. O problema do método
O direito administrativo utiliza-se de método próprio,
para a estrutura de seus institutos.
Método é o caminho que o espírito humano percorre para
atingir o objeto. É o conjunto de regras que disciplinam a razão,
orientando-a para o conhecimento da verdade.
O procedimento metódico, que se contrapõe ao casual, conduz
o sujeito cognoscente ao objetivo visado, evitando-se desse modo a tentativa
assistemática, o caminho inadequado, que acarreta inútil perda de tempo e afastamento
progressivo da verdade, podendo ser o método comparado a um mapa preciso que
indica a verdadeira rota, sem divagações, levando dentro de pouco à identificação dos
termos do binômio sujeito-objeto, ao contrário da indefinida informação oral, dada por
um leigo, que apenas por coincidência guiará o caminhante ao ponto exato que pretende
alcançar.
Cada ciência pesquisa as características de determinado tipo de
objeto (aspecto formal), havendo muitas ciências que consideram o mesmo objeto (aspecto
material), sendo o primeiro aspecto - o formal - que torna diferente uma ciência de
outra.
Cabe à metodologia investigar e descobrir qual dentre os
vários processos racionais é peculiar a uma dada ciência. Assim, Metodologia é
a ciência que descobre o método com que cada ciência deve trabalhar para atingir seu
objeto. É a ciência da seleção do método adequado.
Assim como nas ciências físico-naturais há um caminho que se adapta
aos objetos do mundo físico (objetos naturais), também nas ciências jurídicas e
sociais existem categorias especiais de métodos que se flexionam ao mundo cultural em que
outros objetos se movimentam. E, do mesmo modo que, na maioria das vezes, não é
indiferente a escolha de via terrestre, marítima ou aérea, para chegar a determinado
tempo, inacessível, a uma das vias indicadas, no mundo das ciências é preciso também
descobrir quais as rotas mais compatíveis para a apreensão dos diferentes objetos.
Que tipo de objeto é o direito? Que método ou caminho
deve ser empregado para captá-lo do mundo mais completo possível?
Tais indagações competem à filosofia do direito, que auxilia os
diversos ramos do direito, na perseguição exata e completa de seus respectivos objetos.
Depende de duas circunstâncias a eleição do método em
questão: do fim que se pretende alcançar e da natureza da disciplina a que
deve aplicar-se.
Teoricamente falando e levando-se em consideração os diferentes
momentos do trabalho científico, admitem os métodos, em geral, uma tríplice
classificação: a) métodos de pesquisa; b) métodos de
sistematização; c) métodos de exposição.
Os métodos de pesquisa dirigem-se aos objetos para depois
receber formalização em juízos certos ou prováveis.
Os métodos de sistematização e os de exposição
trabalham com os resultados alcançados pelos primeiros, contribuindo para divulgá-los.
Há muitas outras espécies de métodos, como os discursivos ou
de inferência mediata e os intuitivos ou de inferência imediata.
Consiste o método discursivo numa série de esforços
sucessivos em torno do objeto para envolvê-lo, mediante uma série de proposições que
se encadeiam, progressivamente.
Consiste o método intuitivo em operação integral, única e
indivisa do espírito, que se projeta sobre o objeto e o domina, abrangendo-o numa
panvisão, sem que nada - nenhuma proposição, nenhum juízo - se interponha entre o
sujeito cognoscente e o objeto cognoscível.
O método discursivo compreende não só a dedução, que parte
de uma verdade ou princípio geral e chega a uma verdade individual e limitada, havendo,
pois, uma espécie de descida entre um princípio e uma conclusão verdadeira, como
também a indução, que segue o caminho inverso, partindo do caso particular para
consubstanciar-se em um princípio geral. Divide-se a indução em aristotélica e baconiana.
Os métodos de inferência imediata estão reunidos sob o
título genérico de métodos intuitivos.
Intuição, em sentido lato, é a "visão direta do objeto
pelo sujeito", é o "contato integral e imediato dos dois termos do binômio
sujeito-objeto", a tal ponto que, nada se colocando de permeio entre ambos, é
possível a mais perfeita identificação de quem procura com o objetivo procurado.
A intuição pode ser sensível e espiritual,
compreendendo esta última, a intelectual, a emotiva e a volitiva.
Há ainda várias outras modalidades de intuições: a de Bergson, a de Husserl.
Por esta simples apresentação não é difícil concluir como é
complexo, em filosofia, o problema do método e da metodologia."
(In: CURSO DE DIREITO ADMINISTRATIVO - DE ACORDO COM A
CONSTITUIÇÃO VIGENTE, Forense, 15ª ed. p. 175/7)
Para concluir esta abordagem terminológica sobre o método e a
evolução científica, mister manter o espírito jurídico aberto para novas percepções
fenomenológicas, pois "O método é tão infinito quanto a própria ciência"
como ensina EUGEN EHRLICH (cf. FUNDAMENTOS DA SOCIOLOGIA DO DIREITO, Unb, 1986, p. 388,
trad. RENÉ ERNANI GERTZ), e "Talvez seria melhor limitarmo-nos a conceber esta
maneira particular do pensamento jurídico como um estilo deste pensamento, que constitui
uma individualidade cultural da caráter próprio. Este estilo foi se formando no curso de
séculos e foi acentuado, às vezes mais, às vezes menos. Com o termo "estilo"
já estaria dito que não se pode separar este caráter do conteúdo, do pensamento, que
é efetivamente a maneira na qual este pensamento é exercitado em nossa comunidade
cultural. Entra-se neste estilo como que crescendo para dentro dele e a formação
jurídica é um conhecido testemunho como sucede este crescer para dentro. Este estilo se
situaria numa íntima relação de troca com as correntes fundamentais políticas,
espirituais e científicas de cada época, incorporando e elaborando os momentos mais
fortes destas correntes fundamentais. Este estilo não seria, portanto, algo apriórico,
mas parte da cultura global de um contexto jurídico, assim como o direito mesmo também
é apenas parte desta cultura. Pode-se, portanto, aceitar sem mais que em outros contextos
jurídicos se formou um outro estilo de trabalho jurídico e de pensamento jurídico, sem
que, no entanto, se tenha que tentar relacionar os estilos ou harmonizá-los de alguma
maneira entre si. Tais tentativas também não se fariam em relação com a história de
povos individuais e seus contextos culturais.", como ensina JAN SCHAPP (cf. PROBLEMAS
FUNDAMENTAIS DA METODOLOGIA JURÍDICA, Sergio Antonio Fabris Editor, Porto Alegre, 1985,
trad. ERNILDO STEIN).
Do exposto, requeiro o regular andamento desta actio popularis.
São Paulo, 16 de fevereiro de 2001.
179º da Independência e 113º da República Federativa do Brasil
Carlos Perin Filho
OAB-SP 109.649
E.T.: Nome e assinaturas não conferem frente aos documentos
apresentados com exordial em função da reconfiguração de direito em andamento, nos
termos da Ação Popular nº 98.0050468-0, 11ª Vara Federal de São Paulo, ora em grau de
Apelação, sob a relatoria do Desembargador Federal ANDRADE MARTINS, em autos sob nº
2000.03.99.030541-5 - www.trf3.gov.br -
Home Page
|
|