===== LÓGICA MATEMÁTICA ===== Que [[lexico:p:pensar:start|pensar]], finalmente, dentro das perspectivas da [[lexico:l:logica:start|lógica]] clássica em que nos colocamos, de todos esses sistemas novos, de inspiração [[lexico:m:matematica:start|matemática]], que atualmente monopolizam a [[lexico:a:atencao:start|atenção]]? Dois [[lexico:c:caracteres:start|caracteres]] originais são comuns a esses sistemas: por um lado, predominância da [[lexico:r:relacao:start|relação]] sobre o [[lexico:t:termo:start|termo]], e resolução da "[[lexico:c:compreensao:start|compreensão]]" na "[[lexico:e:extensao:start|extensão]]"; por [[lexico:o:outro:start|outro]] lado, emprego incessante e generalizado de algoritmos abstratos que constituem a [[lexico:m:materia:start|matéria]] do [[lexico:d:discurso:start|discurso]]. Esta matematização da lógica oferece vantagens evidentes. Valoriza plenamente a relação como tal, fornece sobretudo, um precioso [[lexico:i:instrumento:start|instrumento]], tanto para o controle rápido da exatidão de um [[lexico:e:enunciado:start|enunciado]], quanto para a [[lexico:a:analise:start|análise]] [[lexico:c:critica:start|crítica]] dos fundamentos da lógica. Mas tal [[lexico:t:transformacao:start|transformação]] apresenta, em [[lexico:c:contraposicao:start|contraposição]], graves inconvenientes, [[lexico:n:nao:start|não]] certamente de [[lexico:d:direito:start|direito]], porém, porque, de [[lexico:f:fato:start|fato]], a maioria dos lógicos modernos fazem dos algoritmos abstratos a [[lexico:p:parte:start|parte]] [[lexico:e:essencial:start|essencial]] da lógica, esquecendo-se de que eles não podem [[lexico:t:ter:start|ter]] senão um papel subordinado! É a [[lexico:r:ruptura:start|ruptura]] e do "[[lexico:l:logico:start|lógico]]" com o "metafísico" que é de fato, repitamo-lo, a [[lexico:c:causa:start|causa]] de uma [[lexico:o:oposicao:start|oposição]] entre a lógica clássica e a lógica [[lexico:m:moderna:start|moderna]]. O conflito atinge o clímax máximo quando se chega à [[lexico:l:logistica:start|logística]] a qual elabora, [[lexico:c:como-se:start|como se]] sabe, os algoritmos abstratos de que Boole foi o iniciador. A logística, da mesma [[lexico:f:forma:start|forma]] que as matemáticas, faz corresponder [[lexico:s:simbolos:start|símbolos]] às realidades, à [[lexico:e:especie:start|espécie]] os termos e as proposições. Daí a substituir o [[lexico:u:universo-do-discurso:start|universo do discurso]], pelo qual apreendemos a [[lexico:r:realidade:start|realidade]], pelo [[lexico:u:universo:start|universo]] dos símbolos, não [[lexico:f:falta:start|falta]] senão um passo, e [[lexico:e:esse:start|esse]] passo muito frequentemente é [[lexico:d:dado:start|dado]]. Não são, portanto, senão as usurpações e as pretensões ilegítimas desses novos métodos que se devem contestar. A logística tem seu [[lexico:l:lugar:start|lugar]] como instrumento crítico, mas a lógica do [[lexico:c:conceito:start|conceito]] e da [[lexico:a:atribuicao:start|atribuição]] conserva também o seu, que é o fundamental. Resta que em tudo isso não se pode prescindir de uma [[lexico:m:metafisica:start|metafísica]], sendo que em qualquer [[lexico:h:hipotese:start|hipótese]] ela permanece a reguladora suprema das demais ciências. {{indexmenu>.#1|skipns=/^playground|^wiki/ nsonly}}