Como determinar a figura de um silogismo e entender se o argumento esta corretamente construido?

15 min read
19

Todos os dias enfrentamos a necessidade de defender nosso ponto de vista, analisar os argumentos dos outros e tomar decisões bem fundamentadas. No cerne do pensamento rigoroso e baseado em evidências reside a lógica formal, e sua ferramenta clássica é o silogismo categórico simples — uma inferência dedutiva composta por duas premissas e uma conclusão.

No entanto, simplesmente declarar uma conclusão não é suficiente. Para entender se a conclusão decorre necessariamente das premissas ou se estamos diante de um truque lógico, é preciso saber como analisar a estrutura da inferência. Uma etapa chave nessa análise é determinar a figura do silogismo — o esquema que mostra exatamente como o chamado termo médio é distribuído nas proposições.

Este guia prático ajudará você a dominar rapidamente o algoritmo para analisar silogismos do zero. Você aprenderá a identificar corretamente os termos maior e menor, a distinguir entre a premissa maior e a premissa menor, a visualizar conexões lógicas usando círculos de Euler e a identificar instantaneamente erros típicos de raciocínio.

Anatomia de uma Inferência: Identificando os Termos S, P e M

Antes de passar para os esquemas gráficos e as regras de figura, você deve aprender a dissecar a inferência como um anatomista experiente. Qualquer silogismo categórico simples consiste em três elementos, que na lógica são chamados de termos. Seu arranjo mútuo determina a estrutura e a correção de toda a conclusão.

Esses três "pilares" são o sujeito (S), o predicado (P) e o termo médio (M). Um erro ao encontrar esses elementos levará inevitavelmente a uma determinação incorreta da figura e a conclusões falsas. Vamos examinar como encontrar esses elementos no texto sem erros e como separar corretamente as premissas em maior e menor.

Como Encontrar os Termos Extremos (Sujeito S e Predicado P) na Conclusão

A análise de qualquer silogismo deve sempre começar pelo seu fim — a conclusão. É aqui que está escondida a chave para decifrar toda a estrutura da inferência. No texto, a conclusão é facilmente reconhecível por palavras-chave como: "portanto", "assim", "consequentemente", "segue-se que".

Assim que você isolar a proposição da conclusão, encontre os dois termos extremos dentro dela:

Sujeito da conclusão ($S$) — é sobre o que a conclusão trata (o termo menor). Gramaticalmente, corresponde na maioria das vezes ao sujeito da frase.
Predicado da conclusão ($P$) — é o que é afirmado ou negado sobre o sujeito (o termo maior). Geralmente é expresso pelo predicado ou pela parte nominal do predicado.

Exemplo:
Na conclusão "Portanto, alguns advogados ($S$) são defensores ($P$)":

$S$ (sujeito) — "advogados";
$P$ (predicado) — "defensores".

Ao identificar $S$ e $P$, você estabelece uma base sólida para a análise posterior das premissas.

Como Calcular o Termo Médio (M) e Diferenciar Premissas Maiores e Menores

Depois de identificar os termos extremos ($S$ e $P$) na conclusão, encontrar o termo médio ($M$, terminus medius) será fácil.

Passo 1. Calcule o termo médio ($M$)
Observe atentamente ambas as premissas. Encontre o conceito que é duplicado em ambas, mas está completamente ausente na própria conclusão. Este é o termo médio ($M$). Ele atua como a ligação entre o sujeito e o predicado, permitindo a transição para a conclusão, após o qual ele "desaparece".

Passo 2. Diferencie as premissas
Em um silogismo categórico simples, as premissas são estritamente diferenciadas pelos termos extremos que contêm:

Premissa maior — é a proposição que inclui o termo maior ($P$, o predicado da conclusão). Na notação silogística padrão, geralmente é colocada primeiro.
Premissa menor — é a proposição que contém o termo menor ($S$, o sujeito da conclusão).

Exemplo:

Todos os metais ($M$) são condutores ($P$). (Premissa maior)
Cobre ($S$) é um metal ($M$). (Premissa menor)
Cobre ($S$) é condutor ($P$). (Conclusão)

Agora que a estrutura da inferência foi totalmente analisada, você pode passar para a determinação gráfica da figura do silogismo.

Algoritmo Passo a Passo para Determinar a Figura do Silogismo

Depois de aprender a encontrar corretamente o termo médio (M) e separar as premissas em maior e menor, o mapa da inferência se abre diante de nós. Na lógica formal, o arranjo relativo dos termos nas premissas não é aleatório — está sujeito a uma geometria estrita, que é chamada de figura do silogismo. Determinar a figura é uma etapa chave que permite entender as regras pelas quais o pensamento se desenrola e se ele contém defeitos ocultos.

