ASIGNATURA DE GRADO:

LGICA II
Curso 2013/2014
(Cdigo:70012039)

1.PRESENTACIN DE LA ASIGNATURA

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.

2.CONTEXTUALIZACIN EN EL PLAN DE ESTUDIOS

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

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.

4.RESULTADOS DE APRENDIZAJE

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.

5.CONTENIDOS DE LA ASIGNATURA

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.

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.

6.EQUIPO DOCENTE
AMPARO DIEZ MARTINEZ

7.METODOLOGA Y ACTIVIDADES DE APRENDIZAJE

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.

- 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.

8.EVALUACIN

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.

9.BIBLIOGRAFA BSICA

Buscarlo en libreria virtual UNED

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

Buscarlo en bibliotecas UNED

Buscarlo en la Biblioteca de Educacin

Buscarlo en Catlogo del Patrimonio Bibliogrfico

Buscarlo en libreria virtual UNED

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

Buscarlo en bibliotecas UNED

Autor/es: Castrillo Criado, Pilar ; Dez

Martnez, Amparo ;
Editorial: UNED

Buscarlo en la Biblioteca de Educacin

Buscarlo en Catlogo del Patrimonio Bibliogrfico

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.

10.BIBLIOGRAFA COMPLEMENTARIA

Buscarlo en libreria virtual UNED

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

Buscarlo en bibliotecas UNED

Buscarlo en la Biblioteca de Educacin

Buscarlo en Catlogo del Patrimonio Bibliogrfico

Buscarlo en libreria virtual UNED

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

Buscarlo en bibliotecas UNED

Buscarlo en la Biblioteca de Educacin

Buscarlo en Catlogo del Patrimonio Bibliogrfico

Buscarlo en libreria virtual UNED

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

Buscarlo en bibliotecas UNED

Buscarlo en la Biblioteca de Educacin

Buscarlo en Catlogo del Patrimonio Bibliogrfico

Buscarlo en libreria virtual UNED

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

Buscarlo en bibliotecas UNED

Buscarlo en la Biblioteca de Educacin

Buscarlo en Catlogo del Patrimonio Bibliogrfico

Buscarlo en libreria virtual UNED

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

Buscarlo en bibliotecas UNED

Buscarlo en la Biblioteca de Educacin

Buscarlo en Catlogo del Patrimonio Bibliogrfico

Buscarlo en libreria virtual UNED

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

Buscarlo en bibliotecas UNED

Buscarlo en la Biblioteca de Educacin

Buscarlo en Catlogo del Patrimonio Bibliogrfico

Buscarlo en libreria virtual UNED

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

Buscarlo en bibliotecas UNED

Buscarlo en la Biblioteca de Educacin

Buscarlo en Catlogo del Patrimonio Bibliogrfico

Buscarlo en libreria virtual UNED

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

Buscarlo en bibliotecas UNED

Buscarlo en la Biblioteca de Educacin

Buscarlo en Catlogo del Patrimonio Bibliogrfico

Buscarlo en libreria virtual UNED

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

Buscarlo en bibliotecas UNED

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

Buscarlo en la Biblioteca de Educacin

Buscarlo en Catlogo del Patrimonio Bibliogrfico

11.RECURSOS DE APOYO

El recurso fundamental es el curso virtual. Al matricularse, el alumno recibir una clave de acceso a CiberUNED. 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.

12.TUTORIZACIN
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