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

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

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

Transcripción

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

2 Qué es un silogismo? 1ª Premisa: Todos los animales que comen hierba son herbívoros (Premisa Mayor) Término medio Predicado 2ª Premisa: Algunos mamíferos son animales que comen hierba (Premisa Menor) Sujeto Término medio Conclusión: Luego, algunos mamíferos son herbívoros Sujeto Predicado

3 Lógica de predicados Todos los hombres son mortales Sócrates es un hombre Sócrates es mortal Inducción Sócrates es un hombre Deducción Sócrates es mortal Todos los hombres son mortales Lógica de proposiciones Este verano, iré a París o a Berlín No iré a París Entonces, iré a Berlín Si voy a P entonces voy a B No iré a París Entonces, iré o no a Berlín

4 1. Características formales del silogismo

5 1. Modo: Cantidad (universal-particular) Cualidad (afirmativa-negativa) (A) Universal Afirmativa Todos los A son B (I) Particular Afirmativa Algún A es B (E) Universal Negativa Ningún A es B (O) Particular Negativa Algún A no es B 2. Figura (4* 4* 4* 4)= 256 silogismos Sólo 24 son válidos Figura 1 Figura 2 Figura 3 Figura 4 M - P P - M M - P P - M S - M S - M M - S M - S S - P S - P S - P S - P

6 Silogismos válidos en función de su estructura interna (Modo Figura) Figura 1 AAA AAI AII EAE EAO EIO Figura 2 AEE AEO AOO EAE EAO EIO Figura 3 AAI AII EAO EIO IAI OAO Figura 4 AAI AEE AEO EAO EIO IAI

7 Silogismos estructuralmente válidos para cada una de las figuras, en función del modo de las proposiciones Figura 1 1ª Todos los españoles son europeos A 2ª Todos los madrileños son españoles A C Todos los madrileños son europeos A Modo Figura 2 Figura 3 Figura 4 1ª Todos los españoles son europeos A 2ª Ningún chileno es europeo E C Ningún chileno es español E 1ª Todos los madrileños son españoles A 2ª Todos los madrileños son europeos A C Algunos europeos son españoles I 1ª Todos los madrileños son españoles A 2ª Todos los españoles son europeos A C Algunos europeos son madrileños I

8 Cómo las personas resolvemos los silogismos?

9 Círculos de Euler B AA A B A B A B B A A B A B (A) (I) (E) (O) Diagramas de Venn A B

10 2. Principales resultados experimentales

11 - Todos los B son A - Todos los B son C - Todos los A son C/Todos los C son A - Ninguno de los A son B - Todos los B son C - Ninguno de los A son C - Todos los A son B - Alguno de los C son B - Algunos de los A son C

12 Errores_modo Si al menos una premisa es negativa, entonces los sujetos tienden a elegir conclusiones negativas. Si al menos una premisa es particular, entonces los sujetos tienden a elegir conclusiones particulares. Efecto Atmósfera (Woodworth y Sells, 1935)

13 Errores_modo: Todo A es B Algunos B no son C ALGUNOS A NO SON C 1. Efecto de la cautela 2. Algunos sujetos lo resuelven correctamente 3. El contenido Todos los madrileños son europeos Algunos europeos no son españoles ALGUNOS MADRILEÑOS NO SON ESPAÑOLES? Alternativa: Chapman y Chapman (1959) Algún A es B/Todo C es B Conversión ilícita y las premisas I y E? Interpretaciones griceanas o Implicaturas conversacionales Algún A es B= Algún A no es B

14 Algunos artistas son granjeros Algunos granjeros son químicos Algunos artistas son químicos Algunos químicos son artistas EFECTO FIGURA Figura 4 Figura 1 A B B A B C C B A C > C A C A > A C Todos los banqueros son deportistas Ninguno de los médicos son banqueros Ninguno de los médicos son deportistas Ninguno de los deportistas son médicos No hay conclusión válida Alguno de los deportistas no son médicos Algunos de los médicos no son deportistas Johnson-Laird y Steedman (1978) T. Producción Hipótesis Sintáctica? Premisas/ Conclusión B-A C-B A-B C-B B-A B-C A-B B-C A-C 5% 21% 32% 51% C-A 48% 21% 18% 6%

15 Contenido Las personas aceptan en mayor grado las 1. Modelo de Escrutinio Selectivo conclusiones creíbles que las increíbles, independientemente de su status lógico. 2. Modelo de necesidad mal interpretada Evans y col. (1983) Contenido* validez -Porcentaje de respuestas aceptadas- Creíble/increíble Válido No válido 71 10

16 3. Modelos de razonamiento silogístico

17 PSYCOP 1. Eliminar el cuantificador 2. Aplicar reglas de inferencia 3. Introducir el cuantificador Todos los B son A Algunos C son B Algunos C son A 1. Si B entonces A 2. C y B (Eliminación conjunción) 3. C 4. B (Eliminación del condicional) 5. A (Introducción conjunción) 6. C y A 7. Algunos C son A = Aciertos y Tiempo de reacción Todos los B son A Todos los C son B Todos los C son A 1. Si B entonces A 2. Si C entonces B Regla de transitividad 3,4 (C B A) 3. Si C entonces A 4. Todos los C son A

18 PSYCOP 1. Dificultad. Tipo, cantidad, y disponibilidad de reglas 2. Errores del modo. (Interpretaciones inadecuadas de las premisas como la implicatura conversacional o conversión ilícita; o conclusión conservadora) 3. Figura (Es posible que las reglas se usen según el orden de los términos) 4. Contenido (Interpretación inadecuada de las premisas)

