Un rasgo del desarrollo de la lógica aristotélica se conoce con el nombre de "teoría de la suposición", un estudio de la semántica de los términos de la proposición.