Guía de asignatura

Escuela de Ciencias Humanas

Información general

Asignatura Lógica ECH, grupo 2

Código 18610033

Tipo de asignatura: Obligatoria

Tipo de saber: Obligatoria Básica o de Fundamentación

Número de Créditos: 3

Tipo de crédito: Teórico

Horas de trabajo con 64 Horas de 128 Total 192

acompañamiento trabajo horas:
directo del profesor: independiente
del
estudiante:

Prerrequisitos Ninguno

Correquisitos Ninguno

Horario lunes y miércoles de 11 am a 1 pm

Salón 301 Torre 2

Profesora Nombre Juliana Gutiérrez Valderrama

Correo electrónico juliana.gutierrezv@urosario.edu.co

Nombre Natalia Suárez

Monitores Juliana Trujillo

Sebastián Buitrago
 Correo electrónico natalia.suarezg@urosario.edu.co

juliana.trujillov@urosario.edu.co

sebastian.buitrago@urosario.edu.co

Grupo de Facebook “Lógica ECH 2019-1”

https://www.facebook.com/groups/1476676852464651/

Resumen y propósitos de formación del curso

El curso familiarizará al estudiante con herramientas de la lógica formal. La lógica es

fundamental porque ayuda a razonar clara, ordenada y correctamente. El estudio de la lógica
ayuda a corregir y evitar errores en nuestros razonamientos de la misma manera que el
estudio de la gramática ayuda a corregir y evitar errores en el uso del lenguaje. Con ella
hacemos explícitas las reglas que deberían gobernar a nuestros razonamientos.
Por lo mismo, la lógica es fundamental para la argumentación, que es una parte
central de nuestra vida diaria y académica, pues en ella es imperativo exponer nuestras
ideas con claridad y defenderlas adecuadamente, así como examinar las tesis y argumentos
opuestos de manera justa y efectiva. La lógica, bien aprendida, nos ayuda a lograr esta tarea.

Temas

Lógicas clásicas.
Condiciones y tablas de verdad.
Propiedades lógicas (verdad lógica, equivalencia, consistencia y validez).
Formalización del lenguaje natural.
Deducción natural.

Resultados de aprendizaje esperados (RAE)

Al finalizar el curso, los estudiantes deberán:

a) Razonar de manera más ordenada, clara, eficiente y correcta, así como evitar errores
sencillos de razonamiento.
b) Ser más conscientes de la estructura del lenguaje natural, a fin de ser más claros y
precisos.
c) Manejar conceptos lógicos como necesidad/contingencia, tautología/contradicción,
consistencia, equivalencia y validez/implicación.
d) Tener una destreza técnica básica en el manejo de sistemas formales.
Actividades de aprendizaje

El curso se desarrollará a través de cuatro tipos de actividades:

 Lectura por parte de los estudiantes de los textos asignados para cada sesión.
 Exposiciones de los temas y aclaraciones de dudas a cargo del profesor.
 Desarrollo de los ejercicios del libro guía por parte de los estudiantes.
 Monitorías a cargo de los monitores de la clase.
Se usará el libro Introducción a la lógica moderna de Andrés Páez. Como bibliografía
complementaria, se recomienda The Logic Book de Bergmann, Moor & Nelson.
Es responsabilidad de cada estudiante obtener copia del libro para leer y llevar a clase
(incluyendo las respuestas a los ejercicios, las cuales se encuentran en la parte posterior
del libro).

Bibliografía

- Páez, Andrés. Introducción a la lógica moderna. Bogotá: Uniandes, 2007.

- Bergmann, Moor & Nelson. The Logic Book. McGraw-Hill, 1980.
- Hempel, Carl G. (1966) “La investigación científica: invención y contrastación” (pp. 16-
37). Filosofía de la Ciencia Natural. Madrid: Alianza Editorial

Bibliografía complementaria

Sirve prácticamente cualquier libro de lógica que encuentre. Si desea utilizar alguno que no
sea el de Páez o The Logic Book, se aconseja preguntarle al profesor.
También puede encontrar material en Internet.

Distribución de contenidos y actividades por sesión

Fecha Temas Lecturas y actividades

