Estudios de Nivelacin para acceder al Mster Universitario en Filosofa Terica y Prctica

GUA DE ESTUDIO
2013-2014

Lgica
Jos Francisco lvarez lvarez
! ! ! !

UNIVERSIDAD NACIONAL DE EDUCACIN A DISTANCIA

MSTER EN FILOSOFA TERICA Y PRCTICA

PLAN DE TRABAJO Y ORIENTACIONES PARA SU DESARROLLO

Lgica

Nombre del autor(es) ! !

TTULO DE LA ASIGNATURA DEL MSTER

1. Plan de Trabajo

En el cuadro que sigue a continuacin se resume el conjunto de temas que componen este curso as como las actividades a realizar. En l se seala tambin el tiempo idneo de dedicacin a cada tema y actividad, aunque tan slo a ttulo orientativo, siendo tal distribucin del tiempo susceptible de modificacin por parte del alumno conforme a sus necesidades e intereses.

BLOQUES TEMTICOS

h o r a s

ACTIVIDADES

h o r a s

total h o r a s 20 20

s e m a n a s 2 3

1.- Verdad y validez. Lenguaje natural y lenguaje formal. 2.- Operadores lgicos proposicionales. Reglas de formacin de frmulas. Formalizacin del lenguaje natural. 3.- Mtodos de evaluacin semntica: Tablas de Verdad y rboles Semnticos. 4.- Mtodos de evaluacin sintctica: Deduccin Natural. Reglas bsicas y derivadas. 5.- Conceptos bsicos del clculo axiomtico: axiomas, teoremas y reglas de transformacin.

15 15

Participacin en los foros con ejercicios de lgica y debate. Participacin en los foros con ejercicios de lgica y debate.

5 5

20

Participacin en los foros con ejercicios de lgica y debate. Participacin en los foros con ejercicios de lgica y debate. Participacin en los foros con ejercicios de lgica y debate. TOTAL

10

30

20

15

35

15

20

125

16

MSTER EN FILOSOFA TERICA Y PRCTICA

2. Orientaciones para el estudio de los contenidos

2.1.- BLOQUE I: Verdad y validez. Lenguaje natural y lenguaje formal. Introduccin Este apartado est dedicado a la consideracin de la naturaleza de la lgica como ciencia que tiene como objeto el anlisis formal de los argumentos. En l se introduce la distincin entre lenguaje natural y lenguaje formal y se da cuenta de la necesidad que tiene la ciencia de la lgica de recurrir a un lenguaje formal. Tambin se introduce la distincin entre las nociones de verdad y validez, haciendo hincapi en la vinculacin de esta ltima a la nocin de forma de un argumento o inferencia. Resultados de aprendizaje: Conocimientos: 1.- Saber distinguir las nociones de verdad emprica y verdad lgica o validez. 2.- Comprender la idea de lenguaje formal y saber reconocer formas lgicas en expresiones del lenguaje natural.

2.2.- BLOQUE II: Operadores lgicos proposicionales. Reglas de formacin de frmulas. Formalizacin del lenguaje natural. Introduccin En este segundo apartado procederemos a la construccin del lenguaje lgico ms elemental y bsico de todos: el de la lgica proposicional o de enunciados. En l distinguimos entre los enunciados a componer y las partculas que permiten la composicin entre ellos y presentamos los respectivos smbolos, variables y constantes, que componen el vocabulario de este lenguaje. Estudiaremos tambin las reglas que rigen la formacin de frmulas con dichos smbolos y nos serviremos de ellos para la traduccin de enunciados y argumentos del lenguaje natural. Resultados de aprendizaje: Conocimientos: 1.- Entender la distincin entre variable y constante. 2.- Saber formalizar, es decir, traducir del lenguaje natural al lenguaje formal que estamos estudiando.

2.3.- BLOQUE III: Mtodos de evaluacin semntica: Tablas de Verdad y rboles Semnticos.

Nombre del autor(es) ! !

TTULO DE LA ASIGNATURA DEL MSTER

Introduccin De las frmulas de la lgica proposicional se dice que son funciones de verdad, ya que los valores que adoptan son valores de verdad resultantes de componer otros valores de verdad. En tanto que tales, pueden ser representadas y evaluadas mediante tablas que reciben el nombre de tablas de verdad. Adems de este mtodo de evaluacin, consideraremos tambin el de los rboles semnticos, un mtodo que permite la bsqueda sistemtica de una interpretacin invalidadora de una forma argumentativa. Resultados de aprendizaje: Conocimientos: 1.- Saber hacer una Tabla de Verdad e interpretarla. 2.- Saber haber una rbol Semntico e interpretarlo.

