II. Paradoxos da Teoria dos Conjuntos - 2

15 Fevereiro 2022, 12:30 António José Teiga Zilhão

III. Paradoxo de Grelling


1. O paradoxo de Grelling como uma variante intensional do paradoxo de Russell.
2. Introdução dos predicados 'autológico' e 'heterológico' e do seu sentido; 
3. A geração do paradoxo: será 'heterológico' autológico ou heterológico? Se 'heterológico' for autológico, então terá que ser heterológico; se 'heterológico' for heterológico, então terá que ser autológico.
4. Conclusão: o paradoxo de Grelling mostra que é possível gerar uma versão puramente intensional do paradoxo de Russell sem que, para o efeito, se faça apelo a quaisquer axiomas da Teoria dos Conjuntos e sem que sequer se recorra à noção de classe ou conjunto.