Mathematical Logic

This course will present the basic concepts of logic, proposition, connective logic, tautology, contradiction, implication, and tautological equivalence. Furthermore, students will analyze the basic properties of inference and basic rules of deduction. This course also formalizes the symbolic representation of everyday language.

Descripción de la asignatura
En esta asignatura se presentan inicialmente los conceptos básicos de la lógica tales como proposición, conectivo lógico, tautología, contradicción, implicación y equivalencia tautológica. Luego se analizan las propiedades básicas de la inferencia y reglas básicas de la deducción. Además se formaliza la representación simbólica del lenguaje cotidiano.

Justificación
Nuestro uso cotidiano del lenguaje es vago y nuestro nivel diario de pensamiento es, a menudo, confuso. Uno de los principales propósitos de este curso es el de iniciar al estudiante en una forma de pensamiento que propicia el esmero y la precisión. Hay muchos modos de aprender cómo usar con precisión el lenguaje y las ideas. Nuestro método se basará en el estudio de la lógica. En realidad, no es demasiado pretender que la teoría de la inferencia, uno de los tópicos principales de este curso, atañe a toda seria deliberación humana. Un razonamiento correcto es válido en virtud de su forma lógica.

Competencia a desarrollar
Competencia Básica Institucional: Pensamiento Sistemático

Objetivo general del curso
Este curso se orientará a:
Ayudar a los estudiantes a construir las bases para la formación del criterio lógico a lo largo de su carrera al potenciar su proceso de aumento de niveles de abstracción, conceptualización y análisis. Aumentar los niveles de precisión y claridad en el uso del lenguaje. Disminuir la vaguedad conceptual en sus argumentaciones por medio de la representación simbólica del lenguaje cotidiano y su comparación con las reglas básicas de la deducción.

Resultados de aprendizaje
Al finalizar el curso, los estudiantes deben estar en capacidad de:
Conocimientos (saber conocer):

• Identifica reglas de inferencia y las aplica en deducciones formales.
• Reconoce cuando un conjunto de premisas es consistente o no.
• Construye una deducción correspondiente a una argumentación dada.

Habilidades (saber hacer):

• Utiliza el razonamiento deductivo para verificar una conclusión.
• Transcribe una oración del lenguaje cotidiano a una notación que use términos, predicados, cuantificadores y conectivos oracionales.
• Determina la valides de una regla de inferencia.
• Utiliza el razonamiento inductivo para reconocer patrones y formular conjeturas.

Actitudes (saber ser):

• Es responsable, ético y tolerante en el desarrollo de la clase a través de trabajos individuales y grupales.

Opciones Metodológícas-Actividades de aprendizaje
Exposición de los temas por parte del profesor (Los cuáles deben ser leidos previamente por los estudiantes), estimulando la participación por medio de preguntas y problemas modelos.
Programación de clases prácticas que impliquen discusión, y que conlleven a una puesta en común y toma de decisiones.
Asignación de lecturas complementarias, revisiones bibliográficas y problemas para su estudio o resolución, como trabajo fuera de clase que serán evaluadas mediante foros, mesas redondas u otra estrategia que resulte conveniente en el momento.
Asignación de actividades grupales a desarrollar en clase o fuera de ella.

Evaluación

• Primer Parcial (Semana 1-4) - 15%
• Segundo Parcial (Semana 5-8) - 20%
• Tercer Parcial (Semana 9-12) - 25%
• Promedio de quices, tareas y participación en clase. - 20%
• Examen Final - 20%