LÓGICA curso vespertino - 1º cuatrimestre 2019

Temas y bibliografía para el PARCIAL TEÓRICO (19 de junio 19hs.)

A.- Nociones pre-teóricas

A.1.- Argumento, esquema de argumento. Argumentos deductivos e inductivos

A.2.- Evaluación de los argumentos. Validez y verdad. Verdad lógica. Argumentos sólidos

A.3.- Prueba. Deducción. Contra-argumento.

A.4.- Forma lógica. Expresiones lógicas. Lenguaje formal. Lenguaje y metalenguaje

Bibliografía

GAMUT, L:T:F (2009) Lógica, lenguaje y significado, Volumen I, EUDEBA, Argentina, Capítulo 1,
Introducción , 1.1 y 1.2

Falguera López, J.L. & Martinez Vidal, C. (1999) Lógica clásica de primer orden, Ed. Trotta, España,
Capítulo I Primeras Nociones Teóricas, I.1, I,2 y I.3

B. Lenguajes formales y sistemas lógico formales

B.1.- Constante lógica y sistemas lógicos

B.2.- Lenguajes formales: su estructura básica. Distintos significados de la palabra “formal”.

Distinción entre sintaxis y semántica. La noción de sistema formal como cálculo

B.3.- La noción de sistema lógico formal: caracterización

Bibliografía

GAMUT, L:T:F (2009) Lógica, lenguaje y significado, Volumen I, EUDEBA, Argentina, Capítulo 1,
Introducción , 1.3 y 1.6

Falguera López, J.L. & Martinez Vidal, C. (1999) Lógica clásica de primer orden, Ed. Trotta, España,
Capítulo II, II.1, II.2, II.3 y II.4

Klimovsky, G (2005) Las desventuras del conocimiento matemático, AZ ed. Argentina, pp. 112-115.
C. Sistemas axiomáticos

C.1.1 Breves consideraciones históricas. Elementos de un sistema axiomático

C.1.2 Sistemas axiomáticos formales. Lógica y axiomatización: un ejemplo de sistema axiomático

para la lógica clásica de enunciados: el sistema PME. Axiomas, esquemas de axiomas reglas de
transformación

C.1.3 Prueba axiomática vs prueba en deducción natural. Derivación, deducción, fórmulas

deductivamente equivalentes, leyes lógicas.

Bibliografía

Cassini, A (2012) El juego de los principios, Segunda Edición, AZ ed. Argentina, Capítulo 2 pp. 57,
2.1 y 2.2

Falguera López, J.L. & Martinez Vidal, C. (1999) Lógica clásica de primer orden, Ed. Trotta, España,
Capítulo III: Lógica Clásica de enunciados: sistemas lógico-formales, III.1 y III.2

Klimovsky, G (2005) Las desventuras del conocimiento matemático, AZ ed. Argentina, Capítulo 3
pp. 55-73.

D. Semántica formal para la lógica clásica

D. 1.- Semántica para un lenguaje de la lógica clásica de enunciados: Presupuestos. Nociones

básicas de una teoría traskiana de la verdad.

D. 2.- Tautologicidad y equivalencia lógica. Principio de condicionalización. Funciones de verdad y

conjunto adecuado de conectivas.

D. 3.- Semántica para un lenguaje de la lógica clásica de primer orden (predicados): Presupuestos y
elementos básicos. Funciones de interpretación y modelos. Verdad lógica y equivalencia lógica.

Bibliografía

Falguera López, J.L. & Martinez Vidal, C. (1999) Lógica clásica de primer orden, Ed. Trotta, España,
Capítulo IV IV.1, IV.3: 3.1, 3.2, 3.6, 3.8, Capitulo V, V.3.: 3.1, 3.5

GAMUT, L:T:F (2009) Lógica, lenguaje y significado, Volumen I, EUDEBA, Argentina, Capítulo 3:
Lógica de predicados: 3.6
E. Nociones de metalógica

E.1.- El concepto de consecuencia lógica: forma y modalidad. Propiedades de las nociones

semántica y sintáctica de consecuencia lógica.

E.2.- La noción de deducción y el meta-teorema de la deducción: presentación

E.3.- Algunas propiedades metalógicas de los sistemas lógico-formales: corrección, consistencia,

completitud, independencia e indecibilidad.

Bibliografía

Alchourrón, C (1995) “Concepciones de la lógica”, Enciclopedia Iberoamericana de Filosofía,

Volumen 7, III., IV. V. y VI. pp. 14-29.

Falguera López, J.L. & Martinez Vidal, C. (1999) Lógica clásica de primer orden, Ed. Trotta, España,
Capítulo VIII: VIII.6, pp. 393- 407.

Gómez Torrente, M. (2000) Forma y modalidad: una introducción al concepto de consecuencia

lógica, EDUDEBA, Argentina, I. y II.