TEMA 5.

- EL RAZONAMIENTO CONDICIONAL
1. INTRODUCCIN
Estudio de las inferencias condicionales sobre las relaciones contingentes
reales o hipotticas que vienen enunciadas por medio de:
Si, entonces (implicacin material):
-

Modus ponens y modus tollens

Errores
o Afirmacin del consecuente
o Negacin del antecedente

Si y slo si, entonces (equivalencia material).

2. MODELOS DE REGLAS MENTALES
Ms cercanos en sus planteamientos al modelo lgico.
Supuesto de que los sujetos tienen reglas de inferencias semejantes a las
reglas lgicas y que estas reglas se aplican sobre una representacin
proposicional de los silogismos condicionales con el fin de probar la conclusin.
Cualquier modelo de reglas mentales tiene que explicar cmo se codifica el
contenido del argumento y se encuentra su estructura sintctica
correspondiente, cules son las reglas de deduccin y cul es el procedimiento
para la seleccin y aplicacin de estas reglas.
Braine.- Modelo de deduccin natural: Elaborado por la falta de
correspondencia entre la interpretacin de los operadores y su interpretacin
en el lenguaje natural. De acuerdo con este planteamiento, la regla mental o
esquema de inferencia del condicional es el modus ponens y en cualquiera de
las otras formulaciones se requieren cmputos adicionales, ya que la regla no
se puede aplicar directamente. Las formulaciones que no se ajustan al modus
ponens son ms difciles, lo que se refleja en un n mayor de errores y tiempos
de solucin ms largos.
En una de las ltimas versiones del modelo, la explicacin del razonamiento
condicional est basada en tres componentes:
-

Componente que codifica la entrada de informacin lingstica del

trmino si en unos esquemas de inferencia independientes del
contexto.
Componente constituido por procesos de comprensin pragmtica que
interpretan el condicional segn sea el contexto en que ocurra el
condicional.

Componente que es un programa de razonamiento con los pasos a

seguir desde la informacin que ya ha sido interpretada hasta la
conclusin.

Modelo combinado de Braine y OBrien.- Los esquemas de inferencia para el

trmino lingstico si son el modus ponens y la prueba condicional.
La regla del modus ponens permite inferir q a partir de las premisas si p,
entonces q y p. La regla para la prueba del condicional permite inferir si p,
entonces q a partir de cualquier proposicin q que se siga de la suposicin
p.
Braine.- Repertorio completo de los problemas de inferencias del razonamiento
deductivo: 18 reglas bsicas y universales. Este programa de razonamiento
est constituido por rutinas que dan lugar a un razonamiento directo y
estrategias que producen un razonamiento indirecto.
En contraposicin a los dictmenes de la lgica, el razonamiento humano parte
de suposiciones, y no de premisas propiamente dichas. Los sujetos parten de
premisas que suponen son verdaderas y no derivan una conclusin a partir de
premisas contradictorias. La regla mental se aplica cuando se produce el
emparejamiento entre un esquema de inferencia y una proposicin y la
inferencia pasa a formar parte del conjunto de premisas. Para evaluar si un
argumento es vlido, se comprueba si existe correspondencia o contradiccin
entre las proposiciones del conjunto de premisas y la conclusin.
Los resultados experimentales muestran que los sujetos cometen pocos
errores en los problemas que se pueden resolver por las rutinas del
razonamiento directo. Las falacias de negar el antecedente y afirmar el
consecuente y la inferencia del modus tollens se explican por el componente de
comprensin pragmtica.
Para explicar la inferencia lgica correcta del modus tollens que no se incluye
en el repertorio de reglas mentales del sujeto se recurre a las inferencias
invitadas (sugeridas por el contexto) de la comprensin pragmtica, para
conducir a una respuesta correcta. El condicional expresado como permiso u
obligacin tambin genera el modus tollens.
Las rutinas de razonamiento directo no se pueden aplicar a todos los
problemas. Para estos casos, el modelo cuenta con estrategias de
razonamiento que no son universales, dando lugar a la existencia de una
amplia variabilidad entre los sujetos.
Rips.- Sistema de deduccin natural: modelo computacional. Supuesto de que
el razonamiento humano consiste en la aplicacin de reglas mentales y las
rutinas de inferencia son las encargadas de aplicar las reglas para probar
argumentos condicionales, disyuntivos y conjunciones. El procedimiento de

prueba consta de una configuracin jerrquica de asertos (rbol de asertos)

que incluyen las premisas y proposiciones que se derivan de las mismas y otra
configuracin jerrquica de submetas (rbol de submetas) que incluye la
conclusin y las proposiciones que la garantizan. Las reglas de inferencia van
ubicando estas proposiciones en ambas configuraciones y se prueba el
argumento cuando se encuentra un emparejamiento entre las submetas y los
asertos.
El modelo evala como invlido un argumento cuando no hay reglas que
permitan encontrar el emparejamiento entre submetas y asertos.
El modelo de deduccin natural explica el proceso de razonamiento condicional
como la generacin de una prueba en la memoria de trabajo en la que se
admiten suposiciones. Estas suposiciones no tienen que ser necesariamente
verdaderas y se puede abordar el anlisis de sus consecuencias sin conocer su
valor de verdad. El rbol de asertos rene los pasos lgicos que conducen
desde las premisas a la conclusin y el rbol de submetas gua el proceso
desde la conclusin a las premisas, evitando que se generen otras
implicaciones no relacionadas con el objetivo de la deduccin.
Las reglas del modelo son sensibles a las metas del sistema.
Rips.- A partir del anlisis de protocolos verbales, formula catorce reglas de
inferencia que se aplican en un orden de preferencia que empieza por las ms
sencillas o bsicas. Este conjunto de reglas no es definitivo, ni abarca todo el
conjunto posible de reglas de deduccin natural. Dos son del tipo modus
ponens:
-

