Define Silogismo

O que é um silogismo e por que você provavelmente o usa sem perceber

Muita gente confunde silogismo com argumento genérico. Não é. Um silogismo é uma forma específica de raciocínio dedutivo composto por exatamente três proposições: duas premissas e uma conclusão. Nada mais, nada menos. Se você está resolvendo problemas práticos no dia a dia, provavelmente já construiu silogismos sem nomeá-los.

Como define silogismo na prática

O formato clássico segue esta estrutura. A premissa maior estabelece uma relação universal. A premissa menor conecta um caso específico a esse universal. A conclusão extrai logicamente o que deve valer para o caso específico. O termo médio aparece em ambas as premissas mas nunca na conclusão — ele é a ponte entre os outros dois termos. Se o termo médio não estiver distribuído em pelo menos uma das premissas, o argumento já nasce defeituoso, não importa quão convincente pareça. Vou dar um exemplo operacional em vez de começar com definicao de silogismo. Digamos que você precisa verificar se um software atende a um requisito de compliance. Premissa maior: todos os módulos que processam dados pessoais devem ter criptografia em trânsito. Premissa menor: o módulo de pagamentos processa dados pessoais. Conclusão: o módulo de pagamentos precisa de criptografia em trânsito. A validade depende da estrutura, não da veracidade isolada das premissas. Se uma premissa for falsa, a conclusão pode ser verdadeira por acaso, mas o raciocínio em si ainda é formalmente válido.

Existe uma armadilha comum que eu vi pessoas caírem repetidamente em auditorias. O meio termo fica indevidamente não distribuído. Todo gato é mamífero. Todo leão é mamífero. Logo, todo leão é gato. A estrutura parece segura porque usa o mesmo termo do meio, mas o silogismo colapsa na lógica porque "mamífero" não cobre tudo que é mamífero nas duas premissas. É o que chamamos de falácia do termo médio não distribuído, e ela aparece com frequência em documentações técnicas mal escritas onde os autores assumem categorias que nunca foram realmente delimitadas.

Formas válidas e quando elas falham

Existem vinte e quatro formas válidas organizadas em quatro figuras, dependendo da posição do termo médio. As quatro primeiras da figura um — Barbara, Celarent, Darii, Ferio — cobriram talvez noventa por cento dos casos que eu precisei validar em revisões de arquitetura de sistema. Barbara é o padrão ouro: todo A é B, todo C é A, logo todo C é B. Celarent funciona como a versão negativa: nenhum A é B, todo C é A, logo nenhum C é B. O problema é que validade formal não garante verdade material. Um silogismo pode ser perfeitamente válido e produzir uma conclusão absurda se as premissas partirem de suposições erradas. Eu perdi duas semanas numa análise de dependência porque alguém havia inserido uma premissa maior falsamente universal numa documentação de integração: todos os serviços que retornam timeout devem ser restartados. A premissa parecia razoável até eu testar com um serviço que fazia failover automático e o timeout era esperado. O restart era a pior ação possível nesse caso. A correção foi restringir a premissa maior com uma condição de contorno clara em vez de usar um quantificador universal cego.

Outro ponto que poucos destacam: a falácia existencial. Silogismos universais não podem, por si só, gerar conclusões particulares sobre a existência de algo. Todo unicórnio tem uma presa. Um determinado animal é um unicórnio. Logo, esse animal tem uma presa. Formalmente válido, mas se ninguém garantir que unicórnios existem no domínio em questão, a conclusão não carrega peso empírico. Em contextos de modelagem de dados e ontologias, isso causa bugs sutis onde queries retornam resultados vazios ou conjuntos nulos que são tratados como se tivessem conteúdo.

Quando o silogismo tradicional não resolve

Ao definir silogismo, a maioria dos materiais didáticos para por aí. Na prática, argumentos reais raramente cabem em três proposições discretas. Relatórios de due diligence, laudos técnicos, decisões de compliance quase sempre exigem encadeamentos mais longos ou lógica de primeira ordem com quantificadores aninhados. Um silogismo simples não consegue capturar relações como "todos os proveedores que atendem SLA inferior a 99,9% em três meses consecutivos estão sujeitos a revisão", porque isso envolve múltiplas condições temporais e acumulativas. Nesses casos, a alternativa funcional é mapear o argumento para uma rede de regras em vez de forçar tudo num formato silogístico. Ferramentas de verificação formal ou até modelagem em primeira ordem com validadores como Prover9 ou ferramentas de type checking deixam o trabalho mais transparente. O custo é maior tempo de configuração, mas evita que você construa uma cadeia lógica que parece sólida até encontrar o contraexemplo que derruba tudo.

O que vale reter é a disciplina de separar validade de verdade. Validade é uma propriedade estrutural: a conclusão segue necessariamente das premissas. Verdade é uma propriedade semântica: as premissas correspondem ao estado real do mundo. Erros acontecem quando se trata um argumento válido como prova de que a conclusão é verdadeira, ou quando se descarta uma conclusão porque a premissa de partida está defeituosa, ignorando que o encadeamento em si pode estar correto. Separe as duas coisas antes de tomar qualquer decisão baseada nelas.