Escolar Documentos
Profissional Documentos
Cultura Documentos
BDigOES 'JJURfDICA"
* Direito Processual
vil
* Os Principios Constitu
cionais e o Codigo de
Processo Civil
ANTONIO CRAVES
* Responsabilidade-Civil
CANDIDO R.DINAMARCO
E.D.MONIZ DE ARAGAG
* A Correisao Parcial
* Liberdades Publicas
J.MOTTA MAIA
* Comentarios ao Codigo
Iributario Naeibnal
LEIB SOIBELMAN
* Dicionario Geral de
reito - 2 vols,
* Direito Constitucional
Comparado - I- 0 Poder
C ons ti tUinte
M.DUARTE SEGURADO
* 0 Direito no Brasil
(Historia do Direito
Brasileiro)
* Do Julgamento conforme
o Estado do Processo
* Direito Intertemporal
e a Nova CodificaQao
Processual Penal
VALMIR PONIES
* Programa de Institu_i
joes de Direito Pri
do (Civil e Comercial)
Logica
Juridica
FICHA CATALOGRAFICA
CDU 340.115
LOGICA
JURlbiCA
Copyright 1976 by
Livraria e Editora Juridica Jose flushatsky
Ltda^
Capa; FLAvio
Prefacio 9
Capltulo I 13
Sumario: 0 teraa da Logica. A
forma l5glca. Em que consi£
tern as formas logicas. Inev^
tabilidade da linguagem. Iso
lamento tematico da forma lo
gica. A estrutura da forma
logica. Confusao de pianos.
Autonomia da regiao do logos.
0 Simbolismo. Generaliza9ao
e formalizagao.
Capltulo II 43
Sumario: A linguagem logica.
Pluralismo de linguagens.Ine
xistencia aparente de niveis.
Idempotencia no interior de
urn sistema de linguagem. Re
gresso ao Intuitivo. Logica
material e Ldgica aplicada.
Logica como metodologia. Lo
gica juridica como metodolo
gia.
Capitulo III 75
Sumario; Como e possivel uma
Logica ;juridica formal? For
maliza9ao da linguagem-de-ob
jetos. Estruturas formais
deonticas. Substrato ontolo
gico da Logica juridica. 0
substrato da forma dever-
ser. 0 dever-ser como forma
de sintese. O dever-ser co
mo termo relacionante especT
fico.
Capitulo IV 109
Sumario; A forma l5gica e seu
universo-objeto. _ Estrutura
Deontica e Situagao Objetiva.
Triparti9ao do universo da
conduta. Bivalencia da Propo
sigao Normative. Valores lo.
gioos e modos-de-referencia
objetiva. Comportaraento sin
tatico dos valores. Uma Logi'
ca deontica trivalente.
Capitulo V • . 141
Sumario: Functores apofanti
cos e functores deonticos. U
nidade e pluralidade do lo
gos. 0 encontro na gramatica
pura. Um exemplo de redu^ao.
Comentario sobre a tese da
redu^ao. Fungao descritiva
da hipotese. Ingresso em do
minio nao-formal.
.\ ■■
p.refAcio
0 Qurista,predominantemente oier^
tista, ou predominentemente profi^
sional na vida forense, oomplementan
do a investigagao espeoializada da
dogmdtioa quridioa, a que se dedioa,
com esses dois tipos de investigagdo
geral - a Logioa jurtdiaa formal e a
Teoria Geral do Direito - impedem a
rotina e a estagnagdo dos estudos ju
10
r>id-tao8. Ao mesmo tempo, de-oolvem 'a
provisdo de saber geral nao apenas
para o incremento da Cienoi-a do
reito, mas para o desenvolvimento a
perfeigoado do direito positivo.Pois,
desde Savigny, sabe-se que part-icula
ridade da cienoia juri.dica e aonhe_
oer o direito positivo, seu objeto,
e, tambem, retroinoidir sobre o d^
reito mesmo, como parte integrants
no proaesao inaessante de sua forma
gdo: duptioe fungdo - uma reproduti
va do objetos outra produtiva de seu
objeto.
Este ensaio e apenas uma introdu
gdo. Nao entra em pormenores e pro_
aura evitar o teaniaismo de uma lin
21
ma e desenvolvido com problemas espe
ctficos de seu oampo de invest-iga
goes. Somente par esse caminho se
fas o teste de validade das general^
zagoes e se peroehe a ponte que vin
cula o abstrato ao aoncreto, as can
aeitos d experiencia, as teorias ge
vais as teorias paTtioulares.
12
Capitulo 1
0 TEMA
DA LOGICA
15
Ill) o dado-de-fatOi objeto do co
nhecimento;
16
o conhecimento e um fato com
17
a vida da coletividade,aecionar o fa
to, integro: incidir a investigagao
sobre o sujelto cognoscente (examl
nando as inter-relagoes dos atos de
querer, de sentir e de pensar),ou in
cidir o estudo sobre este ou aquele
ato, ou interessar-me pelo dado-de-
-fato, que esta all, no mundo exte
rior, ou aqui, em meu mundo intimo,
ou verter-se sobre a linguagem {f^
zendo psicologia da linguagem, lin
guistica geral ou especial, sociolo
gia da linguagem, estetica da lingua
gem, etc.), ou, finalmente,converter
a.proposigao, em si mesma, como pro
posiqao (na terminolpgia classica,
juizo, pensamento)_^em foco de minhas
indagaqoes.
18
proposicional do conhecimento.E pre^
cinde-se da vertente natural da pro
posigao para o seu correlato objeti
vo (situagao objetiva, "state-of-a_f
fairs"). Corta-se o vinculo com o su
jeito que a capta ou constroi; deixa
se de parte a linguagem, que e seu
suporte fisico e ponto de encontro
dos diversos sujeitos participantes
na coraunidade do discurso. Assim, o
A FORMA
lOgica
29
de abstragao sem sairmos de urn so
piano. Assira, tomo urn livro verde e
posso separadamente considerar seu
peso, sua forma, sua cor, seu estado
de repouso ou de movimento, seu teor
termico, sua dureza ou resistencia.
20
sigao, salta para outro piano: o que
podemos denominar o universo das for
mas logiaas. S, este, um universe,
nao um caos de.elementos. Ha partes
e rela^oes invariaveis entre as par
tes. Ha estrutura Interior na comb^
nagao dos elementos. Muitas rela^oes
sao impossiveis (inconsistentes): o
■universe do logos e um sistema,sati^
fazendo, ele mesmo, as condiqoes ne
cessarias de todo sistema.
EM QUE CONSISTEM
AS FORMAS
lGgicas
22
to derivado, colocado dentvo dessa
area, defini-lo, em rigor, e impo^
sivel. Podemos descrever,aludindo ao
mode como se obtem a forma L5gica.A£
sira, se em vez de falar em "livro
verde", "este livro e verde", "se to
do livro e verde e este objeto e urn
livro, ehtao ele e verde", substituo
22
des especiflcas desses objetos. Mas
falar e usar uma linguagem e a • lin
gua^em esta saturada de significa
goes (sentidos, conceitos,ideias)que
se dirigem aos objetos do mundo.
INEVITABILIDADE
DA LINGUAGEM.
23
liminando as linguagens naturals, os
idiomas como formagoes culturais va
riaveis, tern de se valer da lingua
gem. Agora, a linguagem apta para a
preender as formas l5gicas Estas es
tao envoltas pela concregao da lin
guagem natural, pelo comproxnetimento
pragmatico ou cientlfico de descre
ver situagoes objetivas, la no mundo
de fatos, de propriedades e de rela
90.es facticas.
ISOLAMENTO
24
socials, ou proposigoes da experien
cia cotidiana da existencia. O exem
plo tem sido sempre, em qualquer l5
gica, um ponto de apoio intuitive pa
ra saltarmos ao formal.Alinhando pro
posigoes sacadas de diferentes un^
versos-de-linguagsm^ vinculadas a di
ferentes universos-de-objetosilinqua
gem da matematica, linguagem da fis^
ca, linguagem da biologia, etc.), te
mos de reduzir o vario do revestimen
25
que para ele e seu contorno ou macro
cosmos; OS homens, ocupados estao em
fazer o tecido de interaqoes qUe com
'poem OS sub-sistemas e os sistemas
socials globais). 0 status ontology
CO, o tipo de ser do objeto e diver
sificado. Para o angulo logico, o ob
jeto -e suje-ito de uma predicaqao. En
tao, em vez de falarmos especificada
mente sobre "Socrates", "homem mor
tal", falamos em termos formalizados:
um sujeito qualquer, um predicado
qualquer e um-conectivo tecendo as
relaqoes entre esses termos formais.
0 objeto exemplificado, para a log^
ca, passa a ser uma variavel-de-obj^
toi a propriedade concrete deste ou
daquele objeto passa a ser uma varia
vel-de~predioado. Partlculas abstra
tas tomam o lugar dos conectivos (as
conjunqoes, as preposiqoes e alguns
adjetivos que quantificam o nome a
26
que se prefixam). EntaO/em vez de fa
larmos no fato objetivo de que "SO
crates i mortal", diremos; "existe
um X tal que tem a propriedade
Para desconsiderarmos o que resta de
linguagem natural neste enunciado,
construimos uma notagao especial e
direinos: "Ex f (x)". Essa estrutura
reduzida, liberada da linguagem natu
ral, do sujeito emitente dela, do
tado psicologico'atual, e desvincula
da do objeto particular (que esta na
regiao da matematica, ou da fisica,
ou da quimica, ou da biologia, ou da
ciencia social) essa estrutura redu
zida e a forma logioa.
A ESTRUTURA
DA FORMA LOGICA.
2?
reduzida da forma logica contem sim
holos-de-vaTiaveis e simholos-de-
-constantea. As constantes logicas
sac partlculas com fungao operatoria;
de quantificar um sujeito, de quant^
ficar um predicado, de relacionar
uma-variavel-de-sujeito com uma va
riavel-de-predicado (o "e" apofant^
CO da logica classica, dito em lin
guagem natural, foi substituido por
parenteses), ou de conectar enuncia
dos (proposigoes). Enquanto as varia
veis (de sujeito, de predicado,de re
13930, de enunciado) sao simbolos su
bstituidos por diversos valores de
um campo, aS constantes tem uma fun
930 fixa. Sao simbolos funcionais3
ao passo que as variaveis sao simbo_
las objetivoa. "Socrates" e nome de
objeto, "mortal" e nome de predicado;
mas o "e" carece de referencia obje
tiva. 0 "e", como termo formal,e um
28
mero operador. Pouco importa sua
significaqiao metafisica: expressar a
essencia, pressupor o sujelto como
substancia.
CONFUSAO
DE PLANOS.
29
posigao ou o topico funcional de "Q
e R" em relagao com "S e P",median
te a velagao -im-gliQaoional "Se...,
entao". Igualmente, nenhum sentido
temporal tern que uma proposi9ao pre
ceda a outra, que e sucessiva. En
quanto isso, a relagao factica de
causa/efeito, ou de meio/fim, e tern
poral/ extra-logioat ocorrencia no
mundo dos fatos fisicos, biologicos
ou socials. Relagao entre cortes no
todo continue do mundo, i.e., entre
fatds. A relagao l5gica se da entre
entes logicos: entre termos e entre
proposigoes. E entre szstemas de pro
posi^oes. Do mesmo modo,a rela^ao en
tre as premissas e a conclusao de um
argumento se da no universo das for
mas .logicas. A relagao consequen
cial (inferencial-dedutiva) entre a
quelas e esta e puramente formal,por
isso que se nao encontra no real. No
SO
mundp dos fatos, nao topamos com pro
posi5oes-premissas e proposigoes-con
clusao, nem com os nexos dedutivos.
Um fato se nao deduz de outro,hem im
plica outro. Deduzir (ou, mais gen^
ricamente, inferir), implicar, nao
sao nexos no mundo das coisas e
31
"vos de variaveis logicas. Assim, na
forma apofantica classica "S e P",
qualquer- coisa do mundo pode ocupar
o lugar de "S", qualquer propriedade
factica pode ocupar o topico de "P".
Ante a logica,ha termos e ha oonexao
entre termos para conduzir ao- sent!
do coerente. Se o termo e tuna tradu
32
gs as they really are..." (J.N. FIND
LAY, HEGEL: a Te-examinationig>.Ib2).
Sao questoes legitimas, mas que se
colocam alem da logica: sac meta-l^
g-Laas^ trans logicas: se as forinas l5
gicas copiara as relaqoes dos objetos
do conhecimento (realismo), ou se as
transformara, como categories relat^
vamente aut5noraas (criticisno k-antia
no), ou se sao construqoes convencio
nais uteis para manipular o inundo(no
minalisirio e pragraatismo) ,tais proble
mas estao dentro da area da logica
transcendental, nao da logica formal.
E logica transcendental e teoria do
conhecimento. Nao uma teoria formal,
como a l5gica propriamente dita.
AUTONOi"lIA
DA REGIAO DO LOGOS.
33
que o doininio das forraas logicas e
autonomo, irredutivel a qualquer ou
tro. Ha uma compacta resistencia d^
las ante qualquer ato arbitrario do
sujeito. Se ponho a forma "Se todo M
e P e todo S e M, entao, todo S e P",
articulo em urn sistema tres enuncia
Z4
ri e exprime o que ele chama o enten
dimento^ "sem qualquer consideragao
para os diferentes objetos aos quais
pode ser dirigido" (KANT's Critique
of pure reason^ ps. 42/43).
0 SIMBOLISMO.
vale-se de simbolos-de-variaveis, pa
ra libertar-se de tudo que era extra
-logico e reter tao-s5 a pura forma.
35
Mesmo que tonha dito em linguagem
nao-simboliaa que "Sempre que tris
termos estejam entre si em relacjoes
tais qu'^ n nenor esteja contido na
totalidade do maior e o medic na to
Z6
"Se o priiaeiro, entao o segundo,
ora, o primeiro,
logo, o segundo"
37
nais. Sejam "p", "q", "r" proposi
90es quaisquer. Sei formalmente, sem
recheia-las de conteudo factico, sern
vincular qualquer desses sirnbolos-de
-variavel a fatos do mundo, que "se
p impllca q e q irnplica Pj entao p
implica r".
GENERALIZAQAO
E FORIvIALIZAgAO.
se
exorbito do campo em que se da o ob
jeto singular. Percorro o dominio ou
universo-dos-objetos que tsm a pro
priedade "verde", e que constituem
um conjunto, mas sem ultrapassar a
linha que demarca- o dominio. Tiremos
ja a conclusao: se vou generalizando,
seguindo caminho indutivo,de caso em
caso, de cOisa singular a coisa sin
gular, elemento de um conjunto; nao
alcanco o formaZ-tog'iao. Atinjo, co
mo vimos, enunciados gevais^ validos
para todo o conjunto, mas enunciados
materiaiSi i.e., proposigoes satura
das de conteudo significative, ^efe
rentes aos objetos individuais que
satisfazem a propriedade que os defi,
ne como pertinentes ao conjunto (o
conjunto das entidades ou objetos
que tern a propriedade de "verde") -
Sem formalizagao nao entro no univer
so das formas l5gicas. E formalize.
39
se em lugar de uma palavra de uma
lingua natural, com referencia a uma
situagao objetiva concreta do mundo,
ponho um sii.ibolo apto para recolher
qualquer coisa ou situaqao objetiva
de qualquer universo.- 0 necessario e
que o simbolo seja substituido por
adequados tCpos sintaticos (catego
rias sintaticas) s de sujeito, de pre
dicado, de proposi9ao. A forma e um
esquema, uma estrutura em qua certas
partes sac-abertas ao preenchimento
da materia que se nos da na experien
cia. Se enuncio: "Todos os 3 sao P"
40
res dos siinbolos-de-variavel). Posso
sacar os valores das variaveis "S" e
41
que quando se fala em logioa geval,
nao ha que se entender, por contrapo
sigao a uma togica particular ou es
pedaljqxxQ aquela representa um grau
de generalizagad do processo abstra
qao. Nao retemos nenhuma propriedade
de objeto como nucleo generico sepa
rado (abstraido) do concreto espe
cial. Por isso HUSSERL distingue a
abstragao isoladora da abstragao lo
gioa, esta, sim, conduzindo ao dom^
nio das formas l5gicas. (HUSSERL, i?£
oherches Logiques, pags. .183/184 t.
29).
*g.* ^
Capitulo 2
A LINGUAGEM
lOgica.
45
gem natural a particulas formais
operatorias e a variaveis, nada
resta senao urn algoritimo sem si£
nificagao qualquer-
46
Umas, podem ser termo-sujeito,
outras, termo-predicado; umas ten
significa^ao por si rriesmas, outras
requerem outras que as completam.
47
Assim: "todo S...", "e", "p".
48
das formas. Mais. Se um termo pode
tomar esta ou aquela posiqao funcio
nal na estrutura do discurso isto d^
pende de alguma propriedade do termo.
Se posso unir duas proposiqoes quai£
quer, charaemos "p" e "q" nas seguin
tes foriuas: "p e q", "p ou q", "nao-
-p e/ou nao-q", "se p, entao q", e
porque nao estou lidando com puros
sinais, ou entes flsicos. Manipulo
simbolos e simbolos implicam algo
alem de si mesmos, conio suportes fa£
ticos, para serem simbolos. Na forma
"S e P", cada letra nao desempenha o
papal de mera figura traqada a tinta.
Figura como suporte fisico de alguma
"significaqao. Ha significaqoes, ain
da que indeterminadas as ha. Nao
ha sintaxe para ligar ou desunir f£
guras fisicas. A sintaxe implica si£
nificaqoes, que entram na estrutura
como significagoes quaisquev, disrr^
49
buidas erri oategorias sintdtiaas (MOR
RIS R. COHEN, A preface to Logic^ps.
36/67).
PLURALI3M0
DE LINGUAGENS.
50
uma determinada linguagem-de-objetos
(a morfologia ou a sintaxe deste ou
daquele idioma natural). A linguagem
logica, quer simbolica, artificial,
construida para nela se verterem as
formas l5gicas, quer nao, e uma tin
guagem que aonduz ao formal. Ainda.
Relativamente as linguagens, instru
mentos para descrever o mundo, e uma
sobre-linguagem. Nao e uma linguagem
a mais, compondo a serie de lingua
gens naturais. Nao faz parts do con
junto das linguagens-de-objetos.
ta fora. Topicamente: acima ou sobre.
Mas, a linguagem l5gica e linguagem,
e um sistema de simbolos com algum
sentido. Com significagoes,ainda que
nao especificadas, nao individualize
das. Assira sendo, nio caberia uma
linguagem que falasse sobre a lingua
gem l5g±ca, uma linguagem de terce^
ro nivel ? £ inevitavel:onde h-a uma
51
linguageiii, cabe falar sobre ela, con
vertendo a linguagem de que se faia
em linguagem-oboeto e aquela com a
qual se fala em meta-linguagem. En
tao tereraosj
U = universe de objetos
= a linguagem de objetos
(naturais/cientificas)
= a meta-linguagem (l5gica)
L2 = a meta-meta-linguagem(meta-
-logica)
INEXISTENCIA
APARENTE DE NIVEIS.
52
sobre a linguagem que e o portugues.
Entao, aquela estratifica^ao acima
resulta infundada ou superflua. Toda
via, tal se nao da. Urna coisa e usar
a lingua portuguesa para descrever
situagoes do mundo, como instrumento
de informa^ao e de coraunicaqao de co
nhecimento sobre os objetos que com
poem a nossa circunstancia (aqui-e-
-agora estou cercado de arvores, de
edificios, de veiculos, de pessoas),
e outra e falar sobre a linguagem,
cortajido ou suspendendo a relagao
que a linguagem tern com a circunstan
cia existencial de coisas, fatos e
relagoes entre fatos. D'a mesma lin
guagem pode ser usada nos dois n^
veis: de l-Cnguagem-objeto e de sobre
ou meta-linguagem. Mas a mesma lin
gua ocupa dois niveis ou pianos. Num
caso usamos a linguagem e vamos as
coisas mesinasi noutro,convergiKios p^
S3
ra a linguagem-instrumento e a con
vertemos em tema, i.e., a menaiona
mos. Deve-se a W.V.O.QUINE a distin
IDEi-IPOTENCIA NO INTERIOR
DE UM SISTEMA DE LINGUAGEM.
54
guagem de potencia zero, quer dizer,
inicial (fentao, L°), a outra lingua
gem que fala acerca dessa linguagem
material ou linguagem-de-objetos e
unia linguagem de potincia um (L^). h
linguagem que fala acerca de L e de
2
potencia dois (L ). Essa .hierarquia
de pianos de linguagem nos conduz ao
formal-logico. Por outro lado, nos
faz ver que no interior de um siste
ma de linguagem, corao a linguagem
que descreve o mundo, nao e possivel
falar dela mesraa. A nao ser toraando
55
guagem l5gica - coropreende-se - nao
e equi^otente as linguagens-de-obje
tos. Tainbem se compreende porque a
linguagem da meta-l5gica carece de
idempotenoia era face da linguagem l5
gica. Ainda em outro giro: se temos
era maos uraa linguagem, so poderemos
falav acerca de objetos do mundOy ou
de outfa linguagem de tipo inferiory
que se converte em linguagem-objeto
de meta-linguagem.
REGRESSO
AO INTUITIVO.
56
so, o discorrer verbal da palavra es
crita ou falada. Como o discurso ou
mundo-de-ob jetos
II) a sentenqa "este livro e ver
5?
de" da linguagera corrente
III) "este S e P" (ou, Ex. P{x))da
linguagem formalizada l5gica
•IV) "s\ibstituindo-se e P^ por
variaveis S e P e usando o
guagem togiaa".
58
cessidade de usar linguagem intuit^
va, linguagem com termos de signifi
cagao definida: exists uma parcela
de linguagem natural, material, den
tro da linguagem meta-l5gica. £ o re
siduo intuitive que sempre limitara
o absolute formalismo da linguagem.
lSgica material,
l6gica aplicada.
Se a l5gica e necessariamente
formal, descabe, em sentido rigoroso,
falar-se de l5gica material. 0 mate
rial de que se vale a l5gica e,ainda,
formal: um termo (termo-sujeito, ter
mo-predicado) e material relativamen
te a forma de xuna proposiqao, que o
tern como constituinte seu. Uma propo
.siqao e materia relativamente a for
ma-de-argumento em que entra como
59
componente: um sllogismo consta de
proposigoes e estas de termos. 0 for
mal reside/ no sllogismo, na inter
conexao entre as proposi9oes. 0 silo
gismo e uma estrutuva eintatica^ co
mo e estrutura sintatica cada uma
60
resse que e retoraado porque imerso
no mundo existencial onde esta o su
61
I) as relagoes dos simbolos en
tre si;
62
KANT estava nessa linha do anall
tico ou do formal. Com efeito, ponde.
rava:
nhecimentOjSelbsterkenntniss);
III) por isso mesmo so oferta as
ciencias criterios formais da
ez
o objeto especifico, determ^
nado, ao qual o logos se apli
ca.
lOgica
COMO METODOLOGIA.
64
tentemente sublinhados, cora a inten
(jao de ir aos objetos raesmos das
ciencias: e em retro-analise^ em bu^
oa das formas. ?or isso, a l5gica e
seiapre formal, quer a logica aristo
telica, quer a logica siriibolica (io
gistica). Acsntuou-o HEINRICH SCHOLZ
(Esquisse d'une histoire de la Log-£
que^ p. 38/44).
65
se em aienc-ias veais-natuvai-s (meto
dologia da fisica, da biologia) e
oienoias rcais-oulturais (generica
mente, ciencias socials). Diz coma
certo JEAN PIAGET que a metodologia
e tarefa reservada aos especialistas
de cada ciencia, fjue eles,os cienti£
tas espccializados, e nao outros, e£
tao em condi^oes de praticar e viver
OS problemas provocados pelo seu cam
po de investigagao. Per Isso,"... la
methodologie ne fait partie de la lo_
gique et vien n'est plus -equivoque
que le terme de logique appliquee..."
(JEAN PIAGET, Tvaite de Logique^ e^
sai de logistique oper>atoire^p>s.6/l)
'
Antes de abrir caminho para ir-se
aos objetos do conhecimento, em sua
plural manifestagao constitutiva, co
rao poderia a logica codificar tecni.
cas operat5rias de manipular tais ob
jetos ? Do ponto de vista histdrico
66
(da genese do conheciitiento) , a log^
ca formal e posterior, e uma re
flexao com apoio no fate do conhe
cimento.
67
forma l5gica; exige o extva-log"^
ao: o metodo que e funqao do ob
jeto, do seu modo de ser e apare
cer.
68
lOgica
jurIdica
COMO
iylETODOLOGIA.
Se a raetodologia e logica a
plicada a cada setor do conheci.
mento cientifico, cabe u'a logica
juridica como metodologia do co
nhecimento juridico.
69
pretav e apliaav normas juridicas. A
pre-hist5ria e a hist5ria de urn ins
tituto de direito, ou de todo um or
denamento, sac problemas importantes
para compreender-se o direito em
suas projegoes caracteristicas, num
dado tempo e numa dada cultura. Mas,
interpretar (para aplicar) normas re
quer outras tecnicas de conhecimento.
Nem sempre as fantes historiaas ou
as fantes socialagi-aas do direito
sao as fantes dagmatioas (formais ou
tecnicas). Fonte dogmatica e aquela
de onde provera normas com forga vin
culante, impositiva para os indiv^
duos-membros da comunidade ou para
OS individuos-orgaos do poder. £ o
costume ou a legislagao (em sentido
amplo). Historicamente e sociologica
mente, o ordenamento provem do costu
me. Mas sob o angulo da Ciencia-do-
Direito, se o costume e fonte de nor
70
mas, e-o em virtude do ordenamento
71
vale-se da hipotese-de-trabalho: de
ve ser direito o que provem do costu
me. Vi-se, trata-se de um corte meto_
dologiao numa serie de fates hist5ri
cos, cada termo da serie nao se ex
72
mente, ou Juricprudencia Cientifica).
Ve-se tambem claramente que se tal
metodologia e logica aplicada, ou l5
gica juridica, de logiaa format ndo
se trata. Trata-se de logiaa nao-for
mat (material). L5gica, tout court,
e logica formal.
?Z
Capitulo 3
-:t-
COMO fi POSSlVEL
UMA LOGICA JURIDICA FORMAL ?
77
ge o angulo soh o qual se oonhece o
diveito quando se faz oiencia jurtd^
ca em sentido estrito. No sentido
do direito.
78
mento em que se verte o ato de <ieci_
sao do case concrete {"Juvistieahe
Logik ist die Lehre von den... genan^
nten Sohiussformen (avgumenta a eim'^
le^ a contTavioi a maiore ad minus^
usw").
79
ta nuraa desfovmalizagaQ do pure e£
quema, em ingresso no piano das co^
sas, numa abertura para a experien
cia do universo de objetos. Entao,
falar de logica juridica seria dar
acolhimento ao extra-logicOy a con
crescencia oBtol5gica do objeto jur^
dico. Importaria em ultrapassar aque
le nucleo minimo de objeto (o objeto
em geral, I'objeot quelaonque), su
porte do logos, o minimo semdntioo
na linguagem moderna, ou o minimo on
tologioo, na linguagem classica,e al
cangar o fato especifico do direito,
na medida em que ele pode se vestir
em uma forma l5gica. Forma que e co
mo roupa feita que cabe em varios e
nao e feita para nenhum em particu
lar. A forma l5gica acolhe qualquer
objeto individual, porque e forma
para um objeto qualquer. E o que in
gressa no universo das ' formas logi_
80
cas nao e o tipo de ser do objeto
(sua pertinencia aesta ou aquela
giao material real como objeto fisi^
CO, biologico, social ou ideal, corao
um valor ou urn numero),mas o cumprir
a fungao de termo-sujeito e de termo
-predicado - simplificando o probl£
ma -, o que significa: o objeto tra
duzido em uma oategoria sintaticatX^
duzido em linguagem formal, como se
no tecido integro do objeto se cor
tasse somente a capa de logos,despre
zando os demais constituintes dele.
FORMALIZAgAO
DA LINGUAGEM DE OBJETOS.
81
cularidade: no objeto fisico nao en
contramos a linguagem coino integran
te de sua constituigao. A linguagem
esta na o-ienc-ia que e a fisica. Mas,
o direito, como objeto, contem a lin
guagem como parte de seu ser. E lin
guagem-de-objetos, linguagem com re
ferencias a sltuaqoes e a condutas
humanas. Linguagem com todas as d^
mensoes semi-Sticas (como sintaxe, co
mo semantica e como pragmatica). En
tao, a linguagem do direito (posit^
vo) e o ponto de partida para a for
malizaqao, pois na linguagem esta o
suporte material das formas logicas.
Mas as formas l5gicas estao como en
cobertas pelas referencias significa
tivas a fatos do mundo (eventos natu
rais e condutas), A leitura de um
82
-si-raesraas. preciso deixar fora de
consideragao tais referencias a obje
tos especificados ou a rela^oes con
cretas (ser vendedor ou comprador,
ter o direito a ser indenizado pelo
inadimplemento de u'a obriga^ao. ou o
dever de cumprir u'a presta^ao) que
enchem ou saturam as formas mesmas.
83
tos do universe jurldico. Per isso,
dizeraos que a linguagem que compoe o
direito positive e uma linguagem-de-
objetos, uma linguagem conotativa e
denotativamente qualificada, feita
para o universo da conduta humana.
84
apofanticas nao sao os unicos tipos
de formas, mas as ha deonticas, umas
e outras reciprocamente irredutiveis.
Agora, se encontrarmos na experxen
cia das formas essa inflexao para o
juridico (ou genericamente para o do
itilnio do normativo, que e mais amplo
que o sub-doitiinio do juridico) tem-
se uma prova de que a l5gica, por
mais formal e desobjetivada que" se
manifeste, mantem uma ponte com o
mundo do ser. Dizendo-o com mais en
fase: para que a logica formal elimi
nasse, sem nenhum residuo deixar, to
da referenda a objetos, mesmo a
was uebevhaup.ti seria inevitavel que
se tornasse num puro manipular si^
nos, caracteres graficos sem outra
85
geiii ainda o e a linguagem l5gica.
ESTRUTURAS
FORMAIS DEONTICAS.
S8
tes de unia relagao hipotetica. A nor
ma» que e, fenomenologicamente,a
nifiaagao do enunciado proposicional,
diz que se se da {se occrre na really
dade) um fate que atraves do pre£
suposto a ele referido entre no uni
verso do direito entao um sujeito
deve fazer ou omitir tal ou qual con
duta face a outro sujeito, termo
lato daquele termo referente.
0 antecedents e descritivo e po
de ser um fato natural ou um fato ja
Ingresso no universo do direito. Diz
o art. 955 de nosso Codigo Civil:
"Considera-se em mora o devedor que
nao efetuar o pagamento, e o credor
que o nao quiser receber no tempo,lu
gar e forma convencionados". Ainda
que OS antecedentes sejam algo no in
terior do ordenamento jurldico, "nao
efetuar o pagamento" ou "o nao qui
ser receber...", funcionam como pre£
67
supostos que descrevern uma ocorren
88
nascer, ou morrer, ou atingir x anos
de idade, mas descreve hipotetica e
tipicamente que se oaorrer factual
mente tais coisas, certas consequen
cias devem ser imputadas aos sujei
tos postos em relagao. E o que foi
oonssquenoia normativa de outros
pressupostos, passa ao papel sintat^
CO de antecedente. Assim, o pagamen
to e consequencia normativa no art.
1.122 do c5digo Civil: o pagamento
decorrente da compra-e-venda. £ o pa
gamento como conduta que deve-ser,ou
a obrigacjao de prestar, correlata do
direito de exigir.
SUBSTRATO ONTOLOGICO.
DA LOGICA JURIDICA.
89
s.ita saber a que realidade ele cor
responde..O /ormaZismo^po.tenciado pe
lo simholismo, desdobra-se dialetica
mente num universe de puras estrutu
ras, aplicaveis a um objeto qualquer.
Urn objeto concrete, .especificado ou
individualizado ("este horaem", "aque
le astro", "a coisa dada aqui-e-ago
ra") sao substituintes possiveis de
urna forma, pelo que tem de objeto em
geral. Mas, ja na singela f5rmula
classica "S e P", que i uma forma pu
ra (uma forma combinatoria de signi^
fica^oes, em linguagem fenomenologi
ca), as variaveis "S" e "P" nao sao
inteiramente destituidas de signifi^
caqao e, per. isso mesmo, de referen
cia objetiva a alguma entidade do
mundo. Conotam e referem-se a qua^
quer coisa que venha a ser sujeito
de predicagoes. "S" e o sujeito-em-
geral, come "P" e o predicado-em-ge
90
ral: a contrapartida, em piano logi
CO, do objeto-em-geral e da proprie
dade-em-geral. Entao, dizemos que a
formula pura "S e P" e uma formula
intevpretada^ i.e., com um'minimo de
significagao para ser slmbolo e nao
mero desenho grafico no papel. Inter
pretar e atribuir valores aos simbo
♦ •
los, ou seja, adjudicar-lhes signifj^
canoes e, atraves destas, referen
cias a objetos. A logica, por isso,
por mais geral ou formal que se apre
sente, repousa na teoria geral dos
objetos.
97
0 juridico ou, com mais generalidade,
o deSntico (o normative) nao e o ob
jeto-em-geral, um objeto qualquer,
mas uma concrecjao enriqueclda, alem
do mero ser objeto-^em-geral. Como a£
severa VON WRIGHT (VON WRIGHT, Novm
and action - A logical enquiry, pag.
106), "The existence of a norm is a
■fact", este sendo the ontological
p■ roblem of norms. Subjacente a logi
ca juridica formal, encontra-se o ob
jeto juridico - um de cujos const^
tuintes e o normative com o seu
92
que representa a regiao especlfica,
onde tem elas seu percurso (parcowrs,
YevXauf).
93
valores. Sao stmholos substituiveis
per significagoes que denotam obje
tos ou propriedades-de-objetos.
0 SUBSTRATO DA
FORMA DEVER-SER.
94
mesmo em lexico cientifico, emitimos
95
Qetivantes (no sentido husserliano),
i.e.; delinecuti uma situagao objetiva,
fazem referencia a urn' estado-de-coi
9-e
a esse ponto prosseguindo na linha
da formalizagao. Alcan9a-se, sim/por
via de des/ormaZtaajjaOj guiando-se pe
la regiao matevial onde se encontra
o direitp, que e um fato de cultura.
Importa era saber-se qual o status on
tologico do dever-ser, que tipo de
objeto e a norraa, se a norraa e tran^
cendente ao mero fato da conduta, ou
0 DEVER-SER COMO
FORMA DE SiNTESE.
97
fere a dados da experiencia. Na lin
guagem logica, e uma forma de compor
sintaticamente estruturas. Uma forma
98
culta-se o deontico do conceito ere
99
tra norma. A elaboragao de um concei
to normative requer a construgiao da
forma "se se verlficam tais e tais
pressupostos, o individuo A dave-
sev comprador, ou vendedor,credor ou
devedor". Nenhiima pessoa,nenhum ente
individual ou coletivo, e sujeito-de
-direito como um mevo fato da nature
za, que se recolha numa proposiqao
descritiva. Dma coisa e o fato antro
100
a transferir o dominio de certa co^
sa a outren qua Ihe pague certo pre
90 em dinheiro (art. 1.122 do Codigo
Civil bra-sileiro) , deve-ser a qualj^
fiaagac jur-tdioa de vendedor, do a
lienante (ou do proraitente ' a alie
nar), como deve-ser a qualificagdo
juvidiaa de oomprador para a contra
parte que paga o prego. Fora, pois,
da Telagao normativa que e o neg5cio
juridico de compra-e-venda, fora da
relagao deontica espeficicada, ine
xistem os conceitos correlates de
O DEVER-SER
101
tre entes matematicos, de uraa rela
gab causal entre fatos fisicos,ou de
uma relagao logico-geral, como a de
premissas para a conclusao (relagao
consequencial ou inferencial-dedut^
va). Trata-se de uma rela^ao deont^
ca. 0 que KELSEN denominou o dever-
ser formal, como mero nexus no inte
rior da proposi9ao juridica, sem re
ferencia ao valioso ou desvalioso co
102
ciflcado de objetos: o universo das
normas ou da linguagem como expre^
sao de normas. £ incontavel o numero
de normas juriJicas que se oferecem
a experiencia, variando no tempo e
no espago, por seu conteudo,pela fon
te donde provem, pelo grau de valida
de, pela pertinencia aos sistemas po
sitivos, etc. E da linguagem do
reito positive que se obtem a estru
tura reduzida ao formal. Quando fo£
mulamos a proposigao "se A e B,entao'
C deve-ser D" (para tomar letras co
mo variaveis referentes a fatos -
104
UTteil, ps. 403/407). Se ha graus ou
estratos na generalidade (Stufen der
Allgemeinheit), convem, no entanto,
distinguir a generalidade material e
a generalidade formal (Sachhaltige
Allgemeinheit - Formale Allgemei_
nheit). Per isso, dizemos: a estrutu
ra deSntica representa uma generali_
dade forinal. e a ela se chega median
te a formalizagdo.
Generalizando, aecendemos de
grau em grau, mas sem sairmos do do_
m-tnio material para o domtnio do fo^
mal. Alcanijamos o conceito superior
do dominio, aquele gue demarca o do
minio - o conceito do direito,p.ex.,
Os processes simetricos ou opostos,
no interior desses domxnios, sao
neralizagdo e determinagao, formali_
zagao e desformalizagao, como acerta
damente e seguindo a via husserliana
mente indicada o faz FELIX KAUFMANN
105
{KAUFMANN, Die Kriterien dee Fechts^
ps. 12/14). Somente com a forraaliza
gao e com a desformalizagao "...wep
den dieae Gebietsgrenzen uebepsohri^
ten". Com elas trabalhamos com for
106
so, o universe dos objetos que sac
as normas do direito.
107
Capitulo 4
A FORMA l6GICA
E SEU UNIVERSO-OBJETO.
111
pel, ou a pura nota9ao ideogramatica
sem qualquer conotagao significativa
e, por isso, sem qualquer denotaqao
a entidades. Se fosse reduzida a pu
ros algaritimos, bastariam as regras
do calculo coinbinatorio de sinais,an
tepostas ao .calculo mesmo (em nivel
ineta-l5gico). Seria simples sintaxe,
sem semantica, oaloulo estritamente
112
mundo dos objetos.
113
pressupocti-' {i,->r5ta3ef hipotese) e a
consequencia (ap5dose, tese). O pri
meiro raembro da proposi^ao total
descreve uma possivel situagao facti_
ca {dentro da qual se incluera tambem
situaqoes ja juridicamente norraadas)
o segundo raernl->ro prescreve que rela
gao se constitui entre sujeitos-de-
direito com a verificagao ocorren
cial da descrigio fixada na hipotese.
Essa b.imeiTibridadefZweigliederschaft)
compoe toda regra de direito, reduz'^
da a forma logioa de proposigdo. Sao
duas proposigoes modalmente diversas:
uma com modo atet-ioo, outra, com mo
do deontioo para empregarmos a term^
nologia de VON WRIGHT (VON miGET,An
assay on modal Logio^ p. 1/14,36/41;
Logical Studies^ p. 58/74.Como a pri
meira proposigao apenas descreve uma
possivel ocorrencia no mundo natural
ou social, urn possivel state-of-af
114
fairs (nao presereve que se deve na£
cer, morrer, ou que o fruto deve
cair da arvore em terreno vizinho,ou
que o curso do rio tem a obriga9ao
•de se desviar de seu leito), podemos
chamar a essa proposigao de descr^
tor (desariptor). A segunda, que e£
tatui a relagao deontica, essa sim,
de prescritor (praescriptor).
115
terna do sisteraa logico, legitiiL\a-se
per fora de considera9ao,encerrar en
tre parenteses tal universe. Mas re
tomamos o problema quando saimos da
116
ta para urn fato unico que ja se con
sumiu como normas cuja hip5tese
iamais se tenha dado, dela nao se di
ra que e falsa. Assiin, tainbern norma
cuja tese cora fun9ao de prescritor
derxe de ser cumprida pelos sujeltos-
destinatarios, ou desaplioada pelos
sujeitos-orgaos aplicadores de nor
mas - orgaos de entes privados ou pu
blicos dela nao se dira que e fa'^
sa. A verificaqao e a nao-verifica
gao, o curapriinento e o descumprimen
to, a aplicagao e a inaplica^ao, so,o
valencias diferentes das valenaias
veritativas (verdade/falsidade), e
correspondem a textura especifica do
universo-objeto das proposigoes do
direito positivo, de que as propos^
goes l5glcas representam as contra
partidas formalizadas.
227
ESTRUTURA DEONTICA
E SITUAgAO OBJETIVA.
118
objetiva, selecionada do raundo natu
ral ou social da conduta huxnana, e
"B" e uma proposigao relacional de5n
tica, que estatui como devendo ser
relaqao entre os sujeitos S' e S''.
Que o estado-de-coisas ja se tenha
dado, ou nao se tenha dado ainda, ou
jamais se de, e problema de relagao
entre o pressuposto e a realidade. 0
direito, feito com direqao ao real,
nao desenha hip5teses de impossivel
verificagao ("se alguem for ao plane
ta Marte, entao ganhara o premio X"s
essa declaragao unilateral de vonta
de e ilicitq pela impossibllidade
factual de seu pressuposto.Mas o ser
ilicito ou nulo sao qualidades extra^
-logicas^ neta-formats).Para o exame
intraproposioionalj temos: "se He?,
entao A deve ser B". (Valemo-nos de
letras para siiiibolizar variaveis um
tanto arbitrariariiente, ou como le
119
tras iniciais das palavrad quo fun
cionara como constantes facticas."F",
p.ex., para "fato").
120
o dever correlato -de. nao imp.edir,
diante do sujeito titular do direi
tO/ o facultamento de fazer ou omi
tir).
121
aberta, receptaculo das constantes
logicas referidas. fi uma variavel
cujos valores integram o universo ou
conjunto dos valores modals-deont^
COS. Onde se apuser, em sentido pro
prio, em uso normal, um desses tres
functores deonticos, ai se tern uma
122
constantes, tambem deonticamente in
terpretadas, R,, R,, e R|i t- Tais
constantes sac exaustivas do uni_
verso da conduta humana juridica
mente regulada. De aeordo com e£
ses tres modos deonticos (obrigato
rio, permitido e proibido) estao
BOBBIO e KALINOWSKI, entre outros.
■ 123
mal r muito eitibora subjacente ao for
mal se encontre regiao material (o
juridico, p.ex.) ota a regiao pert^
nente a ontologia formal,ocupada com
a questao do objeto em qerald'objet
queloonque).
TRIPARTigAO
DO UNIVERSO DA CONDUTA.
124
ria, permitida ou proiblda, sem mais
uma outra possibilidade. Assim, a
riavel relacional deontica "R" tern
12S
linguagem do direito posit_vo dirig£
se a situa9oes objetivas ou eatados-
de-coisas-, na modalidade de referen
bivalSncia
DA PROPOSIQAO NORMATIVA.
126
e valida ou nao-valida (de acordo
com OS criterios "do sistema juridico
positivo): sao propriedades analogas
aos valores veritativos das propos^
goes descritivas. Em conexao com
te fato esta a lei de nao-contradi
127
lair as formas logicas do .deontico
com o substrato da realidade da con
128
VALORES LSGICOo E
modos-de-refer£ncia OBJETIVA.
.129
tivante como uirta proposi-jao descr^
tiva de objetos. A diferencja reside
no inodo-de-referencia ao objeto, no
tipo de pononcia do conteudo objet^
vo. Has, ambas sao formas objetivas
de sintesof veirtidas era linguagera.
Tanto posso considerar o enunciado
"eu. penso, quero, desejo cue S seja
P", incluindo o ato subjetivo, quan
to tomar a proposigao "S e P",por si
raesrria. A diferen^a reside no modo-
de-referencia e no fato de que a pto
posigao descritiva pode ser verdade^
ra ou falsa, ela mesma, a proposiijao
descritiva, tambem desprende-se dos
atos de pensar, querer e desejar.
1 zo
va, na rela^ao com o objeto (scr'.ant^
ca) e no uso ou fim a atingir entre
OS utentes (pragmatica) da linguagem.
MaSj uma e outra clasee de. propos^
goes tern valoTes, positivos ou nega
tivos. Validade/nao-valJ.dade, verda
de/falsidade, sao tais valores, sirae
tricamente opostos«
131
lizadas logicaiaente, ingreosam corno
entidades portadoras de vaZores posi
tivos ou negatives (para ficarroos nu
ma logica bivalente) e cujos simbo
los podem ser "1V"0"/"V"/"F"• Fsse
sirnbolismo, aparentemente destituido
de vinculo com o objeto (o tipo onti_
CO do objeto, suhppositum da propos^
gao), enche-se de urn minimo de sign^
ficado, quando se o intevpreta, esta
belecendo-se a relagao entre o sinilio
lisrao e o universo-de-objetos. Tais
signos nao sao meros sinais-indices,
ou sinais-iconicos: sao simbolos
132
converta os signos do calculo em
simbolos de urua 1-tnguagsm (uma lin
.guagem, mesmo formal, diz algo de a^
go).
COMPORTAiyiENTO SINTAtICO
DOS VALORES.
133
CO), Importa quo as normas sejaiu as
significacjoes das proposigoes e as
proposigoes tenham valores susceti
veis de serern forraalizados no ante
134
X
de-sujeito e variaveis-de-fatos e
condutas), ou construidas infringin
do as categorias sintaticas e empre
go nos seus lugares .(topicos)adequa
dos, estas sac indiferentes a valida
de e a nao-validade. Sera v campo de
gvamat'iaa logiaa-'puva, (ou logico-
deontica-pura) equivalenfce ao dora^
nio da proposigao teoretica. Assim,
como no campo da gramatica logica pu
ra proposigao teoretica ou descriti
va nem e verdadeira' nem falsa, mas
carece de sentido, e um sem-sentido,
135
ou tern sentido^ assiiii;. paralelamente,
no campo gramatical l5gico-deontico,
uma proposi9ao normativa nem e vdl'^
da, nem nao-val-ida; e um sem-sentido
136
cia com a presenga da negagao propo
sicional. 0 contra-sentido e o nece£
sariamente false, ou o necessariamen
te invalido em virtude de mera rela^
gao format. Ora, a expressao que tern
Valencia "F" ou nao-V converte-se
no oposto contradit5rio com o Ingres
so do negador: nao-F equivale a ver'
dadsj nao-(nao-V) - a nao-validade
deontioa ~ converte-se era V - vati-da
de deontiaa. Falta-nos explicitamen
te o simbolismo correspondente aos.
dois dominies, o do apofantico e o
do deontico. Mas, nao ha arabiguidade
com a explicitagao que oferecemos.
UMA LOGICA
deSntica TRIVALENTE.
13?
dem o universo da conduta humana, ju
ridicamente regulada, na triplice mo
dalidade do proibido, do obrigatorio
e do penaitido. Esses sao os tres
possiveis modos-de-referencia da pro
posigao deontica ao seu objeto: e
sua diroensao semantica, a relagao
da proposigao, como sirabolo, com o
objeto denotado. Poderiamos abstrair
dessa relagao denotacional (triadica,
porque envolvendo simbolo - signifi
cagao - objeto ou situagao objetiva).
Ja dissernos que as valencias valida
de/nao-validade sao propriedades ir
redutiveis aos tres modos-de-referin
cia e que se entrecruzam sera confl^
to: uma proposiqao normativa proibi
tiva, obrigatSria ou perraissiva pode
ser valida ou nao-valida. A validade
238
ma da proposi9ao normativa,. como ob
serva VON WRIGHT.
139
F (facultado ou permitido). VON WRI_
GHT, entre outros, vem explorando
tais investlgagoes.
I'lO
Capitulo 5
FUNCTOKES APOFAnTICOS
E FUNCTORES DEOnTICOS.
143
riormente). Mas o coraportamento des_
ses sincategoremas veritativos, na
combinagao de proposigoes normativas,
6 paralelo ou equivalente quando
eles sao aplicados as proposiqoes do
tadas de trut'i-yaZwes-Parece-nos que
o comportamento formal (sintatico)
dessas particulas operat5rias e urn
so. A interpretaqao das estruturas
sintaticas", em funqao dos universos-
de-objetos, e que Introduz modelos
diferentes: no caso do direito,a lin
guagem com que o direito se apresen
ta e a linguagem com que a ciencia
do direito busca o conhecimento do
144
relagao da linguagem com os objetos,
ou com o universe, dentro do qual a
pr5pria relagao sujeito/objeto e in
tegrante desse universe.
UNIDADE E PLURALIDADE
DO LOGOS.
145
COS. Algo assim corrio a mathesis uni^
versalis husserliana,ponto de origem
de duas linhas fundamentals: a log!
ca formal e a ontologia formal (teo
ria formal-aprioristica do objeto).
£1 l5gica formal tanto a l5gica apo
fantica quanto a logica deontica. Am
bas apresentam-se como fo-rmalizaqao
do discurso ou linguagem, formaliza
qao potenciada pelo emprego do algo
ritimo logico (simbolica). Mas ambas
sao l5gicas porque, com base numa
linguagem-de-objetos, alcangam
tre en forme as estruturas sintat^
cas reduzidas a variaveis e a con£
tantes (os functores veritativos, os
functores-de-validade - no dominio
146
ambas sao formaliza^oes do discurso
ou da linguagem e em ambas se encon
tram as leis gue dizem respeito tao-
so as estruturas formais,ou leis que
diretamente nada dizem sobre objetos
de uma especifica regiao ou dominio.
Dizem como se fala (formalmente) so
bre objetos, inclusive - em nivel so
bre-proposicional ou de meta-lingua
gem - sobre os objetos logicos. O
ponto de coraum convergencia reside
na sintaxe (e, em nivel de meta-lin
guagem, na meta-sintaxe). Podemos
considerar a sintaxe pondo entre pa
renteses metodicos a dimensao seman
147
um rainimo da ontologia no piano da
logica formal. Aquele "objeto qua^
quer", o "objeto em geral", a "situa
gao objetiva", esta contido no desig_
natum da forma l5gica (e impossivel
operar com classes - ou conjuntos
seiu aludir a elementos, partes, ent£
dades, i.e., objetos-elementos da
classe; distinguir as variaveis "p"
e "q" sem aludir a situagoes objetj.
vas: algo e algo, algo esta em rela
gao com algo; a variavel "X" de uma
fungao proposicional alude a objetos
de um donrinio dentro do qual a varia
vel tira valores para satisfazer a
fungao e converte-la em proposigao
com valor veritativo definido).
148
sao semantica) aos objetos e situa
goes objetivas, ha que procurer se o
nucleo comum reduzido se encontra na
0 ENCONTRO NA
gramAtica PURA.
149
des (objetividades reals e ideals).
Per Isso, quando coloca fora de tema
a consequencla - (o ser-lmpllcado) e
OS valores-de-verdade - para isolar
somente o gramatlcal pure, o aprlorl
slntatlco das forraagoes de signlflca
do - tern em vista as proposigoes teo
retlcas ou as nao-deontlcas. So pro
vlsoriamente delxam de ser fim tema
tioo a verdade e a falsldade das pro
poslgoes, mas para elas se encamlnha
a investlgagao, detlda no estaglo do
mero ter sentido ou do carecer de
1 50
As proposigoes com predicado axiolo
gico ("x e urn bom guerreiro") sao
suscetlveis de verdade ou nao-verda
de. 0 criterio de verdade reside nos
valores: sao verdadeiras as propos^
goes que concordam com os valores po
sitivos (o bem, o bom, o justo); fa^
sas as que se desvlam desses param£
tros. Isto e o que iniplicitamente se
deduz da tese fenomenologica, cremos.
151
em conta as regras de construgao sin
tatico-formal, incorrer nnma forma
gao com sentido ou numa sem-sentido.
Unicamente tendo em conta as catego
rias sintaticas de significagao, nao
se pode colocar em qualquer lugar ou
em qualquer ordem as categorias sin
taticas de sujeito, atributo, predi^
cado, rela9ao, operador. Ha estrutu
ras qua exigem certas categorias co
mo minimo■necessario e suficiente pa
ra serem estruturas de proposi^ao,e£
truturas de descrigao ou estruturas
de significa^oes complexes nao-jud^
cativas (nao-proposicionais) . E tudo
isto antes de se decidir sobre a ver
252
{"estar obrigado a","ter direito a",
"nao poder fazer; modalizagoes do re
lacional,deontico "dever-ser")nao se
teni uma estrutura sintatico-normati
UM EXEMPLO DE REDUgAO.
153
como entidades dotadas de valores po
sitivos e valores negatives,antes de
inter^pretar tais valores especifica
damente como valores veritativos e
154
ca (como o fez HUSSERL), ultrapassan
do a sintaxe l5gica em sentido estri
to.
ISS
sintaticas "v|R(a,b>p) e "N R(a,b,p)[.
Esse nucleo ou conteudo comum leva a
156
do-se entre parenteses as diferen^as
semanticas, ou, em lexico fenomenolo
gico, as diferengas provenientes do
modo-de-ser dos objetos (de. suas on
tologias regionais). A teoria de SCH
REI3ER repousa sobre a eliminafjao
dessa dimensao semi5tlca gue e a re
iaijao da linguagem com a realidade
(SCHREIBER, Logik des Reahts^ pags.
24/29, 63/66).
COMENTARIO
SOBRE A
TESE DA REDUgAO.
157
grandes l5gicos xnencionados (SCHREI
BER, Logik des RechtSj pags. 24/32 A.
ROSS, Log-iaa de las normaSj pags.
41/44, 98/100). Sao modificadores ou
operadores diferentesy incidindo so
bre urn conteudo de significacjao co
murrt. Esquematicamente, formulamos a^
Sim: "( ) V" e " { ) D".
No interior dos parenteses, estao a
Ibjadas estruturas formais identicas,
OS enunciados descritivos.
158
serida na liipotese, e a modalidade
factica, o ontologicamente possivel.
Nao e a possibilidade normativa - o
poder fazer ou o poder oniitir, jua:_i
dicamente estatuido. Se o fosse, fa^
taria sentido quando na hip5tese se
fizesse referenda a fates naturals,
casualmente inter-relacionados. Ine
259
to natural. Per outro lado,quandc no
piano do real se verifica a situa<jao
objetiva descrita na hipStese, a hi^
p5tese nao adquire o valor-de-verda
de. Tambem se nenhurci fato da realida
160
preceituado na consequencia, quer
zer, na ordem existencial o sujeito
concrete do dever deixou de cumpri-
lo, ou o portador do direito deixou
de exerce-lo. A nao-ocorrencia do fa
to correspondente a hip5tese, ou a
inobservancia do qua se preceitua no
membro dispositivo da norma jurldica
completa, acontecem no piano da con
cregao existencial, no nivel da efe
tividade, sera comprometer o valer da
hipotese e o valer da consequencia.
0 valer de uraa e/ou outra corta-se
com outra norraa valida (que pode to
mar a inefetividade como fato juridi
CO desconstitutivo de norraa ate en
161
FUl^gAO DESCRITIVA
DA HIPCTESE.
162
quer nas ciencias reais-culturais,co
mo demonstrou RICKERT. 0 conceito e
16Z
preside a sele^ao das notas relevan
tes, que entram nesse universe, e o
que determina a construpio do fato
como juridico e feito mediante ato-
-de-valoragao. Valora-se, como mo£
tra KARL ENGISCH {Einfuevung in die
guvistische Denken, pags. 27 e ss.)
o fato biologico de ser humano conc^
bido, de nascer, de alcancar certa ^
dade e, por isso, o fato natural se
torna substrate de qualificapao jur_i
dica. 0 fato natural da consaguini^
dade nao entra todo, em sua inteire
za biologica, como hipotese para se
converter em parentesao, que e rela
^ao normativa. Observa PONTES DE
RANDA que do suporte factual, do fa
to que esta no mundo "nao entra, sem
pre, todo ele. As miais das vezes,
despe-se de aparencias, de circun^
tancias, de que o direito abstraiu?
e outras vezes se veste de aparen
264
cias, de forinalismo, ou se reveste
de certas circunstancias, fisicaraen
te estranhas a ele, para poder en
trar no mundo juridico. A pr5pria
morte nao e fato que entre nu, em
sua rudeza, em sua definitividade no
mundo juridico..." (PONTES DS MIPJ^
DA, Tratado de Direito Privado, pag.
20, t. 1}.
265
te Qom a vealidade. Falta-lhe, por
conseguinte, o status semantiao de
enunciado veritativo (verdadeiro ou
falso). Teni ela, digamos, Valencia.
Vale e seus valores sao ligados aos
valores do consequente. Valer e nao-
valer sao propriedades da hipotese e
da consequencia, e da proposigao nor
niativa em sua bimercibridade constitu
tiva.
INGRESSO EM DOMINIO
NAO-FORI-IAL.
166
S analitica do fonfial, que se obtem
per suspensao da atitude natural que
toma a linguagem (e o logos na lin
guagein inserido) como instrumento de
atua9ao no mundo circundante. £ sufa.
ciente entrar um pouco mais alem do
formal que esta na protase - meinbro
sintatico da proposiqao juridica pa
ra despontarem valores roeta-logicos:
OS atos-de-valoraqao que seleciona
objetos e proprledades-de-objetos do
mundo, convertendo o meramente fac
tual em fato juridicaraente relevante,
trazendo esse substrato para o uni
verso-do-direito. Ainda encontrari^
mos valores meta-l5gicos no interior
da proposiqao-prescritiva, na apodo^
ssj o outro membra sintatico da pro
posigao juridica. O modal-deontico,
que formalmente e um relacional indi_
ferente a valores extra-logicos, e
forma aberta para se encher da con
16?
cregao que as "relagoes da vida" (E.
BETTI, Teovia del negoaio juridioOj
pag. 3) oferta em sua incomparavel
riqueza. Por isso, o direito eia sua
estrutura integral e apenas forma. 0
formalismo, alera do campo l5gico, e
logicisuio. Quer na feitura das propo
sigoes juridicasV quer em sua aplica
gao a concregao da vida, ha intencio
nalidade objetiva e referencia a va
lores (nao meras valencias logicas
que entram nas formas sintaticas).De
ve-ser o que e positivo para urn ato-
de-val6ragao e nao deve-ser o que e
negative para outro ato-de-valoragao.
0 yinculo entre hip5tese e consequen
cia, que no piano analltico-formal e
mera relagao implicacional, na propo
sigao do direito positivo e nexo
axiologicamente estatuido. Tudo isso
explica porque na construgao do d^
re'"ito e na aplicagao do direito a l5
1S8
glca seja insuficiente. Nao se reso^
ve corn logica o que e extra-l5gico:
o conteudo material - a referenda a
169
tude dos juristas com sense da re'al^
dade. Foi teorizagao, excesso racio
nalista, cujo fundo subjacente o so
ci5logo sabe descobrir. E descobrir
como ideologia que quer se confundir
com ciencia, falsa consciencia que
KELSEN implacavelmente sempre denun
ciou.
170
Ella Itvro foi impresso pela
SiMBOLO S.A. INDOSTRIAS GRARCAS
Rua Genaral Roras, SIB S22 52S
Talafona 221S833
SBo Paulo
Com fllmes fornecido* pela edrlora
COLEgSo jurIdica "J.B."
Ja lan9ados:
Em prepare;