UNIVERSIDAD DE ANTIOQUIA

1.1.1 INSTITUTO DE FILOSOFA

CURSO: Lgica simblica I

CDIGO: 1401 135
GRUPO: 01 Y 02
CRDITOS: 04
INTENSIDAD: 4 horas semanales (64 semestre)
SEMESTRE: 2004 02
PROFESOR: JUAN FELIPE GARCS GMEZ
HORARIO: GRUPO 01: M-J 12-14 Y GRUPO 02: L-W 12-14
AULA: 11-302

Tesis del curso

Mis proposiciones esclarecen porque quien me

entiende las reconoce al final como absurdas,
cuando a travs de ellas sobre ellas ha salido
fuera de ellas. (Tiene, por as decirlo, que arrojar la
escalera despus de haber subido por ella.) 1
Ludwig Wittgenstein.

Reglas, frmulas, formalismos, leyes, variables, entre otros conceptos de tenor

semejante, se nos antojan substancialmente unidos al concepto de lgica. Tal situacin,
en nuestro medio, genera el lugar comn de la frialdad del formalismo y el asunto se
complica cuando la aproximacin a la filosofa entre nosotros est ms asociada a las
humanidades que a problemas de tipo lgico matemtico o la ciencia. Sin embargo, una
aproximacin a la filosofa que quiera introducir en la tradicin y los problemas
actuales, y ser as el primer paso de la formacin de filsofos y licenciados en filosofa,
no puede dar la espalda a un desafo que desde antiguo hace parte de la filosofa: volver
minuciosamente sobre el camino que nos condujo a los logros que creemos alcanzar con
el pensamiento y ofrecerlo a otros mediante la formulacin de vas que lo conduzcan a
l con mayor seguridad y le eviten senderos hacia el error o la perogrullada. Una de esas
vas de acceso y control del conocimiento, en el cual hemos puesto todas nuestras
esperanzas en algunas pocas, es la lgica y, como lo fue recientemente, la metodologa.

Por otro lado, la fascinacin permanente del lenguaje, la fascinacin que entraa la
posibilidad de representarnos realidades concretas o, mejor, construir sentidos con el
lenguaje, recorre la cultura occidental. Desde la secta de los pitagricos, quienes no
vacilaron a la hora de asesinar a quien revel el secreto del dodecaedro, hasta los
miembros del Crculo de Viena, quienes pretendan que en el lenguaje formalizado de la
lgica podra expresarse todo lo expresable con sentido sobre la realidad, el lenguaje
ejerce una considerable atraccin. Los trabajos fundacionales de la lgica en Aristteles,
la lgica de los estoicos, la geometra euclidiana, la fsica clsica, la fsica
contempornea, la gramtica, y an la Kbbala o la numerologa, por dismiles que

1 Proposicin 6.54. Tractatus logico Philosophicus, Barcelona, Altaya, 1994, pp 183.

1
puedan ser para ortodoxos de todo tipo, tienen algo en comn. Creemos que, de alguna
manera, formalmente, dicen algo que da que pensar sobre aspectos formales que se
pueden extraer de las cosas reales o que son aceptadas como tales por algunos grupos y
sociedades.

Sin embargo, ms all de una justificacin histrica de la preocupacin por el lenguaje y

muy especialmente por el lenguaje formalizado, es necesario insistir en la centralidad
del problema del lenguaje desde la prdida de la inocencia epistemolgica que
representa el giro lingstico. Giro operado a finales del siglo XX y que goza de
mltiples interpretaciones, segn las tradiciones filosficas implicadas.

Para la cultura filosfica anglosajona las crticas de Frege a Kant y a Husserl,

permiten emprender la tarea de la bsqueda de una relacin intrnseca entre
matemtica, lgica y lenguaje, eliminando todo psicologismo y posibilitando una va
de acceso semntica al conocimiento; entre los que se plegaron a este programa
filosfico estn los miembros del crculo de Viena (Neurath, Carnap, entre otros),
Russell, el primer Wittgenstein, Tarski y Quine. Ms adelante, la irrupcin de la
pragmtica del lenguaje por parte del segundo Wittgenstein, permite los trabajos de
Austin y Searle, conocidos como filosofa del 'lenguaje ordinario'.

En la tradicin germana, si bien desde la Metacrtica a la crtica de la razn

