Universidad Nacional de La PlataFacultad de Humanidades y Ciencias de la EducaciónDepartamento de Filosofía

Asignatura

LÓGICA I

Año lectivo: 2011

Régimen de cursada: Cuatrimestral (1º y 2º cuatrimestre)

Profesor a cargo: Dra. Gladys Palau, profesora titular

Equipo docente: Profesores Adjuntos: Prof. Cecilia Duran y Dr. Rodolfo Ertola

Jefe de Trabajos Prácticos: Andrés Badenes

Ayudantes diplomados: Alejandro Adán, José Luis Alessandrini, Daniel Busdygan, Martín Daguerre y Horacio Mercau

1. FUNDAMENTACIÓN Y OBJETIVOS

La asignatura lógica se dicta para los alumnos de las carreras de filosofía y de psicología, y algunas otras carreras pueden tomarla como asignatura optativa. En tanto ciencia formal dedicada al estudio de los distintos modos de razonamiento forma parte de la filosofía desde sus inicios y constituye una disciplina fundamental tanto para el estudio de los problemas filosóficos fundamentales como los planteados en la gnoseología y la ontología, como para el análisis de la argumentación filosófica y de la argumentación en el ámbito del lenguaje natural. Respecto de la carrera de psicología, su inclusión se debe a que, por una parte, la lógica ayuda a desarrollar el pensamiento abstracto, el cual es condición necesaria para la comprensión de cualquier teoría científica, y, por la otra, a que tanto la lógica clásica como las lógicas no monótonas constituyen hoy en día herramientas formales indispensables para investigar en las ciencias cognitivas.

OBJETIVOS GENERALES:

Comprender el rol de la lógica en la constitución del conocimiento racional. Comprender el rol de la lógica en la argumentación racional. Reconocer argumentos en el lenguaje natural. Distinguir entre argumentos deductivos (no derrotables), cuasi-deductivos y no deduc-

tivos derrotables). Reconocer las características propias de la inferencia deductiva y su rol en laInvestigación científica. Desarrollar el razonamiento abstracto. Iniciar a los alumnos de psicología en la comprensión de las relaciones entre lógica,

teoría de la argumentación (o lógica informal) y psicología cognitiva. Iniciar a los alumnos de filosofía en el análisis de los problemas filosóficos de la lógi-

ca en tanto ciencia.

Lógica I - 2011

U.N.L.P. Facultad de Humanidades y Ciencias de la Educación 1

2. CONTENIDOS Y BIBLIOGRAFÍA OBLIGATORIA

Observación: Los temas y/o bibliografía indicados con * corresponden solamente a los alumnos de la carrera de filosofía

Unidad 1. Sobre el objeto de la lógica

1.1. Nociones introductorias: Usos del lenguaje: informativo, expresivo y emotivo. Dimensiones del lenguaje: sintaxis, semántica y pragmática. Niveles de lenguaje: Lenguaje objeto y metalenguaje. El concepto semántico de verdad. 1.2. La noción de razonamiento o argumento. Premisas y conclusión. Argumentos deductivos (o no derrotables) y argumentos no deductivos (derrotables). Argumentos contrafácticos, plausibles e inductivos. La noción de consecuencia lógica clásica: identidad, monotonía y corte (transitividad). La noción de consecuencia de los argumentos no deductivos o derrotables.

1.3. Argumento o inferencia deductiva. Validez intuitiva. Argumento esquema o esquema de argumento. La génesis del concepto de validez: el silogismo aristotélico. El concepto de forma lógica. Validez formal. Diagramas de Venn. Elementos de Teoría de conjuntos Determinación de la validez de los argumentos silogísticos por Diagramas de Venn.

* Las proposiciones categóricas. El cuadrado de la oposición. Formalizaciones actuales del silogismo categórico.*Breves nociones de historia de la lógica

Unidad 2: Lógica proposicional

2.1 Presentación intuitiva de la lógica proposicional. El concepto de oración (o enunciado o proposición). Símbolos descriptivos y lógicos. Inducción matemática: definición recursiva de fórmula. El concepto de función. Distintas clases de funciones. Las conectivas lógicas como funciones de verdad.

2.2 La función valuación para la lógica proposicional. Tablas de verdad. Contingencias, tautologías y contradicciones. Implicación (o condicional) material e implicación lógica. Paradojas de la implicación material. Equivalencia material y equivalencia lógica. Leyes lógicas. *Pragmática y uso: El significado lógico de las conectivas proposicionales y su relación con el uso en el lenguaje natural.

