Investigao Filosfica: vol. 4, n. 1, artigo digital 4, 2013.

O Princpio de no-contradio e sua traduo para a aritmtica transreal (The Principle of non-contradiction and its translation into transreal arithmetic)
Walter Gomide Universidade Federal de Mato Grosso

Introduo

No h dvida de que a lgica contempornea colocou sob anlise ou suspeita um dos pilares do pensamento ocidental: o princpio de no-contradio. Desde o surgimento da lgica paraconsistente, a partir dos trabalhos do lgico brasileiro Newton da Costa, nos anos 60 do sculo XX, at o desenvolvimento do dialetesmo, vertente filosfica capitaneada pelo lgico ingls Graham Priest, que postula que h de fato, no mundo, contradies verdadeiras, o princpio de no contradio deixou de ser uma diretriz do pensamento racional, passando a ser, dentro de certos limites, atenuado (sobre a lgica paraconsistente, ver Da Costa [1993] e sobre o Dialetesmo, ver Priest [2008]) Mas o que, de fato, o princpio de no-contradio? Este artigo visa dar uma resposta a esta pergunta, de tal forma que instrumentos da aritmtica transreal sejam usados a fim de oferecer uma traduo ilustrativa do comportamento do princpio de no contradio, seja em sistemas clssicos, que adotam tal princpio como verdadeiro, seja nos ditos sistemas no-clssicos, que atenuam ou eliminam a verdade de tal princpio. O princpio de no-contradio ser tratado dentro da estrutura dos nmeros transreais, novo domnio aritmtico criado pelo Prof. James Anderson (ver Anderson, [2008]).

Os nmeros transreais

Os nmeros transreais consistem em uma generalizao dos nmeros reais R. Basicamente, a novidade introduzida pelos transreais a permisso da diviso por zero, o que no aceito no mbito dos nmeros reais. De fato, a introduo da diviso
1

Investigao Filosfica: vol. 4, n. 1, artigo digital 4, 2013.

irrestrita por zero, como definida nos transreais, no foi aceita de forma consensual na comunidade matemtica. Em especial, a diviso de zero por zero (a qual d origem ao nmero transreal nullity) vista como uma mera traduo (ou renomeao) do j conhecido NaN (Not a Number), o qual aponta simplesmente que foi cometido um erro sinttico na manipulao das operaes aritmticas. Para obter os nmeros transreais RT dos nmeros reais, primeiramente so introduzidos os seguintes nmeros (ver Anderson, [2008]):
(1) 1/0 = ; (2) -1/0 = -.

Desta forma, chegamos ao domnio dos nmeros reais estendidos:

(3)

RE =

R {-, }.

A partir dos nmeros reais estendidos, chega-se ao nmeros transreais mediante a introduo da constante , definida da forma seguinte:
(4) 0/0 = .

Desta forma, os transreais RT so definidos como:

(5) RT = RE {}.

possvel definir as operaes usuais da aritmtica nos nmeros transreais de forma consistente (ver ANDERSON et al, [2007]). Os nmeros transreais podem ser visualizados da forma seguinte:

- ... _______________0___________________...
A constante (denominda por Anderson de nullity) ocupa uma posio fora da reta representativa dos nmeros reais estendidos RE = R {-, }. Um resultado interessante se depreende no que diz respeito relao de ordem < que se estabelece nos transreais RT. Para qualquer nmero real r, valem sempre as seguintes desigualdades:
(6) r < ; (7) - < r

Investigao Filosfica: vol. 4, n. 1, artigo digital 4, 2013.

Entretanto, a constante no ordenada em RT, isto , para qualquer nmero t RT, temos sempre que:
(8) (9)

(t < ); ( > t).

O Princpio de no-contradio traduzido para a aritmtica transreal

Consideremos, inicialmente, variveis proposicionais e que tomam por valores constantes de predicado de aridade 0 letras sentencias, que pertencem ao vocabulrio de uma linguagem L. Suponhamos agora que h uma funo v, definida no conjunto P = {, }, e que toma por valores nmeros transreais no-negativos . Consideremos tambm que h uma funo que associa os valores transreais de v com elementos do seguinte conjunto : = {T, F, c, i}, o conjunto de todos os possveis valores de verdade que uma constante de predicado, uma vez interpretada, pode ter, isto : T o verdadeiro, F o falso, c tanto verdadeiro como falso, e i nem verdadeiro, nem falso. A partir da funo v (cujos valores nos nmeros transreais maiores ou igual a zero, a partir do conjunto , so definidos arbitrariamente), podemos definir uma funo que associa os valores transreais no-negativos (arbitrrios) de v no domnio :
a) Se v(YP) = rR (reais) >0, ento (v(YP)) = c; b) Se v(YP) = , ento (v(YP)) = T; c) Se v(YP) = 0, ento (v(YP)) = F; d)