lun 21 ene Introducción
Conjunciones, disyunciones y
§§ 2.1 a 2.6 y 2.9
mié 23 ene negaciones
lun 28 ene Condiciones suficientes y necesarias §§ 2.7 y 2.8
mié 30 ene Tablas y condiciones de verdad §§ 2.10 a 3.2
Necesidad y contingencia
lun 4 feb §§ 1.11 y 3.3
mié 6 febConsistencia §§ 1.10, 3.5 y 4.1
lun 11 febImplicación y validez §§ 1.3 y 3.6
mié 13 feb Equivalencia §§ 1.11 y 3.4
lun 18 febRepaso de propiedades lógicas
mié 20 feb Parcial de propiedades lógicas Parcial 15%
 Predicación § 6.1 y págs. 153 a 156.
lun 25 feb
mié 27 feb Cuantificación básica §§ 6.2 y 6.3
lun 4 mar Cuantificación simple § 6.4
mié 6 mar Cuantificación compleja § 6.5
lun 11 mar Cuantificación múltiple § 6.6
mié 13 mar Cuantificación múltiple compleja § 6.6
lun 18 mar Identidad §§ 6.8 y 6.9
mié 20 mar Repaso de traducciones
lun 25 mar Repaso de traducciones
mié 27 mar Parcial de traducciones Parcial 15%
lun 1 abr Conjunciones y disyunciones
mié 3 abr Condicionales y bicondicionales
Sustitución, instanciación y
lun 8 abr generalización
mié 10 abr Equivalencia y reglas de reemplazo Quiz 6,6%
lun 15 abr Semana rosarista
mié 17 abr Semana rosarista
lun 22 abr Validez y prueba condicional
mié 24 abr Dilemas
lun 29 abr Inconsistencia y reducción al absurdo Quiz 6,6%
mié 1 mayRepaso
Universalización y prueba existencial
lun 6 may
mié 8 mayTautologías y principio de identidad
lun 13 mayRepaso de deducción natural
mié 15 may Parcial de deducción natural Quiz 6,6%
lun 20 may Repaso de temas anteriores
mié 22 may Examen final Examen final 30%

Actividades de evaluación

Actividad de
Fecha Tema % Bono
evaluación

Febrero 17 Taller virtual 10% N/A

Propiedades lógicas
Febrero 20 Examen parcial 15% Buscaminas
Marzo 24 Taller virtual 10% N/A
Traducciones
Marzo 27 Examen parcial 15% Sudoku
Abril 10
Deducción natural Quices 20%
Abril 29
 Mayo 15
Propiedades lógicas,
Mayo 22 traducciones y Examen final 30% N/A
deducción natural.

Los estudiantes serán evaluados mediante dos parciales, dos talleres, tres quices y un
examen final. En los parciales (pero no en el final) se darán puntos extra por realizar ciertos
juegos lógicos. El parcial de propiedades lógicas se realizará a través de Moodle, para lo
cual el 21 de febrero nos desplazaremos a la sala A de Sistemas (primer piso de la torre 2).
Es responsabilidad de cada estudiante revisar que su cuenta de Moodle esté activa y con el
curso inscrito para dicho examen.
Todo estudiante con promedio de 4,5 o superior en el 80% de la asignatura, podrá quedar
eximido del examen final, en cuyo caso obtendrá un 5,0 en dicha nota.
En cada parcial se restará una décima por cada falla que el estudiante haya tenido en ese
tema, excepto una. Así, si en el tema alguien no tuvo fallas o tuvo una sola, no se restarán
decimas; si tuvo tres fallas, se restará 0.2 al parcial; si tuvo cinco, se restan 4 décimas.

Acuerdos de funcionamiento

Asistencia y puntualidad: la asistencia es obligatoria. Llegar después de que se ha llamado

a lista constituye una falla; no existen los retrasos. La lista se llama a las 11:11 am. La hora
legal para Colombia se puede consultar en horalegal.inm.gov.co. Toda excusa deber ser
tramitada con la universidad.

Si llegan tarde, entren, incluso si sólo quedan pocos minutos de clase. Aunque prefiero que
lleguen temprano a que lleguen tarde, también prefiero que lleguen tarde a que no lleguen.

Está prohibido el uso de dispositivos electrónicos durante la clase (calculadoras, celulares,

reproductores de audio o vídeo, computadores, etc.). El incumplimiento de esto ameritará la
expulsión del salón por el resto de la clase, la notificación de dicho evento a la Universidad
y el registro de la falla en el control de la asistencia.

Todos los casos de copia y de tentativa de copia, por ser moralmente despreciables, serán
reportados a la secretaría académica de la Escuela de Ciencias Humanas, lo cual abrirá el
proceso disciplinario correspondiente, que podrá culminar en la expulsión del estudiante.
Se recomienda a todos los estudiantes revisar el reglamento estudiantil.