Curso de lógica proposicional

La filosofía y las ciencias occidentales encuentran su origen en un tiempo y en un espacio determinados: hacia el año 550 AC, en la Grecia antigua. En particular, la lógica además de ser una invención de la primera filosofía griega, recibe, desde su fundación un desarrollo de gran alcance, tanto en comparación con los aportes que pudieron agregarse en los siglos siguientes dentro de la cultura occidental, como si se atiende a los relativamente modestos resultados que obtiene esta misma disciplina en las otras civilizaciones que tuvieron un sistema de conocimientos semejante a nuestra lógica. Simplificando bastante procesos complejos y alejados en el tiempo de relaciones entre escuelas e influencias, puede decirse que, en la tradición lógica de la Grecia Antigua, Aristóteles cuenta como el principal responsable del desarrollo de la lógica silogística y la escuela megárico-estoica, como la gran impulsora de la lógica proposicional o sentencial. La lógica silogística y la lógica proposicional constituyen juntas la denominada lógica elemental o lógica de primer orden. El curso que aquí presentamos se dedicará a su parte más básica, la lógica proposicional.