1

Introduo
A lgica um ramo da filosofia que cuida das regras do raciocnio e do
pensamento, ou melhor, a cincia que infere no estudo do raciocnio, com
isso, o estudo que faz analogia a outros estudos, por meio da deduo.
A lgica a ordenao do raciocnio e do pensamento anteriormente a
expressar ou emitir um argumento, porque como toda cincia tem regras.
A lgica formal (dialtica, pura, terica) preocupa-se basicamente com
a estrutura do raciocnio - pensamento. A lgica formal lida com a relao entre
conceitos e definies, fornecendo um meio de compor os fatos e as provas.
Na lgica formal os conceitos so rigoramente bemn definidos e as sentenas
so transformadas em notaes simbolicas claras, compactas, objetivas e
precisas, sem qualquer ambiguidade.
Segundo Vilanova (1976, p. 737), A lgica um ponto de vista sobre o
conhecimento, porm adotando-se esta lgica, conhecimento da realidade,
quer exterior e quer interior como ponto de partida da investigao ou da busca
de resposta da pesquisa.
A lgica o estudo do raciocnio e do pensamento, de seus elementos.
A lgica procura estudar as coisas do raciocnio e do pensamento, com isso, a
lgica somente maus uma teoria do pensamento.
A lgica a arte que nos faz proceder, com ordem, facilmente e sem
erro, no ato prprio da razo (lgico-racional), que permite construir
argumentos coerentes e corretos nas cincias naturais, humanas e sociais, que
possibilita os argumentos corretos dos incorretos.
A relevncia fundamental da lgica reside no fato de que a observncia
de suas regras condio necessria e indispensvel para qualquer cincia.