Se v(YP) = , ento (v(YP)) = i.

Claramente, a funo atribui valores de verdade a partir de valores transreais que so imagens de parmetros proposicionais de uma linguagem L. Consideremos agora que L, alm de constantes de predicado, tambm possui os smbolos lgicos usuais do alfabeto do clculo proposicional, isto , = {, , , , } um subconjunto de L. Sendo assim, em L, tambm podem se definir frmulas

Investigao Filosfica: vol. 4, n. 1, artigo digital 4, 2013.

moleculares, resultantes de conhecidas regras recursivas de formao de frmulas (ver PRIEST, p.4, [2008]). A linguagem L pode ser interpretada. De fato, a funo tem o papel de interpretar (isto , atribuir um valor de verdade) s constantes de predicado presentes em L (em um primeiro momento, considera-se aqui que tais constantes de predicado so letras sentenciais, isto , constantes de predicado que so interpretadas no como conjuntos, mas diretamente como valores de verdade). Uma vez sendo interpretadas as constantes de predicado, as frmulas tambm admitem ser interpretadas por meio de conhecidas regras semnticas que espelham os procedimentos recursivos utilizados para a formao de frmulas moleculares. Na semntica das lgicas ditas clssicas, de natureza bivalente, as regras pelas quais as frmulas complexas so valoradas a partir de seus componentes atmicas so as seguintes (no que se segue, e so parmetros proposicionais que percorrem o domnio das constantes de predicado de L, e a funo anteriormente definida):
1) (v ()) = T sse (v ()) = F. 2) (v ( )) = T sse (v ()) = T e (v ()) = T. 3) (v ( )) = T sse (v ()) = T ou (v ()) = T. 4) 5)

(v ( )) = T sse (v ()) = F ou (v ()) = T (v ( )) = T sse (v ()) = (v())

sabido que h um nico operador lgico, a barra de Sheffer , por meio do qual todas as condies valorativas acima expressas podem ser equivalentemente definidas s com tal conectivo. Mais especificamente, os valores de verdade que podem ser atribudos barra de Sheffer obedecem seguinte equao:
6) (v ()) =

(v(())).

Segue-se, ento, que:

7) (v ()) = (v (())) = (v ()).

Desta forma,
8) (v (()) = (v ( ( )))

A expresso acima nos d a maneira pela qual o princpio de no-contradio, sob ponto de vista semntico, pode ser apresentado somente com a barra de Sheffer.

Cabe notar aqui que a barra de Sheffer admite uma traduo para a aritmtica transreal. De fato, a expresso:

Investigao Filosfica: vol. 4, n. 1, artigo digital 4, 2013.

9) v() = (1/v() +

1/v())

mapeia a barra de Sheffer para o domnio da aritmtica transreal. Uma vez que na aritmtica transreal 1/0 = e 1/ = 0, ento fica evidente que os valores admitidos pela expresso acima, para quaisquer valores transreais no-negativos de v() e v(), sero os valores semanticamente esperados para a barra de Sheffer, isto 1:
10) (v ()) = ((1/v() + 1/v()).

O Princpio de no-contradio, expresso por meio da barra de Sheffer, pode ser traduzido aritmtica transreal atravs de:
11) v(()) = (1/v() + 1/v()),

