Lógica clásica; teoría de la cuantificación del predicado; Aristóteles.