Silogismo hipottico

En lgica clsica, el silogismo hipottico es una forma de argumento vlido que es un

silogismo que tiene una sentencia condicional para una o ambas de sus premisas.1 2
Si no me despierto, entonces no puedo ir a trabajar.
Si no puedo ir a trabajar, entonces no me van a pagar.
Por lo tanto, si no me despierto, entonces no voy a recibir el pago.
En la lgica proposicional, el silogismo hipottico es el nombre de una regla de
inferencia vlida (a veces abreviado SH y, a veces tambin llamado argumento cadena,
regla de cadena, o el principio de transitividad de la implicacin). El silogismo
hipottico es una de las reglas de lgica clsica, que no siempre es aceptado en ciertos
sistemas de lgica no clsica. La regla puede afirmar:

Donde la regla es que cada vez que las instancias de "

"y"
" aparecen
en las lneas de demostracin, "
" se puede colocar en una lnea posterior.
El silogismo disyuntivo est estrechamente relacionado y es similar al silogismo
disyuntivo, ya que tambin es un tipo de silogismo, y tambin es el nombre de una regla
de inferencia.
Notacin formal
La regla de silogismo hipottico puede escribirse en la notacin subsiguiente:

donde es un smbolo metalgico que significa que

sintctica de
,y
en algn sistema lgico;

es una consecuencia

y expresado como una tautologa verdad-funcional o teorema de la lgica proposicional:

donde

son proposiciones expresadas en algn sistema formal.

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.
REFUTACIN DE DILEMAS.
Copi presenta tres modos de refutar un dilema:
a) Escapando entre los cuernos (entendemos por cuernos de un dilema los miembros
de la disyuncin) que consiste en plantear otra alternativa ms que las presentadas en el
razonamiento lemtico.
b) tomando el dilema por los cuernos, es decir, mostrando que la consecuencia de uno
o de ambos juicios hipotticos es incorrecta.
c) Construyendo un contradilema, que consiste en llegar a una conclusin opuesta a la
propuesta pero con los mismos elementos, para mostrar la inconsistencia del
razonamiento (no siempre es necesario que esas conclusiones sean incompatibles entre
si).