Guía Lógica II

1.PRESENTACIN DE LA ASIGNATURA

2.CONTEXTUALIZACIN EN EL PLAN DE ESTUDIOS

ASIGNATURA DE GRADO:

LGICA II Curso 2013/2014

(Cdigo:70012039)

Esta asignatura no es sino una prolongacin de la Lgica I. En ella se estudia el apartado de la Lgica denominado Lgica de predicados o Lgica cuantificacional, esto es, aquella parte que se ocupa del estudio de las relaciones deductivas entre enunciados que involucran el uso de partculas como todo o alguno. Los cuantificadores, que es como se denomina a los smbolos formales correspondientes a estas partculas, desempean un papel fundamental en esta Lgica. Una vez presentados estos y el resto de smbolos que conforman el vocabulario del lenguaje de esta Lgica, se exponen las reglas que rigen la formacin de frmulas en el mismo. La tarea, como en el caso de la Lgica I, se completa con la exposicin de las reglas de evaluacin semntica y la formulacin explcita de las reglas que gobiernan las operaciones deductivas, presentadas de un modo sistemticamente ordenado. Cerraremos la asignatura asomndonos a algunos desarrollos formales que o bien amplan o bien se presentan como alternativas a la Lgica estudiada en este curso.

Esta asignatura, junto con la de Lgica I, constituye una presentacin de los conceptos, problemas y mtodos de anlisis y de investigacin en general, que desempean un papel fundamental en el estudio y comprensin de las asignaturas del Grado de Filosofa, especialmente de las siguientes: - Filosofa del Lenguaje I y II - Filosofa de la Lgica - Teora de la Argumentacin - Filosofa de la Ciencia I y II - Historia General de la Ciencia I y II - Filosofa de las Ciencias Sociales - Filosofa de la mente

Como tal, esta asignatura contribuye al desarrollo de las siguientes capacidades: 1.- Saber analizar pormenorizadamente las categoras conceptuales en torno a las cuales se articula el lenguaje natural y el cientfico. 2.- Comprender mejor los problemas filosficos, muchas veces mal entendidos y afrontados por una deficiente formacin en Lgica. 3.- Detectar falacias argumentativas, es decir, distinguir las buenas de las malas argumentaciones. 4.- Seleccionar y organizar los conceptos principales de la Lgica. 5.- Reconocer lo que se justifica en una argumentacin y cmo se hace. 6.- Reconocer la dependencia de la verdad de una afirmacin de otras verdades presupuestas o asumidas. Esta asignatura contribuir a la adquisicin de las siguientes competencias generales: 1.- Capacidad alta para la abstraccin. 2.- Capacidad para precisar la enunciacin de un problema filosfico. 3.- Capacidad para criticar argumentativamente un conjunto de afirmaciones. 4.- Capacidad para redactar crtica y sintticamente un trabajo sobre una lectura. 5.- Capacidad para reconocer las propias dificultades de aprendizaje y localizar los ejercicios en cuya prctica se debe insistir. 6.- Capacidad para gestionar y organizar la informacin relevante 7.- Capacidad para ajustarse a lo que se dice en una afirmacin o en una peticin.

3.REQUISITOS PREVIOS REQUERIDOS PARA CURSAR LA ASIGNATURA

4.RESULTADOS DE APRENDIZAJE

5.CONTENIDOS DE LA ASIGNATURA

Para entender los contenidos de esta asignatura es muy importante haber comprendido los conceptos centrales de la asignatura Lgica I, as como haber adquirido una cierta destreza en la formalizacin y el clculo de la Lgica proposicional. No obstante no se exige tener aprobada la asignatura Lgica I para poder matricular y cursar Lgica II.

1.- Resultados de aprendizaje de la asignatura Lgica II: - Saber traducir del lenguaje natural al lenguaje formal que es objeto de estudio en esta asignatura, adquiriendo as un dominio de las tcnicas de formalizacin de enunciados y argumentos. - Comprender la estructura lgica de algunas cuestiones centrales de la Filosofa, especialmente las de existencia e identidad. - Saber analizar la estructura formal interna de los enunciados. - Saber operar con nombres propios y con descripciones definidas e identidad. - Identificar los dos tipos de cuantificacin y sus negaciones. - Conocer las reglas bsicas del clculo cuantificacional, tanto las semnticas como las sintcticas, y operar con ellas. - Saber evaluar semnticamente las afirmaciones y los argumentos que contienen cuantificacin. - Saber demostrar la validez deductiva de una argumentacin con cuantificacin y con identidad. - Saber presentar contraejemplos para las malas argumentaciones. - Saber explicar el significado de los conceptos principales de esta materia. 2.- Resultados de aprendizaje de la materia Lgica y Filosofa del Lenguaje: - Capacidad para gestionar la calidad del trabajo y su planificacin de una manera autnoma y autorregulada. - Capacidad de anlisis y de sntesis en vistas a la comprensin de los textos y problemas y a un razonamiento crtico propio. - Capacidad de aplicar los conocimientos y resolver problemas incluso en entornos nuevos y poco conocidos. - Capacidad de expresarse y comunicarse. - Capacidad de usar las herramientas y recursos de la Sociedad del Conocimiento.

