Silogismo hipotético

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 tener té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 una antelación de la teoría de las consecuencias.

En lógica proposicional

El silogismo hipotético es un argumento válido si sigue la siguiente forma argumental:

P → Q.
Q → R.
Entonces (ergo), P → R.

   \begin{array}{r}
      P \rightarrow Q \\
      Q \rightarrow R \\
      \hline
      P \rightarrow R 
   \end{array}

Con operadores lógicos, esto se expresa:

 p \rightarrow q
 q \rightarrow r,
 \vdash p \rightarrow r

Donde \vdash 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ótese que 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).

Los silogismos 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 que pueden 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 un impresionista hubiera sido un buen pintor.
siempre y cuando los proverbios y adjetivos cualoitativos sean comunes entres si adaptando una logico proposicional acorde con todo lo anteriormente funcionabilizado.

Véase también


Wikimedia foundation. 2010.

Игры ⚽ Нужна курсовая?

Mira otros diccionarios:

  • Silogismo — El silogismo es una forma de razonamiento deductivo que consta de dos proposiciones como premisas y otra como conclusión, siendo la última una inferencia necesariamente deductiva de las otras dos. Fue formulado por primera vez por Aristóteles, en …   Wikipedia Español

  • Entimema — Saltar a navegación, búsqueda En Lógica, Entimema (< latín enthymēma < griego ἐνθύμημα o enthumēma [en + thumos (mente) que ya reside en la mente ]) es el nombre que recibe un silogismo en el que se ha suprimido alguna de las premisas o la… …   Wikipedia Español

  • Razonamiento circular — Saltar a navegación, búsqueda El razonamiento circular también llamado por Aristóteles razonamiento recíproco[1] y demostración en círculo[2] es frecuentemente confundido con la petición de principio con la que no tiene nada que ver,[3] por …   Wikipedia Español

  • Lógica — La lógica es una ciencia formal y una rama de la filosofía que estudia los principios de la demostración e inferencia válida. La palabra deriva del griego antiguo λογική (logike), que significa «dotado de razón, intelectual, dialéctico,… …   Wikipedia Español

  • Cálculo lógico — Saltar a navegación, búsqueda El cálculo lógico, o derivación lógica, es un algoritmo que permite cómoda y fácilmente inferir o deducir un enunciado verdadero a partir de otro u otros que se tienen como válidamente verdaderos. La inferencia o… …   Wikipedia Español

  • Historia de la lógica — La historia de la lógica documenta el desarrollo de la lógica en varias culturas y tradiciones a lo largo de la historia. Aunque muchas culturas han empleado intrincados sistemas de razonamiento, e, incluso, el pensamiento lógico estaba ya… …   Wikipedia Español

  • Regla de inferencia — En lógica, especialmente en lógica matemática, una regla de inferencia es un esquema para construir inferencias válidas. Estos esquemas establecen relaciones sintácticas entre un conjunto de fórmulas llamados premisas y una aserción llamada… …   Wikipedia Español

  • Contrafactual — Para otros usos de este término, véase historia contrafactual. Para otros usos de este término, véase contrafacción. Contrafactual o contrafáctico/a (opuesto a los hechos). En lógica, más particularmente en lógica modal y en otras disciplinas… …   Wikipedia Español

  • Leyes de inferencia — Saltar a navegación, búsqueda Alguna reglas de inferencia clásicas, muy utilizadas en matematicas para la demostración de Teoremas, se detallan a continuación: Ley de separación (modus ponens): Si p y p → q son ambos verdaderos, se infiere que q… …   Wikipedia Español

  • Lógica empírica — La lógica empírica es la base del razonamiento empírico y por lo tanto del método empírico. Esta visión de la lógica proviene de la antigua Grecia. El término empírico deriva del griego antiguo de experiencia, έμπειρία, que a su vez deriva de έυ… …   Wikipedia Español

Compartir el artículo y extractos

Link directo
Do a right-click on the link above
and select “Copy Link”