UNIVERSIDAD EXTERNADO DE COLOMBIA

DEPARTAMENTO DE MATEMATICAS

PROGRAMA: CIENCIAS HUMANAS

ASIGNATURA: LGICA
CODIGO:
PRE-REQUISITO:
INTENSIDAD: 4 HORAS SEMANALES
SEMESTRE: QUINTO
VIGENCIA:

1. JUSTIFICACION:

La argumentacin lgica es un elemento importante en el ejercicio

profesional. Las argumentaciones libres de inconsistencias son
difcilmente refutables, y permiten la revisin rigurosa de las
premisas sobre las cuales se argumenta. Lo que significa que un
profesional capaz de argumentar lgicamente tendr un discurso
claro y coherente, libre del problema tcnico de las contradicciones y
de planteamientos imprecisos. Un discurso lgico le permite al
profesional imbuirse en el anlisis de sus principios profesionales y
enriquecer el debate entre sus colegas.

Sin embargo, entender la lgica dentro del lenguaje cotidiano hace

muy difcil el acceso a los resultados sencillos expuestos en un
lenguaje matemtico, debido a las mltiples significados de una
palabra y al contexto histrico y social en que se presentan. El
puente natural entre la argumentacin y el lenguaje lgico
matemtico es una traduccin libre de los significados de las
palabras que no requiere de conocimientos profundos de ninguna
disciplina, y que no es compleja. La inferencia en lgica matemtica
 permite puntualizar discusiones de manera prctica, evitando el
desgaste de las posiciones ideolgicas.

2. OBJETIVO:

El objetivo general de esta asignatura es brindar al estudiante la

capacidad de identificar las proposiciones atmicas en un
argumento, traducirlo a lenguaje matemtico y determinar su
validez, as como desarrollar la habilidad de identificar las premisas
que el estudiante debe negar para contradecir un argumento.

3. CONTENIDO SINTETICO:

3.1 Proposiciones categricas (Lgica Aristotlica).

3.2 Silogismos categricos (Lgica Aristotlica).
3.3 Argumentos en el lenguaje ordinario (Traduccin).
3.4 Lgica simblica (Lenguaje matemtico).

4. CONTENIDO ANALITICO:

4.1 Proposiciones categricas (Lgica Aristotlica)

4.1.1 Clases.
4.1.2 Cualidad, cantidad y distribucin.
4.1.3 Cuadrado de oposicin.
4.1.4 Obversa, conversa, contrapositiva.
4.1.5 Importacin existencial.
4.1.6 Simbolismo y diagramas de Venn.

4.2 Silogismos categricos (Lgica Aristotlica)

4.2.1 Silogismo categrico de forma estndar.

4.2.2 Tcnica de los diagramas de Venn.
4.2.3 Reglas y falacias.

4.3 Argumentos en el lenguaje ordinario (Traduccin)

 4.3.1 Reduccin de nmero de trminos.
4.3.2 Traduccin de proposiciones categricas a forma estndar.
4.3.3 Traduccin uniforme.
4.3.4 Entimemas, sorites, silogismo disyuntivo e hipottico, y
dilema.
4.3.5 Problemas de aplicacin, utilizando dos variables de
asignacin.

4.4 Lgica simblica (Lenguaje matemtico)

4.4.1 Smbolos, conjuncin, negacin y disyuncin.

4.4.2 Condicionales e implicacin material.
4.4.3 Formas argumentales y argumentos.
4.4.4 Equivalencia material y equivalencia lgica.
4.4.5 Las paradojas de la implicacin material.
4.4.6 Las tres leyes del pensamiento.
4.4.7 Prueba formal de validez.
4.4.8 Regla de reemplazo.
4.4.9 Prueba de invalidez.
4.4.10 Inferencia asilogstica.

5. EVALUACION:

5.1. Cuatro parciales de 25% cada uno.

6. BIBLIOGRAFIA:

6.1 INTRODUCCIN A LA LGICA, Irving Copi. Limusa, 2002.

(Texto Gua)

6.2 LGICA Y PENSAMIENTO CRTICO, Luis Enrique Garca,

Universidad de Caldas, 1995.

6.3 LOS MTODOS DE LA LGICA, Willard Quine, Ariel, 1981.