2.3 Validez semántica de los argumentos o inferencias proposicionales. La prueba de validez de argumentos por tablas de verdad. Prueba de invalidez de argumentos por el método de contraejemplos. Prueba indirecta de validez.

2.4. La noción sintáctica de inferencia lógica. Deducción Natural para la lógica proposicional. Reglas de Introducción y Eliminación de las conectivas proposicionales. Las nociones de demostración y teorema. La noción de consecuencia lógica sintáctica. Resultados de Completitud y Corrección de la lógica proposicional.*Sistemas divergentes de la lógica clásica: lógica intuicionista, lógicas plurivalentes y lógica paraconsistente

Lógica I - 2011

U.N.L.P. Facultad de Humanidades y Ciencias de la Educación 2

Unidad tres: Lógica de Predicados (o de Primer Orden)

3.1 El lenguaje de la lógica de Predicados (o de Primer Orden). Variables de individuo, constantes de individuo, letras de predicado Predicados monádicos y n-ádicos. Cuantificadores universal y existencial. Oraciones (o proposiciones) y funciones proposicionales. El concepto de función proposicional. Clases de funciones proposicionales Definición recursiva de fórmula. Traducción de las proposiciones categóricas aristotélicas al lenguaje de la lógica de predicados. La noción de conjunto. Relaciones y operaciones entre conjuntos. Relaciones y propiedades de las relaciones.

3.2. El enfoque sintáctico de la corrección de argumentos en la lógica de Predicados. Deducción Natural para la Lógica de Predicados. Reglas de Introducción y Eliminación de los cuantificadores. La Semántica de la lógica de Predicados. La demostración de invalidez de un argumento por el método de contraejemplos. La caracterización de validez universal en términos de imposibilidad de contraejemplos. Demostración de corrección de argumentos por deducción natural. Relaciones y propiedades de las relaciones.*Resultados de corrección y completitud para la lógica de predicados.*Extensiones de la lógica de orden uno: Identidad y descripciones definidas. Modalidades aléticas, deónticas y temporales. Los sistemas modales de I. C. Lewis. *Semántica de mundos posibles. Necesidad Lógica.

CARGA HORARIAPsicología: Dos (2) horas de clases teóricas y dos (2) horas de clases prácticas por semana.Filosofía: Cuatro (4) horas de clases teóricas y dos (2) horas de clases prácticas por semana.

BIBLIOGRAFÍA

BIBLIOGRAFÍA BÁSICA OBLIGATORIA :

- L.T.F GAMUT (Pseudónimo colectivo de: J. VAN BENTHEM, J. GROENENDIJK,D.H. DE JONGH, M. STOHOF Y H. VERKUYL): Introducción a la lógica, EUDEBA, Segun-da Edición, 2005 (Traducción de la versión inglesa, titulada Logic, Language and Mea-ning, vol.1: Introduction to Logic, realizada por la profesora Cecilia Durán)

BIBLIOGRAFÍA OBLIGATORIA POR UNIDAD:

Unidad 1.1: - Copi. I: Introducción a la lógica, Eudeba, cap. II. - Garrido,M: Lógica simbólica, Tecnos, cap.III §.3 - Deaño, A.: Introducción a la lógica formal. Alianza. cap. 1

Unidad 1.2: - L.T.F GAMUT, Cap. 1, §1.1

