La influencia de la figura y el contenido semántico en tareas silogísticas

Tamaño: px
Comenzar la demostración a partir de la página:

Download "La influencia de la figura y el contenido semántico en tareas silogísticas"

Transcripción

1 La influencia de la figura y el contenido semántico en tareas silogísticas ORLANDO ESPINO*, CARLOS SANTAMARÍA* Y JUAN A. GARCÍA MADRUGA** *Universidad de La Laguna, Tenerife; **UNED, Madrid Resumen Se presentan dos experimentos con tareas de razonamiento silogístico que investigan la influencia del contenido semántico (materiales de identidad y materiales de inclusión)y la figura (figura 1 versus figura 2)durante la fase de comprensión de las premisas y la fase inferencial. El experimento 1 nos muestra que en una tarea de evaluación silogística en la que se registraron tiempos de lectura, la figura del silogismo y el contenido afectan a la representación que hacen los sujetos de las premisas durante su comprensión. Asimismo, en el experimento 2 utilizando una tarea de construcción encontramos que la figura y el contenido afectan el proceso inferencial. Estos resultados se explican en términos de modelos mentales (Johnson-Laird y Byrne, 1991). Palabras clave: Razonamiento deductivo, comprensión, inferencia, efecto de la figura y efecto semántico. The influence of figure and semantic content in syllogistic tasks Abstract We present two experiments using syllogistic reasoning tasks in order to investigate the influence of semantic content (identity materials and inclusive materials) and the figure (figure 1 and figure 2) during the comprehension stage of the premises and the ineference stage. Experiment 1 shows, in an evaluation task in which we recorded the reading time, that the figure and the content affect the representation of the premises during the comprehension stage. Experiment 2 shows in a construction task, that both the figure and the content affect the inference stage. These results are explained in terms of the mental models theory (Johnson-Laird and Byrne, 1991). Keywords: Deductive reasoning, comprehension, inference, figural effect and semantic effect. Correspondencia con los autores: Orlando Espino. Departamento de Psicología Cognitiva. Universidad de La Laguna. Campus de Guajara S. C. de Tenerife. Fax: oespino@ull.es 1999 by Fundación Infancia y Aprendizaje, ISSN: Cognitiva, 1999, (11) 2,

2 134 INTRODUCCIÓN En su forma tradicional el silogismo categórico consiste en la conjunción de dos proposiciones cuantificadas denominadas premisas, y una tercera denominada conclusión. La primera premisa se denomina mayor y contiene el predicado (A) de la conclusión, la segunda premisa se llama premisa menor y contiene el sujeto (C) de la conclusión. El término que se repite en la premisa mayor y en la premisa menor se llama término medio (B). Existen dos variables formales que determinan la configuración del silogismo: modo y figura. El modo hace referencia a la cantidad (universal y particular) y a la cualidad (afirmativa y negativa) de las premisas. La combinación de cantidad y cualidad da lugar a cuatro tipos de enunciados: Modo Ejemplo Código convencional Universal-Afirmativa Todos los A son B (A) Universal-Negativa Ningún A es B (E) Particular-Afirmativa Algunos A son B (I) Particular-Negativa Algunos A no son B (O) La figura hace referencia al orden que ocupan los términos en las premisas. Dependiendo del lugar que ocupen los términos en las premisas, son posibles cuatro figuras: Figura 1 Figura 2 Figura 3 Figura 4 A - B B - A A - B B - A B - C C - B C - B B - C Estas dos variables, modo y figura, además de configurar el aspecto formal del silogismo determinan el grado de dificultad y los sesgos en el proceso deductivo. Los resultados de numerosas investigaciones han demostrado que cuando los sujetos deben generar una conclusión en una tarea silogística la figura da lugar a un sesgo direccional (Dickstein, 1978; Ford, 1995; García Madruga, 1982, 1983, 1989; Johnson-Laird, 1975; Johnson-Laird y Steedman, 1978; Johnson- Laird y Bara, 1984). Este sesgo es conocido como «efecto de la figura y hace referencia a la preferencia que tienen las personas por elegir o construir conclusiones en una determinada dirección más que en otra independiente de sí son o no válidas. Este efecto, tiene su máxima expresión en silogismos de la figura 1 y de la figura 2 y en menor medida en las figuras 3 y 4. En estos casos se ha encontrado que cuando las personas deben elaborar la conclusión de los silogismos de la figura 1, tienden a dar más conclusiones en el sentido A-C (en donde el primer elemento de la conclusión es el término extremo de la primera premisa) que en el sentido C-A (en donde el primer elemento de la conclusión es el término extremo de la segunda premisa). Asimismo, cuando las personas deben elaborar conclusiones de los silogismos de la figura 2, tienden a dar más conclusiones en el sentido C-A que en el sentido A-C. Otro factor que influye en el razonamiento silogístico es el contenido del problema. A este respecto, numerosas investigaciones han demostrado que las creencias, las actitudes y los sentimientos de los sujetos, afectan a la resolución de los silogismos (Evans, Barston y Pollard, 1983; Henle y Michael, 1956; Oakhill

3 135 y Johnson-Laird, 1985; Oakhill, Johnson-Laird y Garnham, 1989; Santamaría, 1989; Santamaría, García Madruga y Carretero, 1996; Wilkins, 1928). Sin embargo, existen discrepancias teóricas sobre cómo el contenido afecta al proceso deductivo. Para algunos autores, el contenido puede sesgar la interpretación de las premisas (por ejemplo, Henle y Michael, 1956); para otros, puede sesgar la conclusión (Barston, 1986); y por último, para otros, el contenido puede actuar sesgando tanto la interpretación de las premisas,la conclusión, o el propio proceso deductivo (Johnson-Laird y Byrne, 1991; Oakhill, Johnson-Laird y Garnham, 1989; Santamaría, 1989). De entre las principales teorías actuales del razonamiento silogístico(braine, 1978; Ford, 1995; Polk y Newell, 1995; Rips, 1994; Yule y Stenning, 1992), es la teoría de modelos mentales (Johnson-Laird y Byrne, 1991) la que ofrece una explicación más elaborada de la influencia de la figura y el contenido en tareas de razonamiento silogístico. La teoría de los modelos mentales postula que no es necesario asumir la existencia de reglas formales de inferencia para explicar la competencia humana en el razonamiento deductivo. El supuesto básico de esta teoría es que el razonamiento es un proceso que no depende de reglas de inferencia, sino que se articula a partir de un procedimiento sistemático para construir y evaluar modelos mentales de naturaleza semántica (Johnson-Laird, 1983). Desde esta concepción el razonamiento silogístico se llevaría a cabo en cuatro fases: 1) Interpretación y representación inicial de las premisas. Los sujetos usan su conocimiento del lenguaje y del mundo para entender las premisas. Esto se lleva a cabo mediante la construcción de modelos mentales, los cuales, en su estructura, recogen el estado de cosas que las premisas describen. Lo importante no es la experiencia subjetiva del modelo, sino su estructura. Ésta se corresponde en forma isomórfica con el estado de cosas descrito en las premisas, de forma que las entidades descritas en las premisas están representadas por determinados elementos o unidades (tokens); las propiedades de estas entidades están representadas por las propiedades de las unidades, y las relaciones entre las entidades están representadas por relaciones entre las unidades. La representación de una premisa de la forma: «Todos los atletas son banqueros daría lugar a un modelo simple, el cual quedaría representado de la siguiente forma: [a] b [a] b... Cada línea representa un individuo separado: «a representa a atletas y «b representa a banqueros. En este caso, la primera línea hace referencia a un individuo que es atleta y banquero. El corchete nos indica que el grupo ha sido representado exhaustivamente en el modelo, es decir, no pueden existir «atletas que no sean «banqueros. De otro lado, los «banqueros, al estar sin corchete significan que no están representados exhaustivamente, es decir, que pueden existir «banqueros que no sean «atletas. Los tres puntos suspensivos indican que puede haber individuos que no están representados en el modelo, por ejemplo la existencia de miembros que no sean «atletas. Así, el modelo puede ser desplegado del siguiente modo:

4 136 [a] [a] [ a] [ a] [b] [b] [b] [ b] donde «representa la negación, es decir, el último individuo del modelo no es ni «atleta ni «banquero. El número de unidades utilizadas para representar las entidades es pequeño y arbitrario. 2) Combinación de las interpretaciones en un modelo integrado. Una vez construido el modelo de la primera premisa los sujetos deben construir el modelo de la segunda premisa e integrarlo con el de la primera. La formación del modelo mental integrado se obtiene haciendo que los términos medios tengan una disposición temporal contigua. En el caso de los silogismos de la figura 1 (A-B/B-C) los términos medios (B) tienen una disposición contigua lo cual permite que se integren ambos modelos. Por ejemplo, un silogismo de la forma: Todos los atletas son banqueros Todos los banqueros son camioneros daría lugar a un modelo de cada premisa: [a] b [b] c [a] b [b] c que pueden combinarse para producir el modelo integrado: [[a] b] c [[a] b] c... Cuando no existe esa disposición de contigüidad, como en el resto de las figuras silogísticas, se requiere de operaciones cognitivas adicionales que hagan coincidir los términos medios. En unos casos se ha de invertir el orden de los modelos antes de ser combinados, en otros se ha de cambiar el orden de los términos dentro del modelo. Así en los silogismos de la figura 2, (Todos los B son A / Todos los C son B), al no estar los términos medios dispuestos de forma temporalmente contigua, se ha de invertir el orden de los modelos. Los sujetos deben construir un modelo de la segunda premisa (Todos los C son B), rehacer la interpretación de la primera premisa (Todos los B son A), y añadir la información de ésta a la segunda premisa; de esta manera es como si las premisas fueran en el orden inverso: Todos los C son B/ Todos los B son A. Para la figura 3 y 4, la formación del modelo mental integrado es mucho más compleja (Johnson- Laird y Bara, 1984). 3) Formulación de una conclusión informativa. Este estadio se corresponde con un proceso normal de descripción verbal. En él los sujetos deben sacar una conclusión parsimoniosa, la cual debe expresar una relación que no está explícita en las premisas. 4) Búsqueda de un modelo alternativo. Es el proceso inferencial a través del cual los sujetos buscan modelos alternativos que se deriven de las premisas y que hagan falsa la conclusión que los sujetos han elaborado en el segundo estadio. En caso de que no haya una conclusión alternativa, la conclusión disponible es considerada como válida. En caso contrario, los sujetos volverían al segundo estadio e intentarían comprobar si hay una conclusión verdadera para todos los modelos que ellos hayan podido construir. La validación a través de la búsqueda de mo-

