UNIVERSIDAD NACIONAL AUTNOMA DE

MXICO
FACULTAD DE FILOSOFA Y LETRAS

LICENCIATURA EN FILOSOFA

ASIGNATURA: LGICA 1

PRIMER SEMESTRE

PROFESOR: DR. PEDRO ARTURO RAMOS VILLEGAS

CICLO: BSICO

REA: LGICA

CLAVE HORAS/SEMANA/SEMESTRE TOTAL DE CRDITOS

TEORCAS PRCTICAS HORAS

3116 32 32 64 8

Carcter: OBLIGATORIA

Tipo: TERICO-PRCTICO

Modalidad: CURSO

Asignatura precedente:

Asignatura subsecuente: LGICA 2

OBJETIVO(S):
Objetivos generales

La lgica proposicional es una disciplina terico-prctica, cuya enseanza-aprendizaje incluye

los siguientes objetivos generales:

1) La construccin de ciertos conocimientos tericos: la elaboracin de los conceptos de

lgica, de lgica deductiva y de lgica deductiva proposicional; de razonamiento, de
razonamiento deductivo y de razonamiento deductivo proposicional; de premisa, conclusin
e inferencia; de validez e invalidez; de forma lgica y de regla de inferencia; de la distincin
que hay entre lenguaje objeto y metalenguaje; entre verdad y validez y falsedad e invalidez;
y de la que hay entre semntica, sintaxis y pragmtica.
2) El desarrollo de determinadas habilidades: la de detectar la forma lgica de oraciones
declarativas castellanas compuestas por oraciones simples y expresiones lgicas del
espaol; la de captar mejor la sintaxis y la semntica de tales oraciones; la de relacionar lo
anterior con la evaluacin veritativa de esas oraciones y la evaluacin lgica de los
razonamientos deductivos proposicionales en los que dichas oraciones figuran; la de
analizar y criticar el discurso argumentativo deductivo proposicional propio y ajeno; y la de
desarrollar la capacidad propia de razonamiento deductivo formal proposicional.

3) La adquisicin de ciertas actitudes: de aprecio por el discurso racional, en general, y

deductivo, en particular; de aprecio por el pensamiento formal y argumentativo; de cultivo
del discurso claro, preciso, conciso y lgico; de bsqueda de la coherencia lgica en el
discurso propio y ajeno; y de dilogo racional.

El proceso de enseanza-aprendizaje de lo anterior plantea retos especiales que hacen que el

avance en el estudio de la disciplina deba llevar un ritmo adecuado conforme a las
necesidades, los intereses y las expectativas de los estudiantes. Lo anterior se presupone de
alguna manera en nuestro plan de estudios, de ah que en l sta sea una asignatura que
cuenta con horas dedicadas tanto a la teora como a la prctica.

Objetivos particulares

(1) Que el estudiante desarrolle su capacidad de razonamiento deductivo formal proposicional.

(2) Que el estudiante se percate de que el estudio de la lgica puede proporcionarle un

entendimiento fino de ciertos aspectos sintcticos y semnticos del espaol, mediante la
realizacin del ejercicio de traduccin de oraciones declarativas del lenguaje natural al
lgico y viceversa; de elaboracin de tablas de verdad; y de formalizacin de
razonamientos deductivos proposicionales del lenguaje natural.

(3) Que el estudiante aprecie la importancia de la lgica deductiva como herramienta de

anlisis y crtica del discurso argumentativo, filosfico y no filosfico; pero siendo capaz de
determinar los alcances y los lmites de dicha lgica al evaluar tal discurso mediante la
realizacin de pruebas de validez, o invalidez, de razonamientos deductivos
proposicionales formalizados, filosficos y no filosficos, empleando mtodos semnticos y
sintcticos.

NM. DE TEMARIO
HRS. POR
UNIDAD
8 hrs. Unidad 1. Lgica, razonamiento y filosofa

Objetivos: Que el estudiante aprecie la importancia de la lgica deductiva en la

filosofa, sus alcances y lmites: como herramienta de anlisis y crtica del discurso
argumentativo (el vehculo de expresin por antonomasia del quehacer filosfico),
como vehculo de expresin del razonamiento formal y como disciplina terico-
prctica presupuesta por otras disciplinas filosficas.

1.1 La lgica: qu es y por qu importa a la filosofa? 1.2 El razonamiento en el

