Clase modelo de historia de la cuantificación.
Señalaremos la importancia del conocimiento de la historia de la lógica para la enseñanza de la lógica misma.
Presentararemos tres momentos importantes en la historia del tratamiento de las proposiciones generales y las inferencias entre las mismas
(Aristóteles, Ockham y Frege), subrayando la relación de estos tratamientos con algunas consideraciones ontológicas.