Pular para o conteúdo principal

Postagens

Mostrando postagens de novembro, 2009

PALESTRAS DO PROFESSOR CUTER NA UFSM

TÍTULO: OS TRÊS PILARES DOS PRINCIPIA MATHEMATICA DE BERTRAND RUSSELL DESCRIÇÃO: 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, é equi