pura de Herder, se instaura una vertiente paralela y minoritaria en torno a la relacin
lenguaje - conocimiento, esta se afronta desde un plano esttico, en lo que se
configur poco a poco como tradicin hermenutica. Sin embargo, el impacto del
giro lingstico ya en el siglo XX, se puede constatar tanto en la fenomenologa y
hermenutica desde Heidegger hasta Gadamer como en la Teora Crtica, desde las
posturas crticas de Adorno al empirismo lgico hasta la lectura hecha por Habermas
y Apel de la filosofa anglosajona del lenguaje.

Finalmente, en el caso francs el lenguaje hace presencia merced al surgimiento

de la lingstica saussuriana y los posteriores desarrollos de la lingstica estructural
y de los formalistas rusos. Trabajos de amplio impacto en las problemticas
filosficas, antropolgicas y de los estudios literarios.

Hoy no podemos desconocer el impacto profundo de las reflexiones sobre el lenguaje en

casi todas las reas del pensamiento, incluso las crticas de la posmodernidad al
proyecto ilustrado giran en torno a asuntos del lenguaje por oposicin al
representacionalismo. En el caso de este curso introductorio a la lgica, en el cual los
problemas que se configuran en la relacin lenguaje conocimiento son de primer orden,
buscamos dotar al alumno de las herramientas que coadyuvarn a una relacin menos
trivial con el lenguaje y el mundo. Pero quiz lo ms importante del curso ser
apropiarse del lenguaje, y an de sus zonas ms formalizadas, no como mero vehculo
de comunicacin sino como donador de sentido, constructor de mundos.

Metodologa

2
El curso est centrado en dotar a los alumnos de los conceptos que le permitirn
reflexionar en el futuro sobre la problemtica relacin del lenguaje con el conocimiento
tanto en la contemporaneidad como en la tradicin de la lgica misma. En tal sentido, el
curso se centrar en la discusin de textos previamente asignados y a la elaboracin de
informes de lectura que den cuenta de la apropiacin de los conceptos y problemas del
curso.

Evaluacin

La evaluacin del curso se realizar del siguiente modo:

1. Examen parcial sobre lgica de enunciados 25 %
2. Informes de lectura 50%
3. Trabajo final 25 %

Cronograma de lecturas

Septiembre 6: FREGE, Gottlob. Sobre sentido y referencia (1892)

Septiembre 20: QUINE, Willard v. O. Dos dogmas del empirismo (1953)
Octubre 4: TARSKI, Alfred. La concepcin semntica de la verdad y los fundamentos
de la semntica (1944)
Octubre 19: DUMMETT, Michel. Teoras del significado veritativo-condicionales
(1991)
Noviembre 2: GRICE, Paul. Lgica y conversacin (1975)
Estos textos hacen parte de la antologa: VALDS VILLANUEVA, Luis. (Comp.) La
bsqueda del significado. Madrid, Tecnos, 2000, 716 pp.

Trabajo final: Un escrito no mayor a cinco pginas sobre el concepto de semitica en

el siguiente libro: MORRIS, Charles.(1971) Fundamentos de la teora de los signos,
Barcelona, Paids, 1994, 122 pp. El texto debe ser entregado el 19 de Noviembre.

Contenidos del curso

1. Lgica de enunciados.
2. Introduccin a la semntica filosfica.
3. Introduccin a las teoras de la verdad en perspectiva lgico formal.

Bibliografa

ADORNO, Theodor. Sobre la metacrtica de la teora del conocimiento. Barcelona,

Planeta-Agostini, 1986, 287 pp.
ARISTTELES. Tratados de lgica (rganon) I, Madrid, Gredos, 1994, 384 pp.
ARISTTELES. Tratados de lgica (rganon) II, Madrid, Gredos, 1988, 460 pp.
AUSTIN, J.L. Cmo hacer cosas con palabras, Barcelona, Paids, 1990, 217 pp.
AYER, A.J. la filosofa del siglo XX, Barcelona, Crtica, 1983, 320 pp.
BARRIO, Eduardo. La verdad desestructurada, Buenos Aires, Eudeba, 1998, 158 pp.
BLASCO, Josep et alii. Signo y pensamiento. Barcelona, Ariel, 1999, 238 pp.

