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.Fundação para a Ciência e a Tecnologiainfo:eu-repo/semantics/publishedVersio