lenguaje natural: premisas y conclusiones; relacin de inferencia; expresiones
derivativas y conjuntivas. 1.3 Tres grandes tipos de razonamientos: inductivo,
abductivo y deductivo. 1.4 El razonamiento deductivo como objeto de estudio de la
lgica deductiva: definicin semntica de validez, validez formal y verdad.

Bibliografa: [2], cap. 1 y [3], cap. I, pp. 11-17 para tem 1.1. Y [1], cap. 1, para
abduccin; [3], cap. 1, pp. 49-68 para induccin.
12 hrs. Unidad 2. Formalizacin

Objetivos: El estudiante ser capaz de traducir oraciones declarativas compuestas

del lenguaje natural al lgico (sin atender a la estructura interna de sus oraciones
simples componentes) y viceversa; de elaborar tablas de verdad de las
traducciones lgicas de tales oraciones (llamadas frmulas compuestas) y de
formalizar razonamientos deductivos proposicionales del lenguaje natural.

2.1 Conectivas lgicas, sus tablas de verdad y clases de palabras lgicas

castellanas traducibles por ellas; necesidad de la distincin lenguaje
objeto/metalenguaje. 2.2 Traduccin de oraciones declarativas compuestas del
lenguaje natural al lgico y a la inversa; necesidad de la parfrasis. 2.3 Tablas de
verdad completas de frmulas compuestas: frmulas tautolgicas, contradictorias y
contingentes. 2.4 Tablas de verdad abreviadas de frmulas compuestas. 2.5
Formalizacin de razonamientos.

Bibliografa: [2], cap. 2; [5], Parte Primera 1-9; y [4] 2.1-2.3.

12 hrs. Unidad 3. Demostracin semntica de validez de razonamientos

Objetivos: El estudiante ser capaz de determinar la validez, o la invalidez, de

razonamientos formalizados mediante dos mtodos semnticos basados en las
tablas de verdad.

3.1 El mtodo del condicional asociado a un razonamiento. 3.2 El mtodo de

reduccin al absurdo por asignacin de valores de verdad.

Bibliografa: [2], 2.4 para condicional asociado y 3.3 y 3.9 para reduccin al
absurdo.

12 hrs. Unidad 4. Mtodo de deduccin natural para demostrar la validez de

razonamientos formalizados

Objetivos: El estudiante ser capaz de emplear un mtodo sintctico o formal de

demostracin de validez de razonamientos formalizados. (El mtodo se divide en
cinco grupos de reglas; la exposicin de cada regla incluye su descripcin
estructural, demostracin de validez, utilidad individual y estrategias de uso en
grupo.)

4.1 Grupo 0. Regla auxiliar: Doble Negacin. Grupo I. Reglas de implicacin para
la conjuncin y la disyuncin: Conjuncin, Simplificacin, Adicin y Silogismo
Disyuntivo. Estrategia regresiva de demostracin de razonamientos formalizados.
Estrategias de uso para las reglas auxiliar y del grupo I; ejercicios. 4.2 Grupo II.
Reglas de implicacin para el condicional: Modus Ponens, Modus Tollens y
Silogismo Hipottico. Estrategias de uso para las reglas del grupo II y de los
grupos I y II; ejercicios. 4.3 Grupo III. Reglas de equivalencia para la conjuncin y
la disyuncin: Conmutacin, Asociacin, Idempotencia y Distribucin. Estrategias
de uso para las reglas del grupo III y de los grupos I, II y III; ejercicios. 4.4 Grupo
IV. Reglas de equivalencia para el condicional: Transposicin, Exportacin y
Distribucin del condicional. Estrategias de uso para las reglas del grupo IV y de
los grupos I, II, III y IV; ejercicios. 4.5 Grupo V. Reglas de traduccin: Leyes de de
Morgan, Implicacin Material y Equivalencia Material. Estrategias de uso para las
reglas del grupo V y de los grupos I, II, III, IV y V; ejercicios. 4.6 Grupo VI. Regla
para el manejo de contradicciones y tautologas: Leyes Expansivas
Fundamentales. Estrategias de uso para las reglas del grupo VI y de los grupos I,
 II, III, IV, V y VI; ejercicios.

Bibliografa: Este mtodo no est publicado, es una creacin de los profesores

