Silogismo hipotetico

Silogismo hipotético
En lógica se denomina silogismo hipotético a aquel tipo de silogismo o más bien regla de inferencia que en su expresión plantea un caso hipotético, por lo cual puede tenertérminos válidos o no. En la lógica proposicional un silogismo hipotético puede expresar una regla de inferencia, mientras que en la historia de la lógica los silogismos hipotéticos han sido unaantelación de la teoría de las consecuencias.
El silogismo categórico (abreviado S.P.) es un argumento válido si sigue la siguiente forma argumental:
P → Q.
Q → R.
Entonces (ergo), P → R.

Con operadoreslógicos, esto se expresa:

Donde representa la aserción lógica.
En otro términos, en este tipo de argumentos si A implica a B, y B implica a C, transitivamente el primero (A) implica al tercero(C). Un ejemplo de silogismo categorico es el siguiente:
Si no me despierto, no puedo ir a la fiesta.
Si no voy a la fiesta, no me divertiré.
Entonces, si no me despierto no me divertiré.
Nóteseque el carácter condicional facilita – aunque no necesariamente– una posible falacia (en el caso dado se está implicando [→] casi absolutamente una posible fiesta con una posible diversión).
Lossilogismos categorico poseen la ventaja de poder ser contrafácticos: estos pueden tener conclusiones ciertas incluso si poseen premisas que se conocen falsas.
Ejemplos de premisas contrafácticas quepueden ser válidamente utilizadas en un silogismo categorico:
* Si José de San Martín hubiera usado barba hubiera tenido un aspecto elegante.
* Si Petrus Christus hubiera pintado como unimpresionista hubiera sido un buen pintor.

Los tipos de silogismo

Silogismos categóricos regular
 Silogismos constará de tres términos y tres supuestos categóricas.As proposiciones se presentancomo absoluta e incondicional. La relación entre estos y la conclusión es constrangente, lo que se requiere. Esta es la forma estándar del silogismo.

Ejemplo: Todas las ballenas son mamíferos....