Facultad de Humanidades y Ciencias de la Educación
Carrera: Licenciatura en Filosofía
Unidad curricular: Lógica I
Área Temática: Lógica y metodología
Semestre: Impar
La unidad curricular corresponde al primer semestre de la carrera según trayectoria sugerida por el plan
de estudios: SI
Cargo Nombre Departamento/Sección
Responsable del Lógica y Filosofía de la
Prof. Titular José Seoane
curso Lógica
Encargado del Lógica y Filosofía de la
Prof. Titular José Seoane
curso Lógica
Lógica y Filosofía de la
Asistente Alejandro Chmiel
Lógica
Otros participantes Lógica y Filosofía de la
Ayudante Cristian Novelli
del curso Lógica
El total de Créditos corresponde a:
Carga horaria presencial 64 horas
Trabajos domiciliarios NO
Plataforma EVA SI
Trabajos de campo NO
Monografía NO
Otros Prácticos
TOTAL DE CRÉDITOS 13
Permite exoneración SI
Propuesta metodológica del curso:
Teórico – asistencia libre SI
Práctico – asistencia obligatoria NO
Teórico - práctico Asistencia NO
obligatoria
Asistencia NO
obligatoria sólo a
clases prácticas
Unidad curricular ofertada NO Cupos, servicios y
como electiva para otros condiciones: NO
servicios universitarios CORRESPONDE.
Forma de evaluación y Modalidad:
Se trata de un curso tipo 3, es decir, el curso se aprueba por exoneración total o mediante
examen.
La evaluación del curso consistirá en dos pruebas parciales presenciales: la primera se llevará
a cabo aproximadamente a mitad del semestre y la segunda en la última semana de clases.
Si el estudiante obtiene un mínimo de “Aceptable” en ambos parciales, obtendrá la aprobación
directa del curso con la calificación correspondiente, conforme al artículo 8(a) del Reglamento
de Estudios de Grado.
En la última clase se ofrecerá una prueba recuperatoria para aquellos estudiantes que hayan
obtenido una calificación inferior a “Aceptable” en solo uno de los parciales, conforme al
artículo 8(b) del Reglamento de Estudios de Grado.
Los estudiantes que estén en condiciones de dar la prueba recuperatoria y obtengan un
mínimo de "Aceptable" en la misma, obtendrán la aprobación directa. En caso de no obtener un
mínimo de "Aceptable" en la prueba recuperatoria, obtendrán la habilitación para rendir un
examen o evaluación final. Esta última situación se registrará con la expresión “Sin concepto”,
conforme al artículo 8(b)(1) del Reglamento de Estudios de Grado.
Dado que se trata de un curso teórico el estudiante puede rendir un examen libre, el cual
versará sobre la totalidad de los contenidos del curso.
Modalidad de parciales y exámenes: presencial.
Conocimientos previos requeridos/recomendables:
Ninguno
Objetivos:
El objetivo del curso es ofrecer una introducción a la lógica formal para estudiantes de filosofía.
De este modo, se trabajan dos lógicas, la lógica proposicional (LP) y la lógica de primer orden
(LPO), también llamada lógica de predicados. En cada una de ellas se define el lenguaje
formal, la relación de consecuencia semántica y la relación de consecuencia sintáctica. Así
también, hacia el final del curso se discuten informalmente algunos aspectos metateóricos.
Ambas lógicas se presentan como esfuerzos por elucidar el concepto de consecuencia lógica
ordinario, presente en el lenguaje natural. Por lo cual, se busca que la presentación de los
conceptos formales esté orientada por algunos problemas de la filosofía de la lógica. Así
también, se busca enfatizar el rol de la lógica formal en la evaluación argumental, prestando
atención a los procesos de formalización.
Contenidos:
Unidad 1. El objeto de la lógica. Proposiciones, enunciados, inferencias, argumentos válidos y
no deductivos. Argumentos válidos en virtud de su forma. Identificación de estructuras
argumentales.
Unidad 2. Aproximación al concepto de lenguaje formal. Sintaxis del lenguaje proposicional.
Definición de fórmula del lenguaje proposicional. Definición de subfórmula y árbol de formación.
Teorema de lectura única.
Unidad 3. Semántica proposicional. Asignación de valores de verdad a las letras
proposicionales. Interpretación del lenguaje. Modelos y contramodelos. Conjuntos satisfacibles
e insatisfacibles. Equivalencia. Conjuntos adecuados de conectivos.
Unidad 4. Relación de consecuencia semántica en LP. Condicional asociado. Algunas
propiedades de la relación de consecuencia semántica. Monotonía de la relación de
consecuencia semántica clásica. Formalización de argumentos.
Unidad 5. Sistema de Deducción Natural para lógica proposicional clásica. Reglas básicas y
derivadas. Derivación en el sistema de deducción natural. Relación de consecuencia sintáctica.
Teorema.
Unidad 6. Sintaxis de los lenguajes de primer orden con identidad. Símbolos lógicos y no
lógicos. Términos y fórmulas. Definición de secuencia de formación y fórmula de LPO.
Variables libres y ligadas. Fórmulas abiertas y cerradas.
Unidad 7. Semántica (clásica) de los lenguajes de primer orden. Semántica de fórmulas
cuantificadas. Estructura, universo, denotación de símbolos no lógicos. Conjuntos satisfacibles
e insatisfacibles. Consecuencia semántica.
Unidad 8. Relación de consecuencia semántica en LPO. Formalización de argumentos.
Unidad 9. Deducción Natural para LPO clásica con igualdad. Consecuencia sintáctica y
algunas de sus propiedades.
Bibliografía básica: El resto de la bibliografía se indicará en clase.
1. Barwise, J. & Etchemendy, J. (2003) Language, Proof and Logic. CSLI Publications.
2. Gamut. (2002) Introducción a la lógica (Vol I de Lógica, lenguaje y significado). [Link].,
EUDEBA.
3. Gamut. (2010) Lógica, lenguaje y significado. Vol. II. Lógica intensional y gramática lógica.
Bogotá, Editorial Universidad de Rosario.
4. Molina, M. (2016) Un primer curso de Lógica. Para estudiantes de Filosofía. CreateSpace
Independent Publishing Platform.
5. Magnus, P., Button, T., Trueman, R., & Zach, R. (2023) An Introduction to Formal Logic.
Open Logic Project. Disponible en: [Link]
6. Seoane, J. (2014) Lógica y Argumento. Montevideo, CSE / Udelar.
7. Sider. T. (2010) Logic for Philosophy. Oxford University Press.
8. Smith, P. (2020). Introduction to formal logic. Cambridge University Press.
9. Smullyan, R. (2008) Logical Labyrinth. Massachusetts, A.K. Peters.
[Link] Dalen, D. (2013). Logic and Structure. Springer, London.
Año 2025
