PLAN 2008

TRAYECTO FORMATIVO FORMACIN ESPECFICA

ESPECIALIDAD FILOSOFA
CURSO 1
ASIGNATURA LGICA
FORMATO MODALIDAD ANUAL
CARGA HORARIA 5 HORAS
FUNDAMENTACIN
La asignatura lgica se dicta para los alumnos de la carrera de profesorado de
Filosofa. En tanto ciencia formal dedicada al estudio de los distintos modos de
razonamiento forma parte de la filosofa desde sus inicios y constituye una
disciplina fundamental tanto para el estudio de los problemas filosficos
fundamentales como los planteados en la gnoseologa, la ontologa y la
epistemologa, como para el anlisis de la argumentacin filosfica en el pasado
y en el presente.

OBJETIVOS
Formar al estudiante para que pueda desempearse
adecuadamente a nivel acadmico en su futura labor docente, en la
disciplina a nivel de la Enseanza Media Superior
Comprender el rol de la lgica en la constitucin del conocimiento
racional y su rol en la argumentacin racional.
Reconocer distintos tipos de inferencias o argumentos.
Reconocer las caractersticas propias de la inferencia deductiva y su
papel en la
Investigacin cientfica.
Iniciar a los alumnos de filosofa en el anlisis de los problemas
filosficos de la lgica.

METODOLOGA
Las cinco horas de este curso se dividirn, en horas de abordaje prctico y horas
de abordaje terico.
En las clases tericas se trabajar acudiendo a las fuentes en el caso de
los grandes lgicos., con una metodologa expositiva-interrogativa. En el
planteamiento del clculo y sus fundamentos se desarrollarn mtodos
participativos.
En las horas de prctico, el trabajo del docente consistir en seleccionar
problemas y ejercicios relevantes y significativos para que los alumnos
resuelvan, con el objetivo no slo de desarrollar las habilites del clculo, sino
de incrementar la comprensin de los problemas lgicos.

EVALUACIN
La evaluacin ser permanente, las caractersticas del trabajo en la disciplina lo
permiten puesto que junto con los aspectos tericos de la misma e incluso para
confirmar su comprensin, se hace necesario plantear a los alumnos la
realizacin de ejercicios y trabajo en el aula de participacin individual y colectiva
en la visualizacin y solucin de problemas.

El pasaje de curso se adecuar a la normativa general del sistema, con dos

pruebas parciales y examen final.

SECUENCIA DE CONTENIDOS
Unidad 1- Teora de la argumentacin y modelos argumentativos

Unidad 2- Presentacin histrica de la gnesis del objeto y caractersticas

de la lgica como ciencia en Grecia. Actualizacin de los problemas planteados
y posibles soluciones. Lenguaje y definicin.

Unidad 3-. Sobre el objeto de la lgica

Estructura de un argumento o inferencia. Argumento o inferencia deductiva.
Validez intuitiva. Argumento esquema o esquema de argumento. El silogismo
aristotlico. El concepto de forma lgica. Validez formal. Diagramas de Venn.
Determinacin de la Validez de los argumentos silogsticos por Diagramas de
Venn. Inferencias no deductivas: razonamientos inductivos y plausibles.

Unidad 4- Lgica proposicional

4.1 Presentacin intuitiva de la lgica proposicional. El concepto de oracin (o
enunciado o proposicin). Smbolos descriptivos y lgicos. El concepto de
funcin. Distintas clases de funciones. Las conectivas lgicas como funciones de
verdad. El contexto pragmtico: el uso de las conectivas en el lenguaje natural.
4.2 La funcin valuacin para la lgica proposicional. Tablas de verdad.
Contingencias, tautologas y contradicciones. Implicacin (o condicional)
material e implicacin lgica.
Paradojas de la implicacin material. Equivalencia material y equivalencia lgica.
Leyes lgicas.
4.3- Validez semntica de los argumentos o inferencias proposicionales. La
prueba de validez de argumentos por tablas de verdad. Prueba de invalidez de
argumentos por el mtodo de contraejemplos. Prueba indirecta de validez. La
nocin de consecuencia lgica semntica.
4.4- La nocin sintctica de inferencia correcta. Deduccin Natural para la lgica
proposicional. Reglas de Introduccin y Eliminacin de las conectivas
proposicionales.
Las nociones de demostracin y teorema. La nocin de consecuencia lgica
sintctica.
Resultados de Completitud y Correccin de la lgica proposicional.

Unidad 5- Lgica de Predicados (o de Primer Orden)

El lenguaje de la lgica de Predicados (o de Primer Orden). Variables de
individuo, constantes de individuo, letras de predicado Predicados mondicos y
n-dicos.
Cuantificadores universal y existencial. Oraciones (o proposiciones) y
funciones proposicionales. Clases de funciones proposicionales Definicin
recursiva de frmula.
Traduccin de las proposiciones categricas aristotlicas al lenguaje de la lgica
de predicados. Relaciones. Propiedades de las relaciones.

Unidad 6- Lgica modal.

Unidad 7- Lmites de las lgicas clsicas: Lgicas divergentes.

