PCA 27F02 Gua Docente Lgica formal

GUA DOCENTE

Lgica formal
Prof. Jos V. Bonet

Grado en Filosofa
Curso 2.

Universidad Catlica de Valencia

1
Grado en Filosofa Online

PCA 27F02 Gua Docente Lgica formal

LGICA FORMAL
Consideraciones previas:
La docencia de esta asignatura es online. Como se especifica en el apartado dedicado a
Metodologa Docente de esta gua, se trata de una enseanza interactiva mediada por
recursos principalmente audiovisuales.

1.- DATOS DE LA ASIGNATURA

Denominacin

Lgica formal

Crditos ECTS

Carcter

Obligatorio

Unidad temporal

2 curso, 1er Semestre

Denominacin del Mdulo

Lgica y Teora de la argumentacin

Requisitos previos

Ninguno

Profesorado

Jose V. Bonet (josev.bonet@ucv.es)

2.- SUMARIO DE LA ASIGNATURA

Lenguaje natural y lenguaje formal; verdad y validez; sistemas formales
Lgica proposicional: conectivas y tablas de verdad; la deduccin natural; reglas de
inferencia y demostracin; teoremas lgicos
Clculo de predicados de primer orden; formalizacin; operadores y reglas bsicas;
silogstica; cuantificacin simple y mltiple; la identidad
Falacias formales e informales
Aproximacin a las lgicas no clsicas; intuicionismo, multivalencia, modalidad

Universidad Catlica de Valencia

2
Grado en Filosofa Online

PCA 27F02 Gua Docente Lgica formal

3.- TEMARIO Y PLANIFICACIN TEMPORAL

Tema 1. CONCEPTOS BSICOS; verdad y validez; oraciones y
predicados; breve historia de la lgica

septiembre

Tema 2. La LGICA DE ENUNCIADOS O PROPOSICIONAL como sistema

formal; los principios de bivalencia, identidad y no
contradiccin

septiembre

Tema 3. Conectivas y tablas de verdad; la cuestin del condicional

material

octubre

Tema 4. Deduccin natural de proposiciones; reglas bsicas de

inferencia y demostracin; reglas derivadas

octubre-

Tema 5. LGICA DE PREDICADOS Y CUANTIFICADORES. Trminos

singulares, variables libres y ligadas. Simbolizacin. Reglas
bsicas.

noviembre

Tema 6. Silogstica clsica y diagramas de Venn

noviembre

Tema 7. La cuantificacin existencial y sus reglas. Cuantificacin

mltiple (formalizacin).

noviembre

Tema 8. FALACIAS formales e informales

noviembre

Tema 9. LGICAS NO CLSICAS; intuicionismo, multivalencia,

modalidad

diciembre

Examen de evaluacin.

enero

4.- BIBLIOGRAFA DE REFERENCIA

4.1 Bibliografa Bsica
4.1.1

Texto dinmico de la asignatura (e-texto) producido por el profesor Jos V.

Bonet Snchez.

Universidad Catlica de Valencia

3
Grado en Filosofa Online

PCA 27F02 Gua Docente Lgica formal

GRADO en FILOSOFA online

Lgica formal
Jos V. Bonet
4.1.2

Alchourrn, C. E. (1995). Lgica. Enciclopedia Iberoamericana de Filosofa, 7.

Consejo Superior de Investigaciones Cientfica. Madrid, Trotta
http://es.scribd.com/doc/86612261/Logica-Carlos-Alchourron-Ed

4.1.3

Cauman, Leigh S. (1998). First-Order Logic. An

Introduction. Berlin, Walter de Gruyter.

http://books.google.es/books?id=TQlvJJgUiVoC&printsec=front
cover&hl=es&source=gbs_ge_summary_r&cad=0#v=onepage&
q&f=false

4.1.4

Garrido, M. (20054). Lgica simblica. Madrid, Tecnos

Universidad Catlica de Valencia

4
Grado en Filosofa Online

PCA 27F02 Gua Docente Lgica formal

4.1.5
Quine, W. O. (19783) Los mtodos de la lgica. Ariel,
1981.

4.1.6