2
A argumentao jurdica no mbito da lgica jurdica formal
A importncia da lgica jurdica e da argumentao est justamente em
preencher esse vazio deixado pela crise da modernidade, tornando as decises
mais aceitveis para sociedade, dessa maneira, at mesmo emprestando certa
legitimidade ao prprio direito.
Entretanto, a argumentao no se restringe a justificar as decises
dos operadores do Direito. Atienza estabelece trs contextos em que a
argumentao ocorre:
a) A produo ou estabelecimento de normas; b) A aplicao das
normas aos casos concretos. Lembre-se que no qualquer caso. A
Argumentao s ocorre quando o objeto de conflito o direito, ou seja, so,
na verdade, os casos de interpretao, resolvidos geralmente nas instncias
superiores dos tribunais; c) A dogmtica jurdica, por meio da criao de
critrios para aplicar o direito.
Atienza tambm deixa claro que preciso diferenciar a explicao da
demonstrao ou justificao, ou seja, na nomenclatura do autor, o Contexto
da Descoberta do Contexto da Justificao.
O primeiro consiste em descobrir ou enunciar teorias, ou seja, mostra
como o conhecimento cientfico se desenvolve. Exemplo de uma teoria acerca
do contexto da descoberta, no campo jurdico, seria o Modelo da Informao
Integrada, de Martin Kaplan. Para este autor, a deciso a soma ponderada de
todas as informaes obtidas e da impresso inicial do juiz.
A tese de Katharina Sobota tambm se enquadra nesse contexto, j
que a jurista alem diz a deciso ser baseada em critrios e motivos pessoais
do juiz. Somente depois de ter a resposta em mos que o magistrado
buscaria fundamentos no ordenamento.
O segundo consiste em confrontar a teoria com os fatos empricos, a
fim de comprovar sua validade, atividade que exige o auxlio da lgica e o rigor
do mtodo cientfico, a fim de se verificar sob quais condies pode-se
considerar um argumento vlido. Para isso, busca-se tanto a justificao formal
(oferecida pela lgica) quanto justificao material (porque a lgica, o
silogismo jurdico, no sempre suficiente para lidar com os conflitos).
3
Isso acontece porque a lgica formal deixa de lado as questes ticas,
axiolgicas e de contedo, que so obviamente importantes dentro do campo
do direito. Nem sempre um argumento perfeitamente lgico adequado; bem
como argumentos no lgicos, como as falcias e os entimemas, podem ser
bons argumentos.
O fato de que, no direito, no possvel falar em enunciados
verdadeiros ou falsos, somente contribui para a insuficincia da lgica dentro
da argumentao jurdica. O prprio Hans Kelsen defendia que o silogismo no
vlido no campo normativo.
Tanto a relao entre normas no de ordem lgica (vide as
antinomias dentro de um mesmo sistema), quanto o prprio silogismo judicial
encontra limites. Exemplos so: a) O carter insitucionalizado de avaliao de
provas: agravantes e atenuantes, personalidade do delinqente, condies
emocionais na hora do crime, so todos aspectos que influem
consideravelmente na resposta final, entretanto, que so avaliados segundo a
subjetividade e a arbitrariedade do juiz; b) Os entimemas de que fala Katharina
Sobota: a passagem de uma premissa a outra no necessria, como defende
a lgica aristotlica, mas sim plausvel ou provvel. Entretanto, as concluses
obtidas so tidas como verdades.
Tudo isso reflete os abismos e as perplexidades prprias da natureza
humana e de sua relao com o mundo, evidenciando um contexto de alta
complexidade, que, assim, se faz o maior empecilho argumentao e lgica
jurdicas.
Uma das alternativas de reduzir essa complexidade trabalhando-se
com os sistemas autopoiticos de Niklas Luhmann.
O sistema do direito se forma quando, se distingue suficientemente de
outras instituies presentes no ambiente, por meio da atribuio do cdigo do
binmio legal/no legal ou direito/no direito. Dentro do sistema, a
complexidade reduzida e se permite dar um tratamento mais adequado
pluralidade, diversidade e miscelnea de valores que compem a
sociedade moderna.
4
No contexto do sistema, a argumentao vista como um modo de
operao, de auto-observao do sistema jurdico, que reage, no contexto
comunicativo, a uma diferena de opinies que sero avaliadas segundo o
binmio legal/no legal e um meio de o sistema se autoconvencer,
funcionando numa direo, e no em outra.
Segundo Alda da Graa Marques Valverde, Nli Luiza Cavalieri Fetzner
e Nelson Carlos Tavares Junior (2013, p. 12-13) apresentam o seguinte quadro
esquemtico, adotando-se o mtodo comparativo para mostrar as diferenas e
semelhanas da justificao (demonstrao) e argumentao, tanto no que se
referir argumentao e justifcicao da lgica jurdica formal e material:

DEMONSTRAO ARGUMENTAO
Meio de prova, fundado na proposta
de uma racionalidade matemtica,
que visa a delimitar os passos a
serem percorridos (silogismo) para
deduzir premissas de outras j
existentes.
Atividade que objetiva o estudo das
tcnicas discursivas que permitem
provocar ou aumentar a adeso dos
espritos s teses que se
apresentam.
Estabelece regras imutveis,
prprias das cincias exatas e
naturais: raciocnios matemticos e
analticos.
Adota procedimentos flexveis,
prprios das cincias humanas e
sociais: raciocnios dialticos - mais
de uma tese - valores. Orador x
auditrio.
Lgica formal: Mtodo dedutivo
(geral para o particular).
Lgica do razovel: Mtodo indutivo
(particular para o geral).
Opera-se por axiomas. Recorre s teses.
Na rea jurdica, pode estar a
servio da argumentao -
premissas verdadeiras.
Busca a adeso dos espritos tese
apresentada - premissas verossmeis.
Silogismo lgico: Premissa maior
(PM) - norma. Premissa menor (Pm)
- fato. Concluso (C).
Entimema (tipo de silogismo
dialtico): Premissa menor (Pm) -
fato. Premissa maior (PM) - norma.
Concluso (C).
Atemporal. Histrica e temporal.
Utiliza uma linguagem artificial,
tcnica.
Recorre a uma linguagem comum,
simples, acessvel, que facilite a
persuaso.