19 Lógica mental Lenguaje Natural Todo A es B Ningún A es B Algún A es B Algún A no es B Lógica mental B[todo A] Negación B [todo A] B [algún A] Negación [algún A] Esquema 1: Esquema alimentador. P; Q // P y Q Esquema 2: Esquema alimentador. P y Q // P; Q Esquema 6: Esquema central. P o Q; si P entonces R; si Q entonces R// R Esquema 7: Esquema central. P o Q; si P entonces R; si Q entonces S// R o S Esquema 13: Esquema que detecta incompatibilidades. No P; P // Incompatible

20 Teoría de modelos mentales Todos los artistas son granjeros Todos los granjeros son químicos Todos los artistas son químicos A=G =Q A=G =Q (G)=Q (Q) 1. Interpretar y representar las premisas 2. Combinar las premisas en modelo integrado 3. Formular conclusión 4. Buscar modelo alternativo

21 Ninguno de los profesores son ladrones Alguno de los cocineros son ladrones Ninguno de los profesores son cocineros P P L=C L=C (L) (C) P P = C L=C L=C (L) (C) P = C P = C L=C L=C (L) (C) Alguno de los profesores no son cocineros Algunos de los cocineros no son profesores La dificultad de un problema depende de 1) número de modelos mentales 2) Y número de procesos cognitivos

22 Efecto figura y Teoría de modelos mentales FIGURA 4 Algunos A son B Todos los B son C Algunos A son C>Algunos C son A A=B A=C A=B SUSTITUCIÓN A=C (A) (B) (A) (C) FIGURA 1 Todos los B son A Algunos C son B Algunos C son A>Algunos A son C C=B C=A Reordenar C=B C=A Premisas (C) (B) (C) (A) FIGURA 2 Todos los A son B Todos los C son B FIGURA 3 Todos los B son A Todos los B son C A=B = C C=B =A A=B = C C=B =A (B)= C (B) =A (C) (A) A=B = C C=B =A A=B = C C=B =A (B)= C (B) =A (C) (A)

23 Modo y Teoría de modelos mentales Todos los atletas son banqueros Algunos banqueros son químicos Algunos atletas son químicos A=B A=B=Q Q 1. No conclusión 2. Depende del número de modelos 3. Experimento con sólo Y el contenido y Teoría de modelos mentales?

24

25 Práctica 23/03/2011 Capítulo 6: Categorías naturales y silogismos 1. Qué son los silogismos? Cuáles son sus dos características principales? 2. Cuáles son las cuatro relaciones posibles entre los conceptos de las premisas categóricas? 3. Silogismos en la vida diaria. Busca un ejemplo real de A, E, I, O 4. Marca a la derecha de cada uno de los ejemplos que has buscado (A, E, I, O), la relación entre sus conceptos 5. Podríamos obtener alguna conclusión general entre el tipo de relación y el modo (A, E, I, O)? Si la hubiese, Cuál o cuáles son?

26 Práctica 30/03/2011 Comentar los principales resultados y conclusiones de los siguientes artículos: Espino, Santamaría, García Madruga (1999). La influencia de la figura y el contenido semántico en tareas silogísticas. Cognitiva, 11, Santamaría (1989). Modelos mentales y razonamiento semántico: el silogismo. Cognitiva, 2(2), Buscar en la página web: y después en PUBLICACIONES.

27 Espino, Santamaría, García Madruga (1999). La influencia de la figura y el contenido semántico en tareas silogísticas. Cognitiva, 11, INFLUENCIA DEL CONTENIDO (CREDIBILIDAD) Algunos jóvenes son personas inteligentes Algunas personas inteligentes son estudiantes Algunos jóvenes son estudiantes Algunos jóvenes son personas inteligentes Algunas personas inteligentes son personas ancianas Algunos jóvenes son personas ancianas Todos los B son A Ningún C es B Algunos A no son C Todos los manuales de psicología son libros Ninguna novela es un manual de psicología Algunos libros no son novelas

28 Espino, Santamaría, García Madruga (1999). La influencia de la figura y el contenido semántico en tareas silogísticas. Cognitiva, 11, Influencia de contenido( Teoría de modelos mentales) 1. Distorsiona la interpretación de premisas según el conocimiento previo 2. Sesga el proceso de deducción. En las conclusiones creíbles se busca menos contraejemplos que en las increíbles. 3. Actúa como filtro. Las conclusiones poco creíbles se sustituyen por otras más creíbles o se concluye que no hay conclusión. Santamaría (1996) contradictorio a la Teoría de modelos mentales? Todos los autobuses son autocares Todos los autobuses son vehículos [autobuses] autocares [autobuses] vehículos.. IDENTIDAD INCLUSIÓN [autobuses] [autocares] [autobuses] vehículos..

29

30 Espino, Santamaría, García Madruga (1999). La influencia de la figura y el contenido semántico en tareas silogísticas. Cognitiva, 11, Experimento 1 Experimento 2 VI:Figura 1/4*Relación VD: Tiempo de lectura de la segunda premisa VI: Figura 1/4* Relación Tarea de producción Resultados: Inclusión <Identidad Figura 4<figura 1 Resultados: Figura 1: CA:48%-AC:29% Figura 4: AC:60%-CA: 20% Universales afirmativas: 11% identidad vs 4% inclusión Particulares (aff-neg): 13% inclusión vs 4% identidad