Suppes, P. & Hill (1963). Primer curso de lgica matemtica. Barcelona et al., Ed.
Revert, 1988 (accesible en:
http://librosytutoriales.blogspot.com.es/2011/07/introduccion-la-logicamatematica.html )

4.2 Bibliografa Complementaria

4.2.1

Barrire, E. & Claverol, M. (2006). Introducci a la lgica. Ed. Univ. Politcnica

de Catalunya.

4.2.2

Carroll, L. (1887 y 1896). El juego de la Lgica. Madrid, Alianza, 1988.

4.2.3

Deao. A. (1974). Introduccin a la Lgica Formal. Madrid, Alianza, 1999.

4.2.4

Falguera, J. L. & Martnez Vidal, C. (1999). Lgica clsica de primer orden (con
libro de soluciones), Trotta, Madrid.

4.2.5

Garrido, M., & Valds, L. M. (1989). Lgica y lenguaje. Madrid, Tecnos.

4.2.6

Haack, S. (1978). Filosofas de la lgica. Madrid, Ctedra, 1982

Universidad Catlica de Valencia

5
Grado en Filosofa Online

PCA 27F02 Gua Docente Lgica formal

4.2.7

Hofstadter, D. R. (1979). Gdel. Escher, Bach: un Eterno y Grcil Bucle.

Barcelona, Tusquets, 1982

4.2.8

Garca Trevijano, C. (20023). El arte de la lgica, Madrid, Tecnos.

4.2.9

Manzano, M. & Huertas, A. (2004). Lgica para principiantes. Madrid : Alianza

4.2.10

Quine, W.O. (1970). Filosofa de la lgica. Madrid, Alianza, 1973

4.2.11

Smullyan, R. (1978). Cmo se llama este libro? Madrid, Ctedra, 1988.

4.2.12

Antn, A. & Casa, P. (1998). Lgica matemtica: Teora y prctica. II. Lgica
de predicados. Valencia, Nau Llibres.

4.2.13

Marraud, Huberto (2013): Es lgic@? Anlisis y evaluacin de argumentos.

Madrid: Tecnos, Col. Teorema.

4.2.14

Priets, G. (2000). Logic. A very short introduction. Oxford: Oxford Univ. Press

4.2.15

Tomassi, P. (1999). Logic. London, Routledge.

5. METODOLOGA DOCENTE
La docencia de esta asignatura descansa, principalmente, sobre
tres recursos online:
1) un texto dinmico (e-texto), facilitador del aprendizaje;
2) videoconferencias, a travs de las cuales se imparten
lecciones de teora, y se realizan actividades guiadas
(prcticas, comentarios de textos,), sesiones de seminario y
tutoras colectivas. Las videoconferencias son, en todos los
casos, interactivas;
3) video-lecciones sobre los temas considerados de mayor inters.

Universidad Catlica de Valencia

6
Grado en Filosofa Online

PCA 27F02 Gua Docente Lgica formal

CLASES TERICAS (DE TIPO MAGISTRAL O EXPOSITIVO, CON LA PARTICIPACIN DE LOS / LAS ESTUDIANTES).
N crditos: 1,6
METODOLOGA DE ENSEANZA-APRENDIZAJE:
a)

con la participacin en directo de los estudiantes:

Enseanza sincrnica (esto es, enseanza que, en principio, requiere que estn
estudiantes y profesores simultneamente ante sus respectivos ordenadores) que
emplea recursos multimedia a travs de videoconferencia.
La enseanza sincrnica tiene la ventaja evidente de proporcionar un acceso
inmediato al profesor, a quien se puede ver y or, y con quien se puede interactuar
como si se tratase de un aula fsica.
Es ms, la videoconferencia proporciona excelentes oportunidades para la
enseanza y el aprendizaje: interacciones constructivas y un sentido de comunidad
y experiencia compartida.
Aunque la actividad es sincrnica, la videoconferencia se graba y se almacena en un
repositorio, estando a disposicin del alumnado las 24 h. de los 365 das del ao.

b)

sin la participacin en directo de los estudiantes:

Enseanza a-sincrnica, que emplea intervenciones grabadas en video del profesor
de la asignatura o de expertos invitados.

ACTIVIDADES GUIADAS (DE TIPO PARTICIPATIVO, DONDE SE TRATA DE RELACIONAR LA TEORA CON LA PRCTICA:
ESTUDIO DE CASOS, RESOLUCIN DE PROBLEMAS, ANLISIS DE TEXTOS O DOCUMENTOS).
N crditos: 1
METODOLOGA DE ENSEANZA-APRENDIZAJE:
Enseanza sincrnica (esto es, enseanza que, en principio, requiere que estn
estudiantes y profesores simultneamente ante sus respectivos ordenadores) que
emplea recursos multimedia a travs de videoconferencia
El objetivo principal de estas clases prcticas es ayudar a alcanzar una comprensin
profunda de las teoras y conceptos expuestos en las clases magistrales.
Aunque la actividad es sincrnica, la videoconferencia se graba y se almacena en un
Universidad Catlica de Valencia
7
Grado en Filosofa Online

