O

QUE UMA LGICA? dos modelos, os fundamentos da teoria

de conjuntos, dentre outras variadas
Newton C. A. da Costa reas, que nem de perto se assemelham
Dcio Krause a estudo de raciocnios (alis, o que
seria um raciocnio, precisamente?).
Grupo de Estudos em Lgica e Fundamentos da Aquela parte da lgica que poderamos
Cincia chamar de teoria da argumentao, com
Departamento de Filosofia certa condescendncia, talvez pudesse
Universidade Federal de Santa Catarina se aproximar do que apregoam esses
(Junho 2011)

autores. Ademais, os trs mencionados
princpios no so os nicos que
A palavra lgica tem diversos vigoram na lgica clssica, havendo
significados. Comumente, se ouve falar muitos outros (dupla negao, lei de
da `lgica do mercado, ou da `lgica da Peirce, lei de Scotus, etc); por fim, basta
criana (em distino `lgica do notar que no se pode fundar a parte
adulto), etc. Todas essas denominaes mais bsica da lgica (dita) clssica
so imprecisas e necessitam ser vistas nesses trs princpios. Eles no bastam.
com cautela. Mas Lgica tambm uma E depois, porque identificar lgica com
disciplina que parte tanto da filosofia lgica clssica? Na lgica intuicionista ao
quanto da matemtica, e tem se estilo Brouwer, o terceiro excludo no
infiltrado em praticamente todas as vale; nas lgicas paraconsistentes, o
reas da investigao humana. Neste princpio da contradio no vale em
artigo, no falaremos da histria da geral, e nas lgicas no-reflexivas o
lgica, nem de suas aplicaes, que hoje princpio da identidade que
em dia vo da cincia da computao restringido. (Quadro 3) Assim, como
medicina, passando pela matemtica, sustentar a afirmao acima? Afirm-la
pelas cincias empricas (fsica, constitui pura e simplesmente um erro
biologia), pela filosofia, pela economia, crasso. Mais frente, alguns dos termos
filosofia do direito e da psicanlise. deste pargrafo ficaro mais claros.
Ficaremos restritos a desvendar o que Outro vcio que encontramos nos
se entende por lgica no como livros e textos a afirmativa de que
disciplina, mas como sinnimo de lgica (no sentido de sistema lgico)
sistema lgico. Antes, porm, um alerta. identifica-se com linguagem. Talvez isso
Vrios textos que se encontram na praa se deva a uma tradio, que remonta a
(livros introdutrios, principalmente) Frege e Russell, de apresentar uma
classificam a disciplina Lgica como o lgica (no caso deles, a que chamamos
estudo de inferncias vlidas, e que seus de `clssica) iniciando pela descrio de
princpios fundamentais seriam os uma linguagem (smbolos primitivos,
princpios da identidade, da contradio regras gramaticais de formao das
e do terceiro excludo. (Quadro 1) Nada expresses bem formadas, e depois o
mais falso e desprovido de sentido do seu aparato dedutivo, composto por
que isto. Basta que o leitor consulte o axiomas e regras de inferncia). Mas
item 03 da Mathematics Subject este apenas um dos lados da histria.
Classification, editada pela American Com efeito, como mostraram os
Mathematical Society em parceria com poloneses no incio do sculo XX, uma
sua co-irm alem Zentralbat fr lgica pode ser identificada com uma
Mathematik, (Quadro 2) (para constatar lgebra, e uma linguagem formal
que a Lgica vai muito alm disso, tambm um tipo de lgebra ---trata-se
envolvendo a teoria da recurso, a teoria de uma lgebra livre com um

1
determinado conjunto de geradores, premissas adicionemos s que j
esses conceitos devendo ser entendidos tnhamos. A lei (ou regra) do corte
no sentido que se lhes d em lgebra). tambm bastante intuitiva. Repare que
Do ponto de vista algbrico, na maioria dos `raciocnios que
podemos ver uma lgica como um par fazemos, ferimos a monotonicidade. Por
ordenado L = <F, T>, onde F um exemplo, se sempre que uma criana
conjunto no vazio (a natureza dos houve seu pai buzinar, sabe que precisa
elementos no importa em uma ir correndo abrir o porto da garage
primeira instncia) e T uma coleo de para ele entrar, no implica que hoje,
subconjuntos de F. Os elementos de F ouvindo a buzina, deva fazer isso, pois
so denominados de frmulas, e os de T, sabe uma coisa a mais, a saber, que seu
de teorias. Os seguintes axiomas devem pai no esqueceu o controle do porto.
ser satisfeitos: (1) F pertence a T, ou Uma premissa a mais derrota (defeat) a
seja, o conjunto das frmulas uma derivao. Tais formas de inferncia so
teoria; (2) se T1, T2, ... so teorias (o extremamente importantes, mas no
conjunto pode ser qualquer, no trataremos delas aqui.
necessariamente enumervel, ou seja, A partir dessas definies,
no precisa admitir uma corresponncia podemos introduzir todo o aparato
um a um com o conjunto dos nmeros sinttico usual, bem como provar seus
naturais), ento a sua interseo, que resultados correspondentes, mas
consta daquelas frmulas que tambm no disso que queremos falar.
pertencem a todas essas teorias, Um outro conceito importante o de
tambm uma teoria. Isso pode parecer consequncia lgica; sendo um
difcil, mas no ; tudo o que se pede conjunto de frmulas, escrevemos Cn()
concentrao e capacidade de raciocnio para representar o conjunto de todas as
abstrato. Vamos em frente. frmulas de F que so dedutveis das
Dado um conjunto de frmulas frmulas de . Em outras palavras, A
e uma frmula A, escrevemos |- A para estar em toda teoria que contenha as
indicar que toda teoria que contenha as frmulas de , e somente nessas teorias.
frmulas de contm A. Neste caso, Se dispusermos do smbolo de deduo,
dizemos que A dedutvel, ou que podemos definir Cn() = { A : |- A}. O
conseqncia sinttica, das frmulas de operador Cn chamado de operador de
. As frmulas de denominam-se de consequncia de Tarski. imediato
premissas da deduo e A a concluso. provar que ele satisfaz as seguintes
Escrevemos |-/- A em caso contrrio. condies: (i) est contido em Cn();
simples mostrar que o operador |-, que (ii) se est contido em , ento Cn()
chamamos de operador de deduo, tem est contido em Cn(), e (iii) Cn(Cn())
as seguintes propriedades: (a) {A} |- A est contido em Cn(), ou seja, aquilo
(autodedutibilidade), (b) se |- A, ento que se deduz do que j foi deduzido,
|- A, sendo um conjunto pode ser obtido apenas das premissas
qualquer de frmulas (monotonicidade), originais.
e (c) se |- A e se |- B para toda B em Vamos ver algumas formas
, ento |- A (lei do corte). A alternativas de dizer a mesma coisa,
autodedutibilidade bvia: toda talvez mais intuitivas maioria dos
frmula dedutvel dela mesma (ou de leitores.
seu conjunto unitrio). A A primeira inverte a situao
monotonicidade significa que se acima. Dizemos que uma lgica um par
deduzimos A de , continuaremos L = <F, |- > composto por um conjunto F
deduzindo A no importa quantas como acima e por uma relao entre

2
conjuntos de frmulas e frmulas, pertence a , ou consequncia
satisfazendo a autodedutibilidade, a imediata de frmulas precedentes da
monotonicidade e a lei do corte. Com sequncia por uma das regras de
isso, podemos agora definir teoria; uma inferncia. Claro que (a)-(c) acima valem
teoria um conjunto de frmulas e que podemos definir facilmente Cn()
fechado por dedues, ou seja, um para qualquer , de forma a valerem (i)-
conjunto T tal que tudo o que for (iii). Teorias tambm podem ser
deduzido de frmulas de T ainda definidas sem dificuldade (o leitor
pertence a T. Podemos agora mostrar deveria tentar), de modo a cumprir (1) e
que as condies (1) e (2) impostas (2).
acima podem ser obtidas como Vamos ver um exemplo simples
teoremas. As duas abordagens so de uma lgica. Tomemos F =
equivalentes. Mas h uma terceira que {0,1,2,3,4,...} (o conjunto dos nmeros
vale a pena mencionar. Pomos agora que naturais) e seja A={0,2,4,6,8,...} (o
uma lgica um par L = <F, Cn >, sendo conjunto dos nmeros pares). As regras
F como acima e Cn uma relao entre so duas, definidas fazendo-se uso das
conjuntos de frmulas e frmulas, operaes conhecidas com nmeros:
satisfazendo (i)-(iii) acima. Podemos (R1) de A e B, inferimos A+B e (R2) de A
agora definir |- a partir de Cn do e B, inferirmos A.B. imediato constatar
seguinte modo: |- A se e somente se A que {1,2} |- 1, {1,3) |- 4, {2,3} |- 6, bem
pertence a Cn() e provar que valem como que Cn(A) = A F, etc.
(a)-(c) acima. A partir disso, voltamos a Esta lgica, apesar de
definir teoria e provar que as condies interessante para exerccios, no tem
(1) e (2) so satisfeitas. Isso mostra que muita utilidade. Uma mais poderosa
as trs formas de abordagem so obtida acrescentando-se estrutura L =
equivalentes. Uma quarta, tambm <F,T> um operador binrio definido
equivalente s anteriores a seguinte. sobre F, denotado . Escreveremos
Dizemos que uma lgica uma tripla AB para indicar que A e B esto
ordenada L =< F, A, R>, onde F como relacionados por . Pomos agora a
antes, A um subconjunto de F, dito seguinte definio: L uma lgica
conjunto dos axiomas de L e R uma implicativa intuicionista se forem
coleo de relaes entre conjuntos de satisfeitas as seguintes condies, para
frmulas (as premissas da regra) e toda teoria T de L, e todas A, B, C em T:
frmulas, ditas regras de inferncia de L. (I1) A (B A) pertence a T; (I2)
Suporemos que as regras so finitrias, (AB) ((A (B C)) (A C))
ou seja, h sempre um nmero finito de
pertence a T, e (I3) se A e se AB
premissas, mas isso poderia ser
pertencem a T, ento B pertence a T.
generalizado. Se A1, A2, ..., An forem as
(Quadro 4) Obtm-se uma lgica
premissas de uma regra R e A for a
implicativa clssica se a essas condies
concluso, diremos que A consequncia
impusermos uma a mais, conhecida
imediata das Aj pela regra R.
como Lei de Peirce: (P) ((AB) A)
Agora podemos introduzir a
noo de deduo, |- A, do seguinte A pertence a T. O caminho est
modo. Dizemos que A dedutvel de se traado. Acrescentando-se estrutura L
= <F,T> outros operadores, como
existe uma sequncia (no nosso caso,
finita, mas isso pode ser estendido para (conjuno), (disjuno) e (negao)
casos mais gerais) de frmulas B1, B2, ..., obedecendo axiomas pertinentes,
Bn tal que (I) Bn A; (II) cada Bj, para j<n, obtemos as lgicas conjuntiva, disjuntiva,
um axioma (elemento de A), ou da negao (minimal, por exemplo) ou

3
ento, colocando-se esses conectivos Ademais, o que a lgica
todos, obtendo L=<F,T, , , , > com clssica? Para alguns, como Quine, ela
axiomas adequados, obtemos as lgicas deve se restringir logica
usuais positiva intuicionista, positiva quantificacional elementar (de primeira
clssica (essas duas sem o operador ordem), mas porque isso tem que ser
unrio de negao), de Johansson- assim? Vimos acima que, procedento
Kolmorov, de Brouwer-Heyting, e a adequadamente, podemos obter
clssica. Claro que podemos estender sistemas to fortes como as teorias de
essas estruturas para obter as conjuntos. Qual o critrio para exclu-las
correspondentes lgicas daquilo que denominamos `lgica,
quantificacionais (isso daria um pouco relegando-as a serem `matemtica,
mais de trabalho, e no dispomos deste como apregoava Quine?
espao aqui). Operadores convenientes Qualquer resposta no passar
como (possibilidade), O de mero palpite, opinio. Lgica aquilo
(obrigatoriedade), o (bom que faz parte da atividade do lgico, e
comportamento) nos permite obter com como se constata verificando-se a
facilidade os sistemas modais, denticos Mathematical Subject Classification, este
e muitos clculos paraconsistentes, seja campo do conhecimento, como qualquer
de nvel proposicional ou outro, est em constante alterao (itens
quantificacional. Adicionando-se um entram e saem dessa classificao
operador binrio (pertinncia), quando ela reavaliada, a cada 10 anos),
podemos obter as teorias de conjuntos o que atesta ser uma rea viva e
usuais, como o sistema Zermelo- saudvel de nossa atividade cientfica.
Fraenkel. As propriedades sintticas e
semnticas de todos esses sistemas
Quadro 1.
podem ser estudadas como se faz Os trs mais clebres princpios da lgica
usualmente. Saliente-se que mesmo tradicional (mas no os nicos) admitem cada
lgicas indutivas podem ser estudadas um uma variedade de formulaes no
via esta abordagem. equivalentes. Por exemplo, o princpio da
Como se v, no se pode identidade pode ser AA (lgica proposisional),
ou x(x=x) (lgica de primeira ordem), todo
antecipar uma definio de lgica sem
objeto idntico a si mesmo(formulao
que se conhea a fundo os sistemas que semntica). Verses do princpio da contradio
so trabalhados pelos lgicos. Assim, ao so: (A A), dentre duas proposies
se dizer que a lgica trata de raciocnios, contraditrias (uma sendo a negao da outra),
do que se est falando? Um brouweriano uma delas falsa. Quanto ao terceiro excludo,
no aceitaria uma reduo ao absurdo, temos AA, e dentre duas proposies
contraditrias (uma sendo a negao da outra),
como faz um `clssico. Um lgico
uma delas verdadeira. Outros princpio so: a
paraconsistente no v problema em dupla negao (clssica) diz que AA, a
derrogar o mais certo de todos os reduo ao absurdo clssico (A B)
princpios, como se referiu Aristteles ((AB)A)), e assim por diante.
ao princpio da contradio, e assim por

