Silogismo categórico

Un silogismo categórico o silogismo clásico es un silogismo compuesto por exactamente tres proposiciones categóricas (dos premisas y una conclusión).^[1]​ Una proposición es categórica cuando tiene una de las siguientes cuatro formas:^[1]​

Por ejemplo, el siguiente argumento es un silogismo categórico:

Se dice que un silogismo categórico está en forma estándar cuando satisface las siguientes condiciones:

Por ejemplo, el siguiente argumento es un silogismo categórico en forma estándar:

El argumento es un silogismo categórico porque consiste en tres proposiciones categóricas (dos premisas y una conclusión) que contienen exactamente tres términos («héroe», «cobarde» y «soldado»), cada uno de los cuales sólo aparece en dos de las proposiciones que lo constituyen. Para saber si el silogismo categórico está en forma estándar, es necesario identificar el término mayor, el término menor, la premisa mayor, la premisa menor y analizar la conclusión. En este caso el predicado de la conclusión es héroe, que constituye el término mayor, y por consiguiente la premisa mayor es «Ningún héroe es cobarde». El sujeto de la conclusión es soldado que es el término menor, por lo tanto la premisa menor es «Algunos soldados son cobardes». Además, la conclusión tiene dos de los tres términos del silogismo: soldados y héroes, los términos mayor y menor aparecen, cada uno, en una premisa diferente, por consiguiente se puede establecer que este es un ejemplo de silogismo categórico en forma estándar, también aparece el término cobardes, al cual se denomina término medio.