(Pontificia Universidad Católica del Perú. Fondo Editorial, 1996) Redmond, Walter
En los siglos XVI y XVII los lógicos hispanos e hispanoamericanos trabajaron con una compleja teoría de los tipos para explicar las diversas clases de entidades denotadas o significadas en el lenguaje. A. de la Vera Cruz y sus colegas plantearon un sistema lógico de muchas clases donde las sentencias generales eran reducibles a hileras de entidades cuyos términos referían a cosas singulares, el mismo que les permitió un análisis semántico básico. A. Rubio,asimismo, desarrolló una teoría del lenguaje científico y la aplicó a la lógica misma, definiendo las proposiciones de la lógica como atribuciones de un segundo orden mental, propiedades relativas a contenidos de primer orden, atribuibles ellos mismos a objetos singulares.