Está en la página 1de 3

Universidad Autónoma de Colombia

Facultad de Ciencias Humanas


Programa de Filosofía

Curso: Lógica I
Docente: Jorge Sierra
Correo: jorgemill65@yahoo.com
Período: 2018 - I

Justificación
La lógica formal ha sido considerada por muchos como una herramienta indispensable no
sólo en la aproximación juiciosa al pensamiento filosófico sino en tanto guía del pensar
en general. Más allá de esto, lo cierto es que el papel de la lógica en el pensamiento
filosófico es, como tantos otros, un terreno de duda y especulación. La aparente infinitud
del debate se explica por su conexión con la pregunta misma por la validez de una
concepción filosófica: ¿Un desarrollo filosófico debe ajustarse a la normatividad de la
lógica formal para considerarse como válido? Hay voces convincentes, en las más
diversas tradiciones, que apuntan en una dirección contraria. Con todo, hay varias
razones por las que el estudio de la lógica formal sigue siendo indispensable. Una de las
más inmediatas es que un número considerable de contribuciones filosóficas importantes
presuponen, de forma explícita o implícita, el manejo de elementos formales. Una de las
más importantes es que hay todo un universo conceptual cuya aprehensión es el resultado
de una práctica y no de la asimilación de la formulación de un concepto (por ejemplo:
validez, invalidez, deducción, inducción, demostración, función, relación, conjunto,
parte, variable, cuantificador, variable libre, variable ligada, constante, dominio,
imagen, modelo, valor de verdad, oración, proposición, etc., etc.). Una de las más
controvertidas es que el seguimiento continuo de ejercicios formales provee cierto
método y estructuración a la hora de aproximarse a una pregunta o, lo que en filosofía
tiende a ser lo mismo, a la hora de evaluar un argumento. Si cierto rigor se considera
esencial en la aproximación filosófica a un problema, el entrenamiento en lógica
simbólica pareciera ser ciertamente una ventaja.

Objetivos
En este primer nivel de lógica se busca familiarizar al estudiante con las herramientas
necesarias para el análisis conceptual del lenguaje y la determinación de validez
argumentativa tal como se desarrollan en la lógica proposicional y la lógica de
predicados de primer orden. De ambos sistemas formales se presentará su estructura, los
métodos sistemáticos de computación de valores de verdad, los procesos de
simbolización de oraciones del lenguaje natural, el concepto de validez e invalidez y los
1
métodos de prueba. A diferencia de la mayoría de los cursos de filosofía, la lectura no
jugará en esta oportunidad el papel central. La familiaridad de los estudiantes con los
elementos de la lógica formal sólo podrá resultar de su continuo ejercicio.

Sesión Descripción
Presentación del curso
1
Lectura: Cap. 1 ¿Qué es lógica? Inducción, deducción,verdad, validez y forma
Lógica Proposicional
La estructura de la lógica proposicional: proposiciones y conectivas
2
Lectura: Cap. 2 “The Structure of Sentential Logic”
Valores de verdad
3-4
Lectura: Cap. 3 “Computing Truth Values”
Simbolización en lógica proposicional [Taller I
5-6 (8%)]
Lectura: Cap. 4 “Symbolizing English Sentences” Parcial I
Introducción a las tablas de verdad
7-8
Lectura: Cap. 5 “Truth Tables for Testing Validity”
Alcances y limitaciones de las tablas de verdad [Taller II
9-10 (8%)]
Lectura: Cap. 6 “Further Applications of the Truth Table Method”
Prueba: Introducción
11-12
Lectura: Cap. 7 “The Proof Method: Eight Basic Inference Rules”
Reglas de reemplazo [Taller III
13-14 (8%)]
Lectura: Cap. 8 “Replacement Rules” Parcial I
Prueba condicional y prueba indirecta
Lectura: Cap. 9 “Conditional Proof and Indirect Proof”
Examen final

Bibliografía

Para favorecer la continuidad de los contenidos vistos y facilitar la asimilación de los


conceptos vamos a seguir el texto de Virginia Klenk (2008) Understanding Symbolic Logic.
2
Prentice Hall, New Jersey., a lo largo del curso. Sin embargo, puede resultar útil consultar
bibliografía complementaria para afinar la comprensión de los conceptos trabajados:

Copi, I. (2007) Introducción a la lógica. México: Limusa.


Páez, A. (2007) Introducción a la lógica moderna. Bogotá: Uniandes.

Evaluación

Para garantizar un grado mínimo de continuidad y calidad en el trabajo independiente de


los estudiantes, se realizarán, con cierta regularidad, talleres sobre los contenidos vistos.
Este procedimiento, si bien resulta algo engorroso, puede hacer una diferencia notable en
el nivel del curso. Adicionalmente los estudiantes presentarán dos exámenes que cubrirán
lo visto en cada una de las dos partes del curso. A cada taller se le asignará un porcentaje
de 8% y a cada examen se les asignará un porcentaje de 26%.