Silogismo hipotético En lógica se denomina silogismo hipotético a aquel tipo de silogismo de silogismo o más bien regla bien regla de inferencia que en su expresión plantea un caso hipotético, caso hipotético, por por lo cual puede tener términos válidos términos válidos o no. En la lógica la lógica proposicional un silogismo hipotético puede expresar una regla de inferencia, de inferencia, mientras mientras que en la historia la historia de la lógica los silogismos hipotéticos han sido una antelación de la teoría la teoría de las consecuencias. consecuencias. En lógica proposicional El silogismo hipotético es un argumento un argumento válido si sigue la siguiente forma siguiente forma argumental: P → Q. Q → R. Entonces (ergo), P → R.
Con operadores Con operadores lógicos, esto lógicos, esto se expresa:
Donde
representa la aserción la aserción lógica. lógica.
En otro términos, en este tipo t ipo de argumentos si A implica a B, y B implica a C, transitivamente el primero (A) implica al tercero (C). Un ejemplo de silogismo categórico 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ótese que el carácter condicional facilita, facil ita, aunque no necesariamente, una posible falacia. posible falacia. En En el caso dado se está implicando *→+ casi absolutamente una posible fiesta con una posible diversión. Los silogismos categóricos poseen la ventaja de poder se r contrafácticos; estos contrafácticos; estos pueden tener conclusiones ciertas incluso si poseen premisas que se «conocen» falsas.
Ejemplos de premisas contrafácticas que pueden ser válidamente utilizadas en un silogismo categórico: Si José de San Martín hubiera usado barba hubiera te nido un aspecto elegante. Si Petrus Christus hubiera pintado como un impresionista hubiera sido un buen pintor.
SILOGISMOS HIPOTÉTICOS. El silogismo hipotético se caracteriza por estar formado por juicios hipotéticos. La estructura formal del silogismo hipotético es la siguiente: Si A es, B es Si B es, C es Luego, si A es, C es.
SILOGISMO HIPOTÉTICO MIXTO. Se llama hipotético mixto al silogismo que está formado por una premisa mayor hipotética, una premisa menor categórica y una conclusión también categórica. Tiene dos modos principales: modus ponens (afirmativo) y modus tollens (negativo). La estructura e structura 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 hipotético mixto, pues su premisa mayor es disyuntiva mientras que la menor y la conclusión son categóricas. Admite también 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 HIPOTÉTICO DISYUNTIVO. Si la premisa mayor es a la vez hipotética y disyuntiva, tenemos el silogismo hipotético 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 también “razonamiento lemático” (lemma = supuesto), de donde se llama también “dilema” cuando tiene dos miembros disyuntivos; también puede ser “trilema” o, en general, “polilema”. Dice Essen que “este tipo de razonamiento razonamiento sirve sirve para rebatir una afirmación mostrando lo que se afirma implícitamente y necesariamente y negando luego ambos miembros de la disyunción, por lo cual la afirmación queda negada”.
