15

LGICA CLSSICA: UM PROBLEMA DE IDENTIDADE

Robinson Moreira Tenrio
Prof. Assistente do Dep. de Cincias Humanas e Filosofia
Doutorando em Educao - USP
RESUMO - O princpio da identidade afirma que tudo idntico a si mesmo. Por
trs da obviedade aparente do princpio da identidade, e no mbito da lgica
clssica, jazem dois outros princpios, o princpio da no-contradio e o princpio do terceiro-excludo, cuja universalidade est longe de ser unanimemente
considerada.
ABSTRACT - The identity principle states that everything is identical to itself.
However, behind the apparent obviousness of the identity principle, and within the
ambiance of classical logic, lies two other principles, lie those of non-contradiction
and third exclusion, whose universality is far from being unanimously recognized.

A lgica to emprica
quanto a geometria
H. Putnam
O princpio lgico fundamental o princpio da identidade: tudo idntico a si mesmo. Em frmula, A A. Por exemplo, podemos dizer a rvore rvore.
Este princpio por demais evidente por sua elementariedade tautolgica e assusta que tenha que ser formulado.
Contudo, a ele se articulam dois outros princpios tidos como a base da lgica
clssica e, por extenso, do bom raciocnio: o principio da no-contradio
e o princpio do terceiro-excludo. O primeiro deles, como o nome indica, afirma
que no deve existir contradio no raciocnio: A no no-A, e a rvore no
no-rvore. O princpio da no-contradio , de certa maneira, a forma negativa
do princpio da identidade, ou seja, afirma que algo no pode ser e no ser ele
mesmo. O segundo deles, o princpio do terceiro-excludo, pode ser visto como a
forma disjuntiva do princpio da identidade: uma coisa ou no . Entre essas duas
possibilidades contraditrias no h possibilidade de uma terceira que, assim, fica
excluda. Formalmente, assim expresso: A B ou A no B; como exemplo
podemos, alimentados deste princpio, dizer que ou aquilo rvore ou no
rvore.
Esses princpios possuem um carter conjuntista (cf. CASTORIADIS, 1982,
1987, 1988 e 1992) do qual no nos ocuparemos agora. Pretendemos, por outro
lado, analisar mais detidamente a articulao dos trs princpios mencionados
(identidade, no-contradio e terceiro-excludo) no mbito da lgica clssica.
Comearemos j com uma digresso, examinando, assim de chofre, a proposio seguinte:
Sitientibus, Feira de Santana, n.11, p.15-19, jan./jun. 1993

16

Se ela me telefonar, sairemos juntos.

Essa uma sentena condicional que pode ser expressa da seguinte forma:
se p ento q
onde p e q so as sentenas atmicas seguintes:
p: ela me telefona
q: saremos juntos
Se um ansioso amigo nos diz:
Se ela me telefonar, ento saremos juntos.
e amanh, ao nos encontrarmos novamente com o ainda enebriado amigo ouvimos:

Samos juntos, eu e ela,

o que se pode concluir? Alm das diversas conjecturas que um imaginativo leitor
poderia fazer, relativamente afirmao condicional de nosso amigo, o que nos
interessa mais particularmente, pode-se concluir que ela lhe telefonou?
Isso no necessariamente verdade. A proposio condicional afirma apenas que, se a hipottica personagem feminina telefonar, nosso saltitante amigo
com ela sair; nada afirma no caso dela no telefonar. Assim, se ela telefonar, eles
certamente sairo juntos; mas, se ela no telefonar, ainda podero sair juntos (se
nosso amigo, por exemplo, no contiver sua ansiedade e telefonar antes para ela),
ou no.
De outra forma, no ocorre ela telefonar e eles no sarem juntos. Vejamos
o exposto em smbolos:
se p ento q
pode ser escrita
p

Assim, p q significa que no ocorre p e no-q ao mesmo tempo. Ou

ainda, substituindo no e e pelos smbolos lgicos e , respectivamente,
temos:
(P q)
H ainda outra maneira de se considerar a proposio condicional que
estamos analisando:
Ela pode telefonar ou no telefonar; se ela telefonar, eles sairo juntos; se
Sitientibus, Feira de Santana, n.11, p.15-19, jan./jun. 1993

17

ela no telefonar, eles podero sair juntos ou no; assim, eles sairo juntos ou no
sairo juntos; no segundo caso, necessariamente ela no telefonou. Em sntese,
eles sairo juntos ou ela no telefonar.
Em linguagem simblica, onde significa ou, temos:
q

Estabelecemos, portanto, a partir da afirmao condicional e de forma intuitiva, tendo em vista nosso propsito de discutir, logo mais frente, a articulao
dos princpios da identidade, da no-contradio e do terceiro-excludo, as seguintes equivalncias lgicas:
p q (p

q) p q

onde o smbolo para a equivalncia.

