O formalismo, em lógica, tem a ver com a estrutura ou forma das proposições ou argumentos. A forma de um argumento refere-se ao modo como está estruturado em termos das noções lógicas. Por exemplo, considere-se o argumento 1: “Todas as crenças que resultam em benefícios para a vida prática são pragmaticamente justificáveis. Todas as crenças religiosas são crenças que resultam em benefícios para a vida prática. Logo, todas as crenças religiosas são pragmaticamente justificáveis”. Analise-se agora o argumento 2: “Todas as ações que maximizem boas consequências são moralmente corretas. Todas os atos de caridade são ações que maximizam boas consequências. Logo, todos os atos de caridade são moralmente corretos”. O que há de comum nestes dois argumentos? A nível do conteúdo, estes argumentos são diferentes. O primeiro é sobre religião e o segundo é sobre ética. No entanto, eles partilham a mesma estrutura ou forma lógica. Seguindo a convenção utilizada na entrada “Silogismo”, a estrutura lógica desses argumentos é a seguinte: AaxB, BaxC AaxC.
Esta forma de raciocínio é válida, correspondendo, de acordo com Aristóteles (1989), a um silogismo perfeito da primeira figura (designado como “Barbara”). Ora, se esta estrutura argumentativa é válida, é universalmente válida e permanecerá válida se substituirmos os termos A, B, C por quaisquer outros termos. Ou seja, os argumentos 1 e 2 são válidos em virtude da sua forma e qualquer argumento com a mesma forma desses argumentos também será válido. Para se descobrir qual é a estrutura ou forma do argumento que se está a analisar é importante fazer a formalização; ou seja, o trabalho de tradução da linguagem natural para a linguagem formal, tal como está descrito nas entradas “Lógica” e “Silogismo”. Chama-se linguagem “formal” porque é uma linguagem estipulada ou artificial para se analisar com mais clareza qual é a estrutura lógica das proposições e dos argumentos.
Bibliog.: ARISTÓTELES, Prior Analytics, trad. de Robin Smith, Indianapolis, Hackett Publishing Co, Inc., 1989.
Domingos Faria
