Silogismo hipottico

En lgica se denomina silogismo hipottico a aquel tipo de silogismo o ms bien regla de

inferencia que en su expresin plantea un caso hipottico, por lo cual puede tener
trminos vlidos o no. En la lgica proposicional un silogismo hipottico puede expresar una regla
de inferencia, mientras que en la historia de la lgica los silogismos hipotticos han sido una
antelacin de la teora de las consecuencias.
En lgica proposicional
El silogismo hipottico es un argumento vlido si sigue la siguiente forma argumental:
P Q.
Q R.
Entonces (ergo), P R.

Con operadores lgicos, esto se expresa:



Donde representa la asercin lgica.
En otro trminos, 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 categrico 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.
Ntese que el carcter condicional facilita, aunque no necesariamente, una posible falacia. En el
caso dado se est implicando *+ casi absolutamente una posible fiesta con una posible diversin.
Los silogismos categricos poseen la ventaja de poder ser contrafcticos; estos pueden tener
conclusiones ciertas incluso si poseen premisas que se conocen falsas.
Ejemplos de premisas contrafcticas que pueden ser vlidamente utilizadas en un silogismo
categrico:
Si Jos de San Martn hubiera usado barba hubiera tenido un aspecto elegante.
Si Petrus Christus hubiera pintado como un impresionista hubiera sido un buen pintor.

SILOGISMOS HIPOTTICOS.
El silogismo hipottico se caracteriza por estar formado por juicios hipotticos. La estructura
formal del silogismo hipottico es la siguiente:
Si A es, B es
Si B es, C es
Luego, si A es, C es.
SILOGISMO HIPOTTICO MIXTO.
Se llama hipottico mixto al silogismo que est formado por una premisa mayor hipottica, una
premisa menor categrica y una conclusin tambin categrica.
Tiene dos modos principales: modus ponens (afirmativo) y modus tollens (negativo). La estructura
formal del modus ponens es la siguiente:
Si A es, B es
Ahora bien, A es
Luego, B es.
La estructura formal del modus tollens es la siguiente:
Si A es, B es
Ahora bien, B no es
Luego, A no es.
SILOGISMO DISYUNTIVO.
El silogismo disyuntivo es similar al hipottico mixto, pues su premisa mayor es disyuntiva
mientras que la menor y la conclusin son categricas.
Admite tambin dos modos: modus ponendo tollens (afirmativo negativo) y modus tollendo
ponens (negativo afirmativo).
La estructura formal del modus ponendo tollens es la siguiente:
A es B o C
Ahora bien, es B
Luego, no es C
La estructura formal del modus tollendo ponens es la siguiente:
A es B o C
Ahora bien, no es B
Luego, B es o C es.
SILOGISMO HIPOTTICO DISYUNTIVO.
Si la premisa mayor es a la vez hipottica y disyuntiva, tenemos el silogismo hipottico disyuntivo.
Este silogismo tiene dos modos: modus ponens (afirmativo) y modus tollens (negativo).
La estructura formal del modus ponens es la siguiente:
Si A es, B es o C es
Es as que A es
Luego, A no es
Este ltimo razonamiento se llama tambin razonamiento lemtico (lemma = supuesto), de
donde se llama tambin dilema cuando tiene dos miembros disyuntivos; tambin puede ser
trilema o, en general, polilema.
Dice Essen que este tipo de razonamiento sirve para rebatir una afirmacin mostrando lo que se
afirma implcitamente y necesariamente y negando luego ambos miembros de la disyuncin, por
lo cual la afirmacin queda negada.