Abstract

Starting from an exercise in Quinean hermeneutics targeting the notion of ontological commitment, the paper focuses on Quine's reasons for avoiding higher-order quantification. The argument goes further to support the idea of types of existence, which is then shown to accommodate higher-order logical frameworks, via accepting multiple identity/individuation standards.