Matrícula, lugar y horario
Materia: Lógica 1, Clave 3116, Grupo 1103, Mtro. Julio Enrique Beltrán Miranda
Lunes 10 a 12 en el Salón 106, Jueves de 10 a 12, en el salón 314 salón 302 o en la Sala de Computadoras del Sótano de la Torre.
Descripción del curso (Objetivos)
Al terminar este curso inicial de lógica, el estudiante dominará las herramientas formales e informales de la lógica en el grado necesario para poder auxiliarse de ellas al interpretar, analizar y evaluar argumentos de varios tipos, y en particular argumentos filosóficos como los que enfrentará en el resto de las asignaturas. Simultáneamente habrá adquirido un conocimiento de los símbolos y reglas del cálculo proposicional y del cálculo de predicados suficientemente íntimo para poder tomar posteriormente el curso optativo de filosofía de la lógica.
La duración del curso es de un año completo. En el segundo semestre (Lógica 2) sólo se aceptarán los estudiantes que hayan aprobado este mismo curso en el primer semestre.
Bibliografía
Simpson, R. L., Essentials of Symbolic Logic, Routledge, N. Y., 1988, biblioteca del IIF clas. BC135.S5155 (Se proporcionarán fotocopias.)
Evaluación
La calificación final de cada estudiante consistirá en una combinación de sus calificaciones en exámenes (60%), tareas (30%), participación y asistencias (10%)
Contenidos del primer semestre.
- Lógica proposicional.
- Razones, consecuencia y validez.
- Nociones fundamentales de formalización simbólica.
- Funciones de verdad.
- Letras proposicionales y símbolos.
- Metalenguaje.
- Las 16 funciones binarias.
- Definición de las cinco conectivas lógicas: negación, conjunción, disyunción, implicación y bicondicionalidad.
- Tablas de verdad.
- Tipos de fórmulas: veri-funcionalmente tautológicas, contradictorias, contingentes.
- Fórmulas veri-funcionalmente equivalentes.
- Conjuntos de fórmulas veri-funcionalmente consistentes o inconsistentes.
- Argumentos. Válidos e inválidos. Contundentes y fallidos.
- Traducción entre el lenguaje artificial y el natural.
- Traducción de argumentos.
- Examen
- Consistencia, inconsistencia y árboles de verdad.
- Análisis veri-funcional de una proposición y de un conjunto de proposiciones.
- El árbol de verdad como una prueba de la consistencia de un conjunto de proposiciones.
- El árbol de verdad como una prueba indirecta de la validez de un argumento.
- Examen
- Derivación natural en lógica proposicional.
- Qué es una derivación.
- Cinco reglas de introducción y cinco de eliminación de los conectores veri-funcionales.
- Construcción de derivaciones.
- Suposiciones, reiteraciones.
- Pruebas indirectas.
- Derivaciones categóricas.
- Examen
Formulario para registrarse
Lectura introductoria:
Tarea para el lunes 15 de agosto
Ver la tarea para el lunes 15 de agosto
Tarea para el jueves 18 de agosto
Rompecabezas sencillos para el jueves 18
Tarea para el lunes 22 de agosto
Más patrones rompecabezas para el lunes 22 de agosto
Pruebas de Wason
Examen del lunes 10 de octubre.
Cuatro problemas de formalización de argumentos con soluciones
Libro de texto
Ya arribó el libro de texto para los dos semestres de Lógica 1 y 2. Se llama Essential of Symbolic Logic, y pueden obtener un juego de copias en la fotocopiadora donde deposité el original. Al precio que tienen de 25 centavos por hoja, tendrá un costo total de 37 pesos.
Por favor, no lo engargolen. En cambio, métanlas en la carpeta de tres argollas que les pedí comprar. Hagan tres perforaciones en el margen inferior de las fotocopias, no en el superior.
Software
- Software para practicar derivación natural comprobar la validez de argumentos (Bertie3) es un programa para ejercitar la derivación "natural" Bertie3 y Twootie
- Emuladores de DOS para Windows 7 o posterior, o inclusive para otros sistemas operativos, o bien, para instalar en la memoria USB (todo esto es desconocido para mí, y no puedo darles orientación más allá de estas referencias):
- DOSBOX (el único que Teobaldo y yo hemos empleado) http://portableapps.com/apps/games/dosbox_portable
- Bochs http://bochs.sourceforge.net/
- Windows Preinstallation Environment http://en.wikipedia.org/wiki/Windows_Preinstallation_Environment
- V-Box http://www.vbox.me/
- QEMU http://wiki.qemu.org/Main_Page