5 137 delos alternativos hace posible explicar cómo un sistema no lógico puede ser capaz de producir conclusiones lógicas. La teoría de modelos mentales explica el efecto de la figura en el razonamiento silogístico según el principio del «first in first out ( lo primero que entra es lo primero que sale, Broadbent, 1958); es decir, el término extremo que ocupe el primer lugar dentro de la memoria de trabajo una vez construido el modelo mental integrado será el término que ocupe el primer lugar en la conclusión. En los silogismos de la figura 1 (A-B/B-C), el término extremo (A) ocupa el primer lugar en la memoria de trabajo, por esta razón la conclusión más frecuente será en la dirección A-C. Como ya habíamos comentado anteriormente, en los silogismos de la figura 2 (B-A/C-B), los términos medios no están dispuestos de forma temporalmente contigua, por lo tanto se ha de invertir el orden de los modelos (C-B/B-A). Ahora, el término extremo que ocupa el primer lugar en la memoria de trabajo una vez construido el modelo mental integrado es C, y por esta razón la conclusión más probable será en la dirección C-A. Por tanto, la teoría de modelos mentales predice que la figura actúa tanto durante la representación de las premisas como durante la elaboración de la conclusión. En el primer caso, postulando que los problemas de la figura 1 son más sencillos que los de la figura 2, y en el segundo caso postulando que en los silogismos de la figura 1 los sujetos elaborarán preferentemente conclusiones A-C mientras que en el caso de la figura 2 elaborarán conclusiones C-A. La influencia del contenido, desde la teoría de modelos mentales, se explica como una consecuencia de la credibilidad de las premisas. La credibilidad puede afectar al razonamiento de varias formas (Oakhill, Garnham y Johnson-Laird, 1990): (1) distorsionando la interpretación de las premisas, es decir, las personas pueden modificar el significado de las premisas según sus conocimientos previos; (2) sesgando el proceso de deducción, de forma que las personas cuando obtienen una conclusión tentativa creíble se esforzarán menos en buscar contraejemplos que si la conclusión es increíble; (3) actuando como un filtro, es decir, las creencias podrían tener un efecto de filtro ante conclusiones poco creíbles de forma que las personas no las tendrían en cuenta, sustituyéndolas por conclusiones creíbles o bien concluirían que nada se sigue. Este mecanismo que permite que determinadas conclusiones se filtren en función o no de las creencias, ha sido criticado porque limita la refutabilidad de la teoría (Santamaría, García-Madruga y Carretero, 1996). Para estos autores los resultados adversos que han llevado a Oakhill et al. (1989) a plantear la existencia de un mecanismo de filtro, se deben a una inapropiada categorización de las creencias. Santamaría et al. (1996) han incorporado recientemente, dentro del marco de las teorías de modelos mentales, una explicación más completa de cómo el contenido y el contexto de la tarea afectan a la resolución de problemas deductivos sin necesidad de postular un mecanismo de filtro. La principal crítica de estos autores se centra en que para la teoría de modelos mentales el significado de los elementos de los modelos no tiene ningún efecto en el proceso de razonamiento. El no haber tenido en cuenta este factor es lo que dado lugar a la hipótesis del mecanismo de filtro. Santamaría et al. (1996) postulan que el modelo mental que forman las personas acerca de un problema no sólo debe recoger su estructura sintáctica sino además la relación semántica que se da entre los términos implicados. Así, encontramos que la teoría de modelos mentales (Johnson-Laird y Byrne, 1991) predice el mismo tipo de representación para las proposiciones «todos los autobuses son autocares y «todos los autobuses son vehículos. Para ambos ejemplos, los sujetos harían la siguiente representación:

6 138 todos los autobuses son autocares [autobuses]... autocares todos los autobuses son vehículos [autobuses] vehículos... Sin embargo, estos autores plantean que la representación de ambas proposiciones es distinta ya que los conceptos de las proposiciones mantienen relaciones semánticas distintas. En el primer caso, la relación semántica entre los términos de la proposición es de identidad mientras que en el segundo caso, la relación semántica entre los términos de la proposición es de inclusión. Cuando los términos de una proposición mantienen relaciones de identidad los sujetos deben elaborar modelos biunívocos para poder representar dicha relación. Una característica de los modelos biunívocos es que contienen simultáneamente los elementos de la inclusión directa y de la inclusión inversa. Es decir, los sujetos han de tener presente que todos los elementos del primer conjunto deben estar incluidos en el segundo conjunto y que, a su vez, todos los elementos del segundo conjunto deben estar incluidos en el primer conjunto. Santamaría et al. (1996) proponen que la representación que se harían las personas de un problema como «todos los autobuses son autocares, en el que los términos mantienen relaciones de identidad sería del siguiente tipo: [autobuses] [autocares]... En esta representación todos los elementos del primer conjunto (autobuses) están incluidos en el segundo conjunto (autocares), y, a su vez, todos los elementos del segundo conjunto están incluidos en el primer conjunto. Cuando los términos de una proposición mantienen relaciones de inclusión, los sujetos deben elaborar modelos mentales asimétricos o unívocos. Una relación unívoca o asimétrica se conforma a partir de una sola relación semántica. En este caso, los sujetos han de tener presente que o bien los elementos del primer conjunto están incluidos en el segundo (inclusión directa), o bien los elementos del segundo conjunto están incluidos en el primero (inclusión inversa). Cuando las relaciones entre los términos son de inclusión como en el caso de «todos los autobuses son vehículos, Santamaría et al. (1996), proponen que la representación mental sería del siguiente tipo: [autobús]... vehículos En esta representación todos los elementos del primer conjunto (autobuses) están incluidos en el segundo conjunto (vehículos), pero sólo algunos elementos del segundo conjunto están incluidos en el primer conjunto. A partir de los ejemplos mencionados, proposiciones que tienen la misma estructura sintáctica pueden ser representadas de forma distinta. Por tanto, la relación semántica que se da entre los términos de una proposición es un factor clave en la representación que las personas se hacen de ésta. Este hecho, que no ha sido recogido todavía por la teoría de modelos mentales, será uno de los objetivos de este artículo.

7 139 El efecto que pueden ejercer las relaciones semánticas entre los términos de un problema se hace más pronunciado cuando en vez de una proposición cuantificada usamos dos proposiciones como es el caso del silogismo. A continuación vamos a presentar, y comentar en términos de la teoría de los modelos mentales, dos silogismos que comparten la misma estructura (Figura 1) pero que mantienen relaciones semánticas distintas. Veamos un silogismo en la que los términos extremos mantienen relaciones de inclusión: Algunos vehículos son autobuses Todos los autobuses son máquinas La representación mental inicial, si se tienen en cuenta las relaciones semánticas entre los términos de las premisas, sería del siguiente tipo: [vehículos [autobuses]] máquinas... En este problema sólo se necesita generar un elemento en la representación mental para dar cuenta de la relación de inclusividad. El modelo recoge tanto la relación de inclusión directa (todos los vehículos son máquinas) como la de inclusión inversa (algunas máquinas son vehículos). Veamos un silogismo en el que los términos mantienen relaciones de identidad: Algunas maquinarias son autobuses Todos los autobuses son máquinas La representación mental inicial, si se tienen en cuenta las relaciones semánticas entre los términos de las premisas, sería del siguiente tipo: [maquinarias [autobuses] máquinas] [maquinarias [ autobuses] máquinas]... En este problema se necesita generar dos modelos mentales iniciales para representar la relación de identidad que hay entre los términos extremos del problema. El primer modelo representa varias situaciones: una de ellas hace referencia a que todos los autobuses deben ser maquinarias o máquinas, y la otra situación de la representación hace referencia a que todas las maquinarias son máquinas y viceversa. El segundo modelo recoge la situación en la que no es el caso que haya autobuses que no sean maquinarias o máquinas. Como podemos observar a partir de los ejemplos arriba mencionados, las relaciones semánticas entre los términos del problema pueden dar lugar a representaciones distintas para problemas que tienen la misma estructura. Si los sujetos extraen o evalúan las conclusiones manipulando y desarrollando los modelos mentales iniciales representados, como sostiene la teoría de los modelos mentales, es bastante probable que las conclusiones que extraigan o evalúen se vean determinadas por la relación semántica entre dichos términos. En el caso de que los términos extremos mantengan relaciones de identidad es más esperable que se utilizen más conclusiones universales afirmativas (por ejemplo, «todas las maquinarias son máquinas ) que con cualquiera de los otros modos posibles (por ejemplo, «algunas maquinarias no son máquinas ). El cuantificador universal afirmativo expresa mejor que cualquiera de los otros cuantificado-

8 140 res la relación de identidad. A su vez, cuando los términos extremos mantienen relaciones de inclusión se espera que los sujetos utilicen conclusiones universales afirmativas (inclusion directa) o particulares afirmativas y negativas (inclusión inversa). Como ya hemos comentado anteriormente, una relación de inclusión puede ser representada a través de una inclusión directa (por ejemplo, «todos los vehículos son máquinas ) o por una inclusión inversa (por ejemplo, «algunas máquinas son vehículos ). Nuestro interés en este artículo consiste en demostrar que la representación de las premisas de un silogismo puede verse afectada tanto por la figura del silogismo como por las relaciones semánticas que mantienen los términos extremos de las premisas (experimento 1). También queremos demostrar que las conclusiones que los sujetos elaboran estarán en función de la figura y del tipo de relación semántica que haya entre los términos del problema (experimento 2). EXPERIMENTO 1 En el experimento 1 pretendemos demostrar que el contenido semántico y la figura afectan al proceso de comprensión de las premisas en una tarea silogística. Para observar cómo el contenido afectan a la comprensión, hemos manipulado la relación semántica que mantienen los términos extremos de las premisas, de forma que en unos casos la relación semántica entre los términos extremos de las premisas diese lugar a una representación inicial con un sólo modelo (materiales de inclusión), mientras que en otros casos la relación semántica diese lugar a una representación con dos modelos mentales iniciales (materiales de identidad). Predecimos que en los silogismos en que los términos extremos mantienen relaciones de inclusión, el tiempo de lectura de la segunda premisa será menor que cuando los términos extremos del silogismo mantienen relaciones de identidad. Esta predicción se fundamenta en la idea de que cuantos más elementos en los modelos iniciales se necesitan para poder representarnos las premisas, mayor será el tiempo de procesamiento. Hemos tomado el tiempo de lectura de la segunda premisa porque es durante el procesamiento de la segunda premisa cuando se elabora el modelo mental inicial integrado de las dos premisas. En cuanto a la figura, predecimos que los sujetos emplearán más tiempo en leer la segunda premisa de los silogismos de la figura 2, que los de la figura 1. Esta predicción la hacemos fundamentada en la suposición de que en los silogismos de la figura 1 los sujetos obtienen el modelo mental integrado directamente, mientras que en los silogismos de la figura 2 los sujetos deben reordenar las premisas para obtener el modelo mental integrado. Este proceso de reordenación implica un coste adicional en recursos cognitivos, lo cual se debe traducir en un mayor tiempo de procesamiento. Método Sujetos Participaron 43 alumnos de primer curso de psicología de la Universidad de La Laguna. Todos ellos recibieron créditos para la nota de una asignatura por su participación.

9 141 Diseño Se empleó un diseño intragrupo 2x2. La primera variable independiente hace referencia a la figura del silogismo y tiene dos niveles: figura 1 versus figura 2. La segunda variable hace referencia al tipo de material y tiene dos niveles: materiales de inclusión y materiales de identidad. La variable dependiente fue el tiempo de lectura de la segunda premisa. Materiales y procedimiento Se elaboraron 8 silogismos, 4 experimentales (uno por cada condición experimental) y 4 de relleno. En la tabla I se presenta un ejemplo de los materiales experimentales usados en este estudio. Todos los silogismos experimentales se presentaron con el modo afirmativo particular (modo I) en la primera premisa, y el modo afirmativo universal (modo A) en la segunda premisa y fueron extraídos de un estudio normativo previo (Espino, 1995). Se tomaron aquellos conceptos que presentaban las puntuaciones más altas en las relaciones semánticas de inclusión e identidad. Los materiales de identidad son aquellos en los que los términos extremos de las premisas mantienen relaciones biunívocas, por ejemplo autocares y autobuses. Los materiales de inclusión son aquellos en los que los términos extremos mantienen relaciones unívocas, por ejemplo vehículos y máquinas. TABLA I Ejemplos de materiales usados en el experimento 1 Examples of materials used in experiment 1 SILOGISMO IA2. INCLUSIÓN ALGUNOS TEJIDOS SON ROPAS TODOS LOS SUÉTERES SON TEJIDOS SILOGISMO IA2. IDENTIDAD ALGUNAS MÁQUINAS SON GUAGUAS(*) TODOS LOS AUTOBUSES SON MÁQUINAS SILOGISMO IA1. INCLUSIÓN ALGUNAS ROPAS SON SUÉTERES TODOS LOS SUÉTERES SON TEJIDOS SILOGISMO IA1. IDENTIDAD ALGUNAS MAQUINARIAS SON AUTOBUSES TODOS LOS AUTOBUSES SON MÁQUINAS (*) En las Islas Canarias guagua se usa como sinónimo de autobús. Se usaron cuatro silogismos de relleno, dos silogismos de la figura 3 y dos silogismos de la figura 4. Los silogismos se presentaron a través de ordenador mediante un programa de ventana móvil que los sujetos se autoadministraban. Había cuatro exposiciones por cada silogismo. La primera y segunda correspondían a la primera y segunda premisa, la tercera a la conclusión, y por último aparecía una pregunta sobre la verdad o falsedad de la conclusión. Dado que sólo nos interesaba registrar los tiempos de lectura de la segunda premisa, se controlaron los materiales de forma que esta premisa fuese exactamente igual en las cuatro condiciones.

