UNIVERSIDAD NACIONAL MAYOR DE SAN MARCOS

Universidad del Per, Decana de Amrica.

FACULTAD DE LETRAS Y CIENCIAS HUMANAS

Nivel Integrado

SYLLABUS
I. DATOS
1.1.
1.1. Nombre del
del curso:
curso:
1.2.. Cdigo:
1.2
Cdigo:
1.3.
1.3. Semestre Acadmico:
Acadmico:
1.4.
1.4. Crditos:
Crditos:
1.5.
1.5. Duracin:
Duracin:
1.6.
1.6 Horarios
Horarios:

LGICA I
LO 3491
2012- II
3.0
17 semanas

1.7 Profesor coordinador:

1.8.
1.8. Profesores responsables:
responsables:
del curso
1.9.
1.9. Departamento Acadmico:

Dr. Luis Piscoya Hermoza

Lic. Lilia Pizarro (A y D), Lic. Galo Valderrama (B)
Mag. Roberto Katayama (C) y Lic. David Villena (E).
Filosofa

Grupo A: Mirc. 8:00 a 10:00 am. y 10:00a 11:30am.

Lunes, 12:00 a 13.00 pm.
Grupo B: Viernes, 8:00 a 10:00 am. y 10:00a 11:30am.
Sbado, 8:00 a 9:30 am.
Grupo C: Lunes, 8:00 a 10: 00am. y 10:00 a 11:30am.
Sbado, 8:00 a 9:30 am.
Grupo D: Jueves, 10:00 a 12:00pm.y Viernes, 8:00a 9:30am.
Viernes, 9:30am. a 11:00 am.
Grupo E: Viernes, 3:00 a 5:00pm. y Viernes, 5:00 a 6:30pm.
Viernes, 6:30 a 8:00pm.

II.
II. SUMILLA:
Este curso proporciona al estudiante un instrumento de anlisis del lenguaje natural, del
filosfico, del cientfico y del tecnolgico, centrando su enfoque en el concepto sintctico de
prueba deductiva y en el concepto semntico de verdad, dentro del contexto de
argumentaciones cognoscitivas, ticas y valorativas as como del de las teoras cientficas. Se
desarrolla a travs de clases magistrales cuyos contenidos forman parte de este silabo y de
clases prcticas dedicadas al anlisis de una lista de lecturas que darn lugar a una agenda de
debate interno. Las evaluaciones incluyen los aspectos tericos y prcticos.

III.
III. OBJETIVOS:
3.1. Proporcionar a los estudiantes del Integrado de Letras conocimientos y entrenamiento
actualizado en Lgica, entendida sta como una herramienta de propsitos generales
que puede ser utilizada productivamente para potenciar la capacidad para aprender
disciplinas filosficas, cientficas, humansticas y tecnolgicas en sus ms variadas
expresiones, en tanto que todas ellas presuponen, en mayor o menor medida, el
manejo de argumentos, pruebas fundadas en la observacin, pruebas codificadas en
lenguajes cientficos, comunicaciones en lenguaje de mquina.
3.2. Desarrollar en los estudiantes habilidades y capacidades para describir hechos, formular
tesis, construir ejemplos probatorios reales e imaginarios, construir contraejemplos, elaborar
explicaciones y justificaciones, realizar deducciones y formular estimados en situaciones de
incertidumbre.
3.3. Fortalecer los hbitos de desempeo: racionales, crticos, flexibles y tolerantes.

IV. ESTRATEGIAS

METODOLGICA
METODOLGICAS
GICAS

4.1.
.1. Aspectos Pedaggicos
El docente del curso para estimular el trabajo y aprendizaje de los estudiantes podr
utilizar cuestionarios con preguntas abiertas y cerradas para orientar el aprendizaje de los
alumnos hacia los conceptos de mayor valor multiplicador en el aprendizaje. Asimismo,
podrn organizar a los estudiantes en grupos de trabajo a fin de fomentar el aprendizaje
cooperativo en equipo y dar un espacio para el intercambio de ideas y el debate entre los
estudiantes. Tambin utilizar, segn la naturaleza de los temas, ayudas visuales en la
pizarra o en Power Point. En cada clase se adelantar el cuestionario de problemas que
deben ser resueltos para la siguiente clase. El docente indicar la bibliografa de apoyo.
4.2. Lista de lecturas
1ra. Lectura: Primer captulo del libro Introduccin a la lgica, del grupo L. T. Gamut,
traducido por Ed. Eudeba.
2da. Lectura: Sexto captulo del libro Symbolic logic, de Irving Copi
3ra. Lectura: Segundo captulo del libro Argumentos de filosofa de la Ciencia, de Moulines.

