Material para el curso Teoría de la Argumentación, Otoño 2012
|
|
- Nieves Espejo Sandoval
- hace 6 años
- Vistas:
Transcripción
1 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" us.es). Los resultados del examen de Diciembre son los siguientes: DNI Resultado Para revisar su examen, dudas o preguntas, pueden buscarme en la oficina (S103, normalmente entre 10 y 15hrs) o enviarme un correo (FRVelazquezQuesada "at" us.es). La fecha límite pare esto es el Miírcoles 18 de Diciembre las 14hrs. Pueden consultar aquí los resultados del examen de Septiembre. Para revisar su examen, dudas o preguntas, pueden buscarme en la oficina (S103, entre 10 y 15hrs) o enviarme un correo (FRVelazquezQuesada "at" us.es). La fecha límite pare esto es el Viernes 20 de Septiembre a las 12hrs. Pueden consultar aquí los resultados finales. Para dudas o preguntas, envíenme un correo (FRVelazquezQuesada "at" us.es). Pueden consultar aquí los resultados del examen final. Para revisar su examen, dudas o preguntas, envíenme un correo (FRVelazquezQuesada "at" us.es). Tengan en cuenta que NO voy a estar en la oficina del 28 al 31 de Enero. Miércoles 23 de enero: examen final. Jueves 17 de enero: tercer examen. Viernes 11 de enero: no hay clases. Jueves 10 de enero: no hay clases. Indicaciones para la tercera calificación parcial. En este documento explico que deben hacer para obtener la calificación del tercer parcial. Viernes 21 de diciembre: discutimos algunos ejercicios sobre silogismos. 1 de 5 09/03/17 22:37
2 Jueves 20 de diciembre: discutimos brevemente tres tipos de argumentos/razonamientos/inferencias que, pese a no ser válidos, son ampliamente utilizados en nuestra vida diaria y en diversas áreas de especializació,n: razonamiento inductivo, razonamiento abductivo y razonamiento por default. Viernes 14 de diciembre: en la clase de este día vimos como representar en un diagrama el hecho de que enunciados de la forma "ningún P es Q" o "algún P no es Q" sean verdaderos. Finalmente, presentamos el método que utilizaremos para decidir si un silogismo es válidas o no: dibujamos diagramas representando los casos en los cuales ambas premisas son verdaderas, y entonces verificamos que la conclusiòn ya aparezca indicada ahí. Aquí hay ejercicios sobre silogismos. Jueves 13 de diciembre: el material de la tercera parte del curso se basa en el capítulo 3 del libro Logic in Action, disponible aquí (pueden encontrar una presentación aquí). En el caso de la presentación hay una versión en Español aquí. En la clase de este día presentamos un silogismo: una inferencia (argumento) sobre un dominio dado en la cual (1) hay tan solo dos premisas, (2) tanto las premisas como la conclusión son "enunciados cuantificados", es decir enunciados de la forma "todo P es Q", "algún P es Q", "ningún P es Q", "algún P no es Q", y (3) aparecen exactamente tres propiedades. También vimos como representar en un diagrama tanto el dominio como las tres propiedades involucradas, y vimos como representar en dicho diagrama el hecho de que enunciados de la forma "todo P es Q" o "algún P es Q" sean verdaderos. Viernes 7 de diciembre: segundo examen. Jueves 6 de diciembre: no hay clases. Viernes 30 de noviembre: en la clase de este día discutimos como el juego visto en la clase anterior tiene en realidad un uso mas general: simplemente nos permite decidir si existe una evaluación que satisfaga los requerimientos indicados. Por lo tanto, el juego también nos permite decidir (a) si una fórmula es una tautología o no ( cómo?), (b) si una si una fórmula es una contradicción o no ( cómo?), y finalmente (c) si un conjunto de fórmulas es satisfacible o no ( cómo?). Después vimos como las herramientas formales que hemos estudiado en esta parte del curso nos permite resolver problemas reales, tales como (a) identificar quien es caballero y quien es bribón (Knights and Knaves, para aquellos interesados), (b) como encontar maneras de satisfacer un conjunto de requisitos dados y, por supuesto, (c) identificar, de manera formal, si un argumento dado es válido o no. Jueves 29 de noviembre: en la clase de este día presentamos un 2 de 5 09/03/17 22:37
3 juego que nos permite decidir, dada una inferencia (argumento), si la inferencia es válida o no. Quiénes son los jugadores? De que forma son las posiciones en el juego? Qué puede hacer cada jugador cuando es su turno? Cuándo podemos afirmar que la inferencia es válida? Es decir, qué tiene que suceder en el juego para poder hacer dicha afirmación? Viernes 23 de noviembre: en la clase de este día presentamos un juego que nos permite decidir, dada una evaluación, si una fórmula es verdadera o falsa. Tres puntos importantes sobre este método: 1. Utilizamos fórmulas que no contienen ni ni, y en las cuales las negaciones están tan solo sobre proposiciones atómicas. Por qué esto no es un problema? 2. Cuándo podemos afirmar que la fórmula es verdadera bajo la evaluación dada? Es decir, qué tiene que suceder en el juego para poder hacer dicha afirmación? 3. Cómo justificamos las reglas del juego? Es decir, qué es lo que nos dice cada una de ellas? Jueves 22 de noviembre: en la clase de este día discutimos tres puntos importantes. Primero, vimos como un argumento es válido exactamente cuando la implicación que construimos con la conjunción de las premisas como antecedente y la conclusión como consequente es una tautología. Segundo, vimos como dos fórmulas φ y ψ son equivalentes exactamente cuando la fórmula φ ψ es una tautología. Finalmente vimos otro método, el método de eliminación, que nos permite decidir si un argumento (inferencia) es válido (válida) o no. Viernes 16 de noviembre: en la clase de este día vimos como nuestra definición de argumento/inferencia válido(da) tiene ciertas propiedades interesantes. Además, definimos el concepto de fórmulas equivalentes. He aquí algunos ejercicios para practicar los conceptos que hemos estudiado hasta ahora. Jueves 15 de noviembre: en la clase de este día empezamos con la definición de conjunto de fórmulas satisfacibles. Entonces vimos como las definiciones de los dos días anteriores nos dan una herramienta para decidir, formalmente, si un argumento dado es válido o no. Viernes 9 de noviembre: en la clase de este día definimos la interpretación semántica del lenguaje de la lógica proposicional, es decir, la manera de decidir si una fórmula dada de nuestro lenguaje es verdadera o falsa. Además, definimos los conceptos de tautología, fómula satisfacible y contradicción. Jueves 8 de noviembre: el material de la segunda parte del curso se basa en el capítulo 2 del libro Logic in Action, disponible aquí (pueden encontrar una presentación aquí). Para aquellos que 3 de 5 09/03/17 22:37
4 todavía le tienen miedo al Ingles, hay versiones en Español (todavía con algunos errores) tanto del texto como de la presentación. En la clase de este día presentamos el lenguaje de la lógica proposicional. Viernes 2 de noviembre: primer examen. Jueves 1 de noviembre: no hay clases. Viernes 26 de octubre: repaso de temas estudiados. Jueves 25 de octubre: mas falacias. Aquí están las páginas con los ejercicios de falacias que revisamos en clase (tomadas de S. Toulmin, R. Rieke, y A. Janik. An introduction to reasoning. Macmillan Publishing Co., Inc., New York, ISBN ). Para aquellos que les interese, aquí hay mas ligas con información sobre falacias: Una plática sobre falacias ( en Español!) Un diccionario de falacias. Dos sitios en Ingles (aquí y aquí) con una gran lista de falacias y ejemplos de ellas. Viernes 19 de octubre: falacias. Aquí están las páginas de Fina Pizarro. Aprender a razonar. Madrid Alhambra, 1989 (está es la edición disponible en la biblioteca) en las cuales se basó la clase de hoy. No olviden su tarea! Jueves 18 de octubre: Qué nos dice el hecho de que un argumento sea válido? Qué podemos afirmar acerca de la conclusión? Y acerca de las premisas? El Lunes 15 de octubre NO habrá tutorías. Viernes 12 de octubre: no hay clases. Jueves 11 de octubre: revisamos ejercicios del texto en el punto anterior: identificar, en un argumento dado, la afirmación, las justificaciones, las reglas, los respaldos, las delimitaciones y las modalidades. Viernes 5 de octubre: aquí están las páginas de S. Toulmin, R. Rieke, y A. Janik. An introduction to reasoning. Macmillan Publishing Co., Inc., New York, ISBN en las cuales se basó la (breve) clase de hoy (el texto es la segunda edición del libro que se menciona en el programa docente). Los ejercicios para practicar están en las páginas: para el caso de identificar afirmaciones (llamadas en el texto claims) y justificaciones (llamadas en el texto grounds) [solo tienen que hacer del 1 al 12]; para el caso de identificar leyes o reglas (llamadas en el texto warrants o rules) [solo hagan incisos 2, 5, 6 y 10 del 4 de 5 09/03/17 22:37
5 ejercicio I]; para el caso de identificar los respaldos (llamados en el texto backings) [solo hagan el ejercicio I, y los incisos 2, 6 y 7 del ejercicio II]; para el caso de identificar modalidades (llamados en esta edición qualifiers). (Noten que aquí también se les pide identificar delimitaciones o rebuttals, y que en algunos casos podría no haber modalidades y/o delimitadores.) [Solo hagan del 1 al 14]; para el caso de identificar las delimitaciones (llamadas en el texto rebuttals o exceptions) [hagan los 8 ejercicios]. También pueden practicar tratando de identificar los mismos elementos en los argumentos (a)-(f) que revisamos el jueves (4 de octubre). Jueves 4 de octubre: aquí están las páginas de Fina Pizarro. Aprender a razonar. Madrid Alhambra, 1989 (está es la edición disponible en la biblioteca) en las cuales se basó la clase de hoy. Y aquí hay ejercicios para identificar estructura de un argumento. Viernes 28 de septiembre: aquí están las páginas de Fina Pizarro. Aprender a razonar. Madrid Alhambra, 1989 (está es la edición disponible en la biblioteca) en las cuales se basó la clase de hoy. Y aquí hay ejercicios para identificar usos del lenguaje. 5 de 5 09/03/17 22:37
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 detallesProposicional. Curso Mari Carmen Suárez de Figueroa Baonza
Semántica Proposicional Curso 2014 2015 Mari Carmen Suárez de Figueroa Baonza mcsuarez@fi.upm.es Contenidos Introducción Interpretación de FBFs proposicionales Validez Satisfacibilidad Validez y Satisfacibilidad
Más detallesAmpliación Matemática Discreta. Justo Peralta López
Justo Peralta López UNIVERSIDAD DE ALMERíA DEPARTAMENTO DE ÁGEBRA Y ANÁLISIS MATEMÁTICO 1 Introducción 2 Definición semántica de las proposiciones 3 Diagrama de valores de certeza 4 Evaluación de fórmulas.
Más detalles3. 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 detallesCapí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 detallesMATEMÁ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 detallesForma lógica de enunciados
Forma lógica de enunciados Marisol Miguel Cárdenas Lenguaje natural y lenguaje formal El lenguaje natural es aquel que utilizamos cotidianamente. Surge históricamente dentro de la sociedad y es aprendido
Más detallesExamen final de Lógica y argumentación (Fecha: xxxxxxxx)
1 Examen final de Lógica y argumentación (Fecha: xxxxxxxx) Nombre: Código: Profesor y grupo: 1. 1 (6%) Construya un silogismo de forma: oao-3, con estas especificaciones: Término mayor: Rascacielos Término
Más detallesLÓGICA I Programa del curso
UNIVERSIDAD NACIONAL DE COLOMBIA FACULTAD DE CIENCIAS HUMANAS DEPARTAMENTO DE FILOSOFÍA Curso: Lógica I 2015-II Profesor: Gustavo Silva (gasilvac@unal.edu.co) LÓGICA I Programa del curso I. Objetivos y
Más detallesp q p q p (p q) V V V V V F F F F V V F F F V F
3.2 Reglas de inferencia lógica Otra forma de transformación de las proposiciones lógicas son las reglas de separación, también conocidas como razonamientos válidos elementales, leyes del pensamiento,
Más detallesMatemáticas Discretas TC1003
Matemáticas Discretas TC1003 Módulo I: s Válidos Departamento de Matemáticas ITESM Módulo I: s Válidos Matemáticas Discretas - p. 1/50 En matemáticas y en lógica un argumento no es una disputa. Más bien,
Más detallesLó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 detallesAlgoritmos y Estructura de Datos I
Clase práctica de Especificación - Lógica proposicional Viernes 20 de Marzo de 2015 Menú del día Fórmulas bien formadas Tablas de verdad Tautologías, Contingencias y Contradicciones Relación de fuerza
Más detallesLógica Proposicional IIC1253. IIC1253 Lógica Proposicional 1/64
Lógica Proposicional IIC1253 IIC1253 Lógica Proposicional 1/64 Inicio de la Lógica Originalmente, la Lógica trataba con argumentos en el lenguaje natural. Ejemplo Es el siguiente argumento válido? Todos
Más detallesLó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 detallesUniversidad Nacional Abierta y a Distancia UNAD-Lógica Matemática - Georffrey Acevedo G. A que viene la lógica?
A que viene la lógica? Autor: Georffrey Acevedo G. Noviembre 16 de 2008. Los conceptos de proposiciones, conectivos e inferencias confluyen al analizar un razonamiento. Para tener claridad sobre los conceptos
Más detallesTema 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 detallesMatemá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 detallesIntroducció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 detallesCoordinació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 detallesIntrod. 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 detallesTEMA 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ÍNDICE PRIMERA PARTE METODOLOGÍA JURÍDICA
ÍNDICE INTRODUCCIÓN... 15 PRIMERA PARTE METODOLOGÍA JURÍDICA INTRODUCCIÓN... 21 CAPÍTULO I. LA APLICACIÓN DEL DERECHO. CASOS FÁCILES, CASOS DIFÍCILES Y JUSTIFICACIÓN DE LA RESPUESTA... 25 1. INTRODUCCIÓN...
Más detallesMatemáticas Dicretas LÓGICA MATEMÁTICA
Matemáticas Dicretas LÓGICA MATEMÁTICA Esta pagina fue diseñada como un auxiliar y herramienta para aquellos que esten interesados en reforzar y tener mas conocimientos sobre las matematicas discretas.
Más detallesLICENCIATURA 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 detallesLógica Matemática, Sistemas Formales, Cláusulas de Horn
Lógica Matemática, Sistemas Formales, Cláusulas de Horn Lic. José Manuel Alvarado La lógica se ocupa de las argumentaciones válidas. Las argumentaciones ocurren cuando se quiere justificar una proposición
Más detallesLógica proposicional. Ivan Olmos Pineda
Lógica proposicional Ivan Olmos Pineda Introducción Originalmente, la lógica trataba con argumentos en el lenguaje natural es el siguiente argumento válido? Todos los hombres son mortales Sócrates es hombre
Más detallesLÓGICA PROPOSICIONAL
LÓGICA PROPOSICIONAL QUE ES LA LÓGICA? El sentido ordinario de la palabra lógica se refiere a lo que es congruente, ordenado, bien estructurado. Lo ilógico es lo mismo que incongruente, desordenado, incoherente.
Más detallesInterpretació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 detallesLógica I modelo de examen (curso ) Ejemplo de respuestas
Lógica I modelo de examen (curso 2007-08) Ejemplo de respuestas 1. Definiciones: - Grado de una fórmula es el número total de conectivas (iguales o distintas) que contiene. - Función de verdad es una función
Más detallesTEORÍA DE CONJUNTOS, ELEMENTOS, PROPIEDADES Y OPERACIONES CON CONJUNTOS PRESENTADO POR: ANA MARIA ESTRADA COD GRUPO: A_222 TUTOR:
TEORÍA DE CONJUNTOS, ELEMENTOS, PROPIEDADES Y OPERACIONES CON CONJUNTOS PRESENTADO POR: ANA MARIA ESTRADA COD. 1037751408 GRUPO: 200611A_222 TUTOR: ALVARO IVAN RAMIREZ POSADA INGENIERO DE SISTEMAS PENSAMIENTO
Más detallesApuntes de Lógica Proposicional
Apuntes de Lógica Proposicional La lógica proposicional trabaja con expresiones u oraciones a las cuales se les puede asociar un valor de verdad (verdadero o falso); estas sentencias se conocen como sentencias
Más detallesMATEMÁTICAS BÁSICAS. 23 de febrero de Universidad Nacional de Colombia MATEMÁTICAS BÁSICAS
23 de febrero de 2009 Parte I Lógica Proposiciones Considere las siguientes frases Páseme el lápiz. 2 + 3 = 5 1 2 + 1 3 = 2 5 Qué hora es? En Bogotá todos los días llueve Yo estoy mintiendo Maradona fue
Más detallesLógica Proposicional (LP)
Lógica Proposicional (LP) Proposición Enunciado del que puede afirmarse si es verdadero o falso Oración declarativa Cuáles de las siguientes son proposiciones? ) Pedro es alto. 2) Juan es estudiante. 3)
Más detallesUNIVERSIDAD 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 detallesEstado actual de las investigaciones sobre validación de exámenes de lengua extranjera
Estado actual de las investigaciones sobre validación de exámenes de lengua extranjera Lorena Llosa New York University 18 de agosto del 2006 Segundo Coloquio CELU, Universidad Nacional de Mar del Plata,
Más detallesINTRODUCCION 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 detallesFACULTAD DE DERECHO Y CIENCIA POLÍTICA
FACULTAD DE DERECHO Y CIENCIA POLÍTICA ESCUELA PROFESIONAL DE DERECHO SÍLABO I. DATOS GENERALES 1.1 Asignatura : Lógica Jurídica. 1.2 Código : 0703-07412 1.3 Nivel : Pregrado 1.4 Semestre Académico : 2016-II
Más detallesTema 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 detallesRudimentos de lógica
Rudimentos de lógica Eugenio Miranda Palacios 1. El método axiomático Matemáticas es el estudio de las relaciones entre ciertos objetos ideales como números, funciones y figuras geométricas. Estos objetos
Más detallesP+P C. 1 hora 45 min. 1. Qué es un argumento? Aprender a crear un argumento Aprender a contra-argumentar
Por: Ana María Diez Aprender a crear un argumento Aprender a contra-argumentar 1 hora 45 min 1. Qué es un argumento? Los argumentos son importantes porque permiten pensar y repensar un amplio abanico de
Más detallesUna proposición es una afirmación que debe ser cierta o falsa (aunque no lo sepamos).
Lógica intuitiva Una proposición es una afirmación que debe ser cierta o falsa (aunque no lo sepamos). A : Las águilas vuelan B : El cielo es rosa C : No existe vida extraterrestre D : 5 < 3 E : Algunos
Más detallesESQUEMAS 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 detallesMÓDULO MATERIA CURSO SEMESTRE CRÉDITOS TIPO
GUIA DOCENTE DE LA ASIGNATURA LÓGICA MÓDULO MATERIA CURSO SEMESTRE CRÉDITOS TIPO Lógica y lenguaje PROFESOR(ES) Lógica y teoría de la argumentación 1º 2º 6 Obligatorio DIRECCIÓN COMPLETA DE CONTACTO PARA
Más detallesHoja de ruta IPC. Secuencia recomendada para el uso de los materiales de estudio. - Argumentos y teorías: Capítulo 1. - Guía de Estudio: Unidad 1
Programa Ejes temáticos Secuencia recomendada para el uso de los materiales de estudio Secuencia de realización de actividades propuestas Encuentro Unidad 1 Consideraciones sobre el lenguaje 1.1. Lenguaje
Más detallesCamilo Ernesto Restrepo Estrada, Félix Ruiz de Villalba, Lina María Grajales Vanegas y Sergio Iván Restrepo Ochoa 1.
Guía de estudio Métodos de demostración Unidad A: Clase 3 Camilo Ernesto Restrepo Estrada, Félix Ruiz de Villalba, Lina María Grajales Vanegas y Sergio Iván Restrepo Ochoa 1.. Inferencias y métodos de
Más detallesLÓGICA COMPUTACIONAL
CURSO 2006-2007 OBJETIVOS Y TEMARIO 1. Presentación y objetivos. 2. Temario. Breve descripción. 1. Presentación y objetivos La asignatura «Lógica Computacional» presenta para este año un programa que está
Más detallesMétodos de Inteligencia Artificial
Métodos de Inteligencia Artificial L. Enrique Sucar (INAOE) esucar@inaoep.mx ccc.inaoep.mx/esucar Tecnologías de Información UPAEP Contenido Lógica proposicional Lógica de predicados Inferencia en lógica
Más detallesUNIVERSIDAD NACIONAL MAYOR DE SAN MARCOS FACULTAD DE DERECHO Y CIENCIA POLÍTICA SYLLABUS
UNIVERSIDAD NACIONAL MAYOR DE SAN MARCOS FACULTAD DE DERECHO Y CIENCIA POLÍTICA I. INFORMACIÓN GENERAL SYLLABUS 1. Escuela Académico Profesional: Derecho 2. Departamento Académico: Derecho 3. Plan de estudios:
Más detallesREGLAS 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 detallesUNIVERSIDAD NACIONAL AUTÓNOMA DE HONDURAS FACULTAD DE HUMANIDADES Y ARTES DEPARTAMENTO DE FILOSOFÍA LICENCIATURA EN FILOSOFÍA
UNIVERSIDAD NACIONAL AUTÓNOMA DE HONDURAS FACULTAD DE HUMANIDADES Y ARTES DEPARTAMENTO DE FILOSOFÍA LICENCIATURA EN FILOSOFÍA JORNALIZACIÓN DIARIA DE LA ASIGNATURA DE FILOSOFIA GENERAL DEL II PERIODO DEL
Más detallesCONSERVACION DE LA VERDAD EN LOS ARGUMENTOS INFORMALES?
CONSERVACION DE LA VERDAD EN LOS ARGUMENTOS INFORMALES? Ángel Tolaba En esta ponencia trataremos de sugerir una dirección analógica entre el tratamiento que se suele hacer de los razonamientos formales
Más detallesLógica de primer orden: Repaso y notación
Lógica de primer orden: Repaso y notación IIC3263 IIC3263 Lógica de primer orden: Repaso y notación 1 / 29 Lógica de primer orden: Vocabulario Una fórmula en lógica de primer orden está definida sobre
Más detallesRAZONAMIENTO Y ARGUMENTACIÓN JURÍDICA
RAZONAMIENTO Y ARGUMENTACIÓN JURÍDICA I. DATOS INFORMATIVOS 1.1 Código : 060560 1.2 Ciclo : EE 1.3 Semestre Académico : 2015-I 1.4 Créditos : 02 1.5 Duración : 17 semanas 1.6 Horas semanales : 02 1.7 Prerrequisito
Más detallesResumen de las clases teóricas del turno tarde a cargo de la Prof. Alcón.
Resumen de las clases teóricas del turno tarde a cargo de la Prof. Alcón. 0.1. Elementos de lógica Una proposición es una oración declamativa a la cual se le puede asignar un valor verdad: verdadera (V)
Más detallesPrograma Analítico Vicerrectoría de Educación Superior
División de Ingeniería y Tecnologías Departamento de Física y Matemáticas Periodo : Primavera 2010 Nombre del curso: LOGICA MATEMATICA Clave: FM1140 Seriación: FM 1190 Línea Curricular: MATEMATICA HTS:
Más detallesCapítulo 1: Fundamentos: Lógica y Demostraciones Clase 2: Lógica de Predicados y Métodos de Demostración
Capítulo 1: Fundamentos: Lógica y Demostraciones Clase 2: Lógica de Predicados y Métodos de Demostración Matemática Discreta - CC3101 Profesor: Pablo Barceló P. Barceló Matemática Discreta - Cap. 1: Fundamentos:
Más detallesTEMA I. INTRODUCCIÓN A LA LÓGICA Y AL RAZONAMIENTO DEDUCTIVO.
Lógica y razonamiento. La lógica es el estudio de los métodos que permiten establecer la validez de un razonamiento, entendiendo como tal al proceso mental que, partiendo de ciertas premisas, deriva en
Más detallesLógica Proposicional
Lógica Proposicional La lógica se define como la ciencia del razonamiento, o como el estudio de los métodos y principios usados para distinguir el razonamiento correcto del incorrecto. La lógica, está
Más detallesUNIVERSIDAD 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 detallesAsignatura: Matemática Fundamental [405036M-02] Taller 1 Lenguaje Simbólico y lógica proposicional
Asignatura: Matemática Fundamental [405036M-02] Taller 1 Lenguaje Simbólico y lógica proposicional 1. Responda las siguientes preguntas: a) Qué es un lenguaje formal? b) Qué es lenguaje matemático? c)
Más detallesSemana02[1/23] Conjuntos. 9 de marzo de Conjuntos
Semana02[1/23] 9 de marzo de 2007 Introducción Semana02[2/23] La teoría de conjuntos gira en torno a la función proposicional x A. Los valores que hacen verdadera la función proposicional x A son aquellos
Más detallesALGEBRA y ALGEBRA LINEAL. Primer Semestre CAPITULO I LOGICA Y CONJUNTOS.
ALGEBRA y ALGEBRA LINEAL 520142 Primer Semestre CAPITULO I LOGICA Y CONJUNTOS. DEPARTAMENTO DE INGENIERIA MATEMATICA Facultad de Ciencias Físicas y Matemáticas Universidad de Concepción 1 La lógica es
Más detallesFecha Segundo Cuarto Sexto Octavo
PRIMER ORDINARIO Lunes 23 de Martes 24 de BASE DE Miércoles 25 de Jueves 26 de Viernes 27 de SEGUNDO ORDINARIO Lunes 23 de Martes 24 de BASE DE Miércoles 25 de Jueves 26 de Viernes 27 de TERCER ORDINARIO
Más detallesLÓ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 detallesRazonamientos. 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 detallesApé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 detallesCapítulo 1 Lógica Proposicional
Capítulo 1 Lógica Proposicional 1.1 Introducción El ser humano, a través de su vida diaria, se comunica con sus semejantes a través de un lenguaje determinado (oral, escrito, etc.) por medio de frases
Más detallesSOBRE LOGICA MATEMATICA. Sandra M. Perilla-Monroy. Departamento de Ciencias Básicas, Universidad Santo Tomás, Bogotá, Colombia.
SOBRE LOGICA MATEMATICA Sandra M. Perilla-Monroy Departamento de Ciencias Básicas, Universidad Santo Tomás, Bogotá, Colombia. Resumen. sandraperilla@usantotomas.edu.co Carrera 9 No 51-11 Bogotá Colombia
Más detallesMATEMÁTICA 1 JRC El futuro pertenece a aquellos que creen en la belleza de sus sueños
MATEMÁTICA 1 JRC LÓGICA Es la ciencia formal que estudia los principios y procedimientos que permiten demostrar la validez o invalidez de una inferencia, es decir, reconocer entre un razonamiento correcto
Más detallesLÓGICA PROPOSICIONAL LÓGICA PROPOSICIONAL
PROPOSICIONES LÓGICA PROPOSICIONAL ^ = : verdadero = : falso v v TABLAS DE ERDAD conjunción disjunción disjunción exclusiva. + PROPOSICIONES ~ es la negación de ~ es el ouesto de ~ LÓGICA PROPOSICIONAL
Más detallesInteligencia Artificial II La Lógica Proposicional como un lenguaje formal
Inteligencia Artificial II La Lógica Proposicional como un lenguaje formal Dr. Alejandro Guerra-Hernández Universidad Veracruzana Centro de Investigación en Inteligencia Artificial mailto:aguerra@uv.mx
Más detallesLÓGICA PROPOSICIONAL
LÓGICA PROPOSICIONAL PROPOSICIONES Una proposición es todo enunciado, u oración enunciativa, respecto del cual se tiene un criterio que permite afirmar que su contenido es verdadero o falso, pero no ambos.
Más detallesEje 2. Razonamiento lógico matemático
Razonamiento deductivo e inductivo La historia de las matemáticas se remonta al antiguo Egipto y Babilonia. Ante la necesidad de resolver problemas a través de errores y victorias, estas culturas lograron
Más detallesUnidad académica: Asignatura: Programas que requieren el servicio: Intensidad horaria presencial: Actividad académica: Número de créditos:
Unidad académica: Departamento de Humanidades; Facultad de Humanidades, Arte y Diseño. Asignatura: Lógica Formal I Programas que requieren el servicio: Comunicación Social, Derecho y Relaciones Internacionales
Más detallesINDICE. 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 detallesClase práctica 3: Consecuencia Lógica
Clase práctica 3: Consecuencia Lógica (by Laski) Primer Cuatrimestre 2014 Repaso de la teórica Decimos que una valuación v satisface a una fórmula P si v(p ) = 1, y que satisface a un conjunto de fórmulas
Más detallesEjercicios de lógica
1. Sistemas formales. Ejercicios de lógica 1. Considere el siguiente sistema formal: Símbolos: M, I, U. Expresiones: cualquier cadena en los símbolos. Axioma: UMUIUU Regla de inferencia: xmyiz xumyuizuu
Más detallesCálculo Proposicional
Universidad Técnica ederico Santa María Departamento de Informática undamentos de Informática 1 Cálculo Proposicional Dr. Gonzalo Hernández Oliva Dr. Gonzalo Hernández USM I-1 Cálculo Proposicional 1 1)
Más detallesEl problema de satisfacción
El problema de satisfacción Definición Un conjunto de fórmulas Σ es satisfacible si existe una valuación σ tal que σ(σ) = 1. En caso contrario, Σ es inconsistente. IIC2213 Lógica Proposicional 33 / 42
Más detallesLOGICA MATEMATICA. El dar un juicio nos permite comparar las características primarias o secundarias del objeto o termino y valorarlas
DEINICIÓN ETIMOLÓGICA DE LÓGICA EL término LOGICA viene de dos voces griegas: Logos, que significa palabra, tratado, pensamiento o razón e icos que significa relacionado con, por lo tanto lógica significa
Más detallesTécnico Superior en Producción y Administración Rural - 1er Año
Marzo Lunes Martes Miercoles Jueves Viernes Sabado 1 2 3 4 5 12 14 15 16 1 1 1 25 26 2 2 30 Economía de la Prod. 31 Economía de la Prod. Abril 1 2 4 5 6 Economía de la Prod. Economía de la Prod. Práctica
Más detallesTEORÍAS DE LA ARGUMENTACIÓN JURÍDICA
TEORÍAS DE LA ARGUMENTACIÓN JURÍDICA Isabel Lifante (Sesión 27/03/2012) LOS PRECURSORES: PERELMAN TOULMIN LA TEORÍA ESTÁNDAR: MACCORMICK ALEXY PERELMAN Regla de justicia formal: Tratar igual a los seres
Más detallesDiagramas de Argumentos
Diagramas de Argumentos Fernando Flores Galicia Universidad Nacional Autónoma de México Facultad de Filosofía y Letras Seminario Logicaclara Agosto 2010 Un diagrama de argumento es una representación gráfica
Más detallesX OLIMPIADA INTERNACIONAL DE LÓGICA, 2013 FASE FINAL NIVEL BACHILLERATO No. de aciertos: Nombre: Institución:
X OLIMPIADA INTERNACIONAL DE LÓGICA, 2013 FASE FINAL NIVEL BACHILLERATO No. de aciertos: Nombre: Institución: INSTRUCCIONES: Todas las preguntas deberán ser respondidas empleando únicamente las herramientas
Más detallesLAS RAZONES DEL DERECHO Teorías de la argumentación jurídica
LAS RAZONES DEL DERECHO Teorías de la argumentación jurídica Manuel Atienza Catedrátido de Filosofía del Derecho en la Universidad de Alicante - España LAS RAZONES DEL DERECHO Teorías de la argumentación
Más detallesIntroducció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 detallesTema 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 detallesMatemáticas Discretas TC1003
Matemáticas Discretas TC1003 Lógica : Proposiciones, Conectivos, Tablas de Verdad y Departamento de Matemáticas / Centro de Sistema Inteligentes ITESM Lógica Matemáticas Discretas - p. 1/43 En esta lectura
Más detallesLógica. Matemática discreta. Matemática discreta. Lógica
Lógica Matemática discreta Lógica: rama de las matemáticas instrumento para representar el lenguaje natural proporciona un mecanismo de deducción 2 y de predicados Razonamientos Cálculo proposicional Cálculo
Más detallesANOTACIONES BÁSICAS SOBRE LÓGICA PROPOSICIONAL FILOSOFÍA 1º BACHILLERATO
Pág. 1 Lógica Proposicional La lógica proposicional es la más antigua y simple de las formas de lógica. Utilizando una representación primitiva del lenguaje, permite representar y manipular aserciones
Más detallesEl 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 detallesTaller 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 detallesLa Representación del Conocimiento CÓMO REPRESENTAR EL CONOCIMIENTO?
La Representación del Conocimiento CÓMO REPRESENTAR EL CONOCIMIENTO? TIPOS DE CONOCIMENTO El epistemología es el estudio del conocimiento, hay dos tipos esenciales llamados a priori y posteriori. Algoritmo
Más detalles2.1.- Formalización de enunciados en lenguaje ordinario
2.1.- Formalización de enunciados en lenguaje ordinario Una de las tareas más importantes para poder aplicar la lógica a los diferentes campos del saber humano es la formalización, también conocida como
Más detallesLas falacias que se autorefutan y la consequentia mirabilis Carlos A. Oller Departamento de Filosofía UBA IdIHCS-FaHCE-UNLP
IX Jornadas de Investigación del Departamento de Filosofía FaHCE-UNLP Las falacias que se autorefutan y la consequentia mirabilis Carlos A. Oller Departamento de Filosofía UBA IdIHCS-FaHCE-UNLP Resumen:
Más detallesLÓGICA PRIMER SEMESTRE UNIDAD I. INTRODUCCION.
LÓGICA PRIMER SEMESTRE PRIMER PERIODO 1 1.1 DEFINICION DEL CONCEPTO DE LOGICA FORMAL 1.- Expra la etimología de lógica formal 2.- Explica las características de la lógica formal 3.- Menciona la definición
Más detallesLó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 detalles03. Introducción a los circuitos lógicos
03. Introducción a los circuitos lógicos 1. LÓGICA DE PROPOSICIONES...2 PROPOSICIÓN...2 CONECTORES U OPERADORES LÓGICOS...2 Tablas de...2 Tautología...2 Contradicción...2 2. ÁLGEBRA DE BOOLE...3 AXIOMAS
Más detalleslogica 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