===== AXIOMA =====
(gr. axioma; lat. axioma; in. Axiom; fr. Axiome; al. Axiom; it. Assioma).

Originariamente, essa [[lexico:p:palavra|palavra]] significava [[lexico:d:dignidade|dignidade]] ou [[lexico:v:valor|valor]] (os escolásticos e [[lexico:v:vico|Vico]] usavam-na por dignidade) e foi empregada pelos estoicos para indicar o [[lexico:e:enunciado|enunciado]] declarativo que [[lexico:a:aristoteles|Aristóteles]] chamava de [[lexico:a:apofantico|apofântico]] (Dióg. L., VII, 65). Os matemáticos usaram-na para designar os [[lexico:p:principios|princípios]] indemonstrávéis, mas evidentes, da sua [[lexico:c:ciencia|ciência]]. Aristóteles fez a primeira [[lexico:a:analise|análise]] dessa [[lexico:n:nocao|noção]], entendendo por axioma "as proposições primeiras de que [[lexico:p:parte|parte]] a [[lexico:d:demonstracao|demonstração]]" (os chamados axiomas comuns) e, em cada caso, os "princípios que devem [[lexico:s:ser|ser]] necessariamente possuídos por [[lexico:q:quem|quem]] queira aprender qualquer [[lexico:c:coisa|coisa]]" (An. post., I, 10, 76 b 14; I, 2, 72 a 15). Como tal, o axioma é completamente diferente da [[lexico:h:hipotese|hipótese]] e do [[lexico:p:postulado|postulado]]. O [[lexico:p:principio-de-contradicao|princípio de contradição]] é, ele [[lexico:p:proprio|próprio]], um axioma, aliás, "o [[lexico:p:principio|princípio]] de todos os axiomas" (Met., IV, 3, 1.105 a 20 ss.). [[lexico:e:esse|esse]] [[lexico:s:significado|significado]] da palavra como princípio que se mostra evidente de [[lexico:i:imediato|imediato]], pelos seus próprios termos, manteve-se constante por toda a [[lexico:a:antiguidade|antiguidade]] e a Idade [[lexico:m:moderna|moderna]]. "Os princípios imediatos", diz [[lexico:t:tomas-de-aquino|Tomás de Aquino]] (In I Post., Lição 5), "[[lexico:n:nao|não]] são conhecidos mediante algum [[lexico:t:termo|termo]] intermediário, mas por [[lexico:m:meio|meio]] do [[lexico:c:conhecimento|conhecimento]] dos seus próprios termos. [[lexico:d:dado|dado]] que se saiba [[lexico:o:o-que-e|o que é]] o [[lexico:t:todo|todo]] e o que é a parte, reconhece-se que ‘o todo é maior do que a parte’, já que, em todas as proposições dessa [[lexico:e:especie|espécie]], o [[lexico:p:predicado|predicado]] está compreendido na noção de [[lexico:s:sujeito|sujeito]]". A [[lexico:v:verdade|verdade]] do axioma é, em outros termos, manifestada pela [[lexico:s:simples|simples]] [[lexico:i:intuicao|intuição]] dos termos que entram na sua composição. Na verdade, o [[lexico:e:exemplo|exemplo]] escolhido por Tomás de Aquino presta-se sobretudo a revelar o [[lexico:c:carater|caráter]] fictício da [[lexico:e:evidencia|evidência]] [[lexico:i:intuitiva|intuitiva]] de que dependeria a [[lexico:v:validade|validade]] do axioma. A pouca distância cronológica de Tomás de Aquino, Ockham verificava que o princípio "a parte é maior do que o todo" não vale quando se trata de todos que compreendem infinitas partes e que não se pode dizer que no [[lexico:u:universo|universo]] inteiro haja mais partes do que numa fava, se numa fava há infinitas partes (Quodl, I, q. 9; Cent. theol., concl. 17, C). Após as pesquisas de Cantor e de Dedekind, sabemos hoje que esse pretenso axioma é, simplesmente, a [[lexico:d:definicao|definição]] dos conjuntos finitos (v. [[lexico:i:infinito|infinito]]). Por muitos séculos procurou-se justificar de um [[lexico:m:modo|modo]] ou de [[lexico:o:outro|outro]] a validade absoluta dos axiomas, mas essa validade não foi posta em [[lexico:d:duvida|dúvida]]. [[lexico:b:bacon|Bacon]] julgava [[lexico:p:possivel|possível]] obter axioma por via de [[lexico:d:deducao|dedução]] ou de [[lexico:i:inducao|indução]] (Nov. Org., 1,19), ao passo que [[lexico:d:descartes|Descartes]] julgava-os [[lexico:v:verdades-eternas|verdades eternas]], que residem em nossa [[lexico:m:mente|mente]] (Princ. phil., I, 49); ambos, porém, acreditaram que eram verdades imutáveis. [[lexico:l:locke|Locke]] considerou os axiomas como proposições, experimentos, experiências imediatas (Ensaio, IV, 7, 3 ss.) e [[lexico:l:leibniz|Leibniz]], ao contrário, considerou-os princípios inatos na [[lexico:f:forma|forma]] de disposições originárias que a [[lexico:e:experiencia|experiência]] torna explícitas (Nouv. ess., I, 1, 5); mas ambos lhes atribuíram o caráter de verdades evidentes. Os empiristas não duvidaram de sua evidência mais do que os racionalistas; [[lexico:s:stuart-mill|Stuart Mill]] afirma que eles são "verdades experimentais, generalizações da [[lexico:o:observacao|observação]]" (Logic, II, 5, § b). Para [[lexico:k:kant|Kant]], os axiomas também são evidentes, mas apriori; define-os como "princípios sintéticos apriori, na [[lexico:m:medida|medida]] em que são imediatamente certos". Para Kant, a [[lexico:c:certeza|certeza]] imediata, isto é, a evidência, é a [[lexico:c:caracteristica|característica]] dos axiomas A [[lexico:m:matematica|matemática]] possui axioma porque procede mediante a construção de [[lexico:c:conceitos|conceitos]]. A [[lexico:f:filosofia|Filosofia]], porém, que não constrói seus conceitos, não possui axioma Os próprios axiomas da intuição, que Kant pôs entre os princípios do [[lexico:i:intelecto|intelecto]] [[lexico:p:puro|puro]], não são realmente axioma segundo o próprio Kant, mas simplesmente contêm "o princípio da [[lexico:p:possibilidade|possibilidade]] dos axiomas em [[lexico:g:geral|geral]]" (Crít. R. Pura, Doutrina transc. do mét., [[lexico:d:disciplina|disciplina]] da [[lexico:r:razao-pura|razão pura]], I).

