Mayor ilícita

Mayor ilícita es una falacia formal cometida en un silogismo categórico que es inválido porque su término mayor no está distribuido en la premisa mayor pero está distribuido en la conclusión.

Esta falacia tiene la siguiente forma argumental:

1. Todos los A son B
2. Ninguna C es A
3. Por lo tanto, ningún C es B

Ejemplo:

1. todos los perros son mamiferos
2. Ningún gato es un perro
3. Por lo tanto, ningún gato es mamífero.

En este argumento, el término principal es "mamíferos". Esto se distribuye en la conclusión (la última afirmación) porque estamos haciendo una afirmación sobre una propiedad de todos los mamíferos: que no son gatos. Sin embargo, no se distribuye en la premisa mayor (el primer enunciado) donde solo estamos hablando de una propiedad de algunos mamíferos: Solo algunos mamíferos son perros.

El error está en suponer que lo contrario de la primera afirmación (que todos los mamíferos son perros) también es cierto.

Sin embargo, un argumento en la forma siguiente difiere del anterior, y es válido (Camestres):

1. Todos los A son B
2. Ningún B es C
3. Por lo tanto, ningún C es A