PCA 27F02 Gua Docente Lgica formal

repositorio, estando a disposicin del alumnado las 24 h. de los 365 das del ao.
TUTORAS (INDIVIDUALES O COLECTIVAS)
N crditos: 0,20
Metodologa de enseanza y aprendizaje:

Entrevista individual de los agentes implicados a travs de skype.

Interacciones virtuales a travs de videoconferencia

o

Tutoras colectivas para anlisis de bibliografa;

Tutoras de preparacin de evaluaciones;

Tutoras colectivas para anlisis de la marcha de la asignatura.

ESTUDIO, PREPARACIN DE TAREAS Y REALIZACIN DE PRUEBAS.

N crditos: 3,20
Metodologa de enseanza y aprendizaje: Trabajo autnomo.

Universidad Catlica de Valencia

8
Grado en Filosofa Online

PCA 27F02 Gua Docente Lgica formal

6.- COMPETENCIAS A ALCANZAR EN LA ASIGNATURA

(La numeracin corresponde a la lista general de competencias del verifica del Grado en Filosofa
Online)
COMPETENCIAS GENERALES [CG]
1 Organizacin y planificacin.
2 Habilidades informticas bsicas.
3 Resolucin de problemas
5 Habilidades interpersonales
11 Capacidad de aprender y ensear

COMPETENCIAS ESPECFICAS [CE]

18 Capacidad de relacionar distintos tpicos filosficos.
23 Redactar ensayos filosficos, mostrando capacidades analticas y sintticas.
25 Ser capaz de comprender y evaluar argumentos filosficos.
26 Ser capaz de construir argumentos filosficos.
31 Analizar la lgica de los lenguajes y sus diversos usos
39 Identificar y reconocer recursos retricos, saber convencional implcito, asunciones tcitas,
vaguedad y superficialidad.
42 Alcanzar un conocimiento riguroso de conceptos lgicos y metalgicos

7.- RESULTADOS DEL APRENDIZAJE

RA1 Conocimiento bsico de la lgica matemtica y de su historia, [CG 1, 11; y CE 20, 37, 42]

Universidad Catlica de Valencia

9
Grado en Filosofa Online

PCA 27F02 Gua Docente Lgica formal

RA2 Destreza en el manejo de las tcnicas lgicas bsicas [CG 2; y CE 2o]
RA3 Comprender la importancia de la lgica para la argumentacin filosfica [CG,5, 6; y CE 18, 31]
RA4. Identificar sofismas, falacias y argumentos mal construidos [CG 6; y CE 39]
RA5. Conocimiento y uso de los distintos tipos de argumentos [CG 11; y CE 25, 26]

8.- VOLUMEN DE TRABAJO PARA EL/LA ESTUDIANTE

Concepto
Asistencia a clases tericas

Nmero de horas
16

Asistencia a clases prcticas

10

Asistencia a tutoras

Preparacin de clases tericas (1,5x16)+1

25

Preparacin de clases prcticas (1x10)+1

11

Preparacin de exmenes (3 das x 7h.)

21

Realizacin de examen final

Realizacin de autoevaluaciones

Total

90

9.- EVALUACIN
Se har uso de aplicaciones del aula virtual para que el alumnado pueda auto-evaluarse tras el
desarrollo de cada tema.
El cuadro siguiente recoge los distintos porcentajes otorgados a las diversas actividades
docentes, as como la modalidad de realizacin (entendiendo en todas las ocasiones a distancia
como online).

Universidad Catlica de Valencia

10
Grado en Filosofa Online

PCA 27F02 Gua Docente Lgica formal

Modalidad

Porcentaje

Instrumento de evaluacin
Prcticas, trabajo en grupo y participacin en
seminarios

Comunicacin sincrnica

15%

Registros de participacin, elaboracin

personal de argumentos y lecturas
obligatorias

A distancia

15%

Evaluaciones peridicas mediante cuestionario

A distancia

20%

Evaluacin final

Presencial

50%

Universidad Catlica de Valencia

11
Grado en Filosofa Online