Resumen Introducción Al Pensamiento Científico (Buacar UBAXXI) [2022]

Reglas de inferencia y deducciones

Además de los contraejemplos, la lógica también se encarga de hallar modos de probar la validez de los argumentos. Considerando las condiciones de verdad de los enunciados incluidos como premisas y las condiciones de verdad de los enunciados. Pero otro modo de deducir la validez de un argumento es de las reglas de inferencia:

1)Modus Ponendo Ponens(MPP):
En este tipo de argumentos hay tanto una o más condicionales como un antecedente, de manera que podemos obtener una conclusión, un consecuente.
Ej:
Si hace calor vamos a la playa.
Hace calor.
Por lo tanto, vamos a la plata.

Estructura:
Si A entonces B
A
-
B

2)Modus Tollendo Tollens(MTT):
En este tipo de argumentos hay condionales y la negación del consecuente. Para obtener la negación del antecedente.
Ej:
Si hace calor vamos a la playa.
No vamos a la playa.
Por lo tanto, no hace calor.

Estructura:
Si A entonces B
No B
-
No A

3)Silogismo Hipotético: De darse una cierta condición le seguirá una cierta consecuencia.
Ej:
Si es de mañana entonces ya amaneció.
Si ya amaneció entonces voy a desayunar.
-
Si es de mañana voy a desayunar.

Estructura:
Si A entonces B
Si B entonces C
-
Si A entonces C

4)Simplificación: Si tengo una conjunción puede inferir válidamente uno de los conyuntos.
Ej:
Gladis aprobó matemática e historia
-
Gladis aprobó matemática

Estructura:
A y B
-
A

5)Adjunción: Si tengo dos enunciados entonces puedo inferir válidamente la conjunción entre ellos.
Ej:
Clara aprobó matemática
Clara aprobó historia
-
Clara aprobó matemática e historia

Estructura:
A
B
-
A y B

6)Silogismo disyuntivo: Hay una disyunción y otra disyunción pero en una hya negación. Entonces de ahí se concluye el otro disyunto.
Ej:
Sabemos que Ana o Ema es la culpable
Nos enteramos que Ana no es
-
Entonces podemos inferir que Ema es la culpable

Estructura:
A o B
No A
-
B

7)Instanciación Universal: Asumimos que todos los individuos que tienen la propiedad R, tiene la propiedad P, y que el individuo X tiene la propiedad R entonces inferimos que también tiene la propiedad P.
Ej:
Todos los perros son mamíferos
Firulais es un perro
-
Firulais es un mamífero

Estructura:
Todos los R son P
X es R
-
X es P