- Copi. I (1978): Introducción a la lógica, Eudeba, cap. I, apartado 4. - * Ficha de cátedra: G.Palau, La noción de argumento y clasificación de los argumentos (en: http://sites.google.com/site/enthimemasite/ )

Unidad 1.3: - L.T.F GAMUT, Cap. 1, § 1.4 y 3.5 - Copi, I. op.cit. cap. V y VI. Lógica I - 2011

U.N.L.P. Facultad de Humanidades y Ciencias de la Educación 3

Unidad 2.1. y 2.2. - L.T.F GAMUT, Cap. 2,§ 2.1 a 2.6 y cap. 4,§ 4.2.1 y

4.3.1 a 4.3.5. - PALAU, G., El método del condicional asociado (en http://sites.google.com/site/enthimemasite/

Unidad 2.3. y 2.4. - L.T.F GAMUT,. Cap 3.,§ 3.1- 3.4 y 3.8 y Cap. 4, § 4.1- 4.4.

Unidad 3.1.- L.T.F GAMUT,§ 3.1-3.4,

Unidad 3.2. - L.T.F GAMUT, § 3.6.1,3.6.2 ,3.6.4 y 3.7, 3.8 y Cap. 4, § 4.3 y 4.4.

BIBLIOGRAFÍA COMPLEMENTARIA PARA LA CARRERA DE FILOSOFÍA

-ALCHOURRON, C.: Concepciones de la lógica, en ENCICLOPEDIA IBEROAMERICANA DE FILOSOFIA (EIAF), tomo 7, Madrid. Ed.Trotta, 1995.

- PALAU, Gladys.:Lógica tradicional aristotélica, en: http://sites.google.com/site/enthimemasite/-- -------------- El argumento por analogía y su estructura (idem)------------------Formalizaciones de la silogística aristotélica (idem)------------------ Definiciones y demostraciones por inducción (idem)

- PALAU, Gladys: Elementos de Teoría de conjuntos (idem)- GOMEZ, Ricardo: El concepto aristotélico de ciencia (ídem) - MATES, Benson: Breve historia de la lógica (ídem)------------------------ Proposiciones y verdad (ídem)- L.T.F GAMUT: op.cit. cap. 5.- PALAU, G. : Introducción filosófica a las lógicas no-clásicas, Gedisa-FFyL, 2002,

§1.1- 1.3, 2.1-2.3, 3.1.1,3.2.1, 6.1 y 6.2.-HUGHES, G.E & CRESSWELL, M. J.: Introducción a la lógica modal, Tecnos, Cap. 2.-L.T.F GAMUT, CAP.3, § 3.7 a 3.9. y primera parte de § 4.4.-ORAYEN, Raúl: Lógica modal, Enciclopedia Iberoamericana de Filosofía, tomo 7.

3. METODOLOGÍA DE TRABAJO Y SISTEMA DE EVALUACIÓN

3.1. Carga horaria: los alumnos de psicología cursan dos horas semanales de clases teóricas y dos horas semanales de clases prácticas, a cargo de la titular y los adjuntos las primeras y a cargo del JTP y los auxiliares docentes las segundas. Ambos tipos de clases cubren las distintas bandas horarias. Los alumnos de filosofía tienen dos horas más de teóricos a cargo de la profesora titular y sólo se les recomienda cursar la asignatura durante el primer cuatrimestre ya que es preferible tener aprobada esta materia para cursar Teoría de la Argumentación en el segundo cuatrimestre.,

3.2. La promoción consiste en un examen parcial y uno final, ambos escritos, debido a la gran cantidad de alumnos. Los alumnos de filosofía completan la evaluación con una exposición oral sobre un tema a elección entre los temas especiales que figuran en cada unidad.Lógica I - 2011

U.N.L.P. Facultad de Humanidades y Ciencias de la Educación 4

4. BIBLIOGRAFÍA COMPLEMENTARIA y/o DE CONSULTA (en castellano)

-BOCHENSKI, Historia de la lógica formal, Madrid, Gredos, 1976-COHEN Y NAGEL: Introducción a la lógica y al método científico, Buenos Aires, Amorrortu,1968.-COPI ,I.: Lógica Simbólica, Madrid, CECSA, 1978.-DEAÑO, A.: Introducción a la lógica formal, Madrid, Alianza Universidad Textos, 1996-ETCHEMENDI, J. & BARWISE, JON, El lenguaje de la lógica de primer orden. Ed. Brujas, 1992 (Incluye versión para Windows de Tarski’s World, 4.0.-HILBERT Y ACKERMANN: Elementos de Lógica, Madrid, Tecnos, 1962.-JEFFREY, Richard.: Lógica formal: su alcance y sus límites. Ediciones Universidad de Navarra.S, A. Pamplona, 1996-KNEALE & KNEALE: El desarrollo de la lógica, Madrid, Tecnos, 1972.-MATES, Benson.: Lógica matemática elemental, Madrid, Tecnos, 1970. - MANZANO M. Y HUERTAS, A.: Lógica para principiantes, Alianza Editorial, 2004. (Viene acompañado con CD de ejercicios)

-QUINE,W.: El sentido de la nueva lógica, Bs.As.,Espasa Calpe,1967.-QUINE,W.: Los métodos de la lógica, Barcelona, Ariel,1967.-SUPPES, Patrick: Introducción a la lógica simbólica, C:E:C:S.A, México,1966.-TARSKI, A.: La concepción semántica de la verdad, en Antología semántica, compilador: Mario Bunge, Bs.As. -TARSKI, A.: Introducción a la lógica, Bs.As.,Espasa Calpe,1957.-TARSKI ,A.: Verdad y demostración, ESCRITOS DE LOGICA Y SEMANTICA Nro.3, Fac.FyL-CBC, 1996.

Dra. Gladys Palau marzo 2011

Lógica I - 2011

U.N.L.P. Facultad de Humanidades y Ciencias de la Educación 5