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 Tractatus LogicoPhilosophicus
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”
HORÁRIO: 15h as 19h
LOCAL: Sala 2323, CCSHPrédio 74, CAMPUS/UFSM
DIA 26/11/2009: “A teoria dos tipos e a teoria do juízo como relação múltipla”
HORÁRIO: 15h as 19h
LOCAL: Sala 2323, CCSHPrédio 74, CAMPUS/UFSM
DIA 27/11/2009: “A teoria dos tipos e a teoria das descrições definidas versus o
Tractatus LogicoPhilosophicus”
HORÁRIO: 15h as 19h
LOCAL: Sala 2323, CCSHPrédio 74, CAMPUS/UFSM
PROMOÇÃO: Departamento de Filosofia da UFSM e PPGFilosofia da UFSM
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 Tractatus LogicoPhilosophicus
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”
HORÁRIO: 15h as 19h
LOCAL: Sala 2323, CCSHPrédio 74, CAMPUS/UFSM
DIA 26/11/2009: “A teoria dos tipos e a teoria do juízo como relação múltipla”
HORÁRIO: 15h as 19h
LOCAL: Sala 2323, CCSHPrédio 74, CAMPUS/UFSM
DIA 27/11/2009: “A teoria dos tipos e a teoria das descrições definidas versus o
Tractatus LogicoPhilosophicus”
HORÁRIO: 15h as 19h
LOCAL: Sala 2323, CCSHPrédio 74, CAMPUS/UFSM
PROMOÇÃO: Departamento de Filosofia da UFSM e PPGFilosofia da UFSM