31 Efecto figura: Evidencias en movimientos oculares Espino, Santamaría, Meseguer y Carreiras (2005). Todos los políticos son italianos Todos los italianos son geógrafos Tarea de producción Todos los italianos son políticos Todos los geógrafos son italianos Resultados: Duración de la primera fijación en la segunda premisa: FIGURA 4=875/FIGURA 1=1136 Duración de la suma de fijaciones en la 2ª premisa: FIGURA 4=3855/FIGURA 1=4747

32 Práctica 6/abril/2011: Razonamiento sobre relaciones Frenología o no. Hoy se entiende que cada parte del cerebro está especializada en una función cognitiva. De estarlo, qué parte sería responsable del razonamiento? y cómo podríamos estudiarlo? Práctica 13/abril/2011: Razonamiento inductivo (Orlando) Práctica 27/abril/2011: Qué son las creencias? Ejemplos de creencias erróneas

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

EL RAZONAMIENTO SILOGÍSTICO

EL RAZONAMIENTO SILOGÍSTICO EL RAZONAMIENTO SILOGÍSTICO Sin el concepto el ojo es ciego sin la percepción el concepto es vacío Cualquier papel que encierra una palabra es el mensaje que un espíritu humano manda a otro espíritu. Jorge

Más detalles

CEPRUNSA EXCELENCIA LÓGICA - 8

CEPRUNSA EXCELENCIA LÓGICA - 8 CERUNA EXCELENCIA LÓGICA - 8 EIÓN 08 - ILOGIMO CATEGÓRICO 1. EL ILOGIMO 1.1. DEFINICIÓN Es una inferencia mediata compuesta por proposiciones categóricas (A E I O), que consiste en obtener una conclusión

Más detalles

Profesor-tutor: Ángel José Pozo García UNED-Sant Boi de Llobregat, BARCELONA

Profesor-tutor: Ángel José Pozo García UNED-Sant Boi de Llobregat, BARCELONA Psicología del Pensamiento Capítulo 4 El razonamiento silogístico categórico El razonamiento silogístico transitivo Profesor-tutor: Ángel José Pozo García UNED-Sant Boi de Llobregat, BARCELONA ajpozo@santboi.uned.es

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

ERRORES EN EL RAZONAMIENTO DEDUCTIVO SILOGÍSTICO

ERRORES EN EL RAZONAMIENTO DEDUCTIVO SILOGÍSTICO ! ERRORES EN EL RAZONAMIENTO DEDUCTIVO SILOGÍSTICO Rodolfo Eliseo D Andrea, Graciela Rey, Patricia Sastre Vázquez Facultad de Agronomía, Universidad Nacional del Centro de la Pcia. de Buenos Aires, Universidad

Más detalles

Preparación examen PIR PB: Pensamiento y Lenguaje Estrella Munilla Suárez

Preparación examen PIR PB: Pensamiento y Lenguaje Estrella Munilla Suárez Preparación examen PIR PB: Pensamiento y Lenguaje INDICE PENSAMIENTO TEMA 1: MECANISMOS DE RAZONAMIENTO... 12 1. INTRODUCCIÓN... 12 2. RAZONAMIENTO DEDUCTIVO... 12 2.1. Silogismo categorial... 13 2.1.1.

Más detalles

Tema 5: Razonamiento sobre relaciones. Horario tutorías: Despacho: B2-10 Jueves 9-12/

Tema 5: Razonamiento sobre relaciones. Horario tutorías: Despacho: B2-10 Jueves 9-12/ Tema 5: Razonamiento sobre relaciones Horario tutorías: Despacho: B2-10 Jueves 9-12/ 3-6 Email: iorenes@ull.es El bolígrafo está a la derecha del lápiz El lápiz está a la derecha del rotulador Entonces,

Más detalles

Cuestionario de estudio de Lógica. Alumno (a): N. L.: Profesor: Mauricio Dimeo Coria Fecha: Grado: 4 Grupo: _4010

Cuestionario de estudio de Lógica. Alumno (a): N. L.: Profesor: Mauricio Dimeo Coria Fecha: Grado: 4 Grupo: _4010 Cuestionario de estudio de Lógica Alumno (a): N. L.: Profesor: Mauricio Dimeo Coria Fecha: Grado: 4 Grupo: _4010 El Cuestionario de estudio no implica que el contenido será igual al examen. El alumno cuenta

Más detalles

ASIGNATURA: MATEMÁTICA DISCRETA I

ASIGNATURA: MATEMÁTICA DISCRETA I 1 FUNDAMENTOS: ASIGNATURA: MATEMÁTICA DISCRETA I Código: 15-111 Régimen: Cuatrimestral Horas Semanales: 4 Horas prácticas: 30 Horas teóricas: 30 Horas totales: 60 Escuela de Sistemas Año del programa:

Más detalles

Lógica para la toma de decisiones

Lógica para la toma de decisiones Lógica para la toma de decisiones Unidad II Universidad Autónoma de Baja California Facultad de Ciencias Administrativas Segundo Semestre Lógica para la toma de decisiones Propósito general del curso Permitirá

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

INDICE Introducción: Cultura y Filosofía; Conocimiento y Lógica 1. Idea de cultura 2. Concepto de filosofía 3. El Conocimiento y la lógica

INDICE Introducción: Cultura y Filosofía; Conocimiento y Lógica 1. Idea de cultura 2. Concepto de filosofía 3. El Conocimiento y la lógica INDICE Contenido VII Prólogo a la primera edición XV Prólogo a la segunda edición XVII Prólogo a la tercera edición XIX Introducción: Cultura y Filosofía; Conocimiento y Lógica 1. Idea de cultura 1 1.

Más detalles