o que nos d:
12) (v (()) = ((1/v() + 1/v()).

Chamemos (1/v() + 1/v()) de . Temos ento o seguinte: Se , ento () T (o princpio de no-contradio, semanticamente, se comporta de forma no-clssica). Por sua vez, se = , ento () = T (o princpio de no-contradio, semanticamente, se comporta de forma clssica). Portanto, a grandeza , inteiramente definida na aritmtica transreal, serve como um parmetro do comportamento semntico do princpio de no-contradio. Mas isto nos leva a um problema mais fundamental: A equao acima, 10), nos d uma traduo para a aritmtica transreal da barra de Sheffer. A partir desta traduo, uma verso (trans) aritmtica do princpio de nocontradio surge atravs da grandeza . Mas o que, de fato, significa tal grandeza, a ponto de ser um parmetro perfeitamente adequado para nos indicar o comportamento semntico do princpio de no contradio? Para responder pergunta acima formulada, duas hipteses so introduzidas. A primeira, busca resolver a questo mediante uma interpretao (trans) mtrica 2 da barra de Sheffer; a segunda, associa a barra de Sheffer medidas de conjuntos

Na aritmtica transreal, se 1/() igual a ou se 1/() igual a , ento (1/() + 1/()) igual a , para qualquer valor que a parcela restante possa ter; se tanto 1/ () for um nmero real e 1/v() tambm for um nmero real, ento (1/() + 1/()) um nmero real, como era de se esperar. Se uma das parcelas envolvidas for um nmero real e a outra for um transreal pertencente a {,}, ento a soma nos d um transreal, ou . Por interpretao (trans) mtrica entende-se a compreenso da barra de Sheffer como distncia, no espao (trans) mtrico, entre conjuntos. Vale dizer que tal distncia toma por valores tantos nmeros reais como ou .

Investigao Filosfica: vol. 4, n. 1, artigo digital 4, 2013.

A barra de Sheffer como distncia entre conjuntos

Consideremos os predicados P e Q pertencentes a uma linguagem L. A estes dois predicados, mediante uma funo f, faamos corresponder duas regies e de um espao trans-mtrico G. Por um espao trans-mtrico, entende-se uma generalizao da noo de espao mtrico, de tal forma que em G esto definidas tanto distncias de valores reais, quanto valores trans-reais. Os postulados que definem um espao trans-mtrico so os seguintes (ANDERSON, [2008]): t(a,b) = t(b,a).
(t(a,b) < 0) t(a,b) = 0 sse a = b (t(a,b) + t(b,c) < t(a,c))

Nos postulados acima, a funo t chamada de trans-mtrica, e pode tomar por valores tanto nmeros reais quanto transreais. Seja agora a funo f que associa os predicados P e Q a regies do espao transmtrico G.
P f . Q f .

Consideremos agora que se possa avaliar a distncia entre e (uma maneira de se fazer isto seria por meio da noo de distncia de Hausdorff entre conjuntos3). Desta maneira, a barra de Sheffer, traduzida na artimtica transreal, poderia ser vista como uma funo g desta distncia entre regies no espao trans-mtrico, isto :
v(PQ) = g[t(, )],

de tal forma que

se t(, ) = , ento v(PQ) = ; se t(, ) , ento v(PQ) .

A distncia de Hausdorff entre dois subconjuntos X e Y de um determinado espao mtrico definida da forma seguinte: DH (X,Y) = max {supxX inf yY d(x,y), supyY infx X d (x,y)}.

Investigao Filosfica: vol. 4, n. 1, artigo digital 4, 2013.

A distncia infinita entre conjuntos pode ser obtida da forma seguinte. Faamos os predicados P e Q serem mapeados, no espao transmtrico G, pelos conjuntos = {} e K = {c}. Definamos a transmtrica de G como: t(a,b) = |a - b|. No caso em questo, t (,c) = 4. Desta maneira, se tomarmos a distncia de Haussdorf entre os conjuntos e K, adaptada ao espao transmtrico (ver nota 3), ento t (,K) = . Portanto, sendo c a regio complementar a no espao transmtrico G, podemos introduzir um significado mtrico para a traduo do princpio de no contradio para a aritmtica transreal:
se t(, c) = , ento = (isto , [()] = T); se t (, c) , ento (isto , [()] T).

As condies acima j) e k) nos do um critrio mtrico para que o princpio de no contradio seja verdadeiro: a distncia entre as tradues transmtricas de P e no-P (respectivamente, e c) deve ser infinita; caso contrrio, o princpio de nocontradio tem valor diferente do verdadeiro. Assim, j) e k) nos oferecem um critrio inteiramente mtrico para avaliar o comportamento semntico do princpio de no-contradio.

A barra de Sheffer como medida de conjuntos no espao transmtrico

Consideremos que os predicados P e Q sejam traduzidos para o espao transmtrico G, por meio de uma funo f, como as regies e :

a) P f b) Q f .

Como se viu anteriormente,

Na aritmtica transreal, valem as seguintes identidades: para todo nmero real r, | - r| = |r - | = .

Investigao Filosfica: vol. 4, n. 1, artigo digital 4, 2013.

c) v(PQ) = v((P Q)) = v (P Q) .

Consideremos agora que todos os operadores lgicos, por meio de uma funo , sejam traduzidos para os seus correlatos conjuntsticos (a existncia de tal funo garantida pelo fato de que, tanto o clculo proposicional e a teoria dos conjuntos so uma lgebra booleana e, como tal, so intertraduzveis). Desta forma, pode-se estipular uma funo que associa conjuntos aos universos dos transreais:

d)

( (PQ)) = ( ( (P Q))) = ( (P Q)) = (( )c) = ( c c)

Seja L uma linguagem lgica na qual se definem expresses do clculo proposicional e seja Lc uma linguagem na qual se definem as operaes usuais da teoria dos conjuntos. Desta maneira, pode-se estabelecer a seguinte composio das funes v, e , sendo dadas as condies seguintes e), f), e g):
e) L v RT f) L Lc g) Lc RT