Foi no [[lexico:m:mundo|mundo]] contemporâneo que a noção de axioma sofreu a [[lexico:t:transformacao|transformação]] mais radical. A característica que o definia, ou seja, a imediação da sua verdade, a certeza, a evidência, foi negada. Esse resultado deve-se ao [[lexico:d:desenvolvimento|desenvolvimento]] do [[lexico:f:formalismo|formalismo]] matemático e [[lexico:l:logico|lógico]], isto é, à [[lexico:o:obra|obra]] de Peano, [[lexico:r:russell|Russell]], Frege e Hilbert. Segundo o [[lexico:p:ponto|ponto]] de vista formalista, que é o mais difundido atualmente, os axiomas da matemática não são nem verdadeiros nem falsos, mas são assumidos por convenção, com base em [[lexico:m:motivos|motivos]] de oportunidade, como fundamentos ou premissas do [[lexico:d:discurso|discurso]] matemático (Hilbert, "Axiomatischen Denken", em Math. Annalen, 1918). Desse modo, os axiomas não se distinguem mais dos postulados e as duas [[lexico:p:palavras|palavras]] são hoje usadas indiferentemente. A [[lexico:e:escolha|escolha]] dos axiomas de certo modo é livre e, nesse [[lexico:s:sentido|sentido]], diz-se que os axiomas são "convencionais" ou "assumidos por convenção". Mas, na [[lexico:r:realidade|realidade]], essa escolha é limitada por exigências ou condições precisas que podem ser resumidas do seguinte modo:

