Busca avançada
Ano de início
Entree

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)

Matéria(s) publicada(s) na Agência FAPESP sobre o auxílio:
Mais itensMenos itens
Matéria(s) publicada(s) em Outras Mídias ( ):
Mais itensMenos itens
VEICULO: TITULO (DATA)
VEICULO: TITULO (DATA)