10 142 En cuanto a la conclusión, la mitad de los problemas iban en la direccción A- C, mientras que la otra mitad iban en el sentido C-A. Las conclusiones de los problemas experimentales contenían el cuantificador particular negativo (algunos... no son...), ya que esto permitía que la respuesta fuese incorrecta para todos los problemas experimentales, lo que equiparaba las condiciones también en este aspecto. En los problemas de relleno la conclusión era correcta para evitar una excesiva homogeneidad de los materiales. Resultados y discusión Los análisis de varianza con medidas repetidas para el tiempo de procesamiento de la segunda premisa arrojan efectos principales para la variable tipo de material (F(38,1)= 5,77; p< 0,025). En la tabla II podemos observar que los sujetos tardaron menos tiempo en leer la segunda premisa de los silogismos en los que los conceptos de las premisas mantenían entre sí relaciones de inclusión (3655 milisegundos), que cuando los conceptos mantenían relaciones de identidad (4165 milisegundos). Esta diferencias en tiempos durante la lectura de la segunda premisa parece demostrar que los sujetos están alaborando representaciones mentales distintas para los distintos materiales. También se encontraron efectos principales significativos para la variable figura (F(38,1)= 4,95; p< 0,05). Los sujetos tardaron menos tiempo en leer la segunda premisa de los silogismos de la figura 1 (3665 milisegundos) que los de la figura 2 (4165 milisegundos). Este dato está en consonancia con la propuesta de la teoría de los modelos mentales que postula que la integración del modelo en los silogismos de la figura 2 es más difícil que en los de la figura 1, ya que en los silogismos de la figura 2 los sujetos han de reordenar las premisas para obtener un modelo mental integrado, mientras que en los de la figura 1, éste se obtiene directamente. La interacción entre las dos variables no fue significativa. En un análisis de varianza para los aciertos no se encontraron ni efectos principales ni efecto debido a la interacción. En la tabla II se presenta también el porcentaje de aciertos según la figura y el tipo de material. TABLA II Medias del tiempo de la lectura de la segunda premisa, en milisegundos y de los aciertos entre parentesis, en función del tipo de figura (figura 1 - figura 2) y del tipo de material (inclusión e identidad) en el Experimento 1 Means of the reading times of the second premise, in miliseconds with correct responses between parentheses, according to the figure type (figure 1 and figure 2) and the material type (inclusion and identity) in experiment 1 INCLUSIÓN IDENTIDAD FIGURA (34) 3870 (52) FIGURA (50) 4460 (39) EXPERIMENTO 2 El experimento 1 nos ha servido para confirmar que durante la fase de comprensión los sujetos construyen diferentes representaciones mentales dependiendo de la relación semántica que hay entre los términos extremos del silogismo, y que dicha representación se ve afectada por la figura del silogismo. En este segundo estudio pretendemos demostrar que tanto las diferentes rela-

11 143 ciones semánticas entre los términos extremos del silogismo, como la figura determina el tipo de conclusión que los sujetos elaboran. Al igual que en el experimento anterior, para estudiar el efecto de la figura usaremos las figuras 1 y 2, y predecimos que los sujetos elaborarán preferentemente conclusiones que van en el sentido de la figura. Es decir, en los silogismos de la figura 1, los sujetos tenderán a elaborar más conclusiones A-C que en la dirección C-A, mientras que se espera que en los silogismos de la figura 2 elaboren más conclusiones en la dirección C-A que en la dirección A-C. Para observar el efecto que la figura del silogismo ejerce en la elaboración de la conclusión usaremos una tarea de construcción. Este tipo de tarea se caracteriza porque a los sujetos se les presentan sólo las dos premisas del silogismo y ellos han de deducir la conclusión. Este tipo de tarea, a diferencia de la tarea de evaluación (primer experimento), deja libertad a los sujetos para que elaboren la conclusión, lo cual nos permite saber cómo la figura del silogismo está determinando la conclusión que construyen. Otro objetivo de la presente investigación va encaminado a estudiar cómo el contenido del problema afecta a la conclusión. Para ello hemos usado materiales en los que los términos extremos de las premisas mantienen algún tipo de relación semántica (identidad e inclusión). Postulamos que cuando los términos extremos de un silogismo mantienen relaciones de identidad, los sujetos tenderán a elaborar más conclusiones universales que van en dirección contraria al sesgo de la figura, que cuando se usen materiales de inclusión. Esta predicción se fundamenta en la idea, ya comentada en la introducción, de que cuando los términos extremos de los silogismos mantienen relaciones de identidad, dicha relación semántica sesga hacia conclusiones universales afirmativas en ambas direcciones, tanto a favor como en contra del efecto de la figura. Por otro lado, también predecimos que en los silogismos en los que se usan materiales de inclusión los sujetos elaborarán más conclusiones particulares (afirmativas y negativas) que van en dirección contraria al sesgo de la figura que cuando se usen materiales de identidad. Esta predicción se basa en que, en nuestros silogismos experimentales, cuando los términos extremos mantienen relaciones de inclusión, sesgan hacia conclusiones particulares (tanto afirmativas como negativas) en sentido contrario al sesgo de la figura. Método Sujetos Participaron 96 sujetos de primer y tercer curso de la Escuela de Enfermería de la Universidad de La Laguna. De ellos 10 fueron excluidos porque más del 50% de sus respuestas incluían el término medio en la conclusión de los silogismos, lo que parecía indicar que no habían comprendido la tarea, y equivale a un 10% de la muestra total. Finalmente, los grupos quedaron compuestos como sigue: 41 sujetos fueron asignados al grupo de inclusión y 45 al grupo de identidad. Diseño Se utilizó un diseño mixto 2x2. La primera variable independiente era intergrupo y tenía dos niveles: materiales de identidad y materiales de inclusión. La

12 144 segunda variable independiente fue intragrupo y hacía referencia a la figura de las premisas, con dos niveles: figura 1 versus figura 2. Tomamos como variable dependiente el tipo de respuesta que los sujetos daban a los silogismos. Materiales y procedimiento La recogida de datos se llevó a cabo en el aula de la clase a la que habitualmente asistían los alumnos. El material se administró a través de un cuadernillo, en el cual estaba aleatorizado el orden de los silogismos para cada sujeto. Cada cuadernillo contenía 4 problemas. Dos problemas se presentaban con la figura 1 y dos con la figura 2, a su vez y para cada figura había un problema con los modos IA (premisa particular afirmativa y universal afirmativa) y el otro con los modos OA (premisa particular negativa y universal afirmativa). Cada problema fue presentado en una hoja. Las instrucciones se dieron por escrito. La tarea de los sujetos consistía en generar una conclusión que se derivase de las premisas. Para evitar respuestas extrañas e incatalogables se presentó un formato obligado de respuesta, en la que los sujetos tenían que rellenar una sola línea: todos los... son... algunos... son... algunos... no son... ningún... es... no hay conclusión... Los materiales de inclusión e identidad fueron los mismos que en el experimento 1. Las conclusiones de los sujetos fueron etiquetadas como conclusiones: A-C o C-A. En las conclusiones A-C, el término extremo de la primera premisa (A) ocupa el primer lugar en la conclusión, y el término extremo de la segunda premisa (C) ocupa el segundo lugar. En el caso de las conclusiones C-A el término extremo de la segunda premisa (C) ocupa el primer lugar en la conclusión, y el término extremo de la segunda premisa (A) ocupa el segundo lugar en la conclusión. Los cuadernillos se repartieron de forma aleatoria en el aula y los sujetos disponían del tiempo necesario para resolverlos. Resultados En la tabla III aparecen los porcentajes de cada tipo de respuesta por tipo de material (contenido) y por figura. Los análisis estadísticos se realizaron sobre los datos relevantes para contrastar las hipótesis planteadas. Encontramos que en los silogismos de la figura 1 los sujetos elaboraron más respuestas en la dirección A- C (60.5%) que en la dirección C-A (20%), siendo estas diferencias significativas (prueba de Wilcoxon; z=4.78; p< ). También encontramos que en los silogismos de la figura 2 los sujetos produjeron más conclusiones en la dirección C-A (48.5%) que en la dirección A-C (29%), siendo estas diferencias significativas (z=2.27; p< 0.02).

13 145 TABLA III Porcentajes de cada tipo de respuesta para el material de identidad e inclusión en las dos figuras (Experimento 2) Percentages of each type of response for the material type (identity and inclusion) and for the figure type (figure 1 and figure 2) in experiment 2 IDENTIDAD INCLUSIÓN FIG-1 FIG-2 FIG-1 FIG-2 CONCLUSIONES A-C Univ. Afirmativa 30,0 12,2 39,0 2,5 Part. Afirmativa 16,7 3,4 18,2 28,0 Part. Negativa 7,8 2,2 9,7 9,8 Univ. Negativa 0,0 1,1 0,0 1,2 CONCLUSIONES C-A Univ. Afirmativa 10,0 30,0 4,9 37,8 Part. Afirmativa 4,5 10,0 8,6 2,5 Part. Negativa 5,5 11,1 6,1 1,2 Univ. Negativa 0,0 2,2 0,0 1,2 No hay conclusión 18,9 22,3 9,8 13,4 Mal / No contesta 6,6 5,5 3,7 2,4 Un análisis para los diferentes materiales mostró que los sujetos elaboraban más respuestas universales afirmativas en sentido contrario al sesgo de la figura cuando se usaban materiales de identidad (11.1%) que cuando usaban materiales de inclusión (3.67%), (Mann-Whitney; z=3.71; p< ). En cuanto a las respuestas particulares (afirmativas y negativas) que van en sentido contrario al sesgo de la figura, el análisis estadístico mostró que los sujetos elaboraban más conclusiones de este tipo cuando se usaban materiales de inclusión (13.11%) que cuando eran de identidad (3.88%; prueba de Mann- Whitney; z=4.77; p< ). Discusión Los resultados obtenidos en el segundo experimento confirman las predicciones que habíamos formulado acerca de la influencia que la figura y el contenido ejercen sobre el tipo de respuesta que los sujetos construyen. En cuanto a la figura, hemos encontrado que en los silogismos de la figura 1, el tipo de respuesta que los sujetos elaboran mayoritariamente va en sentido A-C, mientras que en los silogismos de la figura 2 los sujetos construyen mayoritariamente respuestas en el sentido C-A. En cuanto a los materiales hemos encontrado que cuando se usan materiales de identidad los sujetos construyen más respuestas universales en sentido contrario al sesgo de la figura que cuando los términos de las premisas mantienen relaciones de inclusión. Cuando se usaban materiales de inclusión los sujetos elaboraban, de forma significativa, más respuestas particulares (afirmativas y negativas) que iban en sentido contrario al sesgo de la figura que cuando se usaban materiales de identidad.

