Um silogismo é uma forma de raciocínio dedutivo com duas premissas e uma conclusão. Aristóteles desenvolveu o silogismo como a unidade básica da lógica. O exemplo mais famoso é: Todos os homens são mortais. Sócrates é um homem. Logo, Sócrates é mortal. A primeira premissa é a premissa maior, a segunda é a premissa menor e a terceira é a conclusão. Se as premissas forem verdadeiras e a forma for válida, a conclusão também será verdadeira. O silogismo é uma ferramenta para testar a validade dos argumentos. Ao identificar a forma, é possível verificar se a conclusão é válida.

Aristóteles identificou diversas formas silogísticas válidas, denominadas figuras e modos. A mais comum é a primeira figura, onde o termo médio liga as premissas maior e menor. Os lógicos medievais atribuíram nomes mnemónicos às formas, como Barbara e Celarent, para ajudar os alunos a memorizá-las. O silogismo foi fundamental para a lógica durante mais de dois mil anos. Foi apenas no século XIX que Frege e outros desenvolveram sistemas lógicos mais robustos. Contudo, o silogismo permanece uma ferramenta didática útil e um exemplo claro de raciocínio dedutivo. Demonstra como as conclusões podem ser derivadas de premissas com certeza, desde que a forma seja válida e as premissas sejam verdadeiras.

Partes de um silogismo

• Premissa principal. A declaração mais ampla.
• Premissa menor. A afirmação mais específica.
• Conclusão. A declaração que se segue.
• Termo médio. O termo que liga as premissas.

Um silogismo não é o mesmo que um argumento em geral. É uma forma específica de argumento dedutivo com duas premissas e uma conclusão.