Tema 1.

Razonamiento Deductivo
1. Introducción: la lógica formal.

¿Por qué una breve introducción a la lógica?: debidos a que los principales modelos
de razonamiento (PSYCOP, Lógica Mental y Teoría de Modelos Mentales) están
inspirados en modelos lógicos (reglas de inferencias y tablas de verdad).

¿Qué es la lógica?: es una disciplina que nos permite saber si un argumento deductivo
es válido (correcto).

Hay varias formas de saber cuándo un argumento es válido: un procedimiento consiste

en usar reglas de inferencias y otro consiste en usar tablas de verdad.

1.Método de las reglas de inferencias: “un argumento es válido si la conclusión se

deriva de la aplicación de reglas de derivación natural” (validez sintáctica). Los pasos
a seguir para saber si un argumento es válido:

a) Identificación de las proposiciones y de los conectores lógicos

 1. En la mesa hay un lápiz y hay una goma
2. En la mesa hay un bolígrafo y hay un libro
La siguiente conclusión se deriva necesariamente de las premisas:
En la mesa hay un lápiz y hay un libro ? SI NO

Veamos brevemente como procede la lógica basada en reglas de inferencias.

Paso 1. Representación formal

Hay que identificar las proposiciones (es aquello sobre a lo que se le puede asignar un
valor de verdad) y los conectores (los marcadores lógicos que une proposiciones).
A continuación cada proposición (lápiz, goma, bolígrafo, libro) se representa mediante
una variable (p, q, r, s) y cada conectiva (y) mediante un signo lógico ( ).

Representación formal del ejemplo:

1. p  q
2. r  s
ps
Paso 2. Aplicación de reglas lógicas.

3. p (Regla Eliminación Conjunción en premisa 1).

4. s (Regla Eliminación Conjunción en premisa 2).

 p  s (Regla Introducción Conjunción en premisa 3 y 4)

Al haber obtenido un conclusión aplicando regla lógicas de inferencia, podemos

concluir que la conclusión es correcta.

Diferencias entre modelos lógicos y modelos psicológicos de razonamiento.

Importante: los modelos de razonamiento (PSYCOP y Lógica Mental) basados en
reglas difieren en varios aspectos de los modelos lógicos. Por las siguiente razones:

1. En los modelos lógico una regla se puede aplicar tantas veces como uno quiera y
la conclusión sigue siendo válida, mientras que en los modelos psicológicos se
imponen restricciones.
 1. En los modelos lógico una regla se puede aplicar tantas veces como uno quiera.
Veamos un ejemplo:
P1: En la mesa hay un lápiz
P2: En la mesa hay una goma
conclusión: En la mesa hay un lápiz y hay una goma?
Si usamos la regla de introducción de la conjunción (RIC), podemos concluir : En la
mesa hay un lápiz y hay una goma
Si volvemos a usar RIC y podemos concluir : En la mesa hay un lápiz y hay una goma
y hay un lápiz
Etc….
Esta forma de proceder es psicológicamente implausible, es por ello por lo que los
principales modelos de razonamiento PSYCOP y Lógica Mental impone
restricciones al uso de esta y otras reglas.

2. En los modelo lógicos se puede extraer una conclusión a partir de premisas
contradictorias. Veamos un ejemplo:
 1.Llueve
2. No llueve
3. Hace frío
 llueve y no llueve (R.I.C. en 1 y 2).

Sin embargo, las personas las personas no elaboran conclusiones contradictorias. La

evidencia experimental nos muestra que las personas en evitan las conclusiones
contradictorias.

Por lo tanto, hay que elaborar modelos de razonamiento en psicología que asuman que
las personas no van a elaborar conclusiones contradictorias.

A continuación veremos un modelo psicológico basado en reglas de inferencia

(PSYCOP).
2. Principales teorías generales de razonamiento deductivo.
Dos de los principales modelos basado en reglas de inferencias son : PSYCOP y
Lógica Mental.

Supuestos en modelos de razonamiento basados en reglas formales de inferencia.

A. En cuanto a la mente humana: se asume que contiene reglas similares a las que
poseen los sistemas de deducción natural.

B. En cuanto a cómo se lleva a cabo el proceso de razonamiento: se postula que este se

realiza en el siguiente orden:

1. Descubrimiento de la forma lógica de las premisas.

2. Búsqueda y aplicación de reglas de inferencia.
3. Traslado de la conclusión sin contenido al contenido de las premisas.
C. En cuanto a los componentes que conforman un modelo de razonamiento.

Un repertorio de reglas de inferencia.

Un programa de control.
Un componente de comprensión que permita la codificación y decodificación del
lenguaje natural al el lenguaje de la lógica y viceversa.

Veamos un ejemplo de cómo se razona usando reglas formales de inferencias:

Te comes la sopa o te comes el pescado
No te comes la sopa:
¿qué conclusión se sigue?

A continuación, y con fines didácticos, se expone un ejemplo de cómo opera un

modelo basado en reglas de inferencia
Primer paso: descubrir la forma lógica de las premisas y la conclusión.
Te comes la sopa o te comes el pescado poq
No te comes la sopa: no p

Segundo paso: búsqueda y aplicación de reglas de inferencia.

En este ejemplo se aplica la regla del silogismo disyuntivo:
poq
no p
por lo tanto q

y se obtiene como conclusión ‘q’

Tercer paso: traslado de la conclusión (q) al lenguaje natural.

La variable q = te comes el pescado.
Principales predicciones de PSYCOP:
En cuanto a la dificultad: los problemas difíciles son aquellos en los que hay que
aplicar:
-reglas más complejas.
-mayor número de regla.
-y la disponibilidad de la regla.
 
En resumen: los problemas que requieran de más reglas, de reglas más complejas y de
reglas poco disponibles serán más difíciles que aquellos que requieran de menos reglas,
de reglas más simples y de reglas altamente disponibles.
1.-Uno de los supuestos de las teorías de reglas de inferencia, es asumir que el razonamiento deductivo
consiste en el descubrimiento de la estructura lógica de las premisas y de la aplicación de reglas de inferencia
que permiten llevar a cabo la derivación. V F

2. Los modelos de razonamiento basados en reglas formales de inferencias asumen que el proceso de
razonamiento deductivo consiste en: a) descubrimiento de la forma lógica de las premisas; b) búsqueda y
aplicación de reglas de inferencia y c) traslado de la conclusión sin contenido al contenido de las premisas.
V F

3. Según PSYCOP, los errores pueden surgir debido a problemas de comprensión, al fracaso de aplicar una
regla debido a restricciones de la memoria de trabajo, o la posesión de una regla no lógica.
V F

4. Para PSYCOP el razonamiento consiste en buscar un contraejemplo que falsee la conclusión putativa. Es
decir, buscar un modelo a partir de las premisas que haga falsa la conclusión.

V F