2.3.- BLOQUE IV: Mtodos de evaluacin sintctica: Deduccin Natural. Reglas bsicas y derivadas. Introduccin Tarea capital de la lgica formal es el estudio y la formulacin explcita de las reglas que gobiernan las argumentaciones deductivas. Dada la funcin esencial que estas reglas de inferencia desempean en la realizacin de deducciones, es interesante presentarlas ordenadas en un sistema. Un conjunto de reglas sistemticamente ordenado se denomina Clculo lgico. En este apartado nos ocuparemos del clculo proposicional, de la distincin de sus reglas bsicas y sus reglas derivadas, y procederemos a la evaluacin de algunas formas argumentales mediante la aplicacin de dichas reglas. Resultados de aprendizaje: Conocimientos: 1.- Comprender qu es una Deduccin Natural, sabiendo distinguir sus elementos. 2.- Saber examinar argumentos mediante el clculo deductivo presentado. 3.- Entender la diferencia entre regla bsica y regla derivada. 2.5.- BLOQUE V: Conceptos bsicos del clculo axiomtico: axiomas, teoremas y reglas de transformacin. Introduccin La deduccin presentada en el apartado anterior es una deduccin que se apoya en una serie de reglas de inferencia para extraer consecuencias derivables de ciertos supuestos inicialmente aceptados. Pero hay otro tipo de deduccin: aquella que se apoya en proposiciones previamente aceptadas con arreglo a algn criterio de racionalidad. Estas proposiciones se denominan axiomas, las proposiciones deducidas se les da el nombre de teoremas y de la deduccin axiomtica se dice que es una
5

MSTER EN FILOSOFA TERICA Y PRCTICA

demostracin. En este apartado, adems de familiarizarnos con todos estos conceptos, veremos de forma sucinta una presentacin de la lgica proposicional en forma de sistema axiomtico. Resultados de aprendizaje: Conocimientos: 1.- Comprender las nociones de axioma, teorema y regla de transformacin. 2.- Distinguir el clculo natural del clculo axiomtico.

3. Orientaciones para la realizacin del plan de actividades

Objetivos El objetivo del apartado I es la comprensin de algunos conceptos bsicos para la formacin lgica y filosfica del alumno. Quien no tenga una idea clara de los conceptos de validez o de forma lgica, por ejemplo, no habr entendido la naturaleza de esta ciencia ni est en condiciones de valorar su importancia. Una exposicin clara de todos estos conceptos la hallar el alumno en el captulo I, Primeros conceptos, de Introduccin a la lgica formal de A. Deao y en el captulo I de Formas Lgicas de Castrillo-Dez. De igual modo que para poder hablar un lenguaje natural es preciso aprender un vocabulario y unas reglas de sintaxis, lo primero que hemos de hacer para estar en condiciones de formalizar y probar la validez de formas argumentales, es familiarizarnos con el vocabulario, las reglas de formacin de frmulas y las reglas de inferencia. De lo primero se ocupa el captulo segundo de Formas Lgicas y el captulo 2.1 de Introduccin a la lgica formal. El estudio de los captulos tercero y cuarto (evaluacin por mtodos semnticos y evaluacin por mtodos sintcticos, respectivamente) se puede realizar siguiendo los captulos III y IV de Formas Lgicas, y el captulo II.3 de Introduccin a la lgica formal. Finalmente, un tratamiento de los contenidos relativos al bloque V los encontrar el alumno en el captulo II.2 de Introduccin a la lgica formal.

Criterios de evaluacin La evaluacin de esta asignatura exige necesariamente la realizacin de un examen final que constar de 5 preguntas, dos sobre comprensin de los conceptos y tres de formalizacin y clculo. Puesto que es una asignatura del primer semestre, la prueba tendr lugar en Febrero y en Septiembre. En su momento se subirn a la red pruebas tanto para la comprensin de los conceptos como para el ejercicio prctico de formalizacin y deduccin, para que el alumno pueda ir autoevaluando su nivel de competencia en la materia.

Nombre del autor(es) ! !

La realizacin de actividades, como la resolucin de ejercicios propuestos, la contribuciones en los temas a debate planteados en los foros, la participacin en actividades online, tienen carcter voluntario pero se considerar como actividad de formacin continua para quienes opten por hacerlos. Estas actividades podrn suponer hasta un 25% de la nota final Algunas de las actividades podrn realizarse colaborativamente con otros estudiantes. Se podrn formar equipos de estudio que podrn planificar mantener comunicaciones directas con el profesor mediante la utilizacin de aplicaciones de videoconferencia (preferiblemente con HangOut o con las aulas AVIP), para resolver cuestiones que hayan quedado planteadas en las actividades prcticas y que precisen mayor aclaracin. Estas comunicaciones se establecern para precisar aspectos tericos y para ayudar a la adquisicin de competencias en la resolucin de problemas. Estas acciones especiales se realizarn a peticin de los estudiantes, una vez acordado con el profesor el momento adecuado y los objetivos de la actividad que, en general, ser de comentario y ampliacin de los trabajos realizados y de los problemas que hayan intentado resolver. Su carcter individual o grupal depender de la demanda, del trabajo colaborartivo realizado en el seno de la plataforma y de las posibilidades tecnolgicas.

TTULO DE LA ASIGNATURA DEL MSTER

4. Glosario
El alumno debe prestar especial atencin al significado de los siguientes trminos: Argumento Axioma Clculo Consecuencia Forma lgica Frmula Implicacin Inferencia Lenguaje formal Ley Regla de inferencia Tautologa Teorema Validez Verdad