SILOGISMO CATEGÓRICO

SILOGISMO CATEGÓRICO SILOGISMO CATEGÓRICO El silogismo categórico es un razonamiento deductivo que está integrado por tres proposiciones categóricas y por tres términos. Dos de estos términos están relacionados en las premisas

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

Programa del Curso Lógica para informáticos I Semestre, 2018

Programa del Curso Lógica para informáticos I Semestre, 2018 Programa del Curso Lógica para informáticos I Semestre, 2018 Datos Generales Sigla: IF-1400 Nombre del curso: Lógica para Informáticos Tipo de curso: teórico Número de créditos: 2 Número de horas semanales

Más detalles

INTRODUCCIÓN A LA LÓGICA EUDEBA MANUALES

INTRODUCCIÓN A LA LÓGICA EUDEBA MANUALES f INTRODUCCIÓN r A LA LÓGICA EUDEBA MANUALES Copi, Irving Marmer Introducción a la Lógica / Irving Mariner, Cgpi; trad. por Néstor Alberto Míguez. 26a. "éá. de la edición en inglés de 1972. Buenos Aires:

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

Demostración Automática. Tema 2. Procesamiento del conocimiento con la Lógica Matemática

Demostración Automática. Tema 2. Procesamiento del conocimiento con la Lógica Matemática Demostración Automática de Teoremas Tema 2. Procesamiento del conocimiento con la Lógica Matemática Temas Introducción Sistemas de axiomas Teoría de la demostración. Sistema de Kleene Deducción natural

Más detalles

I N T R O D U C C I Ó N

I N T R O D U C C I Ó N I N T R O D U C C I Ó N Joven Bachiller: Como parte de las acciones de mejora para fortalecer el nivel académico de nuestros estudiantes, el Colegio de Bachilleres, pone a disposición, para estudiantes,

Más detalles

EL SILOGISMO CATEGÓRICO Y SU VALIDEZ

EL SILOGISMO CATEGÓRICO Y SU VALIDEZ El silogismo categórico y su validez EL SILOGISMO CATEGÓRICO Y SU VALIDEZ Margarita Belandria y Andrés Suzzarini * Resumen En este trabajo nos proponemos presentar gráficamente y de manera práctica el

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

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

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

CUADERNILLO DE ÍTEMS ÍTEMS DE SELECCIÓN MÚLTIPLE CON ÚNICA RESPUESTA

CUADERNILLO DE ÍTEMS ÍTEMS DE SELECCIÓN MÚLTIPLE CON ÚNICA RESPUESTA CUADERNILLO DE ÍTEMS ÍTEMS DE SELECCIÓN MÚLTIPLE CON ÚNICA RESPUESTA A continuación, usted encontrará preguntas que se desarrollan en torno a un enunciado, problema o contexto, frente al cual, usted debe

Más detalles

PSICOLOGÍA DEL PENSAMIENTO

PSICOLOGÍA DEL PENSAMIENTO PSICOLOGÍA DEL PENSAMIENTO Consulte nuestra página web: www.sintesis.com En ella encontrará el PROYECTO catálogo EDITORIAL completo y comentado PSICOLOGÍA. MANUALES PRÁCTICOS Directores: Manuel Maceiras

Más detalles

Lenguaje artificial. Código inventado para determinadas disciplinas y leyes, para utilizarlo de determinadas maneras.

Lenguaje artificial. Código inventado para determinadas disciplinas y leyes, para utilizarlo de determinadas maneras. LENGUAJE Y RAZONAMIENTO LÓGICO 1. LENGUAJES NATURALES Y ARTIFICIALES. 2. LA LÓGICA COMO CIENCIA DEL LENGUAJE. 3. LÓGICA PROPOSICIONAL. 3.1. Cálculo proposicional. Símbolos elementales. Reglas de formación.

Más detalles

LÓGICA PRIMER SEMESTRE. Definición del Concepto de Lógica.

LÓGICA PRIMER SEMESTRE. Definición del Concepto de Lógica. PRIMER SEMESTRE Definición del Concepto de Lógica. LÓGICA 1. Quién es el Fundador de la Lógica y como la define? 2. Cuál es la definición Nominal de Lógica? 3. Escribe la definición Real de Lógica 4. Qué

Más detalles

Tema III Silogismos Categóricos

Tema III Silogismos Categóricos Laboratorio de Altos Estudios en Ciencias Informáticas Programa de Entrenamiento Académico (PEA) en Ciencias Informáticas Cátedra de Introducción a la Lógica y Métodos Científicos Prof. Eugenia Bahit Tema

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

Argumentación y redacción Jurídica Clave 24 Periodo lectivo

Argumentación y redacción Jurídica Clave 24 Periodo lectivo Asignatura Argumentación y redacción Jurídica Clave 24 Periodo lectivo Cuarto Requisitos Ninguno Nivel Licenciatura Carácter Obligatoria Horas por semana Cinco Horas por curso Ochenta y cinco OBJETIVO

Más detalles

I. DESCRIPCIÓN DE LA ASIGNATURA

I. DESCRIPCIÓN DE LA ASIGNATURA UNIVERSIDAD ALAS PERUANAS FACULTAD DE CIENCIAS DE LA COMUNICACIÓN SILABO POR COMPETENCIA DATOS INFORMATIVOS 1.1. Asignatura : Lógica 1.2. Código : 1001-10E01 1.3. Pre-requisito : NINGUNO 1.4. Ciclo Académico

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

LÓGICA FORMAL TEORIAS DE PRIMER ORDEN. Sintaxis y semántica

