terça-feira, 26 de outubro de 2010

Palestras com o Prof. Walter Carnielli

FACULDADE DE FILOSOFIA E CIÊNCIAS HUMANAS
Programa de Pós-Graduação em Filosofia
Linha de Pesquisa - Lógica e Filosofia da Ciência


Palestras com o Professor Walter Carnielli


Multimodalidades: lógica, computação e filosofia
Quarta-feira, 27/10/2010, 14h, sala 3048 FAFICH 

A ideia de necessidade, à qual se  opõe  o que é contingente,  é
antiga  no pensamento filosófico. A par da necessidade metafísica, os
lógicos  e filósofos se referem às  necessidade  lógica, física e ao
necessário a posteriori, às quais estão ligadas várias noções de
possibilidade. De que maneira  a lógica modal, vista como o estudo do
raciocínio que envolve o uso das expressões  'necessariamente' e
'possivelmente', trabalha com tudo isso? Existem modalidades
não-clássicas, ou as  noções de modalidade não as  admitem? Seria a
'consistência' uma noção modal?  E o que tem isso tudo a ver com os
mundos possíves? E com os mundos impossíveis? Pretendo introduzir  a
matemática das modalidades e das multimodalidades, incluindo ideias
básicas da  combinação de  lógicas, discutir alguns  de seus problemas
e ajudar a   compreender porque a  lógica modal ocupa hoje uma posição
tão privilegiada na  filosofia, na computação e na linguística.


Lógica, argumentação e pensamento crítico: um programa
Quinta-feira, 28/10/2010, 12h, sala 3048 FAFICH

Nos últimos 30 anos, o estudo da argumentação conheceu um grande
desenvolvimento e se transformou num campo de estudo independente e de
alto valor estratégico, mas  que é ainda  pouco difundido  no  Brasil.
Contudo, conhecer a estrutura íntima dos argumentos é fundamental para
o discurso filosófico, científico e político-social. Pretendo discutir
a proposta de um  programa introdutório  à atividade  de pensar
criticamente  com bases  rigorosas e com suporte na Lógica, embora
não-formal,  enfatizando  não somente a persuasão e a formulação de
bons argumentos mas a defesa contra ataques argumentativos.


Lógica Quântica, suas Vertentes Modais e a Incompletude
Quinta-feira, 28/10/2010, 16h45, sala 3060 ICEx

A palestra pretende  oferecer  uma  introdução gentil e convidativa  a
certas questões envolvendo  lógica e informação  quãntica. Mostro como
algumas classes de  lógicas  multi-modais com formas fracas de negação
são incompletáveis com respeito às semânticas de  Kripke. Argumento
que esta dificuldade,  além de seu interesse  filosófico intrínseco,
pode ser relevante  para a expressabilidade da informação quântica em
termos lógicos. Contudo, a incompletude não afetaria em princípio as
"semânticas modais de traduções possíveis"; considerando que tais
semânticas, tanto quanto as semânticas de Kripke, caracterizam lógicas
modais com vocação quântica, a adoção das semânticas modais de
traduções possíveis pode ser uma interessante alternativa. Discuto
outras abordagens e problemas ligados a esta questão.

quarta-feira, 20 de outubro de 2010

Palestra - From Natural Deduction to Lambda Calculus

Palestra com o professor Alexis Saurin PPS/Paris-França

From Natural Deduction to Lambda Calculus

Quinta-feira, sala 4094, 18h