|
A lo largo del tiempo se han distinguido múltiples partes de la lógica, entre las que se destacan la lógica formal y la lógica simbólica. La lógica formal fue iniciada por los griegos hace por lo menos veinticinco siglos. Las bases de ésta fueron establecidas por Aristóteles. La característica más importante de la lógica aristotélica es que se fundamentó en los denominados lenguajes naturales y por ende, se mantuvo al margen de las matemáticas. En la edad media los lógicos no alcanzaron a establecer una teoría con un alto componente formal ya que su mayor esfuerzo se concentró en estudiar y formular leyes lógicas para el lenguaje natural del momento, el latín.
|