1) Os axiomas devem ser coerentes, sob [[lexico:p:pena|pena]] de o [[lexico:s:sistema|sistema]] que deles depende tornar-se contraditório. Sistema contraditório é o que permite a dedução de qualquer coisa e a demonstração de qualquer [[lexico:p:proposicao|proposição]], [[lexico:b:bem|Bem]] como a sua [[lexico:n:negacao|negação]]. Como a [[lexico:p:prova|prova]] da não-contradição não pode ser obtida dentro de um sistema (v. [[lexico:a:axiomatica|axiomática]]), é [[lexico:c:costume|costume]] lançar mão do sistema da [[lexico:r:reducao|redução]] a uma [[lexico:t:teoria|teoria]] anterior, cuja [[lexico:c:coerencia|coerência]] pareça bem confirmada, como, p. ex., a [[lexico:a:aritmetica|aritmética]] clássica ou a [[lexico:g:geometria|geometria]] euclidiana. Esse procedimento sem dúvida não equivale a uma demonstração de não-contradiçào, mas fornece um indício importante. Outro procedimento é a realização, isto é, a [[lexico:r:referencia|referência]] do sistema a um [[lexico:m:modelo|modelo]] [[lexico:r:real|real]], com base no [[lexico:p:pressuposto|pressuposto]] de que aquilo que é real deve ser possível, portanto não-contraditório.

2) Um sistema de axiomas deve ser completo no sentido de que, de duas proposições contraditórias formuladas corretamente nos termos do sistema, uma deve poder ser demonstrada. O que significa que, em [[lexico:p:presenca|presença]] de uma proposição qualquer do sistema, pode-se sempre demonstrá-la ou refutá-la e, portanto, decidir sobre a sua verdade ou [[lexico:f:falsidade|falsidade]] em [[lexico:r:relacao|relação]] ao sistema dos postulados. Nesse caso, o sistema chama-se decidível.

3) A terceira característica de um sistema de axioma é a sua independência, isto é, a sua irredutibilidade recíproca. Tal [[lexico:c:condicao|condição]] não é tão indispensável como a da coerência, mas é oportuna para evitar que as proposições primitivas sejam excessivamente numerosas.

4) Enfim, o menor [[lexico:n:numero|número]] possível e a simplicidade dos axiomas são condições desejáveis que conferem elegância [[lexico:l:logica|lógica]] a um sistema de axiomas.

A proposição evidente [[lexico:p:por-si|por si]] mesma. — Distingue-se do postulado, que é simplesmente posto sem ser evidente. "Não há mais axioma na matemática moderna" (Legendre) e o valor dos princípios se mede pela [[lexico:r:riqueza|riqueza]] das consequências.

Em [[lexico:g:grego|grego]] de axios, valor, e axioma, estimativa.

a) Diz-se de cada proposição universalmente válida, que é evidente «ex ipsis terminis intelectis» (pela [[lexico:c:compreensao|compreensão]] dos termos, sujeito e predicado: pela ligação intrínseca das respectivas [[lexico:i:ideias|ideias]]) e que, portanto, não precisa ou não pode ser provada.

b) Num sentido mais preciso ainda, chamam-se axiomas as proposições que constituem uma [[lexico:r:regra|regra]] geral do [[lexico:p:pensamento|pensamento]] lógico, em [[lexico:o:oposicao|oposição]] aos postulados, que são concernentes a uma [[lexico:m:materia|matéria]] especial.

c) Kant deu à palavra axioma um sentido mais estreito ainda, aplicando-a somente àqueles princípios [[lexico:a:a-priori|a priori]] do [[lexico:e:entendimento|entendimento]] puro, que são apreendidos pela intuição (Axiome der [[lexico:a:anschauung|Anschauung]], axiomas da intuição), o que significa que são relativas à [[lexico:c:categoria|categoria]] da [[lexico:q:quantidade|quantidade]] e limitadas à [[lexico:e:esfera|esfera]] do [[lexico:e:espaco|espaço]] e do [[lexico:t:tempo|tempo]].

d) [[lexico:a:alem|Além]] dessas três definições bem estabelecidas, a palavra tem nos mais diferentes autores, em todos os tempos», um emprego muito confuso e às vezes [[lexico:a:arbitrario|arbitrário]], que, porém, geralmente, gira em torno dos significados que o [[lexico:u:uso|uso]] grego antigo fez da palavra.

Em [[lexico:s:sintese|síntese]]:

I) Eram entre os gregos, considerados axiomas as opiniões, ou dogmas de uma [[lexico:e:escola|escola]] filosófica.

II) Consideração, estima, dignidade.

III) O que se julga [[lexico:v:verdadeiro|verdadeiro]] e [[lexico:b:bom|Bom]]: [[lexico:o:opiniao|opinião]], doutrina.

