Paradoxo de Russell

10 Março 2016, 10:00 • António José Teiga Zilhão

Os princípios elementares da Teoria ingénua dos conjuntos. Exposição do modo como o paradoxo de Russell se deixa derivar a partir do Axioma da Compreensão Irrestrito e do Princípio do Terceiro Excluído. O Paradoxo de Grelling como contraparte semântica do Paradoxo de Russell. Descrição e análise de diferentes soluções para o Paradoxo de Russell: i) a teoria dos tipos, do próprio Russell; ii) a proposta de Zermelo de substituir o Axioma da Compreensão Irrestrito pelo Axioma da Extracção (Aussonderung Axiom), o qual bloqueia a derivação do paradoxo.