Como usar a lógica aristotélica na prática
A teoria de aristóteles no que tange à lógica formal trata basicamente de silogismos e da.square of opposition. É um sistema estruturado para validar argumentos composições de premissas que levam a uma conclusão. Não é teoria da natureza ou física, apesar de Aristóteles ter escrito sobre ambos os assuntos. A parte que mais se aplica no dia a dia é a lógica silogística.O sistema funciona com três termos: o termo maior, o termo menor e o termo médio. O termo médio aparece em ambas as premissas mas nunca na conclusão. Esse é o mecanismo básico que permite a inferência. Quando esse term médio não está bem definido ou aparece com sentidos diferentes nas duas premissas, o argumento entra em falácia de four terms (quatro termos). Isso acontece com mais frequência do que você imagina.
teoria de aristóteles: como validar um silogismo
Existem formas práticas de testar a validade. A mais acessível é o método dos diagramas de Venn, mas também dá pra usar as regras de distribuição dos termos. Um termo está distribuído quando a premissa faz afirmação sobre todos os membros da classe desse termo. Nos tipos A (universal afirmativo), o sujeito é distribuído. Nos tipos E (universal negativo), tanto sujeito quanto predicado são distribuídos. Nos tipos I (particular afirmativo), nenhum é distribuído. Nos tipos O (particular negativo), só o predicado é distribuído. A regra fundamental é: se um termo não for distribuído nas premissas, ele não pode aparecer distribuído na conclusão. Viol isso resulta em falácia de termo não distribuído. Outra regra importante diz que não se pode tirar conclusão de duas premissas negativas nem de duas premissas particulares. Se você seguir essas regras, o processo de validação leva cerca de 2 a 3 minutos por silogismo.
👉 Clique no botão abaixo para saber mais sobre o assunto!
Na prática, encontrei um caso específico no qual a aplicação direta falhou. Estava analisando um argumento sobre políticas públicas estruturado assim: "Todas as políticas bem desenhadas reduzem desigualdade. Nenhuma política tributária bem estruturada é politicamente viável. Logo, algumas políticas tributárias não reduzem desigualdade." A estrutura superficial parecia válida, mas ao aplicar o teste das regras de distribuição, percebi que a conclusão era particular e a premissa maior era universal afirmativa, o que exigia que o termo médio estivesse pelo menos uma vez distribuído. O teste mostrou que o silogismo estava em quarta figura com a forma AEO, que na verdade é uma cadeia de inferências encobertas com uma premissa implícita. A correção foi explicitar a premissa faltante sobre a relação entre viabilidade política e desenho da política, o que mudou completamente o resultado. Gastei uns 40 minutos para identificar isso, o que é tempo razoável considerando que a leitura rápida poderia deixar passar. Outro ponto que pouco se menciona: a square of opposition tradicional assume existential import para universais, ou seja, que "todos os S são P" já implica que existe pelo menos um S. A interpretação booleana remove essa suposição. Isso muda o status de inferências como subalternção e contradição. Na prática, decide-se qual interpretação usar conforme o contexto. Em argumentos sobre entidades que podem ser vazias — como "todos os unicórnios são brancos" — a interpretação booleana é a correta. Em discussões sobre classes existentes, como grupos populacionais, a interpretação aristotélica tradicional continua funcionando sem problemas.
Limitações do sistema
A teoria de aristóteles tem problemas conhecidos. Primeiro, ela lida apenas com predicados categóricos simples. Relações como "X é mais alto que Y" ou "A ama B" não caem na estrutura de sujeito-predicado de forma natural. Segundo, a lógica de classes não consegue capturar quantificadores aninhados como "alguns estudantes cursam todas as disciplinas". Terceiro, variáveis de estado, causalidade e incerteza ficam fora do escopo. Se você precisa lidar com esses casos, a lógica predicatear de primeira ordem ou a probabilidade bayesiana são alternativas mais adequadas. Uma coisa que ajuda bastante é treinar com exercícios de identificação de figuras e modos. Existem tabelas com as 24 formas válidas reconhecidas classicamente, mas o útil é saber derivar a validade pelas regras, não decorebar a lista. O tempo médio para dominar a aplicação das regras é de duas a três semanas de prática diária com cerca de cinco silogismos por dia.