diante. Da mesma forma, a lgica (qual

lgica?) no pode ser vista como algo a Quadro 2.
priori. Temos mais familiaridade com a No site da Mathematics Subject Classification
http://www.ams.org/mathscinet/msc/msc2010.h
lgica (dita) clssica por questes
tml, o leitor encontrar as subdivises datadas
culturais, mas nada impede que, em de 2010 da matemtica presente. A seo 03
princpio, nossas categorias do intitula-se Mathematical Logic and Foundations,
entendimento nos tivessem levado a e engloba, dentre vrias outras, a teoria dos
uma lgica distinta da clssica. modelos, a teoria da prova, a teoria dos

4
conjuntos, a teoria da computabilidade, a lgica graduao do departamento de filosofia da
algbrica. Como dizer que a lgica ocupa-se UFSC. pesquisador do CNPq.
meramente do estudo de raciocnios vlidos?
Dcio Krause
Aposentado do departamento de matemtica da
UFPR, atualmente professor do departamento
Quadro 3. de filosofia da UFSC. pesquisador do CNPq.
Lgicas que derrogam o principio da identidade
(em alguma de suas formas) ou que restringem o
conceito de identidade da lgica clssica so WORD COUNT: 2.670
denominadas de no-reflexivas. Por exemplo, as
lgica da implicao causal, que interpretam
AB como A causa B, em geral no aceitam
que uma coisa possa ser a causa dela mesma. O
princpio x(x=x) enfraquecido nas Lgicas de
Schrdinger e nas teorias de quase-conjuntos,
que operam sobre domnios nos quais se admite
que a relao de identidade no de aplica para
determinados objetos. As lgicas que derrogam
o princpio do terceiro excludo so chamadas de
paracompletas, estando entre elas a lgica
intuicionista e as lgicas polivalentes.


Quadro 4.
Um exemplo de uma derivao na lgica positiva
intuicionista. Provaremos que AA uma tese
desta lgica, em estrita conformidade com a
definio de deduo dada no texto (neste caso,
no h premissas alm dos axiomas da lgica em
questo). Temos a seguinte derivao, na qual
indicamos direita o que se passa com cada
frmula da sequncia:
1. A(AA) instancia do axioma I1
2. (A (A A)) (A((AA) A)
(AA)) axioma I2
3. (A((AA) A)) (AA) 1,2,
axioma I3
4. A((AA) A) axioma I1
5. AA 3,4, axioma I3


Referencias
Da Costa, N. C. A. [1980], Ensaio
sobre os Fundamentos da Lgica.
So Paulo, Hucitec-EdUSP.



Newton C. A. da Costa
Aposentado dos departamentos de matemtica e
de filosofia da USP, um dos criadores das
lgicas paraconsistentes e tem dado colaborao
em diversas reas do conhecimento, tendo sido
agraciado e reconhecido no Brasil e no exterior.
Atualmente professor do programa de ps-