Para garantir que este processo não seja difícil durante uma prova ou ao analisar um texto real, vamos reduzi-lo a um algoritmo simples e claro. Em seguida, visualizaremos a estrutura das premissas usando esquemas gráficos clássicos e detalharemos uma instrução passo a passo que o ajudará a reconhecer instantaneamente qualquer uma das quatro figuras em exemplos práticos específicos.

Quatro Esquemas Gráficos para o Arranjo do Termo Médio

A figura de um silogismo categórico simples é sua variação estrutural, determinada exclusivamente pela posição do termo médio ($M$) nas premissas. Como o termo médio liga os termos extremos ($S$ e $P$) e está presente em ambas as premissas, existem exatamente quatro maneiras possíveis de ele ser distribuído espacialmente.

Quatro esquemas gráficos são usados na lógica para memorização e análise rápidas. Neles, as premissas são representadas condicionalmente como linhas horizontais, e a posição do termo $M$ é conectada por um segmento de linha:

Figura 1: O termo médio ($M$) ocupa a posição de sujeito na premissa maior e a posição de predicado na premissa menor. A linha gráfica é direcionada de cima para baixo e da esquerda para a direita (formando uma linha diagonal \).

$M$ — $P$
$S$ — $M$
Figura 2: O termo médio ($M$) atua como predicado em ambas as premissas. A linha de conexão forma uma linha vertical no lado direito (|).

$P$ — $M$
$S$ — $M$
Figura 3: O termo médio ($M$) é o sujeito em ambas as premissas. A linha de conexão forma uma linha vertical no lado esquerdo (|).

$M$ — $P$
$M$ — $S$
Figura 4: O termo médio ($M$) ocupa a posição de predicado na premissa maior e a posição de sujeito na premissa menor. A linha gráfica é direcionada de cima para baixo e da direita para a esquerda (formando uma linha diagonal /).

$P$ — $M$
$M$ — $S$

Esses padrões geométricos permitem a visualização instantânea da estrutura da inferência e sua preparação para a verificação da correção lógica.

Instrução Passo a Passo para Identificar a Figura em um Exemplo Prático

Vamos examinar a análise passo a passo de um silogismo clássico:

Todos os metais conduzem eletricidade.
Cobre é um metal.
Cobre conduz eletricidade.

Passo 1. Analisar a conclusão.
Primeiro, encontramos a conclusão: "O cobre conduz eletricidade." O sujeito da conclusão (S) é "cobre", e o predicado (P) é "conduz eletricidade."

Passo 2. Determinar as premissas.
A premissa maior contém o predicado (P): "Todos os metais conduzem eletricidade." A premissa menor contém o sujeito (S): "O cobre é um metal."

Passo 3. Encontrar o Termo Médio (M).
O conceito presente em ambas as premissas, mas ausente na conclusão, é "metal". Nós o denotamos como M.

Passo 4. Determinar a Figura.
Escrevemos o esquema do arranjo dos termos:

Na premissa maior: M — P (o termo médio está na posição de sujeito).
Na premissa menor: S — M (o termo médio está na posição de predicado).

Visualmente conectando M, obtemos uma linha diagonal que corre da esquerda para a direita e de cima para baixo. Esta é a clássica primeira figura do silogismo.

Análise das Quatro Figuras e Suas Regras Especiais

Determinar o esquema gráfico de um silogismo é apenas metade da batalha. Para garantir a verdade da conclusão quando as premissas são verdadeiras, é necessário verificar se as regras especiais prescritas para cada figura específica são observadas. Na lógica formal, essas regras atuam como filtros rigorosos: mesmo que a inferência pareça convincente externamente, violar até mesmo um requisito local a torna instantaneamente logicamente insustentável.

Cada uma das quatro figuras possui seu próprio significado cognitivo único e requisitos estritos em relação à qualidade e quantidade das premissas. Vamos examinar em detalhes quais leis governam a estrutura de cada figura e como essas regras ajudam a descartar instantaneamente inferências dedutivas falsas.

Características e Regras da Primeira e Segunda Figuras

A primeira e a segunda figuras do silogismo categórico simples são de importância fundamental na lógica, pois os procedimentos dedutivos e de refutação mais óbvios são construídos sobre elas.

Primeira Figura (M — P, S — M):
Nesta figura, o termo médio ($M$) é o sujeito na premissa maior e o predicado na premissa menor. Ele está sujeito a duas regras estritas:

A premissa maior deve ser uma proposição universal ($A$ ou $E$).
A premissa menor deve ser uma proposição afirmativa ($A$ ou $I$).

Modos válidos: AAA, EAE, AII, EIO.

