ESCUELA DE CIENCIAS HUMANAS PROGRAMA: Asignatura Métodos Formales Código 17200166 Tipo de saber: Básica Complementaria Formación integral Tipo de asignatura: Obligatoria X Electiva Número De Créditos 3 Prerrequisitos Inglés Teoría de conjuntos Correquisitos Período Académico 01 1. RESUMEN JUSTIFICACIÓN El objetivo de la asignatura es mostrar al estudiante cómo puede abarcarse un problema filosófico desde distintos métodos formales como son, por ejemplo, los modelos de mundos posibles, los modelos probabilísticos, etc. Se tomará un problema-base fundamental en filosofía, como el problema de la creencia y, en especial, el de cómo se modifican las creencias a partir de nuevas informaciones que se suman a un conjunto preexistente. Los distintos métodos formales se utilizarán para mostrar cómo se pueden explicar las operaciones básicas del cambio de creencias: la expansión, la revisión y la contracción. Esta asignatura continúa el camino iniciado en el programa de lógicas filosóficas y, por lo tanto, presupone que el estudiante maneja correctamente la teoría de conjuntos. Para el desarrollo total de los temas de la asignatura, se ha escogido el libro de Peter Gärdenfors Knowledge in Flux. 2. OBJETIVOS Por habilidades: Se pretende y se espera que los alumnos ejerciten y desarrollen las siguientes capacidades básicas para el trabajo filosófico: La comprensión, análisis y construcción de argumentaciones deductivas. La interpretación de un texto filosófico, lo cual incluye el discernimiento claro de la estructura del texto, sus divisiones y subdivisiones, la identificación de los problemas centrales que se plantean en él y de las eventuales soluciones que se propongan.
La reconstrucción y el análisis de los argumentos a favor de las soluciones o tesis propuestas. La formulación de preguntas que permitan hacer un análisis y examen crítico de un texto filosófico. La discusión ordenada y provechosa de tales preguntas con pares académicos. La redacción de un ensayo argumentativo en el que se trate de dar solución a un problema no trivial 3. OBJETIVOS ESPECÍFICOS Se espera que los estudiantes continúen afianzando su formación lógica y formal, y aprendan la aplicabilidad de estos conocimientos a problemas filosóficos específicos. Se pretende que los estudiantes logren un conocimiento y manejo general de los siguientes modelos formales: Modelos mentales, modelos probabilísticos, el sistema de la conservación de la verdad de Doyle, modelos de mundos posibles y los sistemas de creencias de Ellis. Se pretende de igual manera que los estudiantes comprendan y manejen correctamente las tres maneras básicas del cambio de creencias, revisión, contracción y expansión, y comprendan también cómo los modelos se aplican a ellas. Los estudiantes deberán entender las diferencias fundamentales, y las ventajas y desventajas de la utilización de estos modelos en los problemas filosóficos, en comparación con el tratamiento no formal de estos problemas. 4. CONTENIDOS Y ACTIVIDADES POR SESIONES Sesión Temas y Lecturas 1 Introducción y presentación del programa. 2 Los elementos de las teorías epistemológicas. Parte I Capítulo I, MIT Press, Cambridge. 3 Los modelos I: Grupos de creencias 4 Los modelos II: Los sistemas de creencias de Ellis 5 Los modelos III: Modelos de mundos posibles 6 Los modelos IV: El sistema de la conservación de la verdad de Doyle 7 Los modelos V: Modelos probabilísticos 8 Los modelos VI: Modelos mentales
9 Examen # 1 10 Los cambios de creencias I: Expansión 11 Los cambios de creencias II: Revisión 12 Los cambios de creencias III: Contracción 13 La dinámica I: De las contracciones a las revisiones y viceversa 14 La dinámica II: La construcción de funciones de contracción Parte I Capítulo IV, MIT Press, Cambridge. 15 La dinámica III: La dinámica de los modelos probabilísticos Parte I Capítulo V, MIT Press, Cambridge. 16 Examen # 2 5. PRINCIPALES PRÁCTICAS PEDAGÓGICAS A UTILIZAR METODOLOGÍA En el seminario se utilizará la metodología usual de un seminario avanzado en filosofía: Ponencias y exposiciones: Todo alumno escribirá una ponencia con base en algunas de las lecturas del numeral anterior. En su escrito deberá explicar la lectura asignada, para lo cual deberá, a la vez, explicar el objetivo de la misma, sus divisiones y subdivisiones y los argumentos presentes en ella. Ha de dar ejemplos distintos a los del autor, y desarrollarlos utilizando el modelo explicado en la lectura, demostrando así que ha aprendido a manejar el modelo en cuestión. El estudiante habrá de plantear preguntas que permitan una discusión crítica del texto. El texto se entregará con una semana de anterioridad tanto al profesor como a los demás estudiantes, y el día de la sesión el estudiante hará una exposición del mismo (no se ha de entender por esto una simple lectura), en la que explique a los demás tanto el modelo como su funcionamiento. Discusión:
Con base en el texto, en la ponencia correspondiente y en preguntas de los demás participantes en el seminario, se llevará a cabo una discusión. Antes de comenzarla se harán observaciones puntuales a la ponencia y se hará una agenda de discusión en la que se seleccionarán y ordenarán las preguntas del ponente y de sus compañeros. En la discusión se seguirá la agenda hasta donde el tiempo lo permita. Se discutirán las preguntas ordenadamente, sin que se cambie de cuestión, a menos que se considere que ella ya ha sido discutida suficientemente. Las intervenciones deben ser pertinentes y puntuales. En cada momento de la discusión debe ser claro qué pregunta se está discutiendo y las intervenciones que no sean relevantes para tratar de responder a ella serán rechazadas, esto con el fin de que la discusión sea ordenada y provechosa. Exámenes: Se han programado dos exámenes en total. Uno de ellos a la mitad del desarrollo del programa y el otro al final del mismo. Los exámenes no son acumulativos y su objetivo es la evaluación de la capacidad de los estudiantes para utilizar los modelos tratados en la asignatura para poder evaluar el desempeño del estudiante en todos los modelos y no sólo en el que ha decidido exponer. Proyecto de ensayo final: Cada alumno escribirá un proyecto en el que planteará claramente la pregunta o problema que quiere tratar de resolver en un ensayo final y un plan provisional de los pasos que se darían para tratar de dar solución a la pregunta. Ensayo final: Una vez el profesor devuelva a los alumnos el proyecto aprobado y con sugerencias, el alumno deberá redactar el ensayo final desarrollando el plan de su proyecto. El trabajo debe tener: - Una introducción, que puede ser una versión revisada del proyecto. - Una hipótesis. - Un desarrollo de los pasos anunciados en la introducción. - Unas conclusiones en las que se resumirán los logros del trabajo, aclarando en qué medida se dio solución a la pregunta o problema. En el desarrollo deben darse argumentos a favor de la solución que se defiende sobre la pregunta planteada; también se deben tratar de anticipar objeciones a la solución propuesta y sugerir respuestas a ellas; se deben evitar digresiones superfluas, rodeos innecesarios y saltos abruptos en el desarrollo del trabajo. Debe quedar claro cómo cada parte del desarrollo del ensayo contribuye a cumplir con el propósito central del mismo, es decir, a dar solución a su pregunta central. 6. FORMAS DE EVALUACION La evaluación del trabajo de los estudiantes en el seminario se basará en: - Ponencia y exposición (25%)
- Examen 1 (15%) - Examen 2 (20%) - Participación en las discusiones (10%) - Trabajo final (30%) 7. BIBLIOGRAFIA Principal: - MIT Press, Cambridge. De consulta: Collins, John, Belief, Desire and revision. En: Mind, Vol. 97, No. 387, p. 333-342, Julio de 1988. Eells, Ellery (Editor), (1994), Probability and Conditionals: Belief Revision and Rational Decision, Cambridge University Press, Cambridge. Gärdenfors, Peter, Belief Revision and Relevance. En: Proceeding of the Biennial Meeting of the Philosophy of Science Association, Vol. 2, p. 349-365, 1990. Gärdenfors, Peter & Van Rijsbergen, C.J. (Editores), (2003), Belief Revision, Cambridge University Press, Cambridge. Harman, Gilbert, Positive Versus Negative Undermining in Belief Revision. En: Nous, Vol. 18, No. 1, p. 39-49, Marzo de 1984. Martin, J. & Osherson, Daniel, Scientific Discovery Based on Belief Revision. En: The Journal of Symbolic Logic, Vol. 2, No. 4, p. 1352-1370, Diciembre de 1997. Para repasar teoría de conjuntos: Caicedo, Xavier, (1990), Elementos de lógica y calculabilidad, Universidad de los Andes, Departamento de Matemáticas, Bogotá.