BIBLIOGRAFA
-ACKERMANN: Elementos de Lgica, Madrid, Tecnos, 1962.
-ALCHOURRON, C.: Concepciones de la lgica, en ENCICLOPEDIA
IBEROAMERICANA DE FILOSOFIA (EIAF), tomo 7, Madrid. Ed. Trotta, 1995.
-ARISTTELES , Tratados de Lgica: RGANON, Madrid, Gredos, 1988
-BOCHENSKI, Historia de la lgica formal, Madrid, Gredos, 1976
-COHEN Y NAGEL: Introduccin a la lgica y al mtodo cientfico, Buenos Aires,
Amorrortu,1968.
-COPI , I.: Introduccin a la lgica, Buenos Aires, Eudeba, 1970.
- COPI ,I.: Lgica Simblica, Madrid, CECSA, 1978.
-DEAO, A.: Introduccin a la lgica formal, Madrid, Alianza Universidad Textos,
1996
-ETCHEMENDI, J. & BARWISE, JON, El lenguaje de la lgica de primer orden.
Brujas, 1992 (Incluye versin para Windows de Tarskis World), 4.0.
- ECO, UMBERTO. Tratado de Semitica General. Barcelona. Lumen,
1995.
- FREGE, GOTTLOB. Escritos lgico-semnticos. Madrid. Tecnos, 1974. -
GOTTLOB FREGE Investigaciones lgicas, Tecnos, Madrid, 1994.
-GARRIDO, M.: Lgica simblica. Madrid, Tecnos, 1983.-HILBERT Y - HUGHES,
G. E & CRESSWELL, M. J.: Introduccin a la lgica modal, Tecnos.
- JAKOBSON, ROMAN, Ensayos de lingstica general. Barcelona.
Planeta, 1985.
-JEFFREY, Richard.: Lgica formal: su alcance y sus lmites. Ediciones
Universidad de Navarra. Pamplona, 1996.
-KNEALE & KNEALE: El desarrollo de la lgica, Madrid, Tecnos, 1972. -
LUKASIEVICZ, JAN. Estudios de Lgica y Filosofa. Madrid. Revista de
Occidente, 1970, en J.SAMAJA, Op. Cit.
-L. T. F GAMUT, Introduccin a la lgica.
-L .T. F GAMUT (Pseudnimo colectivo de: J. VAN BENTHEM, J.
GROENENDIJK, D. H. DE JONGH, M. STOHOF Y H. VERKUYL): Introduccin
a la lgica, EUDEBA, Segunda Edicin, 2005 (Traduccin de la versin inglesa,
titulada Logic, Language and Meaning, Vol.1: Introduction to Logic, realizada
por la profesora Cecilia Durn).
-MATES, Benson.: Lgica matemtica elemental, Madrid, Tecnos, 1970. -
MANZANO M. Y HUERTAS, A.: Lgica para principiantes, Alianza Editorial,
2004.
(Viene acompaado con CD de ejercicios).
-MARAFIOTI, ROBERTO (compilador), Recorridos semiolgicos. Signos,
enunciacin y argumentacin. Buenos Aires. EUDEBA, 1988.
- MORRIS, CHARLES. Signos, lenguaje y conducta. Buenos Aires. Losada,
1962.
- ORAYEN, Ral: Lgica modal, EIAF.
-PALAU, G., Introduccin filosfica a las lgicas no-clsicas, Gedisa-F F y L,
2002,
-PALAU, G. y col.: Lgicas condicionales y razonamiento de sentido comn.
Gedisa- 2004
-PEREDA, CARLOS. Vrtigos Argumentales. Una tica de la disputa.
Anthropos, Barcelona, 1994.
- QUINE, WILLARD [1973].Las races de la referencia. Madrid. Alianza,
1988.
- QUINE, WILLARD. Palabra y objeto. Barcelona. Labor, 1968.
-QUINE, W.: El sentido de la nueva lgica, Bs. As.,Espasa Calpe,1967.
-QUINE, W.: Los mtodos de la lgica, Barcelona, Ariel,1967.
- RIVERA, SILVIA. Las ciencias formales: objeto y mtodos, en ESTHER
DAZ, La Posciencia, op. cit.
- RUSSEL, BERTRAND. The Principles of Mathematics. Londres. Allen &
Unwin, 2 edicin, 1950. Mxico. UNAM, 1989.
- SAUSSURE, FERDINAND DE. Curso de lingstica general. Buenos
Aires. Losada, 1961.
- SCHAFF, ADAM. Ensayos sobre Filosofa del Lenguaje. Barcelona. Ariel,
1973.
-SUPPES, Patrick: Introduccin a la lgica simblica, C:E:C:S.A, Mxico,1966.
-TARSKI, A.: La concepcin semntica de la verdad, en Antologa semntica,
compilador: Mario Bunge, Bs. As.
-TARSKI, A.: Introduccin a la lgica, Bs. As.,Espasa Calpe,1957.
-TARSKI ,A.: Verdad y demostracin, ESCRITOS DE LOGICA Y SEMANTICA
Nro.3, Fac. F y L-CBC, 1996.
- WITTGENSTEIN, LUDWIG, Tractatus Lgico Philosophicus [Edicin
bilinge alemn-espaol]. Madrid. Alianza Editorial, 2002.