V. SISTEMA DE EVALUACIN
El curso se aprobar a travs de una evaluacin de los contenidos temticos. La parte
prctica se evaluar a razn de una prueba por lectura. El peso del promedio de las notas de
la parte prctica ser de un 40%. La nota de la parte terica se calcular dando un 60% al
examen final. Para el efecto, el docente del curso elaborar listados con columnas que
detallen las notas parciales que sern aprobadas en una sesin con el coordinador.

VI.
VI. CONTENIDO TEMTICO
4.1. Caracterizacin de los lenguajes sociales y de los lenguajes formales. El lenguaje
matemtico como ejemplo del lenguaje formal ms antiguo. Los lenguajes de mquina
como el ejemplo ms reciente de los lenguajes estructurales o sintcticos en los que
interesa el peso fsico y no el significado. La relacin entre lenguaje y realidad.
Distincin entre lenguajes descriptivos y lenguajes no descriptivos. Los Sistemas de
numeracin no posicionales y posicionales: Nmeros romanos, el Sistema decimal y el
Sistema binario.
4.2. Los lenguajes naturales como sistemas regidos por una gramtica abierta. Los lenguajes
formales como ejemplo de sistemas cerrados. La funcin descriptiva de los lenguajes
naturales: los conceptos de proposicin y de verdad. Distincin entre las funciones
alticas y no alticas de los lenguajes naturales. El concepto de frmula y la funcin
sintctica de los lenguajes artificiales ejemplificados por el lgebra elemental, la Lgica
proposicional y los lenguajes de mquina. La funcin descriptiva del concepto de
Metalenguaje.
4.3. El lenguaje de la Lgica bsica: Caracterizacin de los trminos de un lenguaje lgico
estndar de Primer Orden: El uso de variables proposicionales. La estructura bsica de
una afirmacin segn Aristteles y Chomsky y sus variaciones a travs de las oraciones
no copulativas. La relacin sujeto predicado: Los conceptos de necesidad y juicio

analtico en Kant y de verdades de hecho y verdades de razn en Leibnitz. Los nombres

propios y las variables de nombre. Los nombres comunes, los conjuntos, los predicados,
y la extensin de los predicados y/o de los conceptos. Frmulas predicativas mondicas
y polidicas. Funcin proposicional o condicin vs. afirmacin con nombres propios.
4.4. Caracterizacin de los operadores de un lenguaje de Primer Orden. Operadores
proposicionales. Los operadores estndar de un lenguaje PM: Negacin, conjuncin,
disyuncin inclusiva, condicional, equivalencia y disyuncin exclusiva. El concepto
sintctico de frmula proposicional. Frmulas atmicas y compuestas, tablas de verdad,
equivalencias, clasificacin segn sus matrices. La distincin entre descripcin del
mundo real y descripciones de mundos posibles. El concepto de espacio lgico de una
frmula (Wittgenstein) expresado por las Tablas de Verdad o Alticas. Definicin
funcional de los operadores proposicionales. Variaciones de notacin. Uso de
cuantificadores: Frmulas cerradas y abiertas sobre dominios finitos y no finitos. La
distincin entre todos y cada uno.
4.5. El concepto de verdad como concepto semntico y el de validez como concepto
sintctico definible en el espacio lgico (de mundos posibles). Las tautologas como
frmulas vlidas en espacios finitos y las frmulas cuantificadas sobre dominios no
finitos como frmulas vlidas para conjuntos cantorianos. Tautologas vs. Informacin:
La Teora de Shannon. La traduccin de argumentos en lenguajes naturales a frmulas
lgicas de un lenguaje de Primer Orden en el contexto de la inescrutabilidad de la
referencia y de la indeterminacin de la traduccin planteado por Quine. La
sistematizacin de las frmulas lgicamente vlidas: El mtodo axiomtico y el mtodo
de la deduccin natural. La propuesta de Gentzen. El concepto de consecuencia lgica y
sus fortalezas y debilidades epistemolgicas. La Tesis de Popper de la transmisin de la
verdad y la retrotransmisin de la falsedad.
4.6. Deduccin natural con frmulas proposicionales. Esquemas de frmulas vs. frmulas
que son traducciones de premisas y conclusiones de argumentos. La versin simplificada
y la expandida de las reglas de Gentzen como metalenguaje regulador de las
deducciones con frmulas proposicionales. La prueba condicional como regla de
introduccin y eliminacin de premisas. Diferencia entre consecuencia lgica y teorema
de la lgica con frmulas proposicionales. La prueba condicional y la completitud de las
reglas de Gentzen: Su relacin con el teorema de la deduccin (Herbrand) usado por el
mtodo axiomtico. El carcter no algortmico de las reglas de Gentzen.
4.7. Las reglas de Gentzen aplicadas a frmulas cuantificadas cerradas: mondicas y didicas.
La posibilidad de decidir la validez de argumentos traducibles a frmulas mondicas
mediante tablas de verdad o metodologas abreviadas tericamente equivalentes. La
decisin de la validez de silogismo clsico por mtodos formales como el de Gentzen y
por mtodos no formales como los diagramas de Venn. La fortaleza intuitiva de los
diagramas de Venn y sus debilidades para expresar el concepto de consecuencia lgica
desde premisas sin contenido existencial: las frmulas booleanas como ejemplos de
traduccin de argumentos a un lenguaje formal algebraico. La imposibilidad de aplicar la
lgica a ejemplos tradicionales usando slo predicados mondicos. El ejemplo medieval
de los caballos y el moderno proporcionado por la Aritmtica axiomatizada por Peano.
Los conceptos de frmula de una teora axiomatizada en un lenguaje L, el de
interpretacin de una frmula y el de modelo. Los enunciados de los teoremas de
Gedel y de Tarski. Extensin del concepto de verdad vs. la del concepto de prueba o
demostracin, en la ciencia.