Ral Orayen, Arturo G. Yez y Pedro Ramos. Sin embargo, puede consultarse
con provecho [2], 3.1 y 3.2.

12 hrs. Unidad 5. Dos mtodos indirectos de demostracin de validez de

razonamientos formalizados

Objetivos: El estudiante ser capaz de emplear dos mtodos sintcticos indirectos

de demostracin de validez de razonamientos formalizados. Apreciar las ventajas
de su empleo respecto del empleo del mtodo directo (el de deduccin natural).

5.1 Prueba condicional. 5.2 Reduccin al absurdo.

Bibliografa: [2], 3.5 y 3.8 para prueba condicional y 3.6 y 3.7 para reduccin
al absurdo.

8 hrs. Unidad 6. Demostracin formal de validez de razonamientos filosficos

Objetivos: Que el estudiante aprecie la utilidad de la lgica como herramienta de

anlisis filosfico, ejercitndose en la evaluacin de la validez de razonamientos
filosficos deductivos.

6.1 Importancia, alcances y limitaciones de la demostracin formal de validez de

razonamientos filosficos cuando se emplea lgica deductiva en general y cuando
se emplea slo lgica proposicional. 6.2 Ejercicios.

BIBLIOGRAFA BSICA

[1] Aliseda, Atocha, Seeking Explanations: Abduction in Logic, Philosophy of Science and
Artificial Intelligence, Institute for Logic, Language and Computation, Universidad de
Amsterdam, Amsterdam, 1997.

[2] Copi, Irving, Lgica simblica, CECSA, Mxico, D. F. (varias ediciones).

[3] Cornman, J. W., Pappas, G. S. y Lehrer, K, Introduccin a los problemas y argumentos

filosficos, Instituto de Investigaciones Filosficas, UNAM, Mxico, D. F., 1990.

[4] Gamut, L. T. F., Lgica, lenguaje y significado, vol. I, EUDEBA, Buenos Aires, 2003.

[5] Quine, Willard van Orman, Los mtodos de la lgica, Ariel, Barcelona (varias ediciones).

BIBLIOGRAFA COMPLEMENTARIA

[6] Comesaa, Juan Manuel, Lgica informal, falacias y argumentos filosficos, EUDEBA,
Buenos Aires, 2001. (Vase cap.III para algunos ejemplos de cmo razonan los filsofos.)

[7] Copi, Irving y Cohen, Carl, Introduccin a la lgica, LIMUSA , Mxico, Espaa, Venezuela y
Colombia, 2003. (Vase cap. 1 para aprender tcnicas de anlisis informal de razonamientos.)

[8] Nubiola, Jaime (ed. Invitado), Analoga filosfica, ao XII, no. 1, Mxico, 1988. (Este nmero
de la revista, titulado Charles S. Peirce y la abduccin, incluye varios artculos sobre
razonamiento abductivo.)
[9] Orayen, Ral, Lgica, significado y ontologa, Instituto de Investigaciones Filosficas,
UNAM, Mxico, D. F., 1989. (Vanse caps. I y IV para una explicacin terica de la prctica del
lgico cuando aplica la lgica deductiva al lenguaje natural.)

[10] Purtill, Richard L., A Logical Introduction to Philosophy, Prentice Hall, Engelwoods Clif,
Nueva Jersey, 1989. (Vase para aprender cmo aplicar la lgica deductiva al anlisis del
discurso filosfico argumentativo.)

[11] Purtill, Richard L., Logic for Philosophers, Prentice Hall, Harper & Row Publishers, Nueva
York, Evanston y Londres 1971. (Igual que el anterior.)

[12] Salmon, Wesley C., Lgica, Colofn, Mxico, D. F., 1995. (Incluye un largo captulo III
sobre razonamiento inductivo.)

ESTRATEGIAS DE ENSEANZA MECANISMOS DE EVALUACIN

APRENDIZAJE
Exposicin oral si X no Exmenes parciales s X no
Exposicin audiovisual si X no Exmenes finales si X no
Ejercicios dentro del aula si X no Trabajos y tareas fuera si X no
del aula
Ejercicios fuera del aula si X no Participacin en clase si no X
Seminario si no X Asistencia a prcticas si no X
Lecturas obligatorias si X no Informe de si no X
investigacin
Trabajos de investigacin si X no Otros:
Prcticas de campo si no X
Otros: