Redmond, Walter2018-04-092018-04-091996http://revistas.pucp.edu.pe/index.php/arete/article/view/5202/5194En 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.Spanish and Spanish-American logicians of the 16th and 17th centuries worked with a complex theory of typesto account for the various kinds of beings denoted or signified in language. A. de la Vera Cruz and his colleagues supposed a many-sorted logical system where general sentences are reducible to strings of identities whose terms refer to singular things and which lend themselves to basic semantic analysis.A. Rubio worked out a theory of scientific language and applied it to logic itself, defining propositions of logic as attributions of second-ordermental relational properties to first order contents, themselves attribut able to singular objects.application/pdfspainfo:eu-repo/semantics/openAccesshttp://creativecommons.org/licenses/by/4.0Filosofíainfo:eu-repo/semantics/articlehttps://purl.org/pe-repo/ocde/ford#6.03.01https://doi.org/10.18800/arete.199602.003