O evento consistirá em um ciclo de palestras, ministradas pelo Prof. Dr. João Vergílio Gallerani Cuter, da Universidade Estadual de São Paulo (USP) sobre a teoria dos tipos de Bertrand Russell. O objetivo das palestras é apresentar uma releitura da introdução à primeira edição dos Principia Mathematica de Russell, enfatizando suas interrelações e buscando extrair algumas conseqüências. A lógica matemática dos Principia está assentada sob a teoria das descrições definidas, a teoria dos tipos e a teoria do juízo. Nesse sentido, serão demonstrados os seguintes pontos: (1) a teoria do juízo e a teoria das descrições definidas são dois ramos de uma teoria mais ampla, que tem por objeto aquilo que Russell chama de "símbolos incompletos"; (2) a teoria dos tipos, unida à teoria do juízo, está condenada a ser uma ontologia e (3) a teoria das descrições, unida à teoria dos tipos, é equivalente ao Tractatus Logico Philosophicus de Wittgenstein sem a teoria da figuração. Desse modo, o ciclo será constituído das palestras “A teoria do juízo e a teoria das descrições definidas”, “A teoria dos tipos e a teoria do juízo como relação múltipla” e “A teoria dos tipos e a teoria das descrições definidas versus o Tractatus”.
PROGRAMAÇÃO
Dia 25/11/2009: “A teoria do juízo e a teoria das descrições definidas”
15h as 19
Local: Sala 2323, CCSH Prédio 74, CAMPUS/UFSM
Dia 26/11/2009: “A teoria dos tipos e a teoria do juízo como relação múltipla”
15h as 19h
Local: Sala 2323, CCSH Prédio 74, CAMPUS/UFSM
Dia 27/11/2009: “A teoria dos tipos e a teoria das descrições definidas versus o Tractatus Logico Philosophicus”
15h as 19h
Local: Sala 2323, CCSH Prédio 74, CAMPUS/UFSM
Promoção: Departamento de Filosofia da UFSM e PPG Filosofia da UFSM
Nenhum comentário:
Postar um comentário