Lógica 2

Este curso es una introducción al estudio de la lógica formal. Estudiar lógica formal consiste en estudiar la manera en la que se han usado distintos sistemas formales para explicar por qué un argumento es válido, y para dar cuenta de cuál es la naturaleza de su validez. (Hay que anotar que explicar por qué un argumento es válido y dar cuenta de la naturaleza de esta propiedad hace parte de la explicación acerca de por qué un buen argumento es un buen argumento.) En la historia de la lógica se han desarrollado muchos sistemas formales con este propósito: la teoría del silogismo aristotélico, la lógica booleana, los esquemas de argumentación estoica y su semántica, entre otros; todos con el mismo fin: arrojar luz sobre la naturaleza de la validez; pero con una consecuencia adicional: un procedimiento mecánico para encontrar y clasificar los argumentos válidos y distinguirlos de los argumentos inválidos.