incontroverso e no existe qualquer dvida de que a argumentao
lida, em certo campo do conhecimento, o espao que foi preenchido
anteriormente pela justificao (demonstrao).
5

As formas lgicas e o Direito
A teoria geral do Direito muito importante, pois sem esta teoria no se
domina sequer a teoria, no se tem a prtica, muito menos, o saber cientifico
especializado e sua aplicabilidade aos fatos concretos.
O Direito Positivo tem o objetivo de controlar a conduta, pois impe
formas normativas a fim de, por meio delas, alcanar fins.
O conhecimento um fato complexo, pois somente por meio dele
que se v, coloca nome e expressa proposies, aumentando conforme se
percebe outras coisas.
Para se chegar a uma proposio, devemos nos utilizar de um objeto
de anlise lgica, dando possibilidade de uma cincia especialmente dedicada
a isso, ou seja, a formalizao.
Formalizar abstrair a forma lgica, revestida na linguagem natural.
As estruturas formais lgico-jurdicas apresentam dimenso sinttica, o
que nos remete necessariamente a uma breve explicao acerca das partes
componentes da Semitica.
As formas lgicas so estruturas compostas de variveis e constantes:
uma estrutura cuja matria dada pelas variveis e cuja relao conferida
pelas constantes, no se compondo de nenhum objeto fsico do mundo,
tambm no est contida no processo fsico de pensar.
A lgica tem sido, ser sempre formal. A lgica consiste em potenciar o
formalismo e conferir preciso anlise formal (meta-linguagem), evitando a
multi-significao de um s vocbulo, esvaziando a linguagem de qualquer
comprometimento com os objetos individuais.
A linguagem lgica se utiliza de variveis e constantes, pois no
linguagem para conhecer objetos especificados, mas linguagem formalizada
(lgica racional).
Os smbolos utilizados so interpretados como representando sujeito,
predicado, varivel de proposio e expresses veritativas, dotadas de verdade
ou falsidade, oferecendo ao cientista especializado a Teoria da Prova Formal, a
determinao das condies formais da validade dos tipos de raciocnio.
6
A forma lgica obtida desprezando-se as constantes significativas
referentes aos fatos ou condutas, substituindo-as por variveis lgicas: a
estrutura reduzida uma proposio condicional com vrios antecedentes ou
hipteses para uma s consequncia ou tese.
A norma, ao incidir num fato (jurdico) vincula a esse fato um
relacionamento entre sujeitos de direito; que so os termos da relao jurdica,
ainda que s o sujeito da obrigao fique determinado e indeterminado o
sujeito pretensor.
Alm da validade como critrio fundamental da Lgica, esta cincia
contempla alguns princpios bsicos que garantem o rigor e a coerncia do
pensamento e do discurso (expresso verbal do pensamento).
Contudo, para um raciocnio ser lgico necessrio atender a trs
princpios: o princpio da identidade; o princpio da no contradio; o princpio
do terceiro excludo. Podemos defini-los, como: o princpio da identidade: a
veracidade das ideias; o princpio da no contradio: afirma que nenhum
pensamento, ao mesmo tempo, pode ser verdadeiro e falso; o princpio do
terceiro excludo: a no contradio das idias.
O Princpio da Identidade determina que todo o ser, igual a si prprio:
(X = X) e (A = A), uma girafa uma girafa - uma girafa igual a si mesma.
O Princpio de No Contradio determina que proposies
contraditrias no possam ser verdadeiras e falsas, ao mesmo tempo: (se X
verdadeiro e se X falso) e vice-versa: uma girafa no uma no girafa e
uma no girafa no uma girafa.
O Princpio do Terceiro Excludo determina que uma proposio, ou
verdadeira, ou falsa, no havendo terceira possibilidade ou meio termo: (se X
verdadeiro, no pode ser simultaneamente falso) e vice-versa: entre um ser
que uma girafa e um ser que no uma girafa, no existe terceira
possibilidade ou meio termo: no existem camelogirafas ou patogirafas, esta
terceira hiptese est excluda.