3
BUNGE, Mario. (Comp.) Antologa semntica. Buenos Aires, Nueva Visin, 1960, 271
pp.
COPI, Irving et COHEN, Carl. Introduccin a la lgica. Mxico, Limusa, 1995, 697
pp.
DE ALEJANDRO, Jos. La lgica y el hombre, Madrid, 1970, 423 pp.
DE OCKHAM, Guillermo. Suma lgica (Fragmentos). Bogot, Norma, 1994, 308 pp.
DEAO, Alfredo. Introduccin a la lgica formal, Madrid, Alianza Universidad
Textos, 1995, 424 pp.
DEAO, Alfredo. Las concepciones de la lgica, Madrid, Taurus, 1980, 396 pp.
ECO, Umberto. La bsqueda de la lengua perfecta. Barcelona, Crtica, 1994, 314 pp.
FERRATER MORA, Jos y LEBLANC, Hugues. Lgica matemtica, Mxico, Fondo
de Cultura Econmica, 1992, 227 pp.
GARCA-CARPINTERO, Manuel. Las palabras, las ideas y las cosas, una
presentacin de la filosofa del lenguaje, Barcelona, Ariel, 1996, 562 pp.
GMEZ TORRENTE, Mario. Forma y formalidad, una introduccin al concepto de
consecuencia lgica, Buenos Aires, Eudeba, 2000, 110 pp.
KNEALE, William et KNEALE, Martha. El desarrollo de la lgica, Madrid, Tecnos,
1980, 703 pp.
LIPPS, Hans. Lgica formal y lgica hermenutica. En: VATTIMO, Gianni. (Comp.)
Hermenutica y racionalidad, Bogot, Norma, 1992, pp387 423.
LOCKE, John. Ensayo sobre el entendimiento humano, Bogot, Fondo de Cultura
Econmica, 1994, 227 pp.
MARINA, Jos Antonio. La selva del lenguaje, Barcelona, Anagrama, 1999, 310 pp.
MORRIS, Charles. Fundamentos de la teora de los signos. Barcelona, Paids, 1994,
11pp.
NIETO BLANCO, Carlos. La conciencia lingstica de la filosofa, ensayo de una
crtica de la razn lingstica, Madrid, Trotta, 1997, 359 pp.
ORLANDO, Eleonora. Concepciones de la referencia, Buenos Aires, Eudeba, 1999,
216 pp.
PEIRCE, Charles Sanders. El hombre, un signo. Barcelona, Crtica, 1988, 428 pp.
PEIRCE, Charles Sanders. Escritos lgicos, Madrid, Alianza, 1988. 264 pp.
POPPER, Karl. El problema de la induccin. En: MILLER, David (Comp.) Popper,
escritos selectos, Mxico, Fondo de Cultura Econmica, 1995, 114-130.
QUINE, Willard van Orman. Los mtodos de la lgica, Barcelona, Planeta-Agostini,
1986, 362 pp.
ROMERO, Francisco (1938) Lgica e introduccin a la problemtica filosfica,
Buenos Aires, Losada, 1982, 302 pp.
RUSSELL, Bertrand. Escritos bsicos I, Barcelona, Planeta-Agostini, 1985, pp.49
127.
TOMASINI BASSOLS, Alejandro. Los atomismos lgicos de Russell y Wittgenstein,
Universidad Autnoma de Mxico, 1994, 291 pp.
TUGENDHAT, Ernst et WOLF, Ursula. Propedutica lgico semntica, Barcelona,
Anthropos, 1997, 217 pp.
VALDS VILLANUEVA, Luis. (Comp.) La bsqueda del significado. Madrid, Tecnos,
2000, 716 pp.
VALDS, Margarita. Pensamiento y lenguaje, problemas en la atribucin de actitudes
proposicionales, Mxico, UNAM, 1996, 390 pp.

4
WASON, P.C. et alii. Psicologa del razonamiento, Madrid, Debate, 1981, 330 pp.
WITTGENSTEIN, Ludwig. Gramtica filosfica. Mxico, Universidad Autnoma de
Mxico, 1992, 969 pp.
WITTGENSTEIN, Ludwig. Investigaciones filosficas, Barcelona, Crtica, 1988,547
pp.
WITTGENSTEIN, Ludwig. Los cuadernos azul y marrn, Madrid, Tecnos, 1976, 230
pp.
WITTGENSTEIN, Ludwig. Sobre la certidumbre, Caracas, Tiempo nuevo, 1972, 210
pp.
WITTGENSTEIN, Ludwig. Tractatus Lgico- Philosophicus, Barcelona, Altaya, 1994,
215 pp.
WITTGENSTEIN, Ludwig. Zettel, Mxico, Universidad Autnoma de Mxico, 1979,
127 pp.