Speaking the unspeakable. Paradoxes Between Truth and Proof

• Processo: 19/14825-8
• Modalidade de apoio: Auxílio Organização - Reunião Científica
• Data de Início da vigência: 09 de dezembro de 2019
• Data de Término da vigência: 10 de dezembro de 2019
• Área do conhecimento: Ciências Humanas - Filosofia - Lógica
• Pesquisador responsável: Giorgio Venturi
• Beneficiário: Giorgio Venturi
• Instituição Sede: Instituto de Filosofia e Ciências Humanas (IFCH). Universidade Estadual de Campinas (UNICAMP). Campinas , SP, Brasil
• Assunto(s): Paradox
• Palavra(s)-Chave do Pesquisador: History of logic | Paradox | Proof theory | Set theory | truth | Teoria de conjuntos, Teoria da prova, Teoria da verdade

Resumo

Embora hoje os paradoxos sejam amplamente reconhecidos como fontes frutíferas de novos entendimentos, tanto na lógica quanto na matemática, ainda falta uma caracterização precisa e abrangente do que é um paradoxo. Este workshop reúne pesquisadores que trabalham na lógica e na filosofia dos paradoxos em diferentes áreas: teoria da verdade, teoria da prova, teoria dos conjuntos e história da matemática. O objectivo do workshop é alcançar uma compreensão mais profunda dos fenómenos paradoxais através da exploração e comparação dos recursos provenientes de cada uma destas áreas. (AU)