===== FORMALISMO =====
O formalismo é [[lexico:t:tendencia:start|tendência]] [[lexico:a:a-se:start|a se]] expressar de maneira [[lexico:l:logica:start|lógica]] e abstrata, a reunir todos os [[lexico:p:problemas-da-filosofia:start|problemas da filosofia]] numa [[lexico:f:formula:start|fórmula]] única. Por [[lexico:e:exemplo:start|exemplo]], [[lexico:k:kant:start|Kant]] reduz todos os problemas a um só: "Como os julgamentos sintéticos seriam possíveis [[lexico:a:a-priori:start|a priori]]?" — A doutrina [[lexico:m:moral:start|moral]] de Kant é um formalismo à [[lexico:m:medida:start|medida]] em que apenas enuncia o [[lexico:p:principio:start|princípio]] [[lexico:g:geral:start|geral]] da [[lexico:a:acao:start|ação]] moral (agir com uma boa [[lexico:i:intencao:start|intenção]]) e [[lexico:n:nao:start|não]] especifica nenhum [[lexico:d:dever:start|dever]] [[lexico:p:particular:start|particular]] [[lexico:c:concreto:start|concreto]]. A moral é apenas uma [[lexico:a:atitude:start|atitude]], uma "[[lexico:d:disposicao:start|disposição]] da [[lexico:v:vontade:start|vontade]]", no que fazemos naturalmente na [[lexico:v:vida:start|vida]]: não preconiza nenhuma vida própria, e sim, uma atitude geral na vida comum. A "moral [[lexico:f:formal:start|formal]]" opõe-se à "moral concreta" ([[lexico:f:fichte:start|Fichte]]) ou "[[lexico:e:etica:start|ética]] material" ([[lexico:s:scheler:start|Scheler]]). O formalismo na [[lexico:a:arte:start|arte]] se caracteriza pela tendência excessiva à [[lexico:a:abstracao:start|abstração]], em detrimento da "arte figurativa". (V. [[lexico:a:abstrato:start|abstrato]] ).

De [[lexico:a:acordo:start|acordo]] com [[lexico:b:bochenski:start|Bochenski]], talvez o [[lexico:f:fato:start|fato]] mais importante da [[lexico:m:metodologia:start|metodologia]] [[lexico:m:moderna:start|moderna]] é o ter-se [[lexico:d:dado:start|dado]] conta de que, operando com a [[lexico:l:linguagem:start|linguagem]] em seu [[lexico:p:plano:start|plano]] sintático (e prescindindo, portanto, dos outros dois), facilita-fe enormemente o [[lexico:t:trabalho:start|trabalho]] intelectual. Este [[lexico:m:modo:start|modo]] de operar chama-se formalismo e consiste em fazer abstração do [[lexico:s:significado:start|significado]] dos signos que se empregam e considerá-los exclusivamente como signos gráficos: cm sua [[lexico:f:forma:start|forma]] gráfica. Chama-se linguagem formalizada toda linguagem construída consoante tais normas. Na aplicação do formalismo é preciso distinguir duas [[lexico:c:coisas:start|coisas]]: de um lado, temos a própria linguagem, com suas regras sintáticas, regras que se referem exclusivamente à forma material dos signos e nunca á sua [[lexico:s:significacao:start|significação]]; e de [[lexico:o:outro:start|outro]] — pelo menos na maioria dos casos —, uma [[lexico:i:interpretacao:start|interpretação]] da linguagem dotada de conteúdo, uma ordenação das [[lexico:s:significacoes:start|significações]] aos signos.

Portanto, o formalismo é um [[lexico:m:metodo:start|método]] que consiste em fazer abstração total do [[lexico:s:sentido:start|sentido]] [[lexico:e:eidetico:start|eidético]] dos signos e operar com eles à base de determinadas regras de [[lexico:t:transformacao:start|transformação]] que afetam apenas à sua forma gráfica. Procede-se com os signos [[lexico:c:como-se:start|como se]] não fosse tal [[lexico:c:coisa:start|coisa]], mas figuras de um brinquedo, pedaços que se combinam e ordenam de diferentes modos. Por isso se disse em tom de piada que aquele que emprega o formalismo não sabe o que diz, mas o que diz é [[lexico:v:verdadeiro:start|verdadeiro]]. Não obstante, cumpre fazer as observações seguintes:

