===== FILOSOFIA DA MATEMÁTICA =====
Uma [[lexico:f:filosofia-da-matematica:start|filosofia da matemática]] deve estudar cuidadosamente a [[lexico:m:matematica:start|matemática]] [[lexico:a:atual:start|atual]], seu abundante material [[lexico:l:logico:start|lógico]] e as investigações de seus fundamentos, levadas a [[lexico:e:efeito:start|efeito]] pelos cultores da mesma, ordenando todas essas questões num [[lexico:e:elenco:start|elenco]] filosófico de problemas. Disso nos oferece [[lexico:e:exemplo:start|exemplo]] a [[lexico:a:axiomatica:start|axiomática]]. Em muitos domínios da matemática (principalmente na [[lexico:g:geometria:start|geometria]]), pôs-se a descoberto um núcleo lógico e deduziram-se,  de maneira lógico-formal, todos os outros [[lexico:c:conceitos:start|conceitos]] e todos os teoremas, a partir de uns poucos conceitos primitivos e de um reduzido [[lexico:n:numero:start|número]] de axiomas. Os axiomas ou enunciados primitivos eram outrora reputados como afirmações indemonstráveis e evidentes sobre diversos objetos. Todavia, [[lexico:d:dado:start|dado]] que muitos complexos de axiomas exprimiam frequentemente em si e, portanto, em todas as suas consequências, [[lexico:r:relacoes:start|relações]] especificamente iguais, tornou-se excepcionalmente importante para a matemática o [[lexico:t:tipo:start|tipo]] de [[lexico:r:relacao:start|relação]] (cujo domínio [[lexico:n:nao:start|não]] se circunscreve às grandezas) em vez da [[lexico:g:grandeza:start|grandeza]], [[lexico:s:sujeito:start|sujeito]] originário dela. A matemática tornou-se mais abstrata, sua construção mais rigorosa e sua aplicação mais suscetível de [[lexico:p:prova:start|prova]]. A matemática é aplicável na [[lexico:o:ordem:start|ordem]] [[lexico:f:fisica:start|física]], na [[lexico:m:medida:start|medida]] em que aí imperam relações reais de igual [[lexico:f:forma:start|forma]]. A [[lexico:q:questao:start|questão]], porém, está em [[lexico:s:saber:start|saber]] se, em [[lexico:g:geral:start|geral]], se torna necessária uma realização empírica para estabelecer axiomas e demonstrar a independência e não-contradição dos mesmos, e como, noutro caso, é [[lexico:p:possivel:start|possível]] uma [[lexico:l:logica:start|lógica]] meramente [[lexico:f:formal:start|formal]] da relação.

Neste [[lexico:p:ponto:start|ponto]] discordam entre si as três escolas da [[lexico:m:moderna:start|moderna]] [[lexico:f:filosofia:start|Filosofia]] da matemática. (Sobre uma conciliação entre elas, veja-se o que diz Gentzen). A [[lexico:e:escola:start|escola]] [[lexico:l:logistica:start|logística]] (Frege-Russel) propõe-se, com recursos puramente lógico-formais, combinar e deduzir os conceitos e enunciados primitivos da matemática, a partir dos da lógica. Para esta escola, a matemática é uma [[lexico:p:parte:start|parte]] da [[lexico:l:logica-formal:start|lógica formal]]. Os problemas sur-gem quando se tornam necessários os enunciados de [[lexico:e:existencia:start|existência]], ou quando paradoxos, como os de [[lexico:r:russell:start|Russell]], mostram que a lógica formal precisa de construção mais rigorosa (Logística). A escola intuicionista (Brouwer) apoia a [[lexico:s:serie:start|série]] [[lexico:n:natural:start|natural]] dos números numa "[[lexico:i:intuicao:start|intuição]] primitiva" e interpreta a existência matemática como cons-trutibilidade, quer dizer: só são reconhecidos como objetos matemáticos aqueles que podem constituir-se e mostrar-se com uma [[lexico:p:pluralidade:start|pluralidade]] finita de passos; não impugna a [[lexico:v:validade:start|validade]] da [[lexico:d:disjuncao:start|disjunção]] "ou P ou não-P", mas impugna que P valha de cada membro de uma série infinita ou que não-P valha, ao menos, de um. Muitos capítulos da matemática, enumerados por Fracnkel e Heyling, deixam de [[lexico:e:existir:start|existir]] ou se tornam embaraçosos. — A escola formalista (Hilbert) funda-se na axiomática e assegura a existência matemática pela [[lexico:a:ausencia:start|ausência]] de [[lexico:c:contradicao:start|contradição]] (que deve [[lexico:s:ser:start|ser]] demonstrada não-existencialmente!). Embora os axiomas em si tomem só em consideração as relações formais, sem prestarem ulterior [[lexico:a:atencao:start|atenção]] às [[lexico:c:coisas:start|coisas]] relacionadas, todavia não são meros jogos conceituais, porque, segundo o conteúdo, comportam múltiplas interpretações. — Estas breves indicações requerem o complemento supra-ditado pela bibliografia. — A filosofia da matemática da [[lexico:e:escolastica:start|escolástica]] antiga é matematicamente insuficiente. A neo-escolástiea só [[lexico:a:agora:start|agora]] começa a ocupar-se com a matemática moderna.

A chamada [[lexico:m:metageometria:start|metageometria]], ou geometria não-euclidiana é hoje de menor importância para a filosofia da matemática. Considerados do ponto de vista [[lexico:s:superior:start|superior]] da geometria projetava, os pontos e as retas são formas abstratas, sujeitas unicamente às relações expressas pelos axiomas. Ora, se, coordenando números com as ditas formas, se introduzem determinações de medida na geometria projetiva, isenta da medida, o resultado são diversas métricas (ordens de medida), todas em si igualmente justificadas. [[lexico:e:euclides:start|Euclides]] escolheu inconscientemente uma; as restantes melhor te denominarão "métricas não-euclidianas", do que "geometrias não-euclidianas". O número de paralelas e a [[lexico:s:soma:start|soma]] dos ângulos são [[lexico:c:consequencia:start|consequência]] da métrica escolhida, e não precisam de nenhum [[lexico:j:jogo:start|jogo]] de axiomas filosoficamente desorientador. A [[lexico:e:escolha:start|escolha]] de uma métrica para o [[lexico:e:espaco:start|espaço]] e o [[lexico:t:tempo:start|tempo]] compete à física ([[lexico:t:teoria-da-relatividade:start|teoria da relatividade]]). — número, [[lexico:q:quantidade:start|quantidade]] — Steele.

{{indexmenu>.#1|skipns=/^playground|^wiki/ nsonly}}