AXIOLOGIA

101

AXIOMA

existencial implica a distino de valor entre verdade e falsidade. (Cf. E. G. SPAULDING, The
NewRationalism, 1918, pp. 206 ss.; W. M. URBAN,

The Intelligible World, 1929, pp. 61 ss.). AXIOLOGIA (in. Axiology, fr. Axiologie, ai. Axiologie, it. Axiologi). A "teoria dos valores" j fora, h alguns decnios, reconhecida como parte importante da filosofia ou mesmo como a totalidade da filosofia pela chamada "filosofia dos valores" e por tendncias congneres (v. VALOR) quando, no incio de nosso sculo, a expresso "axiologi" comeou a ser empregada em seu lugar. Os primeiros textos em que esse termo aparece so: P. LAPIE, Logique de
Ia volont, 1902, p. 385; E. VON HARTMANN,

Grundriss der Axiologie, 1908; W. M. URBAN, Valuation, 1909- Esse termo teve grande aceitao, ao contrrio de timologia, proposto para a mesma cincia (KREIBIG, Psychologische Grundlegung eines Systems der Werttheorie, 1902, p. 194). AXIOMA (gr. ^co|J.a; lat. Axioma; in. Axiom; fr. Axome, ai. Axiom; it. Assiom). Originariamente, essa palavra significava dignidade ou valor (os escolsticos e Vio usavam-na por dignidade) e foi empregada pelos esticos para indicar o enunciado declarativo que Aristteles chamava de apofntico (DIG. L, VII, 65). Os matemticos usaram-na para designar os princpios indemonstrveis, mas evidentes, da sua cincia. Aristteles fez a primeira anlise dessa noo, entendendo por A. "as proposies primeiras de que parte a demonstrao" (os chamados A. comuns) e, em cada caso, os "princpios que devem ser necessariamente possudos por quem queira aprender qualquer coisa" (An. post., I, 10, 76 b 14; I, 2, 72 a 15). Como tal, o A. completamente diferente da hiptese e do postulado (v.). O princpio de contradio , ele prprio, um A., alis, "o princpio de todos os A." (Mel, IV, 3, 1.105 a 20 ss.). Esse significado da palavra como princpio que se mostra evidente de imediato, pelos seus prprios termos, manteve-se constante por toda a Antigidade e a Idade Moderna. "Os princpios imediatos", diz S. Toms (In IPost., Lio 5), "no so conhecidos mediante algum termo intermedirio, mas por meio do conhecimento dos seus prprios termos. Dado que se saiba o que o todo e o que a parte, reconhece-se que 'o todo maior do que a parte', j que, em todas as proposies dessa espcie, o predicado est compreendido na noo de sujeito". A verdade do A. , em outros termos, manifestada pela simples

intuio dos termos que entram na sua composio. Na verdade, o exemplo escolhido por S. Toms presta-se sobretudo a revelar o carter fictcio da evidncia intuitiva de que dependeria a validade do axioma. A pouca distncia cronolgica de S. Toms, Ockham verificava que o princpio "a parte maior do que o todo" no vale quando se trata de todos que compreendem infinitas partes e que no se pode dizer que no universo inteiro haja mais partes do que numa fava, se numa fava h infinitas partes (Quodl, I, q. 9; Cent. theol., concl. 17, C). Aps as pesquisas de Cantor e de Dedekind, sabemos hoje que esse pretenso A. , simplesmente, a definio dos conjuntos finitos (v. INFINITO). Por muitos sculos procurou-se justificar de um modo ou de outro a validade absoluta dos A., mas essa validade no foi posta em dvida. Bacon julgava possvel obter A. por via de deduo ou de induo (Nov. Org., I, 19), ao passo que Descartes julgava-os verdades eternas, que residem em nossa mente (Princ.phil., I, 49); ambos, porm, acreditaram que eram verdades imutveis. Locke considerou os A. como proposies, experimentos, experincias imediatas (Ensaio, IV, .7, 3 ss.) e Leibniz, ao contrrio, considerou-os princpios inatos na forma de disposies originrias que a experincia torna explcitas (Nouv. ess., I, 1, 5); mas ambos lhes atriburam o carter de verdades evidentes. Os empiristas no duvidaram de sua evidncia mais do que os racionalistas; Stuart Mill afirma que eles so "verdades experimentais, generalizaes da observao" (Logic, II, 5, b). Para Kant, os A. tambm so evidentes, mas apriori; define-os como "princpios sintticos apriori, na medida em que so imediatamente certos". Para Kant, a certeza imediata, isto , a evidncia, a caracterstica dos A. A matemtica possui A. porque procede mediante a construo de conceitos. A filosofia, porm, que no constri seus conceitos, no possui A. Os prprios A. da intuio, que Kant ps entre os princpios do intelecto puro, no so realmente A. segundo o prprio Kant, mas simplesmente contm "o princpio da possibilidade dos A. em geral" (Crt. R. Pura, Doutrina transe, do mt., Disciplina da razo pura, I). Foi no mundo contemporneo que a noo de A. sofreu a transformao mais radical. A caracterstica que o definia, ou seja, a imediao da sua verdade, a certeza, a evidncia, foi negada. Esse resultado deve-se ao desenvolvimento do formalismo matemtico e lgico, isto .