Os princpios fundamentais da Lgica Clssica e o Direito: identidade,
no contradio e terceiro excludo
7
Podemos dizer que o direito adquire cientificidade ou racionalidade a
partir da utilizao de uma linguagem prpria, formalmente coerente e precisa,
nos moldes da lgica clssica, empregando-se princpios como os de premissa
inicial, identidade, no contradio e terceiro excludo. Tais instrumentos so
utilizados, mas com um diferencial: nas cincias exatas a relao entre o
antecedente e o consequente o verbo ser, em uma relao de causalidade:
se A, logo B; no Direito, h entre o antecedente e o consequente uma relao
de dever ser: se A, deve ser B.
O princpio da identidade no como poderia aparecer reiterao
abstrata de um termo como sujeito e predicado. Na sua forma proposicional,
como observa Hegel, no h promessa de uma distino entre sujeito e
predicado, bem como identidade. A verdadeira apreciao deste princpio
encontrada em Leibniz, que afirma que toda verdade a identidade, mas no
uma repetio vazia despojado de diferena. O Princpio da identidade a
afirmao da unidade do que diferente.
O princpio de identidade no derivado de qualquer um dos outros,
mas a partir das reflexes de Aristteles sobre a unidade e ser: Para perguntar
por que algo por si s investigar nada, pois o fato ou a existncia de algo
que deve ser clara.
O principio de no contradio afirma que no o caso de um
enunciado e de sua negao. Portanto, duas proposies contraditrias no
podem ser ambas verdadeiras: se for verdadeira que alguns seres humanos
no so justos, falso que todos os seres humanes so justos". No se pode
afirmar e negar um mesmo predicado de um mesmo conceito-sujeito; duas
proposies contraditrias no podem ser ambas verdadeiras.
O princpio do terceiro excludo a terceira das trs leis clssicas do
pensamento. Afirma que, para qualquer proposio, verdadeira ou a sua
negao verdadeira. Ou seja, uma coisa deve ser de uma forma ou de outra,
no h meio termo. Um bom exemplo seria se "Scrates mortal" e "Ou
Scrates mortal, ou no o caso de que Scrates mortal", a posio
"meio", que Scrates no mortal, nem no-mortal, excludo pela lgica e
assim quer a primeira possibilidade (de que Scrates mortal) ou a sua
8
negao (que Scrates no mortal) deve ser verdade. O predicado convm
ou no ao conceito; toda sem sentena ou verdadeira ou falsa.