IV) Proposição geral, [[lexico:e:enunciacao|enunciação]], [[lexico:t:teorema|teorema]].

V) Principio admitido como verdadeiro, do qual parte uma demonstração.

VI) Em geral, considerado como uma [[lexico:p:premissa|premissa]] evidente, que desnecessita de demonstração. Assim «-;o todo é maior do que qualquer de suas partes» é um axioma.

Originariamente, o termo “axioma” significa dignidade. Por derivação, chamou-se “axioma” a “aquilo que é digno de ser estimado, acreditado ou valorizado”; assim, na sua acepção mais clássica, o axioma equivale ao princípio que, pela sua própria dignidade, isto é, por ocupar certo [[lexico:l:lugar|lugar]] num sistema de proposições, se deve considerar como verdadeiro. Para Aristóteles, os axiomas são princípios evidentes que constituem o [[lexico:f:fundamento|fundamento]] de qualquer ciência. Nesse caso, os axiomas são proposições irredutíveis, princípios gerais aos quais se reduzem todas as outras proposições e nos quais estas se apoiam necessariamente. O axioma tem, por assim dizer, um [[lexico:i:imperativo|imperativo]] que obriga ao [[lexico:a:assentimento|assentimento]] uma vez enunciado e entendido. Em [[lexico:s:suma|suma]], Aristóteles define o axioma como uma proposição que se impõe imediatamente ao [[lexico:e:espirito|espírito]] e que é indispensável, ao contrário da [[lexico:t:tese|tese]], que não se pode demonstrar e que não é indispensável. Os axiomas podem chamar-se também [[lexico:n:nocoes-comuns|noções comuns]], como os enunciados do [[lexico:t:tipo|tipo]] seguinte: “duas [[lexico:c:coisas|coisas]] iguais a uma terceira são iguais entre si”, “o todo é maior que a parte”. Por não se conseguir demonstrar esses axiomas houve a [[lexico:t:tendencia|tendência]] para cada vez mais, se definirem os axiomas mediante as duas notas já atrás apontadas: indemonstrabilidade e evidência. às proposições que podiam ser demonstradas e não eram evidentes chamou-se teoremas. E as que não podiam ser demonstradas nem eram evidentes por si mesmas receberam o [[lexico:n:nome|nome]] de postulados. Esta [[lexico:t:terminologia|terminologia]] tradicional sofreu grandes alterações. Com [[lexico:e:efeito|efeito]], baseia-se em grande parte numa concepção do axioma como proposição “evidente” e, portanto, está eivada de certo “[[lexico:i:intuicionismo|intuicionismo]]” (em sentido [[lexico:p:psicologico|psicológico]]), que nem todos os autores admitem. Impôs-se a [[lexico:m:mudanca|mudança]] na terminologia a partir do [[lexico:m:momento|momento]] em que se rejeitou que os axiomas fossem noções comuns e em que se viu que podem escolher-se diversos postulados, cada um dos quais dá [[lexico:o:origem|origem]] a um [[lexico:s:sistema-dedutivo|sistema dedutivo]] diferente. Isto produziu um primeiro efeito: atenuar e até abolir completamente a [[lexico:d:distincao|distinção]] entre axioma e postulado. Para estas mudanças contribuíram sobretudo a matemática e a metalógica contemporâneas. Estas distinguem entre axiomas e teoremas. Os primeiros são enunciados primitivos (por vezes chamam-se também postulados) aceites como verdadeiros sem provar a sua validade; os segundos são enunciados cuja validade se submete a prova. Axiomas e teoremas são, portanto, [[lexico:e:elementos|elementos]] integrantes de qualquer sistema dedutivo. Usualmente, a definição do [[lexico:c:conceito|conceito]] de teorema requer o uso do conceito de axioma (bem como o uso dos conceitos de regra de [[lexico:i:inferencia|inferência]] e de prova), enquanto o conceito de axioma se define por [[lexico:e:enumeracao|enumeração]].

Pode, pois, dizer-se que houve duas correntes diferentes na concepção dos axiomas. Uma dessas correntes destaca a intuitividade e auto-evidência dos axiomas; a outra destaca a sua formalidade e inclusive recusa-se a adscrever a qualquer axioma o predicado “é verdadeiro”. Esta última corrente, dita formalista, foi a que mais se impôs no nosso tempo.