Being, Science and Logic in the Golden Age

• Autor: Redmond, Walter
• Formato: artículo
• Fecha de Publicación: 1996
• Institución: Pontificia Universidad Católica del Perú
• Repositorio: Revistas - Pontificia Universidad Católica del Perú
• Lenguaje: español
• OAI Identifier: oai:ojs.pkp.sfu.ca:article/5202
• Enlace del recurso: http://revistas.pucp.edu.pe/index.php/arete/article/view/5202
• Nivel de acceso: acceso abierto

Spanish and Spanish-American logicians of the 16th and 17th centuries worked with a complex "theory of types"to 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.