Escolar Documentos
Profissional Documentos
Cultura Documentos
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
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
18
b) b b
b)
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.
19
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.