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.
JavaScript is turned off in your web browser. Turn it on to take full advantage of this site, then refresh the page.