1. El lenguaje de la Lgica de Predicados. Elementos del lenguaje y reglas de formacin de frmulas. En este tema se expone el lenguaje de la Lgica de Predicados, esto es, los distintos smbolos que constituyen su vocabulario y las reglas de formacin de frmulas de dicho lenguaje. Una vez expuestos los elementos del lenguaje, es estudia, por una parte, cmo interpretar frmulas de dicho lenguaje y, por otra, cmo emplearlo para formalizar enunciados del lenguaje natural. 2. Ampliacin del lenguaje cuantificacional: Descripciones definidas e identidad. En este tema se explica la conveniencia de enriquecer el lenguaje formal expuesto en el tema anterior, con dos nuevos smbolos primitivos: el smbolo de identidad (=) y el de la descripcin definida (i), cuyos respectivos usos se establecen, en el caso de la conectivas lgicas y los cuantificadores, por las reglas de inferencia que los gobiernan. En l se ilustra tambin cmo emplearlos para formalizar enunciados del lenguaje natural. 3. Mtodos sintcticos para la validacin de argumentos. El clculo de la Deduccin Natural.

6.EQUIPO DOCENTE

7.METODOLOGA Y ACTIVIDADES DE APRENDIZAJE

Este apartado constituye una presentacin de la Lgica de Predicados con identidad y descripciones definidas como un sistema de reglas de inferencia. Se presentan las Reglas Bsicas relativas al cuantificador universal, al particular, a la identidad y al descriptor, as como algunas reglas derivadas de uso frecuente, y se muestra cmo utilizar unas y otras para la convalidacin de argumentos. 4. Reglas semnticas para la evaluacin de los argumentos. Los rboles semnticos. En el tema anterior hemos visto cmo convalidar argumentos aplicando reglas sintcticas de inferencia para obtener una conclusin a partir de unas premisas dadas; pero los argumentos tambin pueden ser evaluados por mtodos semnticos. En este apartado se ofrecen las Reglas Bsicas de los dos cuantificadores, la identidad y la descripcin. Los rboles semnticos suministran un procedimiento que se puede aplicar de manera mecnica (un algoritmo) para determinar la invalidez de una frmula o conjunto de frmulas, si bien dicho procedimiento, en esta Lgica ampliada, no es concluyente en todos los casos. 5. Aproximacin a otras lgicas. Lgica modal y Lgica multivalente. Un sistema lgico queda caracterizado por un conjunto de constantes lgicas y por la interpretacin

que estas reciben. Lo que hemos estudiado hasta ahora es la Lgica elemental o de Primer Orden, tambin llamada clsica o estndar. Pero en los ltimos tiempos se hallan en curso de gestacin otros muchos sistemas que o bien son extensiones de esta Lgica o bien se presentan como alternativas rivales de la misma. En este tema nos limitamos a examinar brevemente los conceptos modales de necesidad y posibilidad y los presupuestos de bivalencia cuestionados por algunos autores.

AMPARO DIEZ MARTINEZ

Debido a la metodologa de la enseanza a distancia propia de nuestra Universidad las actividades formativas se han de distribuir aqu en un tiempo de interaccin con los equipos docentes y tutores y el trabajo autnomo del alumno: 1. Interaccin con el equipo docente y profesores tutores La interaccin entre profesores y alumnos tendr lugar por diferentes medios: presencialmente, por telfono, por correo postal y sobre todo va Internet, a travs de las plataformas virtuales propias de la UNED. El foro virtual, por otra parte, posibilita una enriquecedora interaccin entre los estudiantes entre s, constituyendo un momento esencial del proceso formativo en la medida en que crea una comunidad acadmica de dilogo y estudio, comunidad que orienta, contrasta y evala este mismo proceso y sopesa los resultados obtenidos. A estas actividades se les conceden, de modo orientativo, el 40% de los crditos ECTS asignados a esta asignatura. Dichas actividades y sus crditos correspondientes son los siguientes: - Lectura de las orientaciones para el estudio proporcionadas por el equipo docente: 2% de los ECTS. - Participacin en los foros virtuales de la pginas web de la asignatura: 15% de los ECTS. - Consulta personal del estudiante al profesor y al tutor segn las cuatro modalidades de contacto antes mencionadas: 5% de los ECTS. - Asistencia a las tutoras presenciales en los Centros Asociados: 10% de los ECTS - Realizacin de trabajos y exmenes: 8% de los ECTS. 2. Trabajo autnomo del estudiante Consiste en el trabajo que realiza el estudiante de forma autnoma; por su importancia se le otorga el 60% de los crditos asignados a la asignatura. Incluye las siguientes actividades con sus crditos correspondientes: - Estudio de los manuales de la asignatura: 30% de los ECTS.

