Está en la página 1de 6

GUIA DOCENTE DE LA ASIGNATURA DESCRIPTION OF INDIVIDUAL COURSE UNIT Nombre de la asignatura/mdulo/unidad y cdigo Course title and code Nivel

(Grado/Postgrado) Level of course (Undergraduate/ Postgraduate) Plan de estudios en que se integra Programme in which is integrated Tipo (Troncal/Obligatoria/Optativ a) Type of course (Compulsory/Elective) Ao en que se programa year of study Calendario (cuatrimestre) Calendar (Semester) Crditos tericos y prcticos Credits (theory and practics) Crditos expresados como volumen total de trabajo del estudiante (ECTS) Number of credits expressed as student workload (ECTS) Descriptores Descriptors Objetivos (expresados como resultados de aprendizaje y competencias) Objectives of the course (expressed in terms of learning outcomes and competences) Lgica I

Grado

Licenciatura en Filosofa

Troncal

1 1 (29-9-2009 a 24-01-2010). Exmenes: 11-2-2010 y 18-09-2010 4+2 6* *1 crdito STCE/ECTS = 25 horas de trabajo. (ver ms abajo actividades y horas de trabajo estimadas) Introduccin al anlisis de las relaciones lgicas. Iniciacin en el manejo de lenguajes formales y sus clculos deductivos. El alumno sabr / comprender: -los conceptos lgicos elementales, tales como: argumento, validez, inferencia, formalizacin, metalenguaje, consecuencia, verdad, equivalencia, satisfacibilidad, deduccin, teorema. -las distinciones entre el plano semntico-formal y el sintctico en el anlisis lgico -los valores de verdad de las principales conectivas lgicas -las reglas de inferencia del clculo deductivo de lgica proposicional -las reglas de inferencia del clculo deductivo de lgica de primer orden con identidad El alumno ser capaz de: -sistematizar y desarrollar las intuiciones lgicas de las que est dotado -reconocer la estructura de relaciones lgicas entre los enunciados del lenguaje natural -traducir al lenguaje de lgica proposicional dicha estructura -realizar tablas de verdad -determinar la satisfacibilidad de las frmulas y la validez formal de los argumentos -realizar derivaciones en el clculo de deduccin natural de lgica proposicional -reconocer la forma lgica interna de un enunciado en lo relativo a: predicados, individuos y estructura cuantificacional -traducir al lenguaje de lgica de primer orden con identidad los enunciados del lenguaje natural -realizar derivaciones en el clculo de deduccin natural de lgica de primer orden con identidad

Prerrequisitos y recomendaciones Prerequisites and advises

No existen prerrequisitos, aunque s una serie de recomendaciones: 1. Es fundamental llevar esta asignatura al da, para lo cual cada semana se deben realizar los ejercicios que se vayan asignando, que estn ordenados en complejidad creciente. Si lo hace as, el alumno se encontrar capaz de dominar de manera progresiva los conceptos y tcnicas que se desarrollan a lo largo del curso. Si, por el contrario,

los va dejando para ms adelante, corre el riesgo de que los ejercicios ms difciles se le atraganten al no haberse familiarizado lo suficiente con los ejercicios ms sencillos que los precedan. 2. Es importante no desanimarse cuando algunos ejercicios inicialmente no salgan y repetirlos una vez que se ha consultado con el profesor acerca del error cometido. Para ello el alumno debe acostumbrarse a utilizar las tutoras para resolver sus dudas y plantear dificultades. Las tutoras de las primeras semanas sern especialmente beneficiosas para aquellos alumnos que vieron muy poco o nada de lgica durante el Bachillerato. 3. Es recomendable que se consulte la pgina web peridicamente, para tomar nota de avisos y descargar el material adicional que se vaya colgando. 4. Es divertido, y adems muy til, entretenerse resolviendo acertijos lgicos de libros como los de Raymond Smullyan, as como navegar por las pginas web con juegos de lgica que se pueden encontrar en el vnculo Juegos. Por ltimo, aunque la asignatura se curse en espaol, se recuerda al estudiante la importancia de poder leer el ingls con cierta soltura. El manejo de esta lengua resulta hoy da imprescindible para acceder a gran parte de los recursos disponibles en internet y muchas lecturas recomendables slo se encuentran en dicho idioma. Dado que leer ingls es una habilidad cuyas bases deberan haber quedado sentadas en la enseanza preuniversitaria, aplazar su adquisicin y perfeccionamiento redundara en una carencia que resulta actualmente inadmisible en un estudiante universitario. Palabras clave/contenidos Key words/Course contents Lgica. Filosofa. Argumentacin. Deduccin. Lenguaje. Formalizacin. Tema Tema Tema Tema Tema Tema Bibliografa recomendada Recommended reading 1. 2. 3. 4. 5. 6. Conceptos introductorios El lenguaje de la lgica proposicional Semntica de la lgica proposicional El clculo deductivo en lgica proposicional El lenguaje de la lgica de primer orden con identidad El clculo deductivo en lgica de primer orden con identidad