Portanto,
h) L v = RT.

Logo,
i) v(PQ) = (PQ) = ( c Kc ) = 1/( c) + 1/( c) .

Portanto,
j) (P (PP)) = 1/( c) + 1/(( c )c) = 1/ ( c) + 1/ ().

Desta forma, sendo c o conjunto complementar de em relao ao espao mtrico G, podemos considerar que P = ( c) a medida de dois conjuntos complementares em relao a um espao trans-mtrico G facilmente se constata que a funo uma funo de medida, posto que satisfaz os postulados que definem uma funo como medida, a saber:
8

Investigao Filosfica: vol. 4, n. 1, artigo digital 4, 2013.

Seja f uma funo definida em uma -lgebra5, com valores entre [0,] (os valores de funo poderiam estar no conjunto [0,] {}), f uma funo-medida se satisfizer os seguintes postulados: M1) f() = 0; M2) f (E1 E2 E3 ... ) = f(E1) + f(E2) + f(E3) + .... Sendo assim, a grandeza p mede o tamanho coberto pela regio e sua complementar c. Assim, institui-se um critrio de medida para que o princpio de no-contradio seja verdadeiro: o tamanho coberto pelas tradues transmtricas de P e no-P deve ser infinito, isto , o conjunto formado pela unio das tradues transmtricas de P e no-P deve ter medida infinita, caso contrrio, o princpio de nocontradio no verdadeiro.

Referncias Bibliogrficas
1)

2)
3) 4) 5) 6) 7) 8) 9) 10) 11) 12) 13)

Anderson, J. A.D. W. Representing Geometrical Knowledge. W. Phil. Trans.R.Soc. London, series B, Vol. 352, no 1358, pp 1129-1139; _____. Perspex Machine XI: Topology of Transreal Numbers. In: JMEC5 2008, S.1., Hong Kong, pp 330-338; Bell, J. L., De Vidi, d. and Soloman, G (2001), Logical Options: An Introduction to Classical and Alternative Logics. (Petersborough, ON: Broadview Press); Chaitin, G. The Limits of Mathematics, Spring Verlag, 1988; _____. Meta Math! The Quest for Omega, Pantheon Books, 2005; Chang, C.C. (1963), Logic with Positive and Negative Truth Values, Acta Philosophica Fennica 14: 19-39 Da Costa, N. C. A. (1974), On the Theory of Inconsistent Formal Systems, Notre Dame Journal of Formal Logic 15: 497-510; ______. (1993), Sistemas Formais Inconsistentes, Curitiba: Editora UFPR Dria F.A. and J.F. Costa. Special Issue on Hypercomputation, Applied Mathematics and Computation, Vol. 178, 2006; Dummett, M. (1959), Elements of Intuitonism, (Oxford: Oxford University Press); Fine, K. (1975), Vagueness, Truth and Logic, Synthese 30: 265-300; reeditado em Keefe and Smith (1996), ch 9; Gabbay, D. and Guenther, F. (1983-1989), (eds), Handbook of Philosophical Logic (Dordrecht: Kluwer Academic Publishers); _______. (2001- ), Handbook of Philosophical Logic, second edition (Dordrecht: Kluwer Academic Publishers);

Uma -lgebra em X satisfaz os seguintes postulados: (1) est em X; (2) Se E1, E2, ...En, ... esto em X, ento E1 E2 ... En ... est em X.

Investigao Filosfica: vol. 4, n. 1, artigo digital 4, 2013.

14) Gdel, 15) 16) 17) 18) 19) 20) 21) 22)

K. (1930), Die Vollstndigkeit der Axiome des logischen Funktionenkallkls, Manatshefte fr Mathematik und Physik 28: 173-98; Gottwald, S. (2001), A Treatise on Many Valued Logics (Baldock: Research Studies Press Ltd); Haack, S. (1974), Deviant Logic (Cambridge: Cambridge University Press); Hjek, P. (1998), Metamathematics of Fuzzy Logic (Dordrecht: Kluwer); Heijenoort, J. van (1967), From Frege to Gdel (Cambridge, MA: Harvard University Press); Jskowski, S. (1969), Propositional Calculus for Contradictory Deductive Systems, Studia Logica 24: 143-57; Kleene, S.C. (1952), Introduction to Metamathematics (Amsterdam: North Holland); Malinowski, G. (1993), Many-Valued Logics (Oxford: Oxford University Press); Priest, G. An Introduction to Non-Classical Logic. From If to Is. Second Edition, Cambridge University Press, 2008;

10