Nomes vazios: um estudo do problema e de cinco soluções

Este trabalho é um estudo sobre o problema dos nomes vazios. No primeiro capítulo, apresento a teoria tradicional da predicação como concebida por Alexius Meinong, Gottlob Frege e Bertrand Russell, em termos da qual o problema aparece em sua forma contemporânea. Mostro que uma teoria da predicação é sujeita ao problema quando mantém (ao menos) cinco princípios que estão presentes nessa tradição. Chamo a teoria composta com esses princípios de teoria modelo. O segundo capítulo é dedicado a expor o problema nos termos da semântica da lógica clássica de primeira ordem. Aplicada a fragmentos de linguagens naturais, ela constitui o ambiente natural para manifestação e estudo do problema. Para isso, apresento a lógica no início do capítulo e interpreto sua semântica de modo a trazer à superfície as cinco teses da teoria modelo. No terceiro e último capítulo, exploro cinco tipos de soluções para o problema, cada um habilitado pela revisão de um dos enunciados da teoria modelo e exemplificado por um pensador que pertenceu àquela tradição ou que, de algum modo, a rejeitou, como W. V. O. Quine e Rudolf Carnap. Concluo sem decidir por um tipo de solução, sugerindo que não há um critério de decisão que não seja fundamentalmente relativo aos paradigmas subjacentes a cada uma.