1. A [[lexico:f:finalidade:start|finalidade]] do formalismo é sempre um [[lexico:s:saber:start|saber]]. Um [[lexico:s:sistema-formal:start|sistema formal]] cumpre seu cometimento unicamente quando seus resultados são interpretáveis eideticamente. A [[lexico:c:ciencia:start|ciência]] não é um brinquedo. Nosso saber nem sempre atinge o quê da coisa; às vezes se limita ao como, mas sempre, ao [[lexico:f:fim:start|fim]] e ao cabo, deve haver um saber.

2. As regras das operações do formalismo devem [[lexico:e:estar:start|estar]] dotadas de sentido eidético. Se as regras nos dizem o que devemos fazer, é [[lexico:n:necessario:start|necessário]] que estejamos em condições de entendê-las. Disso se segue que nenhum [[lexico:s:sistema:start|sistema]] é formalizável totalmente, pelo menos suas regras jamais poderão [[lexico:s:ser:start|ser]] formalizadas. É certo que se podem formalizar as regras de um sistema dentro de outro; por exemplo, as regras do sistema A no sistema B, mas, por sua vez, o sistema B exige que suas regras tenham sentido Estas poderão ser formalizadas novamente num [[lexico:t:terceiro:start|terceiro]] sistema C, mas é preciso chegar a um [[lexico:p:ponto:start|ponto]] de partida: algumas regras não formalizadas. De resto, as regras de A enquanto se constrói o sistema devem [[lexico:t:ter:start|ter]] sentido eidético para nós, pois do contrário não adiantaríamos [[lexico:n:nada:start|nada]] em nosso [[lexico:c:calculo:start|cálculo]].

3. Com [[lexico:e:efeito:start|efeito]], na construção dos sistemas formalizados se procede sempre desta maneira: primeiramente, estabelecem-se signos com sentido e, depois, faz-se abstração de tal sentido, construindo assim o sistema formal, para dar finalmente uma nova interpretação ao sistema acabado.

4. Isso vale sobretudo para a lógica. Ainda que fosse [[lexico:p:possivel:start|possível]] uma ciência, cujo sistema não tivesse outro sentido que o sintático, tal caso é [[lexico:i:impossivel:start|impossível]] na lógica, que deve propiciar as regras de conclusão de [[lexico:t:todo:start|todo]] [[lexico:c:conhecimento:start|conhecimento]] indireto; e se suas regras não tivessem sentido eidético, não seria possível concluir nada. Por isso os lógicos atuais não acreditam que seja a lógica um sistema puramente formal, que não admita interpretação.

Em favor do método formal Bochenski aduz as seguintes razões:

1. Numa [[lexico:s:situacao:start|situação]] complicada [[lexico:b:bem:start|Bem]] cedo falha nossa [[lexico:v:visao:start|visão]] [[lexico:e:eidetica:start|eidética]] do [[lexico:o:objeto:start|objeto]]. Diretamente e sem esforços vemos que 2 vezes 3 é igual a 6, mas apenas alguns poucos homens sabem com facilidade e rapidez que o [[lexico:p:produto:start|produto]] de 1952 por 78.788 é igual a 153.794.176. De igual modo vemos imediatamente que a [[lexico:n:negacao:start|negação]] de ‘chove’ é a [[lexico:p:proposicao:start|proposição]] ‘não chove’, mas não é tão fácil [[lexico:v:ver:start|ver]] a negação do conhecido [[lexico:p:postulado:start|postulado]] de [[lexico:e:euclides:start|Euclides]], consoante o qual por um ponto [[lexico:e:exterior:start|exterior]] a uma reta passa uma única paralela a essa reta. O mesmo se pode dizer de outros [[lexico:p:pensamentos:start|Pensamentos]] emaranhados, inclusive da [[lexico:f:filosofia:start|Filosofia]], Seu [[lexico:g:genio:start|gênio]] preservou aos melhores pensadores de cair no [[lexico:e:erro:start|erro]], sem empregar o formalismo, mas os desvios bastantes frequentes no [[lexico:c:campo:start|campo]] filosófico se devem, em boa [[lexico:p:parte:start|parte]], á [[lexico:f:falta:start|falta]] de um método formal [[lexico:a:adequado:start|adequado]].