LÓGICA FORMAL TEORIAS DE PRIMER ORDEN. Sintaxis y semántica LÓGICA FORMAL TEORIAS DE PRIMER ORDEN Sintaxis y semántica Pedro López Departamento de Inteligencia Artificial Facultad de Informática Universidad Politécnica de Madrid Lenguajes de primer orden 1 La lógica

Más detalles

Lógica Aristotélica (Validez)

Lógica Aristotélica (Validez) Lógica Aristotélica (Validez) (basado en notas anteriores de Fernando Zalamea) Andrés Villaveces Departamento de Matemáticas Universidad Nacional de Colombia Lógica I - Filosofía - I 2006 La pregunta Recuerde

Más detalles

El silogismo categórico

El silogismo categórico C A P Í T U L O 2 63 El silogismo categórico 2.1 INTRODUCCIÓN Cuando anotamos que el objetivo de la Lógica es el estudio de los criterios que permiten diferenciar entre razonamientos válidos y razonamientos

Más detalles

APENDICE REGLAS Y LEYES DE LA LOGICA DE PRIMER ORDEN

APENDICE REGLAS Y LEYES DE LA LOGICA DE PRIMER ORDEN LOGICA (FCE-UBA) APENDICE REGLAS Y LEYES DE LA LOGICA DE PRIMER ORDEN Una regla lógica, o regla de inferencia (deductiva), es una forma válida de razonamiento que es empleada para inferir deductivamente

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

3. OBJETIVOS ESPECÍFICOS (De formación académica): Como resultado de cada capítulo el estudiante estará en capacidad de:

3. OBJETIVOS ESPECÍFICOS (De formación académica): Como resultado de cada capítulo el estudiante estará en capacidad de: MATERIA Lógica y Argumentación. CÓDIGO 08273 PRERREQUISITOS: Ninguno. PROGRAMAS: Todos los programas de pregrado. PERÍODO ACADÉMICO: 162-2 (Segundo semestre de 2016) INTENSIDAD HORARIA: 4 horas semanales

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

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA - UNAD CURSO DE LÓGICA MATEMÁTICA TRABAJO FINAL PUNTOS A DESARROLLAR

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA - UNAD CURSO DE LÓGICA MATEMÁTICA TRABAJO FINAL PUNTOS A DESARROLLAR UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA - UNAD CURSO DE LÓGICA MATEMÁTICA TRABAJO FINAL Con su grupo de trabajo resolver los siguientes puntos, sustentando cada una de sus respuestas. PUNTOS A DESARROLLAR

Más detalles

Sumario Prólogo Unidad didáctica 1. Historia de la lógica Objetivos de la unidad... 10

Sumario Prólogo Unidad didáctica 1. Historia de la lógica Objetivos de la unidad... 10 ÍNDICE SISTEMÁTICO PÁGINA Sumario... 5 Prólogo... 7 Unidad didáctica 1. Historia de la lógica... 9 Objetivos de la unidad... 10 1. Introducción... 11 2. Efemérides... 13 3. La Lógica de Aristóteles...

Más detalles

LÓGICA FORMAL TEORIAS DE PRIMER ORDEN. Axiomática

LÓGICA FORMAL TEORIAS DE PRIMER ORDEN. Axiomática LÓGICA FORMAL TEORIAS DE PRIMER ORDEN Francisco Bueno Pedro López Departamento de Inteligencia Artificial Facultad de Informática Universidad Politécnica de Madrid Teoría de Primer Orden 1 Formalmente,

Más detalles

Lógica Primer Orden: Deducción (Natural)

Lógica Primer Orden: Deducción (Natural) LÓGICA - 1º Grado en Ingeniería Informática Facultad de Informática Universidad Politécnica de Madrid Lógica Primer Orden: Deducción (Natural) Andrei Paun apaun@fi.upm.es http://web3.fi.upm.es/aulavirtual/

Más detalles

Tema 3: Psicología del razonamiento

Tema 3: Psicología del razonamiento Alfonso Sanz Castejón 2002 1 Tema 3: Psicología del razonamiento Objetivos del tema: El alumno debe adquirir las nociones básicas de la psicología del razonamiento, conocer las reglas y los procedimientos

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

Pontificia Universidad Católica del Ecuador

Pontificia Universidad Católica del Ecuador Pontificia Universidad Católica del Ecuador 1. DATOS INFORMATIVOS: MATERIA O MÓDULO: Cálculo Proposicional y de Predicados CÓDIGO: CARRERA: NIVEL: Ingeniería de Sistemas Primero No. CRÉDITOS: 4 CRÉDITOS

Más detalles

Conocer las clasificaciones y categorías fundamentales de la lógica formal y no formal. Comprender críticamente conceptos y teorías fundamentales.

Conocer las clasificaciones y categorías fundamentales de la lógica formal y no formal. Comprender críticamente conceptos y teorías fundamentales. 1 Universidad Nacional del Nordeste Departamento de Filosofía Materia: Lógica I Régimen de cursado: cuatrimestral Ubicación en el diseño curricular: 1er. año Profesora: Sonia Raffin Año: 2017 Propuesta

Más detalles

REGLAS Y LEYES LOGICAS

REGLAS Y LEYES LOGICAS LOGICA II REGLAS Y LEYES LOGICAS Una regla lógica, o regla de inferencia (deductiva), es una forma válida de razonamiento que es empleada para inferir deductivamente ciertos enunciados a partir de otros.

Más detalles

TÍTULO: MATEMÁTICA DISCRETA Y LÓGICA Disponibilidad