Libro de texto base: -Dez Calzada, J. A. (2002) Iniciacin a la lgica. Barcelona: Ariel. Bibliografa complementaria: -Badesa, C., Jan, I. Jansana, R. (1998) Elementos de lgica formal. Barcelona: Ariel. -Deao, A. (1974) Introduccin a la lgica formal. Madrid: Alianza. -Falguera, J. L. (1999) Lgica clsica de primer orden. Madrid: Trotta. -Garca Trevijano, C. (1993) El arte de la lgica. Madrid: Tecnos. -Garrido, M. (1995, 3ed.) Lgica simblica. Madrid: Tecnos. -Hofstadter, D. R. (1980) Gdel, Escher, Bach: Un eterno y grcil bucle. Barcelona: Tusquets, 1987. -Lepore, E. (2000) Meaning and Argument. An Introduction to Logic through Language. Oxford: Blackwell. -Manzano, M. y Huertas, A. (2004) Lgica para principiantes. Madrid: Alianza (con CD-Rom de ejercicios). -Smullyan, R. (1981) Cmo se llama este libro? Madrid: Ctedra. -Tymoczko, T. y Henle, J. (2002) Razn dulce razn: Una gua de campo de la lgica moderna. Barcelona: Ariel.

Mtodos docentes Teaching methods

La materia se presenta sobre la base del libro de texto Iniciacin a la lgica (ver bibliografa), aunque completando algunos aspectos, particularmente relativos a la formalizacin, y dejando aparte otros, de manera que la asistencia a las clases presenciales es importante. Al final de cada bloque temtico se pasar un ejercicio, para su realizacin y entrega durante la misma clase, consistente en 10 preguntas tipo test en relacin a los conceptos del tema. Este ejercicio no tiene ninguna validez de cara a la evaluacin, pero su realizacin se considera muy conveniente para un mejor seguimiento del progreso en la asignatura. La metodologa docente incluye: -Clases presenciales tericas, en las que se explicarn los conceptos bsicos. -Clases presenciales prcticas, en las que se resolvern ejercicios modelo, tanto por parte del profesor como de los alumnos que acepten hacerlo en la pizarra. NOTA: Debe observarse que, en la planificacin de actividades que se detalla ms abajo, el nmero de horas que se seala corresponde al tiempo que se dedicar semanalmente a cada actividad enumerada, no a la distribucin de stas en el horario lectivo (que est repartido en clases de 1,5 horas). Dada la relacin entre teora y prctica que existe en esta asignatura, ambos tipos de actividad se irn intercalando a lo largo de las horas de clase. -Realizacin de los ejercicios asignados semanalmente. Si bien el alumno contar con un nmero suficiente de ejercicios resueltos con los cuales l mismo podr ir autoevaluando su nivel de asimilacin de la materia, se proporcionar material complementario para aquellos alumnos que lo deseen. -Tutoras para la resolucin de dudas en relacin a la materia y, muy en particular, a los ejercicios asignados. A este respecto, hay que recalcar que el alumno debe realizar los ejercicios antes de la tutora. Las tutoras podrn ser individuales y de grupo, y en general se planificarn en funcin de necesidades especficas. No obstante, hay al menos dos tutoras de grupo programadas, en las que se realizarn prcticas opcionales con material informtico (CD-ROM y pgina web), una de lgica proposicional y otra de lgica de primer orden. La aplicacin ptima de la metodologa descrita -especialmente en lo referido a las tutoras y prcticas- estar supeditada al nmero de alumnos, ya que una cantidad excesiva podra mermar la calidad de la dedicacin docente.

Actividades y horas de trabajo estimadas Activities and estimated workload (hours)

Actividad Tericas Prcticas Tutoras Exmenes Total

h.clas e 30 15 9 6 60

h. estudio 30 30 6 24 90

Total 60 45 15 30 150

Tipo de evaluacin y criterios de calificacin Assessment methods

La calificacin final responde a los siguientes criterios: A) Prueba de eleccin mltiple sobre conceptos tericos (20%) B) Ejercicios de formalizacin, tablas de verdad y deduccin en lgica proposicional (40%) C) Ejercicios de formalizacin y deduccin en lgica de primer orden (40%) D) Asistencia y participacin: aqu se valorar especialmente la disposicin a hacer ejercicios en la pizarra (permite subir la nota hasta un 5%) La evaluacin se realiza mediante el examen final que tendr lugar en Febrero. En este examen habr ejercicios relativos a A y C, pero no de B. La razn es que la capacidad de formalizacin y deduccin en lgica de primer orden (criterio C) presupone cierta capacidad de formalizacin y deduccin en lgica proposicional (criterio B), de modo que la evaluacin de esta ltima capacidad queda subsumida en la evaluacin de la primera. No obstante, a efectos de favorecer la evaluacin continua, aquellos alumnos que lo deseen podrn realizar a mediados de Noviembre una prueba de asimilacin de la parte correspondiente a B (esto es, un 40% de la nota final). Se recomienda vivamente a todos los alumnos que opten por este sistema. La manera de calcular la nota final ser la siguiente:

