Questão 3481024

quando Quine diz que a barba de Platão tem feito "a navalha de Ockham perder o corte", ele sugere com isso que a doutrina em questão é ontologicamente econômica, não postulando entidades dispensáveis e inexistentes.

Alexius Meinong foi um herdeiro da barba de Platão. A solução que Meinong propõe para este enigma consiste em construir uma ontologia baseada na distinção entre ser (sein) e ser tal (sosein). Grosso modo, a tese é a que há coisas de dois tipos, aquelas que existem e aquelas que não existem.

na lógica clássica, a existência pode ser expressa com um quantificador (predicado de segunda ordem) ou com um predicado de primeira ordem. Isso nos permite expressar, de modo consistente, proposições como .

a lógica clássica é inteiramente adequada para falar de inexistentes. Por exemplo, é verdadeiro que alguns unicórnios voam, mas também é verdadeiro que unicórnios não existem. Nenhuma contradição decorre daqui. O problema do não-ser diz respeito especificamente ao estatuto ontológico daquilo que não é, em absoluto.

a doutrina da barba de Platão não precisa ser ontologicamente aparada, pois ela sugere apenas que o não-ser deve ser concebido, não que o não-ser deve existir. Podemos conceber muitas coisas que não existem, como unicórnios, montanhas de ouro e o próprio não-ser. Portanto, Quine parece ter se equivocado nessa passagem.