Second Order Logic as Ontology
The article has been inspired by Quine's investigations of the status of the second order logic. Following his mentor, the author adopts an ontological interpretation of the second order logic as a logic that is a general theory of individuals, classes and relations. Here the dependence ends, however, as the author undertakes to defend a new, specific status of a theory of such kind, different from the status that was assigned to it by Quine in the usual interpretation of his arguments.
CEJSH db identifier