8.EVALUACIN

9.BIBLIOGRAFA BSICA

- Realizacin de ejercicios y trabajos escritos: 30% de ECTS. La metodologa de enseanza-aprendizaje que se va a seguir en esta asignatura ser la especfica de la enseanza a distancia, que incluye actividades presenciales (clases impartidas por los profesores tutores) y tutoras en red, donde se plantearn problemas y ejercicios diversos, se solucionarn dudas, se darn consejos para el estudio y la preparacin de la prueba presencial, etc. Se pondr a disposicin del alumno una Gua con un plan de actividades y un conjunto de recomendaciones para optimizar su proceso de aprendizaje. Los alumnos debern entrar en la plataforma virtual de la asignatura en ALF para, as, poder descargar la segunda parte de esta Gua Didctica, donde se especifica un plan de trabajo orientativo, que incluye informacin sobre el procedimiento para la evaluacin continua y diverso material para la prctica de ejercicios, con vistas a la preparacin de la prueba presencial.

La evaluacin de est asignatura se llevar a cabo mediante dos vas: 1.- Evaluacin continua y formativa. El alumno que lo desee podr realizar un trabajo, consistente en el comentario crtico de alguno de los textos que se indicarn en la segunda parte de la Gua de la asignatura. Este trabajo consistir en un resumen de las ideas principales contenidas en el texto, as como una contextualizacin de las mismas y, en su caso, una propuesta de preguntas al texto. La extensin no superar las 2.000 palabras y ser corregido por el profesor Tutor asignado al alumno, una vez que ste haya subido su trabajo al espacio reservado en aLF (pestaa "subir tarea"), en las fechas que se indican en la segunda parte de esta gua. Su valor en la nota final ser del 10% (hasta 1 punto), siempre que se haya obtenido un aprobado (5) como mnimo en la prueba presencial. El equipo docente, con ayuda del TAR (Tutor de Apoyo en Red) ir subiendo a la plataforma de la asignatura una serie de ejercicios de formalizacin y de clculo, para facilitar la preparacin del alumno para la prueba presencial. En los foros tendr lugar tambin una variedad de discusiones sobre los conceptos principales de la asignatura. Por ello la participacin de los alumnos en estas actividades es altamente recomendable. En la plataforma virtual encontrar el alumno, adems, un listado con preguntas frecuentes, que le ayudar tambin a consolidar la comprensin de los conceptos centrales de la asignatura. 2.- Prueba presencial. Para aquellos alumnos que opten por la Evaluacin Continua, la prueba presencial tendr un valor del 90% en la nota final; para quienes opten por limitarse a la prueba presencial, tendr un valor del 100%. El examen consistir en cinco preguntas; al menos una de ellas de carcter terico y el resto con cuestiones variadas, ya sea de ejercicios de formalizacin, interpretacin o clculo, ya sea de compresin de conceptos. En la prueba presencial no estar permitido el uso de ningn material. Junto con las cuestiones del examen, el alumno recibir una hoja con algunas reglas para la Deduccin Natural.

ISBN(13): 9788420686813 Ttulo: INTRODUCCIN A LA LGICA FORMAL (1) Autor/es: Deao Gamallo, Alfredo ; Editorial: ALIANZA EDITORIAL, S.A.

Buscarlo en libreria virtual UNED

Buscarlo en bibliotecas UNED

Buscarlo en la Biblioteca de Educacin

Buscarlo en Catlogo del Patrimonio Bibliogrfico

ISBN(13): 9788436258585 Ttulo: FORMAS LGICAS (GUA PARA EL ESTUDIO DE LA LGICA) (2003)



10.BIBLIOGRAFA COMPLEMENTARIA

Comentarios y anexos:

Los dos textos de la bibliografa bsica son los indicados para la preparacin de las dos asignaturas de Lgica I y Lgica II.

El programa guarda, en lneas generales, correspondencia con los contenidos del libro de Deao. El libro Formas Lgicas no