Damos por encerrada essa teledigresso. Oportunamente voltaremos a usar
os resultados obtidos.
O princpio da identidade afirma que uma rvore uma rvore, um homem
um homem, um div um div.
Simbolicamente, na lgica das proposies, a frmula b b toma a seguinte
forma:
b b (l-se b equivale a b)
A forma apresentada adiante faz uso do operador lgico de equivalncia ou
dupla implicao:
p q significa que p q e q p, ou ainda que p e q so equivalentes.
Assim, b b significa que b b e b b, o que redundante.
Em outros campos do conhecimento matemtico, o princpio da identidade
assume outras representaes*.
________________________________
* Em campos distintos da matemtica, o princpio da identidade assume formas
especficas: equivalncia ou dupla implicao, classes de equivalncia, igualdade, etc.
Alm disso, dependendo da axiomtica utilizada, o princpio b b em qualquer de suas
expresses simblicas, pode ser tomado com princpio mesmo (na forma de postulado ou
axioma) ou como teorema derivado de outros axiomas atravs de dedues; de qualquer
forma, o princpio da identidade impregna a expresso, tanto no sentido, quanto na sua
estrutura, pois j est presente nos outros axiomas utilizados. Por exemplo, em teoria dos
conjuntos, a igualdade A = B significa que A B e B A, de forma que A = A o mesmo
que A A.
Em suma, as expresses B B, B = B, B B e B B, ainda que aplicveis
em contextos usualmente diferentes, contm de alguma forma o princpio da identidade.
Sitientibus, Feira de Santana, n.11, p.15-19, jan./jun. 1993

18

Aqui neste texto estamos utilizando a forma implicativa do princpio da

identidade, forma na qual este princpio mais imediatamente evidente na lgica
das proposies.
Assim, a partir das equivalncias (identificaes) que j obtivemos na digresso acima para a implicao:
p q (p q) p q
podemos obter que
b b (b

b) b b

O princpio da identidade aparece claramente articulado aos princpios da

no-contradio e do terceiro-excludo. H uma forte interdependncia entre eles*.
A forma negativa (onde aparece tambm a conjuno e, simbolicamente
representada por , e asim podemos cham-la forma conjuntiva) do princpio da
identidade
(b

b)

o princpio da no-contradio, que diz: no ocorre b e no-b.

A forma disjuntiva (com a disjuno ou, simbolicamente representada por
do mesmo princpio

b b
o princpio do terceiro-excludo, que diz: ocorre b ou ocorre no, a terceira
possibilidade est excluda, trs demais.
Por trs da obviedade aparente do princpio da identidade, e no mbito da
lgica clssica, jazem dois outros princpios cuja universalidade est longe de ser
unanimemente considerada.
A crise de identidade desse princpio tem recrudescido assustadoramente,
at mesmo dentro da prpria lgica, com os teoremas de Godel, e a busca de
________________________________
* Dentro do escopo da lgica clssica essa interpendncia no significa necessariamente, at onde podemos vislumbrar, a possibilidade de derivao estrita e completa
de algum dos princpios de algum outro entre os restantes, nem de ambos restantes. Mas
nega a independncia dos princpios no mesmo sentido da independncia do V Postulado
de Euclides dos outros quatro postulados. Os trs princpios que estamos considerando
esto de tal forma articulados na lgica clssica, que uma entre outras escolhas possveis
de axiomas para sua construo formal completa e usual, pode conter, por exemplo, uma
das leis de De Morgan e o princpio da no-contradio, dos quais derivamos o princpio
do terceiro-excludo.

Sitientibus, Feira de Santana, n.11, p.15-19, jan./jun. 1993

19

novos caminhos axiomticos diferentes da axiomatizao da lgica clssica, como,

por exemplo, as lgicas paraconsistentes.
Fora do mbito axiomtico, a crise antiga e remonta pelo menos a Hegel
e depois Marx, com a dialtica e o materialismo dialtico; mais recentemente,
CASTORIADIS (1982) cria a lgica dos magmas e faz consideraes importantes
sobre a questo. Na fsica, na psicanlise, na histria, na arte e na poesia,
tempestades de contradies tm solapado incessantemente os pilares plantados
por Aristteles.
A questo tautolgica hamletiana ser ou no ser j no reina s e absoluta
nos pncaros (ou nos abismos) da reflexo filosfica tornada arte ou senso-comum.
Cada vez mais se insinua sua negao ser e no ser. No rima, contradio.

REFERNCIAS BIBLIOGRFICAS
CASTORIADIS, Cornelius. A instituio imaginria da sociedade. Rio de Janeiro: Paz
e Terra, 1982.
_____. As encruzilhadas do labirinto. Rio de Janeiro: Paz e Terra, 1987.
_____. As encruzilhadas do labirinto. 2 ed. Rio de Janeiro: Paz e Terra, 1988.
_____. As encruzilhadas do labirinto. 3 ed. Rio de Janeiro: Paz e Terra, 1992.

Sitientibus, Feira de Santana, n.11, p.15-19, jan./jun. 1993