Lógica

Se dice que la Matemática es la reina de las ciencias. En la Filosofía, la Lógica es la emperatriz que gobierna al conocimiento dentro de los cauces de sus reglas.  Sócrates estableció a la dialéctica como un método  que sigue en uso hasta la fecha, pero fue Aristóteles quien formalizó el estudio de la lógica. La lógica estoica  sienta las bases de la lógica de primer orden que habría de ser -eventualmente- establecida en tiempos modernos. En éste curso, trataremos de hacer una revisión de las principales corrientes.

• Lógica Aristotélica
• ​Lógica proposicional
• Lógica de primer orden
• Lógica de segundo orden
• Lógica modal
• Lógica matemática
• Lógica filosófica
• Lógica en ciencias de computación
• Lógica difusa
• Lógica no clásica
• ​