TÍTULO: MATEMÁTICA DISCRETA Y LÓGICA Disponibilidad TÍTULO: MATEMÁTICA DISCRETA Y LÓGICA Disponibilidad Calculo proposicional 1 Argumentos y proposiciones lógicas 1 Algunos argumentos lógicos importantes 2 Proposiciones 4 Conexiones lógicas 5 Negación (tabla)

Más detalles

Tema 9: Cálculo Deductivo

Tema 9: Cálculo Deductivo Facultad de Informática Grado en Ingeniería Informática Lógica PARTE 2: LÓGICA DE PRIMER ORDEN Tema 9: Cálculo Deductivo Profesor: Javier Bajo jbajo@fi.upm.es Madrid, España 24/10/2012 Introducción a la

Más detalles

yo sé que el sol saldrá mañana, por que lo he visto salir todos los días

yo sé que el sol saldrá mañana, por que lo he visto salir todos los días 1. - Lea lo siguiente: yo sé que el sol saldrá mañana, por que lo he visto salir todos los días El enunciado anterior es un ejemplo de razonamiento de tipo A) Silogístico B) Inductivo C) Analógico D) Intuitivo

Más detalles

MODULO 1 OBJETO Y DIVISIÓN DE LA LOGICA Lógica como arte que dirige la razón Razón: Inteligencia o entendimiento humano en su movimiento hacia la

MODULO 1 OBJETO Y DIVISIÓN DE LA LOGICA Lógica como arte que dirige la razón Razón: Inteligencia o entendimiento humano en su movimiento hacia la MODULO 1 OBJETO Y DIVISIÓN DE LA LOGICA Lógica como arte que dirige la razón Razón: Inteligencia o entendimiento humano en su movimiento hacia la verdad. La lógica se divide en dos grandes partes: lógica

Más detalles

Inteligencia en Redes de Comunicaciones - 04 Razonamiento lógico

Inteligencia en Redes de Comunicaciones - 04 Razonamiento lógico El objetivo del Tema 4 es presentar una panorámica general sobre cómo se pueden realizar razonamientos lógicos en un sistema software. 1 Esta es la tabla de contenidos del tema: se estudia la programación

Más detalles

PRÓLOGO A LA TRIGÉSIMA CUARTA EDICIÓN... 5

PRÓLOGO A LA TRIGÉSIMA CUARTA EDICIÓN... 5 ÍNDICE PRÓLOGO A LA TRIGÉSIMA CUARTA EDICIÓN... 5 PRIMERA PARTE: NOCIONES PRELIMINARES Capítulo I. DEFINICIÓN NOMINAL DE LA LÓGICA 1. La Lógica en el lenguaje cotidiano... 11 2. Lógica natural y Lógica

Más detalles

Razonamiento silogístico e interpretación de premisas: un estudio evolutivo

Razonamiento silogístico e interpretación de premisas: un estudio evolutivo Razonamiento silogístico e interpretación de premisas: un estudio evolutivo Juan A. García-Madruga * Insiituto de Ciencias de/a Educación Universidad Nacional de Educación a Distancia La adquisición del

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

Notas sobre Lógica Aristotélica

Notas sobre Lógica Aristotélica Notas sobre Lógica Aristotélica élix Bou bou@ub.edu acultad ilosofía (UB) 7 de octubre de 2010 Los enunciados básicos categóricos son de alguno de los cuatro tipos siguientes: Universal Afirmativo (A):

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

INDICE. Presentación. iii Prologo

INDICE. Presentación. iii Prologo INDICE Presentación iii Prologo ix Lógica jurídica fundamental I. Introducción. Fundamentación lógica del Pensamiento jurídico 1.1. Hacia el lenguaje de la lógica 39 1.1.1. Aproximación a la naturaleza

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

Cuantificadores. I. Todos los, son

Cuantificadores. I. Todos los, son Cuantificadores Ahora simbolizaremos expresiones cuantificadas por ejemplo del tipo: 1. Todos los S son P 2. Ningún S es P 3. Algunos S son P 4. Algunos S no son P 5. Hay uno y sólamente uno que, 6. Hay

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

Contenido. Prólogo... Prólogo a la edición en español Argumentos y proposiciones lógicas Introducción

Contenido. Prólogo... Prólogo a la edición en español Argumentos y proposiciones lógicas Introducción CONTENIDO vii Contenido Prólogo... Prólogo a la edición en español... XVIl XXI 1 Cálculo proposicional... 1 1.1 Argumentos y proposiciones lógicas 1.1.1 Introducción 1 1 1.1.2 Algunos argumentos lógicos

Más detalles

Guía de estudio de Lógica Examen final 1 y 2da. Vuelta. Prof. Federico Meza Mejía Ciclo escolar

Guía de estudio de Lógica Examen final 1 y 2da. Vuelta. Prof. Federico Meza Mejía Ciclo escolar Página 1 de 5 Guía de estudio de Lógica Examen final 1 y 2da. Vuelta. Prof. Federico Meza Mejía Ciclo escolar 2014-2015 1. Definición real y etimológica de lógica. 2. Definición real y etimológica de filosofía.

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

Lógica de predicados 1. Lenguaje formal (parte 1)

Lógica de predicados 1. Lenguaje formal (parte 1) Lógica de predicados 1. Lenguaje formal (parte 1) Juan Carlos León Universidad de Murcia Esquema del tema 1.1. Nombres y predicados 1.2. Cuantificadores y variables 1.3. Silogística y lógica de predicados

Más detalles

CUESTIONARIO DE LÓGICA