se ha concebido como un manual de Lgica, sino como un complemento necesario, orientado especialmente a ofrecer:

- pautas para la correcta formalizacin del lenguaje natural, con abundantes ejemplos comentados,

- estrategias para la convalidacin de argumentos en el clculo de la Deduccin Natural, con ejercicios resueltos y

comentados,

- explicaciones ms pormenorizadas de algunas de las nociones bsicas de la Lgica, y

- la presentacin del mtodo de evaluacin de frmulas y esquemas de argumentos mediante rboles Semnticos (este

mtodo no se explica en el libro de Deao).

Los dos libros son de lectura obligatoria, es decir, sern los libros de referencia para las pruebas presenciales.

Autor/es: Castrillo Criado, Pilar ; Dez Martnez, Amparo ; Editorial: UNED



ISBN(13): 9788430937479 Ttulo: LGICA SIMBLICA (4 ed.) Autor/es: Garrido Garrido, Manuel ; Editorial: Tecnos





ISBN(13): 9788434480421 Ttulo: RAZN, DULCE RAZN : Autor/es: Tymoczko, Thomas ; Henle, Jim ; Editorial: ARIEL





ISBN(13): 9788434487642 Ttulo: INICIACIN A LA LGICA Autor/es: Dez Calzada, Jos Antonio ; Editorial: ARIEL





ISBN(13): 9788436251166 Ttulo: INTRODUCCIN A LA FILOSOFA DE LA LGICA (1) Autor/es: Dez Martnez, Amparo ; Editorial: UNED





ISBN(13): 9788439522003 Ttulo: LOS MTODOS DE LA LGICA (1981) Autor/es: Quine, W. V. O. ; Editorial: ARIEL





ISBN(13): 9788475332918 Ttulo: LA LGICA Y SU FILOSOFA : Autor/es: Quesada, Daniel ; Editorial: BARCANOVA





ISBN(13): 9788476424186 Ttulo: LGICA MATEMTICA Autor/es: Casa, Pascual ; Editorial: NAU Llibres





ISBN(13): 9788481642919 Ttulo: LGICA CLSICA DE PRIMER ORDEN Autor/es: Martnez Vidal, Concepcin ; Falguera Lpez, Jos Luis ; Editorial: TROTTA





ISBN(13): 9789502312248 Ttulo: INTRODUCCIN A LA LGICA



11.RECURSOS DE APOYO

12.TUTORIZACIN

(2002) Autor/es: Gamut, L. T. F. ; Editorial: EUDEBA



El recurso fundamental es el curso virtual. Al matricularse, el alumno recibir una clave de acceso a Ciber-UNED. Con esa clave podr acceder a todas las asignaturas que curse y a sus correspondientes cursos virtuales. Se trata de una herramienta de gran utilidad en la enseanza a distancia. En concreto, a travs del curso virtual el alumno podr: 1. Recibir instrucciones especficas de apoyo en el estudio de la asignatura, bien por medio de la Gua con el Plan de estudio y actividades, bien mediante instrucciones complementarias que ir proporcionando el equipo docente. 2.- Formular dudas de contenido en los foros y recibir la correspondiente respuesta. 3.- Formular dudas sobre la evaluacin, materiales docentes, as como preguntas sobre los procedimientos administrativos de la asignatura, recibiendo la respuesta pertinente. 4.- Contactar e intercambiar opiniones con otros compaeros de asignatura. 5.- Contactar y comunicarse con otros compaeros de su centro asociado y con el tutor del mismo. 6.- Presentar la solucin a exmenes de aos anteriores y discutirla con sus compaeros y con el tutor. 7.- Realizar ejercicios de formalizacin y de clculo, solicitando y recibiendo las explicaciones oportunas. 8.- Plantear y debatir sobre temas relacionados con los contenidos de la asignatura, orientados por el equipo docente.

La tutela de esta asignatura correr a cargo de la Profesora responsable de la misma.

Horario de atencin al alumno

Atencin telefnica: Martes por la maana, de 11 a 1.

Entrevistas personales: Previa cita por e-mail, se acordar el da y la hora a conveniencia del alumno, an cuando no sea

dentro del horario de permanencia.

Consultas en el foro y por e-mail: En cualquier momento. Se procurar responder, o cuanto menos dar acuse de recibo, en

el plazo ms breve posible, al margen de los horarios de permanencia.

Medios de contacto

Direccin postal: UNED. C/ Senda del Rey, 7. Despacho 321. 28040 Madrid.

Telfono: 91 398 8111

Correo electrnico: adiez@ fsof.uned.es

Guía Lógica II

Documents

Transcript of Guía Lógica II