Concluso
A Lgica Clssica constituda pela Lgica Formal ou Simblica ou
Matemtica - se preocupa basicamente com a estrutura do pensamento (do
raciocnio) e ocupa-se da relao entre conceitos, fornecendo um meio de
compor provas de declaraes fticas, cujos conceitos so rgida e
rigorosamente definidos e as sentenas so transformadas em notaes
simblicascompactas e exatas e sem ambiguadades - pela Lgica Material,
aquela que estuda os mtodos e leis do pensamento para identificar aqueles
que levam concluso verdadeira e aqueles que conduzem a concluso falsa.
A lgica formal (dialtica, pura, terica) interessa-se pelas formas mais
gerais do pensamento - ideia, juzo e raciocnio - procurando que este
pensamento tenha coerncia e coeso, consigo mesmo. Formalmente o
raciocnio tem que ser conduzido ntegro e corretamente, pois necessrio ter-
se coerncia e coeso, consigo mesmo. Entretanto, pode no ser verdadeiro
por engano daquele que o formulou ao equivocar-se na proposio afirmada.
No entanto, a correo (formal) no implica a verdade (material) pelo que o
raciocnio, por exemplo, em uma proposio: todos os homens so malucos.
Scrates homem. Logo, Scrates louro, pode ser correta esta afirmativa,
mas no o verdadeira.
A teoria de Alexy uma teoria do racional jurdico como razovel e
processualizvel discursivamente, tendo em vistas as pretenses universais de
demonstrao e justificao de discursos. Naso do Direito Constitucional de
ponderao justificada na soluo de colises e conflitos entre direitos
fundamentais e seus princpios. Ainda mais relevante com a metodologia
argumentativa de Alexy tem-se como construir e justificar direitos fundamentais
e direitos humanos nos nveis cosmopolita e nacional, fortalecendo o projeto
poltico kantiano da paz perptua e da prpria democracia.
9
Para que um raciocnio ou pensamento possa ser lgico
imprescindvel que atenda aos trs princpios fundamentais: da identidade, da
no contradio e do terceiro excludo.
Uma coisa a prova formal, outra a prova emprica, outra a prova
processual, que visa criar a convico que orienta a deciso administrativa ou
judicial, pois um instrumento processual, regido por normas processuais, que
determinam a quem cabe o nus da prova, que meios de prova so
admissveis e os seus efeitos normativos dessas provas no direito, realizados
com lgica e formalismo.
A Lgica Jurdica o estudo da aplicao da lgica ao Judicirio. A
lgica do direito pode ser interpretada como uma metodologia jurdica por
necessitar na soluo justa das lides, expresar nas sentenas um fundamento
lgico-racional a respeito dos direitos tutelados e buscados pelas partes
envolvidas no conflito, considerando-se como uma lgica especial de um meio
do conhecimento jurdico, no estudo e anlise de um processo administrativo
ou judicial em que as inferncias, querem seja vlida ou no, devem seguir
uma mesma linha lgica para conduzir-se um raciocnio est correto,
equivocado ou errado, para clarear o caminho que conduza finalizao do
processo.

Referncias Bibliogrficas
ALEXY, Robert. Teoria da Argumentao Jurdica: A Teoria do Discurso
Racional como Teoria da Justificao Jurdica. 2. ed. Traduo de Zilda
Hutchinson Schild Silva. So Paulo: Landy, 2008.
ALVES, Alar Caff. Lgica: pensamento formal e argumentao. 4. ed.
So Paulo: Quartier Latin, 2005.
ATIENZA, Manuel. As razes do Direito: teorias da argumentao jurdica.
So Paulo: Landy, 2002.
FLEURY, Aid Buzaid. Introduo lgica jurdica: fundamentos
filosficos. So Paulo: LTr, 2002.
Kant, Immanuel. Lgica. Rio de Janeiro: Tempo Brasileiro, 1992.
10
MONTEIRO, Cludia Servilha. Teoria da Argumentao Jurdica e Nova
Retrica. 3. ed. Rio de Janeiro: Lmen Juris, 2006.
NERICI, Imideo Giuseppe. Introduo Lgica. 9. ed. So Paulo: Nobel,
1985.
PERELMAN, Cham. Lgica jurdica: nova retrica. Traduo de Vergnia K.
Pupi. So Paulo: Martins Fontes, 2004.
RODRIGUEZ, Victor Gabriel. Argumentao jurdica: tcnicas de persuaso
e lgica informal. So Paulo: Martins Fontes, 2005.
SUDATTI, Ariani Bueno. Raciocnio jurdico e nova retrica. So Paulo:
Quartier Latin, 2003.
VALVERDE; FETZNER E TAVARES, Alda da Graa Marques; Nli Luiza
Cavalieri e Nelson Carlos Junior. Lies de Argumentao Jurdica: Da
Teoria Prtica. 2 ed. Rio de Janeiro: Forense, 2013.
VILANOVA, Lourival. Lgica Jurdica. So Paulo: Bushatsky, 1976.