14 146 DISCUSIÓN GENERAL Los resultados que hemos obtenido en estas dos investigaciones muestran que el contenido semántico y la figura del silogismo afectan tanto al proceso de comprensión como a la elaboración de la conclusión. En cuanto al primer experimento, hemos encontrado que los sujetos tardan menos tiempo en leer la segunda premisa cuando los términos extremos mantienen relaciones de inclusión que cuando mantienen relaciones de identidad, sin que ésto afecte al número de errores. Este resultado apoya la hipótesis de que la representación mental que los sujetos realizan durante la lectura del silogismo está en función de las relaciones semánticas que los términos extremos de las premisas mantienen entre sí. En este caso, se tarda más tiempo en construir un modelo mental integrado de las premisas cuando los términos extremos mantienen una relación de identidad que cuando la relación es de inclusión. Este incremento de tiempo surge porque el modelo mental integrado inicial de las premisas de nuestros problemas es más complejo cuando los términos extremos mantienen relaciones semánticas de identidad que cuando las relaciones semánticas son de inclusión. Los efectos de la complejidad del modelo han recibido muy escasa atención dentro de la teoría de los modelos mentales. Sin embargo, nos parece particularmente relevante en el campo del razonamiento con cuantificadores dado que en este tipo de razonamiento el modelo de una premisa puede incluir tantos elementos distintos como el conjunto de modelos de una conectiva proposicional. Por ejemplo, el modelo completamente explícito de la premisa Todos los A son B sería: a b a b a b que contiene los mismos elementos distintos que todo el conjunto de modelos explícitos de la expresión condicional: Si A entonces B. Existe asimismo un claro paralelismo entre las expresiones universales afirmativas interpretadas en términos de identidad y la interpretación bicondicional así como de la inclusión con el condicional simple. Otro dato de interés del primer experimento fue encontrar que en los silogismos de la figura 1 la lectura de la segunda premisa consume menos tiempo que en los silogismos de la figura 2. Este dato apoya la hipótesis del modelo mental integrado que propone la teoría de los modelos mentales (Johnson-Laird y Bara, 1984) y que están en la misma linea de los obtenidos en otros estudios (Espino, 1995; Espino, Santamaría y García-Madruga, enviado para publicación; Santamaría, García-Madruga y Johnson-Laird, 1998). Esta hipótesis plantea que en el caso de los silogismos de la figura 1, los sujetos obtienen el modelo mental integrado directamente, mientras que en los silogismos de la figura 2, los sujetos deben reordenar las premisas para obtener el modelo mental integrado. Este proceso de reordenación implica un coste adicional en recursos cognitivos, lo cual se debe traducir en mayores tiempo de procesamiento. Aparte de la teoría de modelos mentales ninguna de las teorías actuales de razonamiento silogístico (Ford, 1995; Polk y Newell, 1995; Yule y Stenning, 1992) pueden explicar estas diferencias de tiempo en el procesamiento de la segunda premisa. Los resultados obtenidos en la segunda investigación muestran que la figura afecta al proceso de elaboración de la conclusión. Cuando el silogismo es de la figura 1, los sujetos tienden a elaborar preferentemente conclusiones en la direc-

15 147 ción A-C, mientras que cuando el silogismo es de la figura 2 los sujetos tienden a elaborar más conclusiones en la dirección C-A. Estos resultados se ajustan a las predicciones del principo del «first in, first out, que formula la teoría de los modelos mentales para explicar el sesgo de la figura. Desde esta hipótesis se plantea que lo primero que está dentro de la memoria de trabajo una vez elaborado el modelo mental inicial integrado es lo primero en salir. En el caso de los silogismos de la figura 1, la primera información que entra en la memoria de trabajo es el término extremo A, lo cual lleva a los sujetos a elaborar conclusiones en la dirección A-C. En los silogismos de la figura 2, la primera información que está en la memoria de trabajo una vez formado el modelo mental inicial integrado es el término extremo C, lo cual lleva a los sujetos a elaborar conclusiones en la dirección C-A. Otro dato de interés de la segunda investigación fue haber encontrado que el contenido afecta al tipo de respuesta que los sujetos construyen en función de las relaciones conceptuales establecidas previamente. Cuando se usan materiales de identidad, hemos encontrado que los sujetos construyen más respuestas universales afirmativas en dirección contraria al sesgo de la figura que cuando se usan materiales de inclusión. Esta tendencia se debe a que cuando los términos extremos de las premisas mantienen relaciones de identidad, el modelo mental que los sujetos elaboran de las premisas es simétrico, lo que sesga a los sujetos a elaborar conclusiones universales afirmativas tanto en el mismo sentido de la figura, como en sentido contrario. Sin embargo, cuando se usan materiales de inclusión, los sujetos tienden a elaborar más conclusiones particulares (afirmativas y negativas) en dirección contraria al sesgo de la figura, que cuando se usan materiales de identidad. Esta tendencia se debe, como postulamos en la introducción, a que el material de inclusión de nuestro experimento fue manipulado de forma que el sesgo semántico de las conclusiones particulares fuese en sentido contrario al sentido de la figura. Así por ejemplo, algunos sujetos podían producir la conclusión Algunos mamíferos son perros para evitar la inconsistente: Todos los mamíferos son perros. La importancia que tiene el contenido del problema a la hora de elaborar una inferencia ha sido tratada en otras áreas del razonamiento. Byrne, Espino y Santamaria (en prensa) han encontrado, en una tarea de razonamiento, que el contenido del problema puede incluso llevar a las personas a suprimir inferencias válidas. En general, estos resultados dan respaldo experimental a las predicciones de la teoría de los modelos mentales y cuestionan algunas predicciones de las teorías de reglas formales de inferencia (Braine, 1978; Rips, 1994). El primer experimento nos permitió confirmar dos predicciones básicas de la teoría de modelos mentales: el tiempo de procesamiento será mayor cuanto más elementos conformen el modelo mental integrado inicial y cuando sea necesaria la reordenación de las premisas para formar el modelo mental integrado. El segundo experimento confirma otra de las predicciones de la teoría de los modelos mentales: el contenido semántico y la figura del silogismo afectan a la elaboración de la conclusión. Estos resultados difícilmente pueden ser explicados desde las teorías de reglas formales de inferencia ya que estas postulan que la figura actuaría sólo durante el proceso inferencial. De estos resultados también se desprende otra aportación relevante. Se trata de la propuesta de un mecanismo para la formación de los modelos mentales iniciales. En este sentido, mientras los aspectos computacionales de la manipulación de modelos para obtener conclusiones han demostrado ser muy poderosos y plausibles al explicar la conducta humana, los mecanismos de formación de los modelos se encuentran aún mal definidos. Por tanto, la creación de un sistema

16 148 capaz de producir modelos mentales a partir de las relaciones semánticas entre los términos de los problemas de razonamiento, reduciría el problema de la ambigüedad en la definición de la naturaleza de los modelos mentales. Nuestra propuesta apunta en esta dirección, aunque sólo hemos obtenido evidencia experimental para dos relaciones semánticas (inclusión e identidad). Nuestros intereses futuros irán dirigidos a aportar nuevos datos sobre el resto de las relaciones semánticas (exclusión e intersección). Referencias BARSTON, J. I. (1986). An investigation into belief biases in reasoning. Tesis no publicada. Plymouth Polytechnic, U.K. BRAINE, M. D. S. (1978). On the relation between the natural logic of reasoning and standard logic. Psychological Review, 85, BYRNE, R., ESPINO, O. y SANTAMARÍA, C. (En prensa). Counterexamples and the suppression of inferences. Journal of Memory and Language. BROADBENT, D. E. (1958). Perception and communication. Nueva York: Pergamon Press. (Trad. cast.: Percepción y comunicación. Madrid: Debate, 1985). DICKSTEIN, L. S. (1978). The effect of figure on syllogistic reasoning. Memory and Cognition, 6, ESPINO, O. (1995). Factores estructurales y semánticos en el razonamiento silogístico. Tesis doctoral. Universidad de La Laguna. Tenerife. ESPINO, O., SANTAMARÍA, C. y GARCÍA MADRUGA, J. A. (Enviado para publicación). Figure and difficulty in syllogistic reasoning. EVANS, J. S. B. T., BARSTON, J. L. y POLLARD, P. (1983). On the conflict between logic and belief in syllogistic reasoning. Memory & Cognition, 11, FORD, M. (1995). Two modes of mental representation and problem solution in syllogistic reasoning. Cognition, 54, GARCÍA MADRUGA, J. A. (1982). Un estudio sobre el efecto de la figura en el razonamiento silogístico. Estudios de Psicología, 11, GARCÍA MADRUGA, J. A. (1983). Un modelo general sobre al razonamiento silogístico: doble procesamiento y fase de comprobación con verificación. Revista de Psicología General y Aplicada, 38, GARCÍA MADRUGA, J. A. (1989). Inferencia y comprensión en el razonamiento silogístico. Cognitiva, 2, HENLE, M. y MICHAEL, M. (1956). The influence of attitudes on syllogistic reasoning. Journal of Social Psychology, 44, JOHNSON-LAIRD, P. N. (1975). Models of deduction. En R. J. Falmagne (Comp.), Reasoning: Representation and Process. Nueva York: Wiley. JOHNSON-LAIRD, P. N. (1983). Mental models. Towards a Cognitive Science on Language, Inference, and Consciousness. Cambridge: Cambridge University Press. JOHNSON-LAIRD, P. N. y BARA, B. G. (1984). Syllogistic Inference. Cognition, 16, JOHNSON-LAIRD, P. N. y BYRNE, R. M. J. (1991). Deduction. Hillsdale, NJ: LEA. JOHNSON-LAIRD, P. N., y STEEDMAN, M. (1978). The psychology of syllogisms. Cognitive Psychology, 10, OAKHILL, J. V., GARNHAM, A. y JOHNSON-LAIRD, P. N. (1990). Belief bias effects in syllogistic reasoning. En K. Gilhooly, M. Keane, R. Logie y G. Erdos (Eds.), Lines of thinking: Reflections on the Psychology of Thinking (vol.1, pp ). Chichester: John Wiley & Sons. OAKHILL, J. V. y JOHNSON-LAIRD, P. N. (1985). The effects of belief on the spontaneous production of syllogistic conclusions. Quarterly Journal of Experimental Psychology, 37 A, OAKHILL, J. V., JOHNSON-LAIRD, P. N. y GARNHAM, A. (1989). Believability and syllogistic reasoning. Cognition, 31, POLK, T. A. y NEWELL, A. (1995). Deduction as verbal reasoning. Psychological Review, 102, RIPS, L. J. (1994). The psychology of proof: Deductive reasoning in human thinking. Cambridge, MA: M.I.T. Press, Bradford Books. SANTAMARÍA, C. (1989). Modelos mentales y razonamiento semántico: el silogismo. Cognitiva, 2 (2), SANTAMARÍA, C., GARCÍA MADRUGA, J. A. y CARRETERO, M. (1996). Beyond belief bias: reasoning from conceptual structures by mental models manipulation. Memory & Cognition, 24 (2), SANTAMARÍA, C., GARCÍA MADRUGA, J. A. y JOHNSON-LAIRD, P. N. (1998). Reasoning from double conditionals: The effects of logical structure and believability. Thinking & Reasoning, 4, WILKINS, M. C. (1928). The effect of changed material on the ability to do formal syllogistic reasoning. Archives of Psychology, 16,102.