Regla hacia adelante: de las premisas a la conclusin

Regla hacia atrs: de la conclusin a las premisas

El modelo no cuenta con un procedimiento directo para la deteccin de

argumentos invlidos.
El modelo slo evala argumentos, pero no puede producir conclusiones
cuando se requiere la aplicacin de las reglas hacia atrs que necesitan una
submeta para poder activarse.
El modelo de Braine y OBrien es ms completo, ya que permite tanto la
evaluacin como la generacin de argumentos y la deteccin de la
contradiccin de forma inmediata al admitir suposiciones contradictorias.
Crticas:
-

Falta de explicacin de los efectos del contenido sobre el proceso de

razonamiento.

3. TEORA DE LOS MODELOS MENTALES

Constituye un marco terico general del razonamiento deductivo.
Se rechazan las reglas de inferencia y se acentan los aspectos semnticos
del razonamiento.
Etapas:
-

Comprensin: el sujeto utiliza su conocimiento sobre el lenguaje y su

conocimiento en general para construir un modelo mental de aquello que
viene descrito por las premisas del argumento.
Se combinan los modelos mentales construidos a partir de las premisas
con el fin de generar una descripcin lo ms sencilla posible de estos
modelos. Esta descripcin debe enunciar algo que no se encuentre
explcito en las premisas y es la conclusin tentativa del argumento.
Validacin: el sujeto busca modelos mentales alternativos de las
premisas que puedan falsar la conclusin tentativa.

Frente a los modelos de reglas, la t de los modelos mentales logra explicar un

mayor n de resultados experimentales sobre la dificultad de los problemas en
trminos de la cantidad de procesamiento y de las limitaciones de la memoria
de trabajo en la consideracin de todas las combinaciones de las
representaciones relevantes.
La interpretacin de un enunciado condicional si p, entonces q, depender de
su significacin lingstica y del contexto. El modelo mental describir el estado
actual de aquello que viene descrito en el antecedente y la relacin del
consecuente con el antecedente que se presupone en ese contexto.
El antecedente se representar de forma exhaustiva: p no puede
representarse en otra situacin que no sea aquella en la que se relaciona con
q. Indicado por un corchete.
El consecuente se representar slo en su relacin con el antecedente: q
puede darse en otros modelos mentales con o sin p. Indicado por tres puntos.
Modelo inicial

[p] q

Las inferencias deductivas que se pueden obtener a partir de la representacin

del modelo mental inicial sern las ms fciles y a medida que aumenta el
nmero de modelos mentales explcitos tambin aumenta la dificultad del
problema.

El modelo mental inicial del condicional tambin explica por qu los sujetos
parecen ajustarse a una tabla de verdad defectiva al considerar irrelevantes
aquellos condicionales en los que el antecedente es falso.
Para poder realizar cualquier otra inferencia que no sea el modus ponens ser
necesario generar los modelos mentales explcitos. Tambin las falacias de
afirmar el consecuente y negar el antecedente se explican por la generacin de
los modelos mentales explcitos del condicional.
Una de las crticas de los modelos de reglas mentales es que acomodan los
efectos del contenido a un componente para la comprensin de los enunciados,
manteniendo intacta la estructura formal de las reglas de inferencia.
Byrne.- Demostr que la inferencia del modus ponens tambin se poda
suprimir o bloquear por el contenido. Si el contenido puede suprimir el modus
ponens, entonces se puede descartar que esta inferencia se haga por la
aplicacin de una regla bsica e independiente del contenido. Plante que no
haba ninguna regla mental, ni la del modus ponens. No cuestiona que se
hagan inferencias modus ponens, sino que existan reglas de inferencia modus
ponens que se aplican independientemente del contenido.
La teora de los modelos mentales es ms completa, ya que logra predecir y
explicar un mayor nmero de resultados experimentales que los modelos de
reglas.
Braine.- Se puede razonar tanto con reglas de inferencia como con modelos
mentales. Los modelos mentales son compatibles con su teora.
Aunque la T de los modelos mentales asume que no slo el conocimiento
sobre el significado de los operadores lgicos (si, entonces) sino tambin el
conocimiento en general (contenido/contexto) determinan los modelos
mentales que se representan. No hace explcitas las consecuencias del efecto
del conocimiento general.
Santamara, Garca-Madruga y Carretero.- Proponen categoras para la
interpretacin de las relaciones entre los conceptos del problema:
-

Identidad
Disyuncin
Interseccin
Inclusin directa
Inclusin inversa

Encontraron que manteniendo la credibilidad de las conclusiones se poda

manipular el contexto de la interpretacin de acuerdo con las categoras
propuestas para el condicional: la inclusin directa para la implicacin material
con un mayor nmero de inferencias modus ponens y modus tollens, loa
identidad para la equivalencia material con un mayor n de inferencias modus

ponens, modus tollens, negacin del antecedente y afirmacin del consecuente

y en el contexto neutro un abanico ms amplio de inferencias en las que
predominaba el modus ponens. Logran explicar la construccin de los modelos
mentales en funcin de la interpretacin de las relaciones entre los conceptos
contenidos en el problema y no slo por la interpretacin de los operadores
lgicos.
4. MODELOS CON COMPONENTES PRAGMTICOS