Segunda Figura (P — M, S — M):
Aqui, o termo médio ($M$) ocupa a posição de predicado em ambas as premissas. Suas regras exigem:

A premissa maior deve ser universal ($A$ ou $E$).
Uma das premissas (e a conclusão em si) deve ser negativa ($E$ ou $O$).

Modos válidos: EAE, AEE, EIO, AOO.

Violar qualquer uma dessas regras torna a inferência automaticamente incorreta logicamente, mesmo que as premissas pareçam verdadeiras.

Características e Regras da Terceira e Quarta Figuras

Passando para a análise da terceira e quarta figuras do silogismo categórico simples, é importante notar que elas estão sujeitas às suas próprias leis específicas, diferentes das duas primeiras figuras.

Terceira Figura (o termo médio M ocupa a posição de sujeito em ambas as premissas):

Regra da Premissa Menor: A premissa menor deve ser necessariamente uma proposição afirmativa (A ou I).
Regra da Conclusão: A conclusão nesta figura deve sempre ser uma proposição particular (I ou O).

Exemplo: Todos os bambus (M) são grãos (P). Todos os bambus (M) são plantas (S). Algumas plantas (S) são grãos (P).

Quarta Figura (o termo médio M é o predicado na premissa maior e o sujeito na premissa menor):
Esta figura é considerada a menos natural para o nosso pensamento, mas é estritamente formalizada:

Se a premissa maior for afirmativa (A ou I), então a premissa menor deve ser universal (A ou E).
Se a premissa menor for afirmativa (A ou I), então a conclusão deve ser particular (I ou O).
Se uma das premissas for negativa (E ou O), então a premissa maior deve ser universal (A ou E).

Aderir a essas regras garante a correção formal da inferência para essas estruturas.

Métodos para Verificar a Validade Lógica de uma Inferência

Após determinar a figura do silogismo e compará-la com as regras especiais, damos um passo importante, mas isso nem sempre é suficiente para um veredito final. Para descartar completamente o erro no raciocínio, é necessário prosseguir para uma verificação direta da correção lógica da estrutura da inferência. Na lógica formal, dois métodos principais são tradicionalmente aplicados para isso: analítico e gráfico.

O primeiro método é baseado na comparação da estrutura do silogismo com uma tabela de modos válidos que foram testados ao longo de séculos. O segundo método é visual, usando círculos de Euler para modelar as relações entre os volumes de conceitos. Combinar essas abordagens garante precisão absoluta na análise de qualquer silogismo categórico simples.

Análise dos Modos Válidos para Cada Figura

Cada figura do silogismo categórico simples possui seus próprios modos válidos — variedades de inferências distinguidas pelas características quantitativas e qualitativas das premissas e da conclusão ($A, I, E, O$). Das 256 combinações teoricamente possíveis, apenas 24 são logicamente válidas (6 para cada figura, incluindo modos enfraquecidos).

Para facilitar a memorização, nomes mnemônicos especiais foram usados desde a Idade Média, onde as vogais indicam o tipo de proposição na estrutura do silogismo (premissa maior, premissa menor e conclusão):

Figura I (produz todos os tipos de conclusões): Barbara (AAA), Celarent (EAE), Darii (AII), Ferio (EIO).
Figura II (a conclusão é sempre negativa): Cesare (EAE), Camestres (AEE), Festino (EIO), Baroco (AOO).
Figura III (a conclusão é sempre particular): Darapti (AAI), Disamis (IAI), Datisi (AII), Felapton (EAO), Bocardo (OAO), Ferison (EIO).
Figura IV (não produz conclusões universais): Bramantip (AAI), Camenes (AEE), Dimaris (IAI), Fesapo (EAO), Fresison (EIO).

Se a estrutura do seu silogismo corresponder a um desses modos, a inferência é dedutivamente sólida.

Método de Verificação Gráfica Usando Círculos de Euler

O método gráfico usando círculos de Euler é a maneira mais confiável de visualizar um silogismo categórico simples e verificar instantaneamente sua validade sem memorizar regras e modos.

A base do método é a representação dos volumes de conceitos como círculos. Como um silogismo envolve três termos — o sujeito da conclusão (S), o predicado da conclusão (P) e o termo médio (M) — trabalhamos com três círculos no esquema, cujas posições relativas são estritamente ditadas pelas premissas.

Algoritmo de verificação passo a passo:

Ilustre a premissa maior. Desenhe círculos que reflitam a relação entre o termo médio (M) e o predicado (P).
Sobreponha a premissa menor ao esquema. Adicione o círculo do sujeito (S), observando estritamente sua relação com o termo médio (M).
Avalie o esquema resultante. Verifique se a relação entre S e P declarada na conclusão decorre dela. Se os círculos puderem ser desenhados de modo que as premissas permaneçam verdadeiras, mas a conclusão se torne falsa, o silogismo foi construído incorretamente.

