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, é equivalente ao…