Quantificação

Abstract

O presente artigo tem como objetivo realizar uma introdução geral ao tópico da quantificação em linguagens formais e, especialmente, na lógica de predicados. Ele está dividido em duas partes. Na primeira parte, apresento a sintaxe e a semântica dos quantificadores para a lógica de predicados. Na segunda parte, apresento um panorama de alguns dos principais problemas de ordem lógica e/ou filosófica envolvendo quantificadores, tais como a distinção entre interpretações objetual e substitucional dos quantificadores, a abordagem quantificacional da noção de existência, os critérios quineanos de compromisso ontológico e o problema da quantificação irrestrita.

This paper aims to provide a general introduction to the subject of quantification in formal languages and mainly in predicate logic. It is divided into two parts. The first one presents the syntax and semantics of the quantifiers for predicate logic. The second part offers an overview on some of the major problems of logical and/or philosophical order involving quantifiers, such as the distinction between objectual and substitutional interpretation of the quantifiers, the quantificational approach to the notion of existence, the Quinean criteria of ontological commitment, and the problem of unrestricted quantification.