17 149 YULE, P. y STENNING K. (1992). The figural effect and ghaphical algorithm for syllogistic reasoning. Proceedings of the Fourtheenth Annual Conferences of the Cognitive Sciences Society, Bloomingthon, Indiana. Hillsdale, NJ: LEA. Extended Summary Syllogisms are arguments from two premises to a conclusion. Both premises and conclusion are statements of one of four modes: all the A are B, Some of the A are B, None of the A are B and Some of the A are not B. Each statement in the premises contains two terms: one term, the middle term (B), occurs in both premises, while the other two (A and C) are the end terms. The arrangement of the middle and end terms in each of the premises gives rise to the figure of the syllogism : Figure 1 Figure 2 Figure 3 Figure 4 A - B B - A A - B B - A B - C C - B C - B B - C According to the theory of mental models (Johnson-Laird and Byrne, 1991) the figure of the syllogisms affects performance in two ways: one concerning the preferred order of the terms in a conclusion (figural effect) and one concerning the level of difficulty. Moreover, the model theory predicts that the contents of the syllogism can exert their influence in the comprehension and deductive stage. Two experiments (one was a constrction task and the other was an evaluation task) were conducted to confirm these predictions. Experiment 1 showed that the figure affected the processing time of the second premise. The participants used more time to process the second premise in syllogisms of figure 2 than syllogisms of figure 1. In figure 1, the composite model of both premises could be obtained by adding the model of the second premise to the end of the first premise because the middle terms are adjacent. However, in figure 2 the models should be reversed in the order of the two models to make the middle terms adjacent. If more cognitive operations are necessary to make the composite model, then the more difficult will be the syllogisms. The model theory is the only one that makes the explicit prediction that the processing of syllogisms of figure 2 would be harder than the processing of syllogisms of figure 1, due to the reverse order of the two models. Moreover, this experiment showed that the participants used more time to process the second premise when the content was about relations of identity (e.g., all sweaters are pullovers) than when the content was about inclusive relations (e.g., all sweaters are clothing). The Model theory predicts that the initial model of syllogisms about relations of identity is more complex that the initial model of syllogisms about of relations of inclusivity. Experiment 2 confirms that the figure produces responses bias. In figure 1, the participants gave more conclusions in the direction A-C, while in figure 2, the participants gave more conclusions in the direction C-A. For the model theory (Johnson-Laird and Bara, 1984), the position of the end-terms in the conclusion is determined by their position in the composite model. In figure 1, the composite model of both premises would take the form a b c, while in syllo-

Resumen. Abstract. Universidad Autónoma de Madrid

Resumen. Abstract. Universidad Autónoma de Madrid Universidad Autónoma de Madrid Resumen Con la intención de determinar la influencia de las variables de contenido en el razonamiento silogístico, se ha llevado a cabo un experimento donde se contrasta

Más detalles

Tema 4: Razonamiento Silogístico. Horario tutorías: Despacho: B2-10 Jueves 9-12/

Tema 4: Razonamiento Silogístico. Horario tutorías: Despacho: B2-10 Jueves 9-12/ Tema 4: Razonamiento Silogístico Horario tutorías: Despacho: B2-10 Jueves 9-12/ 3-6 Email: iorenes@ull.es Qué es un silogismo? 1ª Premisa: Todos los animales que comen hierba son herbívoros (Premisa Mayor)

Más detalles

Introducción: Proposiciones, argumentos e inferencias. Inferencias deductivas e inductivas. Deducción: Inferencias transitivas (Silogismos lineales)

Introducción: Proposiciones, argumentos e inferencias. Inferencias deductivas e inductivas. Deducción: Inferencias transitivas (Silogismos lineales) Tema 2.- Deducción. Psicología del Pensamiento, Guión del Tema 2 Prof.: Eduardo Madrid Bloque 1: Razonamiento y variedades del pensamiento. Introducción: Proposiciones, argumentos e inferencias. Inferencias

Más detalles

ILUSIONES EN EL RAZONAMIENTO PROPOSICIONAL

ILUSIONES EN EL RAZONAMIENTO PROPOSICIONAL I Jornadas de Psicología del Pensamiento Ilusiones en el razonamiento proposicional Universidade de Santiago de Compostela, 1998 (57-64) CARLOS SANTAMARÍA, PHILIP N. JOHNSON-LAIRD ILUSIONES EN EL RAZONAMIENTO

Más detalles

Tema 4: Razonamiento Silogístico: categórico y transitivo

Tema 4: Razonamiento Silogístico: categórico y transitivo Tema 4: Razonamiento Silogístico: categórico y transitivo 1. Razonamiento Categórico Qué es un silogismo? 1ª Premisa: Todos los animales que comen hierba son herbívoros (Premisa Mayor) Término medio Predicado

Más detalles

*Universidad de La Laguna, **UNED. Resumen

*Universidad de La Laguna, **UNED. Resumen La activación de los términos durante la comprensión de proposiciones cuantificadas ORLANDO ESPINO*, CARLOS SANTAMARÍA*, JUAN ANTONIO GARCÍA-MADRUGA** Y MANUEL CARREIRAS* *Universidad de La Laguna, **UNED

Más detalles

IMPORTANCIA DE FACTORES PRAGMÁTICOS EN INFERENCIA CONDICIONAL: UN ESTUDIO CRONOMÉTRICO

IMPORTANCIA DE FACTORES PRAGMÁTICOS EN INFERENCIA CONDICIONAL: UN ESTUDIO CRONOMÉTRICO I Jornadas de Psicología Importancia del Pensamiento de factores pragmáticos en inferencia condicional: un estudio cronométrico Universidade de Santiago de Compostela, 1998 (79-96) MONTSERRAT MARTÍN, MARIO

Más detalles

Práctica sobre Razonamiento Silogístico. Apuntes 1 (1) para el Grupo T2

Práctica sobre Razonamiento Silogístico. Apuntes 1 (1) para el Grupo T2 Psicología del Pensamiento Práctica sobre Razonamiento Silogístico. Apuntes 1 (1) para el Grupo T2 Mª del Carmen Ayuso Torres (1) Este documento se complementa con otro que lleva el subtítulo de Apuntes

Más detalles

Evaluación Nacional Revisión del intento 1

Evaluación Nacional Revisión del intento 1 LOGICA MATEMATICA Perfil Salir Evaluación Nacional Revisión del intento 1 Finalizar revisión Comenzado el sábado, 15 de junio de 2013, 15:59 Completado el sábado, 15 de junio de 2013, 16:35 Tiempo empleado

Más detalles

IMPORTANCIA DE FACTORES PRAGMÁTICOS EN INFERENCIA CONDICIONAL: UN ESTUDIO CRONOMÉTRICO

IMPORTANCIA DE FACTORES PRAGMÁTICOS EN INFERENCIA CONDICIONAL: UN ESTUDIO CRONOMÉTRICO I Jornadas de Psicología Importancia del Pensamiento de factores pragmáticos en inferencia condicional: un estudio cronométrico Universidade de Santiago de Compostela, 1998 (79-96) MONTSERRAT MARTÍN, MARIO

Más detalles

La problemática acerca de la conclusión del silogismo de la primera figura

La problemática acerca de la conclusión del silogismo de la primera figura La problemática acerca de la conclusión del silogismo de la primera figura THE PROBLEM ON THE CONCLUSION OF THE SYLLOGISM IN THE FIRST FIGURE Dr. Miguel López-Astorga (milopez@utalca.cl) Instituto de Estudios

Más detalles

74 Prime Time. conjetura Suposición acerca de un patrón o relación, basada en observaciones.

74 Prime Time. conjetura Suposición acerca de un patrón o relación, basada en observaciones. A abundant number A number for which the sum of all its proper factors is greater than the number itself. For example, 24 is an abundant number because its proper factors, 1, 2, 3, 4, 6, 8, and 12, add

Más detalles

No se comprende o interioriza la importancia de las palabras y del lenguaje preciso!

No se comprende o interioriza la importancia de las palabras y del lenguaje preciso! 1 Ideas a debatir: La Ciencia es a) una profesión b) un trabajo c) una carrera No se comprende o interioriza la importancia de las palabras y del lenguaje preciso! Ideas a debatir: Hacer Ciencia no es

Más detalles

Teoremas: Condiciones Necesarias, Condiciones Suficientes y Condiciones Necesarias y Suficientes

Teoremas: Condiciones Necesarias, Condiciones Suficientes y Condiciones Necesarias y Suficientes FUNCIONES DE VARIABLE COMPLEJA 1 Teoremas: Condiciones Necesarias, Condiciones Suficientes y Condiciones Necesarias y Suficientes Lógica Matemática Una prioridad que tiene la enseñanza de la matemática

Más detalles

CIENCIAS FORMALES CIENCIAS FÁCTICAS

CIENCIAS FORMALES CIENCIAS FÁCTICAS UNA CLASIFICACIÓN DE LAS CIENCIAS CIENCIAS FORMALES CIENCIAS FÁCTICAS CIENCIAS FORMALES MATEMÁTICA LÓGICA CIENCIAS FÁCTICAS FÍSICA BIOLOGÍA QUÍMICA CIENCIAS SOCIALES OTRAS CIENCIAS FORMALES VOCABULARIO

Más detalles

TEMA 2. RAZONAMIENTO DEDUCTIVO (I): RAZONAMIENTO SOBRE RELACIONES 2.1. Introducción Modelos de razonamiento sobre relaciones.

TEMA 2. RAZONAMIENTO DEDUCTIVO (I): RAZONAMIENTO SOBRE RELACIONES 2.1. Introducción Modelos de razonamiento sobre relaciones. TEMA 2. RAZONAMIENTO DEDUCTIVO (I): RAZONAMIENTO SOBRE RELACIONES 2.1. Introducción. 2.2. Modelos de razonamiento sobre relaciones. 2.2.1. El modelo operacional (Hunter, 1957). 2.2.2. El modelo de imagen

Más detalles

TEMA 4. RAZONAMIENTO DEDUCTIVO (III). RAZONAMIENTO PROPOSICIONAL Introducción a los aspectos formales del razonamiento proposicional.

TEMA 4. RAZONAMIENTO DEDUCTIVO (III). RAZONAMIENTO PROPOSICIONAL Introducción a los aspectos formales del razonamiento proposicional. TEMA 4. RAZONAMIENTO DEDUCTIVO (III). RAZONAMIENTO PROPOSICIONAL 4.1. Introducción a los aspectos formales del razonamiento proposicional. 4.2. El razonamiento disyuntivo. 4.3. El razonamiento condicional.

Más detalles

Razonamiento Automático. Representación en Lógica de Predicados. Aplicaciones. Lógica de Predicados. Sintáxis y Semántica

Razonamiento Automático. Representación en Lógica de Predicados. Aplicaciones. Lógica de Predicados. Sintáxis y Semántica Razonamiento Automático II.1 Representación en Lógica de Predicados Razonamiento en IA se refiere a razonamiento deductivo n Nuevos hechos son deducidos lógicamente a partir de otros. Elementos: n Representación

Más detalles

Enunciados Abiertos y Enunciados Cerrados

Enunciados Abiertos y Enunciados Cerrados I n g. L u z A d r i a n a M o n r o y M a r t í n e z L ó g i c a 1 Unidad II lógica proposicional Es probable que en el siglo IV antes de la Era Común, se iniciara con Aristóteles el estudio de la Lógica;

Más detalles

Tema 2: Teoría de la Demostración

Tema 2: Teoría de la Demostración Tema 2: Teoría de la Demostración Conceptos: Estructura deductiva Teoría de la Demostración Sistemas axiomáticos: Kleene Fórmulas válidas Teorema de la Deducción Introducción a la T. de la Demostración