Esta ferramenta visual elimina erros subjetivos e ajuda a verificar rapidamente a conclusão lógica em um exame ou discussão.

Mesmo com métodos de verificação gráfica, como os círculos de Euler, é fácil cometer um erro na prática se o controle sobre a estrutura dos conceitos for enfraquecido. A lógica formal exige precisão impecável: o menor desvio no significado de uma palavra ou o desconsiderar de regras específicas para uma figura em particular destrói instantaneamente a necessidade lógica da conclusão. Como resultado, chegamos a uma conclusão falsa ou não confiável baseada em premissas aparentemente convincentes.

Para proteger o raciocínio contra distorções destrutivas, é necessário estudar em detalhes as falácias lógicas típicas. Na maioria das vezes, elas estão relacionadas ou à manipulação incorreta dos termos dentro do próprio silogismo ou a uma violação sutil dessas regras muito especiais das figuras que discutimos anteriormente. Vamos examinar essas armadilhas em mais detalhes para aprender a reconhecê-las instantaneamente em discussões cotidianas e problemas acadêmicos.

O Efeito da Quaternização de Termos e Como Reconhecê-la

O efeito da quaternização de termos (quaternio terminorum) é um dos erros mais insidiosos em um silogismo categórico simples. De acordo com as regras da lógica, um silogismo deve conter estritamente três termos: o sujeito ($S$), o predicado ($P$) e o termo médio ($M$). O erro ocorre quando a mesma palavra é usada nas premissas com significados diferentes. Como resultado, o termo médio é dividido, e acabamos com quatro termos em vez de três, o que torna a conclusão falsa ou logicamente desconectada.

Considere um exemplo clássico:

Movimento é eterno (aqui "movimento" é uma categoria filosófica).
Ir à universidade é movimento (aqui "movimento" é uma ação física).
Portanto, ir à universidade é eterno.

Como reconhecer a quaternização de termos na prática?

Verifique a unambiguidade dos conceitos: Garanta que o termo médio ($M$) nas premissas maior e menor tenha um significado absolutamente idêntico.
Cuidado com homônimos e metáforas: Palavras com duplo sentido (por exemplo, "mundo", "chave", "arco") são as principais fontes desse erro.
Analise o contexto: Se um termo é tomado em sentido coletivo (como uma classe de objetos) em uma premissa e em sentido distributivo (como um elemento específico) em outra, você tem quaternização de termos.

Armadilhas Lógicas ao Violar Regras Especiais de Figuras

Violar as regras especiais de figuras específicas é outra fonte comum de erros lógicos. Cada figura impõe requisitos rigorosos sobre a qualidade e a quantidade das premissas; falhar em cumprir isso destrói o rigor da conclusão.

Ignorar as regras da primeira figura. Aqui, a premissa menor deve ser afirmativa e a premissa maior deve ser universal. Se você usar uma premissa menor negativa: "Todos os estudantes (M) fazem exames (P). Esta pessoa (S) não é um estudante (M)", uma conclusão logicamente válida não pode ser tirada. A tentativa de concluir que "Esta pessoa não faz exames" é errônea porque o predicado da conclusão ($P$) acaba sendo distribuído, embora não estivesse distribuído na premissa.
A armadilha das premissas afirmativas na segunda figura. A segunda figura exige que uma das premissas seja negativa. Violar esta regra leva ao termo médio não distribuído. Por exemplo: "Todos os cientistas verdadeiros (P) amam a verdade (M). Petrov (S) ama a verdade (M)". A conclusão "Petrov é um cientista verdadeiro" é logicamente insustentável, porque dilettantes também podem amar a verdade.

O conhecimento dessas regras salva-nos de conclusões falsas que parecem convincentes à primeira vista.

Conclusão

A capacidade de determinar a figura de um silogismo e verificar sua correção não é apenas uma habilidade acadêmica para passar em exames, mas uma base confiável para o pensamento crítico. A análise sistemática de argumentos passo a passo — desde a identificação dos termos extremos e médios ($S$, $P$, $M$) até a análise gráfica e a verificação contra as regras especiais das figuras — permite reconhecer instantaneamente manipulações e erros lógicos em discussões cotidianas, prática jurídica ou pesquisa científica.

A prática regular rapidamente automatiza este algoritmo. Use os esquemas estudados, os círculos de Euler e as regras de modo como um filtro para as informações recebidas, para que seus próprios argumentos permaneçam sempre impecáveis, prováveis e logicamente consistentes.