2. Dado que num sistema formal todas as regras se referem exclusivamente à forma gráfica, é impossível nele uma [[lexico:d:demonstracao:start|demonstração]] com regras e axiomas não formulados. É sabido que os supostos não formulados são perigosos, já que facilmente podem ser falsos e escapam de uma comprovação [[lexico:r:racional:start|racional]] por não estarem formulados de maneira expressa. O formalismo contribui fundamentalmente para eliminar tais supostos tácitos.

3. Com isto se obtém ainda mais: num sistema [[lexico:a:axiomatico:start|axiomático]] desenvolvido formalmente, todas as consequências se deduzem dos axiomas escolhidos com certa facilidade e de um modo bem definido. É evidente que os [[lexico:c:conceitos:start|conceitos]] usados estarão determinados com mais exatidão que o estavam no início do [[lexico:p:processo:start|processo]]. O formalismo é, pois, um excelente guia para a delimitação e esclarecimento dos conceitos.

4. Finalmente, com o emprego do formalismo se consegue ainda mais uma coisa: quando um sistema está [[lexico:c:construido:start|construído]] formalmente, pode amiúde permitir várias interpretações, com o que de uma só vez ficam resolvidos vários problemas. Um exemplo é o princípio da [[lexico:d:dualidade:start|dualidade]] na [[lexico:g:geometria:start|geometria]] euclideana. Do postulado ‘Dois pontos quaisquer determinam uma reta’ se deduzem (mediante outros axiomas e graças às regras adequadas) uma infinidade de postulados geométricos. Podemos formalizar este postulado desta maneira: ‘Dois A quaisquer determinam um B’; a significação de A e B deve ficar indeterminada (as demais [[lexico:p:palavras:start|palavras]] da proposição podem ser consideradas como [[lexico:s:simples:start|simples]] constantes lógicas). Cabem, então, duas possíveis interpretações do princípio: a) pode-se dar a A a significação de ponto, e a B a de reta; b), vice-versa: A significa ‘reta" e B ‘ponto’. Vê-se que a interpretação b e a verdadeira: duas retas paralelas determinam um ponto no [[lexico:i:infinito:start|infinito]]. Assim se consegue todo um sistema de proposições deduzidas deste postulado (formalizado); de um postulado obtivemos dois, fundamentais ambos em geometria. O mesmo ocorre em outros campos científicos.

(in. Formalism; fr. Formalisme,al. Formalismus; it. Formalismó).

Toda doutrina que recorra à forma, em qualquer das significações do [[lexico:t:termo:start|termo]]. No fim do séc XIV, foram chamados de "formalistas" os partidários da [[lexico:m:metafisica:start|metafísica]] de Duns Scot, que se opunham aos "terministas", partidários de Ockham (Gerson, De conceptibus, p. 806). Foi qualificado de formalismo o ponto de vista kantiano em ética, por recorrer às formas gerais das máximas, sem considerar os fins a que se destinam. Em [[lexico:m:matematica:start|matemática]] foi [[lexico:c:chamado:start|chamado]] de formalismo o procedimento que pretende prescindir dos significados dos [[lexico:s:simbolos:start|símbolos]] matemáticos, especialmente a corrente de Hilbert. Também é considerada formalismo a grande importância atribuída aos procedimentos legais ou a certas normas de [[lexico:c:comportamento:start|comportamento]] nas [[lexico:r:relacoes:start|relações]] entre os homens.

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