4.8. La induccin como inferencia usada en las ciencias empricas y su traduccin estructural
a frmulas abductivas. Los mitos de Aristteles y Bacon para distinguir entre induccin y
deduccin. El concepto de consecuencia lgica como criterio semntico para distinguir
entre induccin y deduccin entre argumentos traducidos a un lenguaje lgico.

VII.
VII. BIBLIOGRAFIA
BIBLIOGRAFIA
AGAZZI, Evandro (1986): La lgica simblica. Barcelona: Herder.
BLANCH, Robert (1963): Introduccin a la lgica contempornea. Buenos Aires, Ed.
Carlos Lohl.
COHEN, M y NAGEL, E. (1971): Introduccin a la lgi
lgica y al
al mtodo cientfico. Buenos
Aires, Amorrortu Ed., Tomo 1.
COPI, Irving (1979): La lgica simblica. Mxico, Compaa. Editorial Continental.
______ y COHEN, Karl (1997): Introduccin a la Lgica. Mxico, Limusa.
DEAO, Alfredo (1974): Introduccin
Introduccin a la lgica formal. Madrid: Alianza Editorial.
DIEZ, Jos A y MOULINES, C. Ulises (1997): Fundamentos de Filosofa de la Ciencia.
Barcelona, Ed. Ariel.
FERRATER, J. y LEBLANC, H. (1962): Lgica matemtica. Mxico: FCE.
FRAENKEL, Abraham A. (1976): Teora
Teora de los Conjuntos y Lgica. Mxico, UNAM,
Instituto de Investigaciones Filosficas. Traduccin de Roberto Caso Bercht.
GAMUT, L.T.F.(2002). Introduccin a la lgica. Buenos Aires: Eudeba.
GRANELL, M. (1949): Lgica. Madrid, Ed. Revista de Occidente.
MATES, Benson (1971): Lgica matemtica elemental. Madrid, Ed. Tecnos.
MIR QUESADA, Francisco (1969): Iniciacin Lgica.
Lgica Lima: Universidad Nacional
Mayor de San Marcos.
OBIOLS, Guillermo (1993): Fundamentos de Lgica y Metodologa de las Ciencias.
Ciencias Buenos
Aires: Kapelusz.
PISCOYA, Luis (2008): Lgica. Lima: Ediciones del Fondo Editorial de la UNMSM.
_______ (2009): Introduccin a la lgica. Lima Serie: Textos para el Programa de
Licenciatura para Profesores sin Titulo Pedaggico en lengua Extranjera.
QUINE, W. O. (1971): El sentido de la nueva lgica. Buenos Aires, Ed. Nueva Visin.
REINHART, Jacques (1961): Las etapas de la lgica. Buenos Aires, Ed. Marisol.
SACRISTAN, Manuel (1964): Introduccin a la lgica y al anlisis formal. Barcelona:
Editorial Ariel.
SIDER, Theodore (2008): Logic for Philosophy. http://tedsider.org/books/lfp_sample.pdf.
STHAL, Gerald (1962): Introduccin a la lgica simblica. Santiago: Editorial de la
Universidad de Chile.
SUPPES, P. (1966): Introduccin a la Lgica. Mxico, Compaa Editorial.
SUPPES, P. y HILL, S. (1996): Introduccin a la lgica matemtica. Barcelona, Revert.
TARSKI, Alfredo (1951). Introduccin a la lgica y a las metodologas de las ciencias
Deductivas. Buenos Aires: Espasa Calpe.
TUGENDHAT, Ernst y WOLF. U. (1997) Propedutica lgicalgica-semntica. Barcelona:
Anthropos Editorial.
Lima, julio de 2012