Discusión:Silogismo hipotético

que es silogismo disyuntivo

Silogismo Categórico.

Véase la entrada de Wikipedia sobre "Silogismo Categórico". Lo que aquí se presenta como "silogismo categórico" en realidad no lo es. En un silogismo categòrico no entran proposiciones condicionales, porque la lógica de un silogismo categórico no se basa en proposiciones, sino en terminos: tèrmino mayor, medio y menor. Por ejemplo:

"Todo hombre es mortal. Todo arquitecto es hombre. Luego, todo arquitecto es mortal"

es un silogismo categórico. Los términos son "hombre, arquitecto y mortal". Y lo que importa es la relación entre esos términos: "mortal" incluye a todo "hombre", y "hombre" a todo "arquitecto", de modo que "mortal" incluye a todo "arquitecto".

Pero "Si algo es hombre, es mortal, y si algo es arquitecto, es hombre, luego, si algo es arquitecto, es mortal",

no es un silogismo categórico. Allí lo que importa no es la relación entre los términos, sino la relación entre las proposiciones condicionales: "Si A es B y C es A, entonces C es B".

En este caso no importa la cuantificación de las proposiciones, lo que es vital en el silogismo categórico.

--Nestorfull (discusión) 12:38 22 jul 2009 (UTC)Nestorfull