CUESTIONARIO DE LÓGICA CUESTIONARIO DE LÓGICA Define qué es lógica? Es el arte que dirige el acto de la razón y de la verdad Menciona las partes en que se divide la lógica. La lógica mayor o material, que enfocaba problemas

Más detalles

LÓGICA DE PREDICADOS 5. IDENTIDAD Y FUNCIONES

LÓGICA DE PREDICADOS 5. IDENTIDAD Y FUNCIONES Juan Carlos León Universidad de Murcia LÓGICA DE PREDICADOS 5. IDENTIDAD Y FUNCIONES (PARTE 1) Esquema del tema 5.1. La noción lógica de identidad 5.2. Reglas de deducción natural para = 5.3. Cuantificadores

Más detalles

DEDUCCIÓN, INDUCCIÓN, ANALOGÍA Y REDUCCIÓN. Ejemplificación y aplicación introductoria en la investigación científica en las ciencias sociales.

DEDUCCIÓN, INDUCCIÓN, ANALOGÍA Y REDUCCIÓN. Ejemplificación y aplicación introductoria en la investigación científica en las ciencias sociales. LIBRO 6: DEDUCCIÓN, INDUCCIÓN, ANALOGÍA Y REDUCCIÓN. Ejemplificación y aplicación introductoria en la investigación científica en las ciencias sociales. AUTOR: Faustino V. Cárdenas P. --------------------------------------------------------------------------------------------------------

Más detalles

MATERIA: Lógica Matemática CÓDIGO: UMAT130 CRÉDITOS: 3. PERIODO LECTIVO: Invierno PRE-REQUISITO: Ninguno. 2. OBJETIVOS (Course Objectives Goal))

MATERIA: Lógica Matemática CÓDIGO: UMAT130 CRÉDITOS: 3. PERIODO LECTIVO: Invierno PRE-REQUISITO: Ninguno. 2. OBJETIVOS (Course Objectives Goal)) UNIVERSIDAD DE ESPECIALIDADES ESPÍRITU SANTO FACULTAD DE SISTEMAS, TELECOMUNICACIONES Y ELECTRÓNICA PROGRAMA ANALÍTICO (SUBJECT DESCRIPTION) MATERIA: Lógica Matemática CÓDIGO: UMAT130 CRÉDITOS: 3 PERIODO

Más detalles

Refelxiones con Respecto a la Lógica. Ana Lilia LAUREANO-CRUCES

Refelxiones con Respecto a la Lógica. Ana Lilia LAUREANO-CRUCES Refelxiones con Respecto a la Lógica Ana Lilia LAUREANO-CRUCES Qué es la lógica es el estudio de métodos y principios usados para distinguir el buen (correcto) razonamiento del malo (incorrecto). no debe

Más detalles

3. LA ARGUMENTACIÓN FICHA 1 DE REFUERZO DE CONTENIDOS

3. LA ARGUMENTACIÓN FICHA 1 DE REFUERZO DE CONTENIDOS FICHA 1 DE REFUERZO DE CONTENIDOS 1. La argumentación está formada por dos tipos de enunciados: a) inducción y deducción; b) analíticos y sintéticos; c) premisas y conclusión; d) axiomas y teoremas. 2.

Más detalles

4.2 Tipos de razonamiento

4.2 Tipos de razonamiento Si observas cualquier combinación de estas cuatro letras, en la de la segunda columna de la siguiente tabla, toma en cuenta que la primera letra se refiere a la premisa mayor; la segunda a la premisa menor,

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

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

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

LÓGICA FORMAL TEORIAS DE PRIMER ORDEN. Teoremas. Departamento de Inteligencia Artificial Facultad de Informática Universidad Politécnica de Madrid

LÓGICA FORMAL TEORIAS DE PRIMER ORDEN. Teoremas. Departamento de Inteligencia Artificial Facultad de Informática Universidad Politécnica de Madrid LÓGICA FORMAL TEORIAS DE PRIMER ORDEN Pedro López Departamento de Inteligencia Artificial Facultad de Informática Universidad Politécnica de Madrid Fórmulas elementales 1 Teniendo en cuenta las definiciones:

Más detalles

LÓGICA FORMAL TEORIAS DE PRIMER ORDEN. Teoremas

LÓGICA FORMAL TEORIAS DE PRIMER ORDEN. Teoremas LÓGICA FORMAL TEORIAS DE PRIMER ORDEN Pedro López Departamento de Inteligencia Artificial Facultad de Informática Universidad Politécnica de Madrid Fórmulas elementales 1 Teniendo en cuenta las definiciones:

Más detalles

Universidad Autónoma de Nayarit Área Económico-Administrativa Licenciatura en Economía

Universidad Autónoma de Nayarit Área Económico-Administrativa Licenciatura en Economía 9. ACERVOS DE CONSULTA ACERVOS BÁSICOS Borrajo Daniel (1997). Inteligencia Artificial Métodos y Técnicas. Granollers, Toni. (2005) Diseño de Sistemas Interactivos Centrados en el Usuario. Ballario, Jorge

Más detalles

de Primer Orden y los problemas de razonamiento (Cap 1 libro) de proposiciones (Cap 2 libro) de predicados (Cap 2 libro)

de Primer Orden y los problemas de razonamiento (Cap 1 libro) de proposiciones (Cap 2 libro) de predicados (Cap 2 libro) Bloque I: El Lenguaje de la Lógica L de Primer Orden. Tema 1: La Lógica L de Primer Orden y los problemas de razonamiento (Cap 1 libro) Tema 2: El lenguaje de la lógica l de proposiciones (Cap 2 libro)

