Uma Comparação entre a Lógica de Primeira Ordem e a Lógica Descritiva Acerca da Noção de Compromisso Ontológico em Quine

Abstract

The notion of ontological commitment suggested by Quine for first-order logic is closely linked to the use of variables. But what happens with this notion in a logic that does not contain variables, such as descriptive logic? In this paper, by comparing first-order logic and descriptive logic with regard to the notion of “ontological commimtent”, we will show why such a notion is not appropriate for descriptive logic. Finally, we will argue how this notion of ontological commitment can be rehabilitated by translating the sentences of descriptive logic into sentences of first-order logic.