ASIGNATURA DE GRADO:

LGICA I

Curso 2017/2018
(Cdigo de asignatura : 70012105)

NOMBRE DE LA ASIGNATURA LGICA I

CDIGO 70012105

CURSO ACADMICO 2017/2018

DEPARTAMENTO LGICA, HISTORIA Y F. DE LA CIENCIA

TTULOS EN QUE SE IMPARTE GRADO EN FILOSOFA (grado seleccionado)

CURSO SEGUNDO CURSO

TIPO OBLIGATORIAS

N ECTS 5

HORAS 125

PERIODO SEMESTRE 1

IDIOMAS EN QUE SE IMPARTE CASTELLANO

PRESENTACIN Y CONTEXTUALIZACIN

Esta asignatura es, por una parte, una primera aproximacin a alguno de los conceptos en torno a los cuales se
articula la Lgica y, por otra, una presentacin de lo que constituye el apartado ms bsico y fundamental de esta
disciplina, la llamada Lgica de enunciados o Lgica proposicional.

La Lgica de enunciados es la parte de la Lgica que se ocupa de la composicin de enunciados o proposiciones

mediante el empleo de partculas como y, o, si entonces y otras de la misma ndole. El objeto de la misma es
formalizar y definir este tipo de partculas llamadas conectivas y estudiar las relaciones de inferencia fundadas en ellas.
Una vez presentado el lenguaje especfico de esta Lgica (esto es, su vocabulario y las reglas de formacin de
frmulas) y expuesta su aplicacin a la formalizacin de enunciados y argumentos del lenguaje natural, estudiaremos
algunos mtodos para la evaluacin de los esquemas enunciativos y de argumentos; primero en su vertiente semntica,
mediante las tablas de verdad y los rboles semnticos y a continuacin desde el punto de vista sintctico, mediante la
Deduccin Natural, formulando explcitamente las reglas bsicas de la inferencia vlida. Cerraremos el curso con una
pequea aproximacin a las nociones y reglas del clculo axiomtico, sin poner en prctica dichas reglas, sino
nicamente con el objetivo de comprender la organizacin de un conjunto de verdades en un sistema axiomtico.

El estudio de esta asignatura es fundamental para la comprensin de la Lgica cuantificacional o de predicados,

objeto de estudio de la asignatura Lgica II. Juntas constituyen la Lgica elemental o de Primer Orden.

Esta asignatura, junto con la de Lgica II, 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

- 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, tener la capacidad para distinguir las buenas de las malas
argumentaciones.

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

REQUISITOS Y/O RECOMENDACIONES PARA CURSAR LA ASIGNATURA

Para cursar esta asignatura no se necesita ningn conocimiento previo, salvo los requeridos para el acceso a los
estudios del Grado de Filosofa.

EQUIPO DOCENTE
Nombre y AMPARO DIEZ MARTINEZ
Apellidos

Correo adiez@fsof.uned.es
Electrnico

Telfono 91398-8111

Facultad FACULTAD DE FILOSOFA

DEPARTAMENTO LGICA,H Y FILOSOFA DE LA CIENCIA

HORARIO DE ATENCIN AL ESTUDIANTE Y TUTORIZACIN

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

Horario de atencin telefnica

Martes, de 10.00 a 14.00 h.

Entrevistas personales: Previa peticin de cita por e-mail, se acordar el da y la hora.

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

Medios de contacto

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

Telfono: 91 398 8111

Correo electrnico: adiez@ fsof.uned.es

COMPETENCIAS QUE ADQUIERE EL ESTUDIANTE

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 reconocer las propias dificultades de aprendizaje y localizar los ejercicios en cuya prctica se debe
insistir.

5.- Capacidad para gestionar y organizar la informacin relevante

6.- Capacidad para ajustarse a lo que se dice en una afirmacin o en una peticin.

RESULTADOS DE APRENDIZAJE

1.- Resultados de aprendizaje de la asignatura Lgica I:

- 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.
- Identificar los operadores lgicos proposicionales.
- Saber analizar la estructura formal de la composicin de enunciados.
- Conocer las reglas bsicas del clculo proposicional, tanto las semnticas como las sintcticas, y operar con frmulas.
- Saber evaluar semnticamente las afirmaciones y los argumentos.
- Saber demostrar la validez deductiva de una argumentacin.
- Saber presentar contraejemplos de 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.

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

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: 18% 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: 13% de los ECTS

- Realizacin de exmenes: 2% 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: 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.

SISTEMA DE EVALUACIN

PRUEBA PRESENCIAL

Tipo de examen Examen de desarrollo

Preguntas desarrollo 5
Duracin del examen 120 (minutos)

Material permitido en el Ninguno.

examen

Criterios de evaluacin Los alumnos deben demostrar en el examen:

1) que han entendido y saben manejar las reglas del clculo deductivo (Deduccin
Natural) y las del clculo mediante rboles semnticos;

2) que han entendido nociones centrales de la lgica, como las de validez, frmula bien
formada, contraejemplo, contradiccin, axioma, implicacin, tautologa, contingencia,
constante lgica, valores de verdad, entre otras;

3) que saben formalizar, es decir, extraer la forma lgica de un enunciado (frmula) y la

de un argumento (esquema inferencial);

4) que saben encontrar una interpretacin de una frmula (enunciado) y la de un

esquema inferencial (argumento), con arreglo a ciertos requisitos establecidos en el
examen;

5) eventualmente, que saben realizar una Tabla de Verdad e interpretarla.

% del examen sobre la 100

nota final

Nota del examen para 5

aprobar sin PEC

Nota mxima que aporta 10

el examen a la
calificacin final sin PEC

Nota mnima en el 5
examen para sumar la
PEC

Comentarios y Junto con el enunciado de examen, se entregar tambin al alumno una tabla de reglas,
observaciones que ser exactamente la que se subir a la plataforma Alf.

PRUEBAS DE EVALUACIN CONTINUA (PEC)

Descripcin La profesora atender a las intervenciones de los alumnos en alf para valorar el trabajo formativo
que el alumno vaya demostrando all. Estas intervenciones solamente pueden servir para subir unas
dcimas la nota del examen, cuando la profesora lo considere pertinente, nunca para bajarla.

Criterios de Se tendr en cuenta el nmero de intervenciones en alf y la calidad de las mismas.

evaluacin

Ponderacin
de la PEC en
la nota final

Fecha
aproximada
de entrega
Comentarios y
observaciones

OTRAS ACTIVIDADES EVALUABLES

Descripcin

Criterios de evaluacin

Ponderacin en la nota final 0

Fecha aproximada de entrega

Comentarios y observaciones

Cmo se obtiene la nota final?

La nota final es la calificacin obtenida en el examen escrito, modificada ligeramente al alza, cuando el alumno haya
participado a lo largo del curso en alf y haya mostrado all un progreso adecuado en la compresin de los conceptos
centrales de la asignatura y una competecia suficiente en la formalizacin y el clculo.

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

Buscarlo en Editorial UNED

Buscarlo en libreria virtual UNED

Buscarlo en bibliotecas UNED

Buscarlo en la Biblioteca de Educacin

ISBN(13): 9788436258585
Ttulo: FORMAS LGICAS (GUA PARA EL ESTUDIO DE LA LGICA) (2003)
Autor/es: Castrillo Criado, Pilar ; Dez Martnez, Amparo ;
Editorial: UNED

Buscarlo en Editorial UNED

Buscarlo en libreria virtual UNED

Buscarlo en bibliotecas UNED

Buscarlo en la Biblioteca de Educacin

Comentarios y anexos:

Los dos textos de la bibligrafa 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.

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

Buscarlo en libreria virtual UNED

Buscarlo en bibliotecas UNED

Buscarlo en la Biblioteca de Educacin

Buscarlo en Catlogo del Patrimonio Bibliogrfico

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

Buscarlo en bibliotecas UNED

Buscarlo en la Biblioteca de Educacin

Buscarlo en Catlogo del Patrimonio Bibliogrfico

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

Buscarlo en libreria virtual UNED

 Buscarlo en bibliotecas UNED

Buscarlo en la Biblioteca de Educacin

Buscarlo en Catlogo del Patrimonio Bibliogrfico

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

Buscarlo en libreria virtual UNED

Buscarlo en bibliotecas UNED

Buscarlo en la Biblioteca de Educacin

Buscarlo en Catlogo del Patrimonio Bibliogrfico

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

Buscarlo en bibliotecas UNED

Buscarlo en la Biblioteca de Educacin

Buscarlo en Catlogo del Patrimonio Bibliogrfico

ISBN(13): 9788476422359
Ttulo: LGICA MATEMTICA I. LGICA DE ENUNCIADOS (Edicions Culturals Valencianes)
Autor/es: Antn Antn, Amador ; Casa Muoz, P. ;
Editorial: Edicions Culturals Valencianes

Buscarlo en libreria virtual UNED

Buscarlo en bibliotecas UNED

Buscarlo en la Biblioteca de Educacin

 Buscarlo en Catlogo del Patrimonio Bibliogrfico

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

Buscarlo en libreria virtual UNED

Buscarlo en bibliotecas UNED

Buscarlo en la Biblioteca de Educacin

Buscarlo en Catlogo del Patrimonio Bibliogrfico

RECURSOS DE APOYO Y WEBGRAFA

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

En caso de no recibir la clave en el momento de matriculacin o de extraviarla, solictela en el Negociado de Alumnos de

la Facultad o en su Centro Asociado.