i) ii)

Si la nota del examen de Febrero es igual o superior a la del examen de Noviembre, la nota final ser la del examen de Febrero. Si la nota del examen de Febrero es inferior a la nota del examen de Noviembre, la nota final ser el 60% de la nota de Febrero ms el 40% de la nota de Noviembre.

Aunque esta no es una asignatura que se preste a plagio, se recuerda que plagiar es una falta grave que est penalizada con el suspenso directo de la prueba en cuestin o incluso de la asignatura. Por plagio entendemos copiar o imitar algo que no le pertenece a uno y presentarlo como propio. Idioma usado en clase y exmenes Language of instruction Enlaces a ms informacin Links to more information Nombre del profesor(es) y direccin de contacto para tutoras Name of lecturer(s) and address for tutoring Espaol Pgina web del curso: http://www.ugr.es/~fmmanriq/l1.htm Dr. D. Fernando Martnez Manrique Correo electrnico: fmmanriq@ugr.es Despacho 247-B: Departamento de Filosofa, Edificio de Psicologa, Campus Cartuja, 18071 Granada

Sema na 1

Hora s clase 1,5 1,5

Actividades

PLANIFICACIN ACTIVIDADES Planning Contenidos

Presentacin. Discusin objetivos y programa. Terica Informacin de tutoras Terica Prctica Terica Prctica Prctica Terica Prctica Terica Prctica Terica Prctica Tutora de grupo

Tema 1. Conceptos introductorios -Argumentacin. Validez deductiva [Salvo aquellas que se mencionan explcitamente, la fecha y modo de las tutoras se fijar segn necesidades e incidencias] -Falacias. Lenguaje y metalenguaje -Reconocer argumentos vlidos y las principales falacias formales Tema 2. El lenguaje de la lgica proposicional -Niveles de anlisis del lenguaje: sintaxis, semntica formal -Alfabeto y reglas de formacin de L0. Conectivas lgicas -Construccin de frmulas en L0 -Identificar relaciones lgicas entre enunciados -Formalizacin de enunciados del lenguaje natural Tema 3. Semntica de la lgica proposicional -Valores de verdad e interpretacin -Tablas de las conectivas -Resolver tablas de verdad -Satisfacibilidad, tautologa, contradiccin -Consecuencia lgica -Determinar la satisfacibilidad de conjuntos de frmulas y la validez formal de argumentos -Verdad y equivalencia lgica -Interdefinibilidad de conectivas -Determinar la equivalencia entre frmulas -Transformacin de frmulas en sus equivalentes -Prcticas con material informtico de lgica proposicional Tema 4. El clculo deductivo en lgica proposicional -Concepto de deduccin -Reglas de inferencia primitivas y derivadas -Deduccin de frmulas a partir de premisas -Nocin de teorema -Deducibilidad e interdeducibilidad -Deduccin sin premisas (teoremas) -Evaluar argumentos por va deductiva -Repaso de los temas 1-4

2 1

2 1

1 1 1 2 1

2 1

2 1 2 1

Terica Prctica Terica Prctica Terica/prctica EXAMEN DE LGICA PROPOSIC IONAL (opcional)

10

Terica

Prctica

Tema 5. El lenguaje de la lgica de primer orden con identidad -Individuos, predicados y cuantificacin -Alfabeto y reglas de formacin de L1 -Formas cuantificacionales bsicas -Identificar individuos y predicados n-arios -Construir frmulas en L1 -Formalizacin de enunciados cuantificados -Problemas especficos de aquellos alumnos que suspendieron el examen opcional -Formas cuantificacionales ms complejas -Igualador e identidad -Interdefinibilidad de cuantificadores

Tutora de grupo 11 2 Terica

Prctica

-Formalizacin de enunciados cuantificados -Formalizacin con identidad -Formalizaciones equivalentes -Prcticas con material informtico de lgica de primer orden Tema 6. El clculo deductivo en lgica de primer orden con identidad -Reglas de inferencia primitivas y derivadas -Deduccin de frmulas a partir de premisas -Nociones de teorema y deducibilidad en primer orden -Deduccin sin premisas (teoremas) -Evaluar argumentos por va deductiva -Repaso de los temas 5-6

12

Tutora de grupo 2 1 Terica Prctica Terica Prctica Terica/Prctica Conclusiones del curso, encuesta. EXAMEN FINAL

13

1 2

14

15