Más detalles

Universidad Abierta y a Distancia de México. Licenciatura en matemáticas. 2 cuatrimestre. Introducción al pensamiento matemático

Universidad Abierta y a Distancia de México. Licenciatura en matemáticas. 2 cuatrimestre. Introducción al pensamiento matemático Universidad Abierta y a Distancia de México Licenciatura en matemáticas 2 cuatrimestre Introducción al pensamiento matemático Clave: 1 Índice... 3 Ficha de identificación... 3 Descripción... 3 Propósitos...

Más detalles

Un enunciado es toda frase u oración que se emite

Un enunciado es toda frase u oración que se emite OBJETIO 2: Aplicar la lógica proposicional y la lógica de predicados en la determinación de la validez de una proposición dada. Lógica Proposicional La lógica proposicional es la más antigua y simple de

Más detalles

Capítulo 4. Lógica matemática. Continuar

Capítulo 4. Lógica matemática. Continuar Capítulo 4. Lógica matemática Continuar Introducción La lógica estudia la forma del razonamiento, es una disciplina que por medio de reglas y técnicas determina si un teorema es falso o verdadero, además

Más detalles

MATEMÁTICAS DISCRETAS. UNIDAD1 Lógica y Demostraciones

MATEMÁTICAS DISCRETAS. UNIDAD1 Lógica y Demostraciones MATEMÁTICAS DISCRETAS UNIDAD1 Lógica y Demostraciones Para el estudio de esta unidad debe ubicarse en el Capítulo 1 del texto base, lea atentamente cada uno de los subtemas indicados en el índice de la

Más detalles

Lógica de Predicados

Lógica de Predicados Lógica de redicados Lógica de predicados Lógica de predicados Cálculo de predicados Reglas de inferencia Deducción proposicional Demostración condicional Demostración indirecta Valores de certeza y Tautología

Más detalles

ASIMETRÍA COGNITIVA DE LAS LEYES DE DeMORGAN

ASIMETRÍA COGNITIVA DE LAS LEYES DE DeMORGAN ASIMETRÍA COGNITIVA DE LAS LEYES DE DeMORGAN 1 Rodrigo Albano Sosa 2 Ignacio Ernesto Genovese 2 Universidad del Salvador (IIPUS) RESUMEN El propósito del presente estudio de revisión es describir y discutir

Más detalles

Solución al parcial 14

Solución al parcial 14 Solución al parcial 14 Marque V(erdadero) o F(also) según considere la proposición. 1. La lógica difusa es la emulación del razonamiento aproximado que realizan las máquinas. F: Las máquinas no realizan

Más detalles

Tema 6: Teoría Semántica

Tema 6: Teoría Semántica Tema 6: Teoría Semántica Sintáxis Lenguaje de de las las proposiciones Lenguaje de de los los predicados Semántica Valores Valores de de verdad verdad Tablas Tablas de de verdad verdad Tautologías Satisfacibilidad

Más detalles

Axiomas del Cálculo de Predicados

Axiomas del Cálculo de Predicados Axiomas del Cálculo de Predicados Si bien el cálculo proposicional nos permitió analizar cierto tipo de razonamientos y resolver acertijos lógicos, su poder expresivo no es suficiente para comprobar la

Más detalles

1.7. Número de créditos / Credit allotment

1.7. Número de créditos / Credit allotment Titulación: en Psicología 1. ASIGNATURA / COURSE TITLE Ciencia Cognitiva y Conducta / Cognitive Science and Behaviour 1.1. Código / Course number 19376 1.2. Materia/ Content area Ciencia cognitiva y conducta

Más detalles

PARALELO COMPARATIVO:

PARALELO COMPARATIVO: PARALELO COMPARATIVO: CIENCIAS FORMALES Las Ciencias formales se ocupan de inventar entes formales y establecer sus relaciones, Inventan/crean el objeto, este se le debe poder surtir contenido factico

Más detalles

Interpretación y Argumentación Jurídica

Interpretación y Argumentación Jurídica Interpretación y Argumentación Jurídica INTERPRETACIÓN Y ARGUMENTACIÓN JURÍDICA 1 Sesión No. 10 Nombre: La Argumentación Jurídica Contextualización Como ya se ha visto, un argumento es una afirmación que

Más detalles

Lógica proposicional o Lógica de enunciados

Lógica proposicional o Lógica de enunciados Tema 3 Lógica proposicional o Lógica de enunciados 1. Qué es la Lógica? 2. El cálculo de proposiciones 2.1. Las conectivas 2.2. Las tablas de verdad 2.3. La deducción natural Bibliografía Deaño, A.: Introducción

Más detalles

Introducción a la Lógica

Introducción a la Lógica Tema 0 Introducción a la Lógica En cualquier disciplina científica se necesita distinguir entre argumentos válidos y no válidos. Para ello, se utilizan, a menudo sin saberlo, las reglas de la lógica. Aquí

Más detalles

Indique la respuesta correcta (d=ninguna de las anteriores, e=todas las anteriores)

Indique la respuesta correcta (d=ninguna de las anteriores, e=todas las anteriores) Parcial 4. Indique la respuesta correcta (d=ninguna de las anteriores, e=todas las anteriores) 1. Inteligencia es: a. La capacidad para combinar información. c. El proceso que permite elaborar conocimiento.

Más detalles

ESTUDIO DE LA VARIACION DEL COLOR ROJO DURANTE EL PERIODO DE COSECHA EN DOS CULTIVARES DE PIMIENTO EN LA ZONA DE TALCA.

ESTUDIO DE LA VARIACION DEL COLOR ROJO DURANTE EL PERIODO DE COSECHA EN DOS CULTIVARES DE PIMIENTO EN LA ZONA DE TALCA. ESTUDIO DE LA VARIACION DEL COLOR ROJO DURANTE EL PERIODO DE COSECHA EN DOS CULTIVARES DE PIMIENTO EN LA ZONA DE TALCA. Cristian Ignacio Vicencio Voisenat Ingeniero Agrónomo RESUMEN Se cultivaron en la

Más detalles

METODOLOGÍA DE LA INVESTIGACIÓN LA HIPOTESIS

METODOLOGÍA DE LA INVESTIGACIÓN LA HIPOTESIS METODOLOGÍA DE LA INVESTIGACIÓN LA HIPOTESIS Ing. Cruces Hernández Guerra ORIGEN DE LAS INVESTIGACIONES Las investigaciones se originan en ideas Para iniciar una investigación siempre se necesita una idea

Más detalles

Desde hace algún tiempo los problemas más recurrentes con los que se enfrenta la industria

Desde hace algún tiempo los problemas más recurrentes con los que se enfrenta la industria 3 Sistemas Expertos 3.1 Introducción Desde hace algún tiempo los problemas más recurrentes con los que se enfrenta la industria son la falta de personas capacitadas en campos muy específicos y el elevado

Más detalles

LOGICA MATEMATICA. Utilizando esas definiciones y las leyes de lógica matemática, demostrar las siguientes tautologías:

LOGICA MATEMATICA. Utilizando esas definiciones y las leyes de lógica matemática, demostrar las siguientes tautologías: LOGICA MATEMATICA Utilizando esas definiciones y las leyes de lógica matemática, demostrar las siguientes tautologías: 1 ) q p q p ( q ) p ( Definición ) q p ( Doble Negación ) p q ( Conmutatividad ) (

Más detalles

LÓGICA MATEMÁTICA O FORMAL O SIMBÓLICA

LÓGICA MATEMÁTICA O FORMAL O SIMBÓLICA LÓGICA MATEMÁTICA O FORMAL O SIMBÓLICA La lógica formal o simbólica, a diferencia de la lógica clásica, utiliza un lenguaje artificial, es decir, está rigurosamente construido, no admite cambios en el

Más detalles

Modelos mentales y razonamiento semántico: el silogismo

Modelos mentales y razonamiento semántico: el silogismo Modelos mentales y razonamiento semántico: el silogismo CARLOS SANTAMARIA Universidad Autónoma de Madrid.---...^.~..., n Resumen Con la intención de determinar la influencia de las variables de contenido

Más detalles

LICENCIATURA EN MATEMÁTICA. Práctico N 1 Lenguaje de la lógica. proposicional VICTOR GALARZA ROJAS 1 5 / 0 5 /

LICENCIATURA EN MATEMÁTICA. Práctico N 1 Lenguaje de la lógica. proposicional VICTOR GALARZA ROJAS 1 5 / 0 5 / Práctico N 1 Lenguaje de la lógica LICENCIATURA EN MATEMÁTICA proposicional VICTOR GALARZA ROJAS 1 5 / 0 5 / 2 0 1 0 PRÁCTICO N 1 1. Fundamentación: fundamentar la expresión Por lo tanto del siguiente

Más detalles

logica computacional Tema 1: Introducción al Cálculo de Proposiciones

logica computacional Tema 1: Introducción al Cálculo de Proposiciones Tema 1: Introducción al Cálculo de Proposiciones Introducción al concepto de cálculo Un cálculo es una estructura pura; un sistema de relaciones. Un cálculo se compone de lo siguiente: Un conjunto de elementos

Más detalles

Inteligencia en Redes de Comunicaciones. Razonamiento lógico. Julio Villena Román.

Inteligencia en Redes de Comunicaciones. Razonamiento lógico. Julio Villena Román. Inteligencia en Redes de Comunicaciones Razonamiento lógico Julio Villena Román jvillena@it.uc3m.es Índice La programación lógica Lógica de predicados de primer orden Sistemas inferenciales IRC 2009 -

Más detalles

Matemáticas Discretas Lógica

Matemáticas Discretas Lógica Coordinación de Ciencias Computacionales - INAOE Matemáticas Discretas Lógica Cursos Propedéuticos 2010 Ciencias Computacionales INAOE Lógica undamentos de Lógica Cálculo proposicional Cálculo de predicados

Más detalles

UNIDAD I: LÓGICA MATEMÁTICA

UNIDAD I: LÓGICA MATEMÁTICA UNIDAD I: LÓGICA MATEMÁTICA 1.1. Introducción La Lógica Matemática es la rama de las Matemáticas que nos permite comprender sobre la validez o no de razonamientos y demostraciones que se realizan. La lógica

Más detalles

El Método Científico. LIC. FRIDEL R PEÑA N.MSc.

El Método Científico. LIC. FRIDEL R PEÑA N.MSc. El Método Científico LIC. FRIDEL R PEÑA N.MSc. PASOS DEL MÉTODO CIENTÍFICO Qué es el Método Científico? Método utilizado por los científicos para estudiar el mundo natural. Consiste en una serie de pasos

Más detalles

Taller de Análisis Lógico de Argumentos Filosóficos Semestre FORMALIZACIÓN: CONECTIVAS Y CONSTÁNTES LÓGICAS. I. Lenguaje formal.

Taller de Análisis Lógico de Argumentos Filosóficos Semestre FORMALIZACIÓN: CONECTIVAS Y CONSTÁNTES LÓGICAS. I. Lenguaje formal. FORMALIZACIÓN: CONECTIVAS Y CONSTÁNTES LÓGICAS I. Lenguaje formal. 1 II. Definición y utilidad de la formalización Formalización es el proceso de traducción de los argumentos del lenguaje natural a esquemas

Más detalles

Apéndice 1 Reglas y leyes lógicas

Apéndice 1 Reglas y leyes lógicas 1 Apéndice 1 Reglas y leyes lógicas 1. Reglas lógicas Tal como ya se ha visto, una regla lógica, o regla de inferencia (deductiva), es una forma válida de razonamiento que es empleada en cada caso para

Más detalles

Lógica Matemática. Contenido. Definición. Finalidad de la unidad. Proposicional. Primer orden

Lógica Matemática. Contenido. Definición. Finalidad de la unidad. Proposicional. Primer orden Contenido Lógica Matemática M.C. Mireya Tovar Vidal Proposicional Definición Sintaxis Proposición Conectivos lógicos Semántica Primer orden cuantificadores Finalidad de la unidad Definición Traducir enunciados

Más detalles

TRES DÉCADAS DE INVESTIGACIÓN EN UNA TAREA DE RAZONAMIENTO HIPOTÉTICO-DEDUCTIVO *

TRES DÉCADAS DE INVESTIGACIÓN EN UNA TAREA DE RAZONAMIENTO HIPOTÉTICO-DEDUCTIVO * TRES DÉCADAS DE INVESTIGACIÓN EN UNA TAREA DE RAZONAMIENTO HIPOTÉTICO-DEDUCTIVO * Mª Dolores Valiña, Gloria Seoane, Montserrat Martín y Luz I. Leirós Universidad de Santiago de Compostela (España) INTRODUCCIÓN

Más detalles

UNIVERSIDAD DE ESPECIALIDADES ESPÍRITU SANTO FACULTAD DE SISTEMAS, TELECOMUNICACIONES Y ELECTRÓNICA SYLLABUS

UNIVERSIDAD DE ESPECIALIDADES ESPÍRITU SANTO FACULTAD DE SISTEMAS, TELECOMUNICACIONES Y ELECTRÓNICA SYLLABUS UNIVERSIDAD DE ESPECIALIDADES ESPÍRITU SANTO FACULTAD DE SISTEMAS, TELECOMUNICACIONES Y ELECTRÓNICA SYLLABUS MATERIA: UMAT 130 Lógica Matemática HORARIO: PROFESOR(A): Ing. Rubén Pacheco Villamar SEMESTRE:

Más detalles

El lenguaje formal de la Lógica Qué es un lenguaje formal? Un lenguaje formal, en tanto que lenguaje artificial, está formado por los siguientes elementos básicos: Unos signos primitivos del lenguaje,

Más detalles

La forma general de toda proposición categórica es la siguiente: cuantificador + sujeto + cópula + predicado

La forma general de toda proposición categórica es la siguiente: cuantificador + sujeto + cópula + predicado 1.5 Proposiciones categóricas Las proposiciones categóricas son aquéllas que hacen afirmaciones incondicionales. Por ejemplo, todos los hombres son mortales es una proposición categórica, mientras que

Más detalles

UNIVERSIDAD DE GUADALAJARA PROGRAMA DE ASIGNATURA MT106

UNIVERSIDAD DE GUADALAJARA PROGRAMA DE ASIGNATURA MT106 UNIVERSIDAD DE GUADALAJARA PROGRAMA DE ASIGNATURA NOMBRE DE MATERIA CÓDIGO DE MATERIA DEPARTAMENTO ÁREA DE FORMACIÓN LOGICA Y CONJUNTOS MT106 CIENCIAS BIOLOGICAS BÁSICA COMUN CENTRO UNIVERSITARIO CENTRO

Más detalles

TIPOS DE INVESTIGACIÓN

TIPOS DE INVESTIGACIÓN TIPOS DE INVESTIGACIÓN Se considera a la investigación como una búsqueda continua de la verdad y que requiere de reflexión sistemática con referencia a una problemática identificada. En este sentido, la

Más detalles

LOS RAZONAMIENTOS CONDICIONALES: UN ENFOQUE PSICOLÓGICO 1

LOS RAZONAMIENTOS CONDICIONALES: UN ENFOQUE PSICOLÓGICO 1 LOS RAZONAMIENTOS CONDICIONALES: UN ENFOQUE PSICOLÓGICO 1 Dr. Enerio Rodríguez Arias Universidad Autónoma de Santo Domingo erodriguez27@uasd.edu.do RESUMEN Se identifican los diferentes tipos de razonamiento

Más detalles

Lógica matemática y fundamentos ( )

Lógica matemática y fundamentos ( ) 1 / 28 Lógica matemática y fundamentos (2016 17) Tema 2: Deducción natural proposicional José A. Alonso Jiménez María J. Hidalgo Doblado Grupo de Lógica Computacional Departamento de Ciencias de la Computación

Más detalles

Para obtener el saber científico, los científicos han desarrollado métodos de trabajo, admitidos por todos, consistentes en:

Para obtener el saber científico, los científicos han desarrollado métodos de trabajo, admitidos por todos, consistentes en: EL MÉTODO CIENTÍFICO La ciencia es un sistema de conocimientos sobre alguna parcela específica de la realidad. Para obtener el saber científico, los científicos han desarrollado métodos de trabajo, admitidos

Más detalles

Razonamientos. Premisas Conclusión Premisas Conclusión V V V V V F F V F V F F F F

Razonamientos. Premisas Conclusión Premisas Conclusión V V V V V F F V F V F F F F 2.3.1.1 Validez e invalidez. Verdad y falsedad es una propiedad de las proposiciones o enunciados. Con las proposiciones o enunciados se pueden construir razonamientos. Pero los razonamientos no son ni

Más detalles

Facultad de Ingeniería y Tecnología Informática Técnico en Programación de Computadoras Plan de Estudios 2014 Año 2014 Programa Analítico Lógica (1)

Facultad de Ingeniería y Tecnología Informática Técnico en Programación de Computadoras Plan de Estudios 2014 Año 2014 Programa Analítico Lógica (1) 1. OBJETIVOS: 1- OBJETIVOS GENERALES: El objetivo principal de esta asignatura es introducir al alumno en el estudio de los sistemas finitos, conforme a los avances en la era de las computadoras. Se pretende

Más detalles

LÓGICA PROPOSICIONAL 1. LENGUAJE DE LA LÓGICA PROPOSICIONAL 2. SÍMBOLOS LÓGICOS. 1.a. Símbolos formales. Símbolos no lógicos. Símbolos auxiliares

LÓGICA PROPOSICIONAL 1. LENGUAJE DE LA LÓGICA PROPOSICIONAL 2. SÍMBOLOS LÓGICOS. 1.a. Símbolos formales. Símbolos no lógicos. Símbolos auxiliares LÓGICA PROPOSICIONAL 1. LENGUAJE DE LA LÓGICA PROPOSICIONAL Un lenguaje para el ámbito de la lógica se estructura en tres niveles diferentes: símbolos formales, reglas de formación de fórmulas y reglas

Más detalles

GUÍA DIDÁCTICA DE LA ASIGNATURA PSICOLOGÍA DEL PENSAMIENTO

GUÍA DIDÁCTICA DE LA ASIGNATURA PSICOLOGÍA DEL PENSAMIENTO GUÍA DIDÁCTICA DE LA ASIGNATURA PSICOLOGÍA DEL PENSAMIENTO DATOS BÁSICOS DE LA ASIGNATURA Denominación: PSICOLOGÍA DEL PENSAMIENTO/ PSYCHOLOGY OF THOUGHT Módulo: PROCESOS PSICOLÓGICOS Código: 202310214

Más detalles

2. Los símbolos de la lógica proposicional.

2. Los símbolos de la lógica proposicional. Bloque I: El Saber Filosófico. Tema 4: La Lógica Formal. 1. Las proposiciones y sus tipos. Una proposición es una oración enunciativa, es decir, una oración que afirma o niega algo y que puede ser verdadera

Más detalles

Inferencia Lógica. Salomón Ching Briceño. Licenciado en Matemáticas UNPRG. 18 de marzo de 2011

Inferencia Lógica. Salomón Ching Briceño. Licenciado en Matemáticas UNPRG.  18 de marzo de 2011 Inferencia Lógica Salomón Ching Briceño Licenciado en Matemáticas http://mathsalomon.260mb.com UNPRG 18 de marzo de 2011 Lic. Mat. Salomón Ching Inferencia Lógica Contenido I Lic. Mat. Salomón Ching Inferencia

Más detalles

UTILIZACIÓN DE MAQUINARIA PARA REDUCIR EL VOLUMEN DE RESIDUOS PLASTICOS 4.14. USING MACHINERY TO REDUCE THE VOLUME OF PLASTIC WASTE 4.14. UTILIZACIÓN DE MAQUINARIA PARA REDUCIR EL VOLUMEN DE RESIDUOS PLASTICOS

Más detalles

logica computacional Tema 1: Introducción al Cálculo de Proposiciones

logica computacional Tema 1: Introducción al Cálculo de Proposiciones Tema 1: Introducción al Cálculo de Proposiciones Introducción al concepto de cálculo Un cálculo es una estructura pura; un sistema de relaciones. Un cálculo se compone de lo siguiente: Un conjunto de elementos

Más detalles

INTRODUCCION A LA INTELIGENCIA ARTIFICIAL MÓDULO 6- CÁLCULO DE PREDICADOS Y LÓGICA DE PRIMER ORDEN

INTRODUCCION A LA INTELIGENCIA ARTIFICIAL MÓDULO 6- CÁLCULO DE PREDICADOS Y LÓGICA DE PRIMER ORDEN INTRODUCCION A LA INTELIGENCIA ARTIFICIAL MÓDULO 6- CÁLCULO DE PREDICADOS Y LÓGICA DE PRIMER ORDEN Referencias: Inteligencia Artificial Russell and Norvig Cap.6. Artificial Intellingence Nils Nilsson Ch.4

Más detalles

Coordinación de Matemática I (MAT021) 1 er Semestre de 2013 Semana 1: Lunes 11 Viernes 16 de Marzo. Contenidos

Coordinación de Matemática I (MAT021) 1 er Semestre de 2013 Semana 1: Lunes 11 Viernes 16 de Marzo. Contenidos Coordinación de Matemática I (MAT021) 1 er Semestre de 2013 Semana 1: Lunes 11 Viernes 16 de Marzo Complementos Contenidos Clase 1: Elementos de lógica: Conectivos, tablas de verdad, tautologías y contingencias.

Más detalles

Introd. al Pens. Científico Nociones básicas de la lógica ClasesATodaHora.com.ar

Introd. al Pens. Científico Nociones básicas de la lógica ClasesATodaHora.com.ar ClasesATodaHora.com.ar > Exámenes > UBA - UBA XXI > Introd. al Pensamiento Científico Introd. al Pens. Científico Nociones básicas de la lógica ClasesATodaHora.com.ar Razonamientos: Conjunto de propiedades

Más detalles

Algoritmos y Estructuras de Datos

Algoritmos y Estructuras de Datos 1 / 17 Andrés A. Aristizábal P. aaaristizabal@icesi.edu.co Universidad Icesi Facultad de Ingeniería 2017-2 2 / 17 Ejercicios previos Agenda del día 1 Ejercicios previos Peor, mejor y caso promedio Terminología

Más detalles

Pregunta 1 Suponga que una muestra de 35 observaciones es obtenida de una población con media y varianza. Entonces la se calcula como.

Pregunta 1 Suponga que una muestra de 35 observaciones es obtenida de una población con media y varianza. Entonces la se calcula como. Universidad de Costa Rica Programa de Posgrado en Computación e Informática Doctorado en Computación e Informática Curso Estadística 18 de febrero 2013 Nombre: Segundo examen corto de Probabilidad Pregunta

Más detalles

Comprensión e inferencia en el razonamiento silogistico

Comprensión e inferencia en el razonamiento silogistico Comprensión e inferencia en el razonamiento silogistico JUAN ANTONIO GARCíA-MADRUGA UNED Palabras clave: Razonamiento deductivo, comprensión, resolución de problemas. Comprehension and inference in syllogistic

Más detalles

Lógica de Proposiciones y de Predicado

Lógica de Proposiciones y de Predicado Lógica de Proposiciones y de Predicado Franco D. Menendez LABIA FACET - UNT Contenido de la Materia UNIDAD TEMÁTICA 1: SINTAXIS Y SEMANTICA DEL LENGUAJE FORMAL»SINTAXIS: Introducción. Definición del lenguaje

Más detalles

Los Mapas Conceptuales en el Aprendizaje de las Ciencias

Los Mapas Conceptuales en el Aprendizaje de las Ciencias Los Mapas Conceptuales en el Aprendizaje de las Ciencias Qué son los mapas conceptuales? Diagramas que indican relaciones entre conceptos. Diagramas jerárquicos que procuran reflejar la organización conceptual

Más detalles

TEMA 1: LÓGICA. p p Operador conjunción. Se lee y y se representa por. Su tabla de verdad es: p q p q

TEMA 1: LÓGICA. p p Operador conjunción. Se lee y y se representa por. Su tabla de verdad es: p q p q TEMA 1: LÓGICA. Definición. La lógica es la ciencia que estudia el razonamiento formalmente válido. Para ello tiene un simbolismo que evita las imprecisiones del lenguaje humano y permite comprobar la

Más detalles

Learning Chapter 2: Reasoning and Proof. Monday, September 21 st, 2015 Period 6

Learning Chapter 2: Reasoning and Proof. Monday, September 21 st, 2015 Period 6 Learning Chapter 2: Reasoning and Proof Monday, September 21 st, 2015 Period 6 Learning Chapter 2 Objectives Identify and use symbols (~,, Ʌ, V,, ). Use and interpret Venn Diagrams to represent relationships.

Más detalles

UNIVERSIDAD DEL CARIBE UNICARIBE. Escuela de Educación. Programa de Asignatura

UNIVERSIDAD DEL CARIBE UNICARIBE. Escuela de Educación. Programa de Asignatura UNIVERSIDAD DEL CARIBE UNICARIBE Escuela de Educación Programa de Asignatura Nombre de la asignatura : Introducción a la Lógica Carga académica : 3 Créditos Modalidad : Semipresencial Clave : DHS-190 Pre-requisito

Más detalles

Semántica española. César Antonio Aguilar Facultad de Lenguas y Letras 10/04/2017.

Semántica española. César Antonio Aguilar Facultad de Lenguas y Letras 10/04/2017. Semántica española César Antonio Aguilar Facultad de Lenguas y Letras 10/04/2017 caguilara@uc.cl Semántica y lógica (1) En esta clase, vamos a abordar una de las líneas de investigación que tiene hoy mayor

Más detalles

Universidad Autónoma del Estado de México Plantel Nezahualcóyotl de la Escuela Preparatoria. Tema: Conceptos generales. Ma. Del Socorro Reyna Sáenz

Universidad Autónoma del Estado de México Plantel Nezahualcóyotl de la Escuela Preparatoria. Tema: Conceptos generales. Ma. Del Socorro Reyna Sáenz Universidad Autónoma del Estado de México Plantel Nezahualcóyotl de la Escuela Preparatoria Plan de Estudios de Bachillerato (3er semestre) Asignatura: Metodología de la Investigación Módulo I: La Investigación

Más detalles

Lógica Proposicional. Sergio Stive Solano Sabié. Marzo de 2012

Lógica Proposicional. Sergio Stive Solano Sabié. Marzo de 2012 Lógica Proposicional Sergio Stive Solano Sabié Marzo de 2012 Lógica Proposicional Sergio Stive Solano Sabié Marzo de 2012 Proposiciones Definición 1.1 Una proposición (o declaración) es una oración declarativa

Más detalles

Métodos de Análisis e Interpretación

Métodos de Análisis e Interpretación Análisis e Interpretación de Datos Aplicaciones Empresariales Métodos de Análisis e Interpretación Semana 6 Nelson José Pérez Díaz Lógica La ciencia del razonamiento, del examen, del pensamiento y la inferencia

Más detalles

LA COMPRENSIÓN DESDE EL PUNTO DE VISTA DEL MARCO DE LA CONSTRUCCIÓN DE UNA ESTRUCTURA

LA COMPRENSIÓN DESDE EL PUNTO DE VISTA DEL MARCO DE LA CONSTRUCCIÓN DE UNA ESTRUCTURA PsL Tr7b 1 LA COMPRENSIÓN DESDE EL PUNTO DE VISTA DEL MARCO DE LA CONSTRUCCIÓN DE UNA ESTRUCTURA (El punto de vista de Gernsbacher) La meta de la comprensión es construir estructuras o representaciones

Más detalles

Lógicas para la Informática y la Inteligencia Artificial Memoria de la práctica DiagVenn 1.0

Lógicas para la Informática y la Inteligencia Artificial Memoria de la práctica DiagVenn 1.0 Lógicas para la Informática y la Inteligencia Artificial Memoria de la práctica DiagVenn 1.0 Autor: Juan Ángel Hernández Santos - 1 - ÍNDICE DE CONTENIDOS 1. Bases teóricas 3 2. Funcionamiento del programa

Más detalles

RAZONAMIENTO LÓGICO PARA LA ARGUMENTACIÓN JURÍDICA

RAZONAMIENTO LÓGICO PARA LA ARGUMENTACIÓN JURÍDICA ESCUELA DEL MINISTERIO PÚBLICO Dr. Gonzalo Ortiz de Zevallos Roedel RAZONAMIENTO LÓGICO PARA LA ARGUMENTACIÓN JURÍDICA Dr. Luis Alberto Pacheco Mandujano Gerente Central de la Escuela del Ministerio Público

Más detalles

La Web Semántica: definición oficial

La Web Semántica: definición oficial La Web Semántica: definición oficial The Semantic Web is the representation of data on the World Wide Web. It is a collaborative effort led by W3C with participation from a large number of researchers

Más detalles

Organización de Computadoras Apunte 3: Sistemas de Numeración: Operaciones Lógicas

Organización de Computadoras Apunte 3: Sistemas de Numeración: Operaciones Lógicas Organización de Computadoras 2003 Apunte 3: Sistemas de Numeración: Operaciones Lógicas Para comprender este tema, me parece apropiado que repasen el tema de cálculo proposicional introducido en el curso

Más detalles

Ejercicios de Lógica Proposicional *

Ejercicios de Lógica Proposicional * Ejercicios de Lógica Proposicional * FernandoRVelazquezQ@gmail.com Notación. El lenguaje proposicional que hemos definido, aquel que utiliza los cinco conectivos,,, y, se denota como L {,,,, }. Los términos

Más detalles

Examen de Certificación C1 Información para candidatos

Examen de Certificación C1 Información para candidatos Examen de Certificación C1 Información para candidatos Destreza: Comprensión Auditiva Duración: 35-40 minutos Número de tareas: 3 o 4 Se escucha cada audio dos veces. Durante la escucha se escriben las

Más detalles

02 El Modelo Conceptual

02 El Modelo Conceptual 02 El Modelo Conceptual Nota: la amplia mayoría del contenido (representado en cursiva) está extraído de Bases de Datos (Mercedes Marqués Bajo licencia Creative Commons ISBN 978-84-693-0146-3) A.- Qué

Más detalles

PROGRAMA ANALÍTICO ALGEBRA I (MAT 100)

PROGRAMA ANALÍTICO ALGEBRA I (MAT 100) 1. IDENTIFICACION PROGRAMA ANALÍTICO ALGEBRA I (MAT 100) Asignatura ALGEBRA I Código de asignatura(sigla) MAT 100 Semestre I Prerrequisitos NINGUNO Horas semanal (HS) HT 4 HP 2 LAB 0 THS 6 Créditos (CR)

Más detalles

Sistemas de produción. Sistemas de Producción. El motor de inferencias. Notas

Sistemas de produción. Sistemas de Producción. El motor de inferencias. Notas Sistemas de Producción Introducción Las representación mediante formalismos lógicos puede verse de forma procedimental Describimos cuales son los pasos para resolver un problema como una cadena de deducciones

Más detalles

Tema 2: Deducción natural proposicional

Tema 2: Deducción natural proposicional Lógica informática Curso 2004 05 Tema 2 Deducción natural proposicional José A. Alonso Jiménez Andrés Cordón Franco Grupo de Lógica Computacional Dpto. de Ciencias de la Computación e Inteligencia Artificial

Más detalles

Intersección de Segmentos de Recta. Geometría Computacional, MAT-125

Intersección de Segmentos de Recta. Geometría Computacional, MAT-125 Intersección de Segmentos de Recta Geometría Computacional, MAT-125 Dados dos conjuntos de segmentos de recta, calcular todas las intersecciones entre los segmentos de un conjunto y los segmentos del otro

Más detalles

TEMA 3.- EL ANALISIS ESTADISTICO DE LA INFORMACION (MODELIZACION) DIFERENTES TIPOS DE PROCEDIMIENTOS ESTADISTICOS

TEMA 3.- EL ANALISIS ESTADISTICO DE LA INFORMACION (MODELIZACION) DIFERENTES TIPOS DE PROCEDIMIENTOS ESTADISTICOS TEMA 3.- EL ANALISIS ESTADISTICO DE LA INFORMACION (MODELIZACION) PROCEDIMIENTOS ESTADISTICOS CONSTRUCCION DE MODELOS DIFERENTES TIPOS DE PROCEDIMIENTOS ESTADISTICOS Cada procedimiento es aplicable a un

Más detalles

Sistemas de Producción

Sistemas de Producción Introducción Sistemas de Producción Las representación mediante formalismos lógicos puede verse de forma procedimental Describimos cuales son los pasos para resolver un problema como una cadena de deducciones

Más detalles

Learning Spanish Like Crazy. Spoken Spanish Lección Uno. Listen to the following conversation. Male: Hola Hablas inglés? Female: Quién?

Learning Spanish Like Crazy. Spoken Spanish Lección Uno. Listen to the following conversation. Male: Hola Hablas inglés? Female: Quién? Learning Spanish Like Crazy Spoken Spanish Lección Uno. Listen to the following conversation. Male: Hola Hablas inglés? Female: Quién? Male: Tú. Hablas tú inglés? Female: Sí, hablo un poquito de inglés.

Más detalles

UNIDAD IV EL MARCO TEÓRICO EN UNA INVESTIGACIÓN (HIPÓTESIS ) Prof. Evy Guerrero

UNIDAD IV EL MARCO TEÓRICO EN UNA INVESTIGACIÓN (HIPÓTESIS ) Prof. Evy Guerrero UNIDAD IV EL MARCO TEÓRICO EN UNA INVESTIGACIÓN (HIPÓTESIS ) Prof. Evy Guerrero SISTEMA DE HIPÓTESIS Según Hernández y otros (2004), «las hipótesis son explicaciones tentativas del fenómeno investigado,

Más detalles

Juan Manuel Rodríguez Díaz

Juan Manuel Rodríguez Díaz SÍLOGÍSTICA AVENTURERA Juan Manuel Rodríguez Díaz 1. Introducción La Silogística estudia la naturaleza de la deducción a partir de las sentencias que constituyen las hipótesis y la conclusión de un razonamiento.

Más detalles

RAZONAMIENTO LÓGICO LECCIÓN 1: ANÁLISIS DEL LENGUAJE ORDINARIO. La lógica se puede clasificar como:

RAZONAMIENTO LÓGICO LECCIÓN 1: ANÁLISIS DEL LENGUAJE ORDINARIO. La lógica se puede clasificar como: La lógica se puede clasificar como: 1. Lógica tradicional o no formal. 2. Lógica simbólica o formal. En la lógica tradicional o no formal se consideran procesos psicológicos del pensamiento y los métodos

Más detalles