Quantificação

A dissertação é sobre a noção de quantificação. Há duas partes. A primeira parte trata de casos de quantificação nos quais as varia'veis devem ser substituídas na sentença aberta por expressões que designam entidades singulares; e a segunda parte é sobre alguns casos em que tais variáveis devem ser substituídas por outros tipos de expressões constantes, por exemplo sentenças. Na primeira parte são distinguidas quatro noções de quantificação do primeiro tipo, e indicadas suas principais propriedades e relações umas com as outras. São também apresentadas as motivações e aplicações desta distinção. O objetivo principal da segunda parte é, numa palavra, mostrar que é possível falar e pensar em termos de uma classe compreensiva de assim chamados objetos abstratos sem precisar supor que eles existam. Os casos de proposições, classes e números são tratados especialmente. A dissertação contém dois apêndices: um sobre definições de mundos possíveis numa """"base ontológica"""" de proposições e classes, e outro sobre uma réplica a uma objeção tradicional à interpretação de enunciados de quantificação do primeiro tio como afirmando conjunções e disjunções (talvez infinitas).