Más detalles

La clausura implica que si a y b pertenecen a B, entonces: a b y a+b también pertenecen a B.

La clausura implica que si a y b pertenecen a B, entonces: a b y a+b también pertenecen a B. Apéndice 1 1 ALGEBRA DE BOOLE A1.1 Introducción En 1847, George Boole desarrolla el álgebra, que lleva su nombre, como un análisis matemático. Su objetivo era describir las operaciones mentales mediante

Más detalles

Componentes de dificultad de tareas de razonamiento deductivo aplicando el modelo lltm de Fischer *

Componentes de dificultad de tareas de razonamiento deductivo aplicando el modelo lltm de Fischer * Divers.: Perspect. Psicol. / ISSN: 1794-9998 / Vol. 11 / No. 2 / 2015 / pp. 235-243 Componentes de dificultad de tareas de razonamiento deductivo aplicando el modelo lltm de Fischer * Difficulty components

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

Material para el curso Teoría de la Argumentación, Otoño 2012

Material para el curso Teoría de la Argumentación, Otoño 2012 Material para el curso Teoría de la Argumentación, Otoño 2012 Algunos archivos enlazados desde esta página han sido eliminados. Quien desee consultarlos puede enviarme un correo (FRVelazquezQuesada "at"

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

A Propósito del Silogismo

A Propósito del Silogismo LÓGI MTEMTI. PROPÓSITO DEL SILOGISMO arlos S. HINE LOGI MTEMÁTI Propósito del Silogismo 0. Silogismos uando razonamos en Matemática, cuando justificamos un determinado resultado o probamos un teorema,

Más detalles

Lógica Proposicional. Guía Lógica Proposicional. Tema III: Cuantificadores

Lógica Proposicional. Guía Lógica Proposicional. Tema III: Cuantificadores Guía Lógica Proposicional Tema III: Cuantificadores 1.7.2. CUANTIFICADORES Los cuantificadores permiten afirmaciones sobre colecciones enteras de objetos en lugar de tener que enumerar los objetos por

Más detalles

Índice general. I Introducción a la Lógica 3

Índice general. I Introducción a la Lógica 3 Índice general I Introducción a la Lógica 3 1 Demostraciones 5 1.1. Argumentos rodeados de agua....................... 5 1.1.1. Argumentando........................... 6 1.1.2. Formalizando el argumento....................

Más detalles

ESQUEMAS ARGUMENTATIVOS: QUÉ SON Y PARA QUÉ SIRVEN? LILIAN BERMEJO-LUQUE Dpto. de Filosofía I Universidad de Granada

ESQUEMAS ARGUMENTATIVOS: QUÉ SON Y PARA QUÉ SIRVEN? LILIAN BERMEJO-LUQUE Dpto. de Filosofía I Universidad de Granada ESQUEMAS ARGUMENTATIVOS: QUÉ SON Y PARA QUÉ SIRVEN? LILIAN BERMEJO-LUQUE Dpto. de Filosofía I Universidad de Granada lilianbl@ugr.es OBJETIVOS: Caracterizar la Teoría de la Argumentación como que integra

Más detalles

TEMA: LÓGICA Y TEORÍA DE LA DR. LUIS ALBERTO PACHECO MANDUJANO

TEMA: LÓGICA Y TEORÍA DE LA DR. LUIS ALBERTO PACHECO MANDUJANO TEMA: LÓGICA Y TEORÍA DE LA ARGUMENTACIÓN JURÍDICA DR. LUIS ALBERTO PACHECO MANDUJANO I.- TABLA DE VALORES.- Diseñada por Ludwig Wittgenstein, es una cruz cuyo brazo derecho es mucho más prolongado que

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

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

UNIDAD IV. Módulo 16 La reducción de los modos. Variantes del silogismo

UNIDAD IV. Módulo 16 La reducción de los modos. Variantes del silogismo UNIDAD IV Módulo 16 La reducción de los modos. Variantes del silogismo OBJETIVO: Al concluir el estudio de este módulo el alumno: podrá explicar en que se sustenta la validez de los modos de la primera,

Más detalles

Lógica. Introducción. Elementos de Programación y Lógica. Unidad 2 - Clase 1

Lógica. Introducción. Elementos de Programación y Lógica. Unidad 2 - Clase 1 Lógica Introducción Elementos de Programación y Lógica Unidad 2 - Clase 1 1 Qué es la lógica? Definición Razonamientos 2 La lógica como descripción del universo 3 La lógica como generador de preguntas

Más detalles

INSTITUTO FRANCISCO POSSENTI, A.C. Per crucem ad lucem. Preparatoria (1085)

INSTITUTO FRANCISCO POSSENTI, A.C. Per crucem ad lucem. Preparatoria (1085) INSTITUTO FRANCISCO POSSENTI, A.C. Per crucem ad lucem Preparatoria (1085) GUÍA DE LÓGICA CLAVE: 1404 Tema 1. Introducción 1. Da la definición real y etimológica de Lógica. 2. Cuál es el objeto propio

Más detalles

4.1 La prueba formal de la consistencia o de la inconsistencia 4.2 La prueba formal de la invalidez 4.3 La prueba formal de la validez

4.1 La prueba formal de la consistencia o de la inconsistencia 4.2 La prueba formal de la invalidez 4.3 La prueba formal de la validez 4.- Métodos de razonamiento En este módulo hemos estudiado algunas estrategias que han sido desarrolladas con el fin de sistematizar el razonamiento lógico, es decir, la demostración formal de teoremas.

Más detalles