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.

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

Comparativo dos governos Lula/PT e FHC/PSDB

Olá para todos.

No link abaixo está um demonstrativo muito didático dos resultados dos governos Lula/PT e FHC/PSDB.

http://ilustrebob.com.br/2010/10/lula-vs-fhc/ 

Antes que alguém replique dizendo que a eleição é entre a Dilma e o Serra blá, blá, blá, lembro que os candidatos tem partidos e tais partidos já governaram o Brasil e vários estados. Então, vale sim comparar os resultados efetivos do PSDB com os do PT no governo. E no caso da eleição para presidente, temos à disposição dados dos 4 últimos governos, que foram justamente do PSDB e PT. Em poucas palavras: dizer que não cabem comparações entre os governos FHC e Lula na hora de decidir entre Dilma e Serra é um argumento muito, muitíssimo falacioso. 

Outra coisa que é bom lembrar. Concordo que especialmente o primeiro governo do FHC teve méritos. É verdade que tais méritos deveriam ser compartilhados com o Itamar, que recebeu o governo em um momento grave da nossa história recente. Mas o governo FHC/PSDB colaborou para o fim da inflação, para a consolidação da democracia, liberdade de expressão, essas coisas todas. Fez algumas privatizações acertadas e outras não, embora certamente muitas (todas?) tenham sido feitas da forma errada. Mas essa não é a discussão que me parece mais relevante agora.

Eu hoje sou otimista em relação ao Brasil como não era nos tempos absolutamente obscuros dos governos militares, sarney, collor...  O PSDB tem méritos, como o PT também. Certamente Lula foi bem-sucedido no governo em alguma medida devido a acertos dos governos anteriores.

Mas o fato é que hoje temos uma decisão a tomar. E há dados, sobretudo no que diz respeito à educação e à distribuição de renda, que revelam sim uma diferença entre PT e PSDB no governo. E tenho uma profunda convicção de que ISSO é o que vai continuar a tornar o Brasil melhor, para nós, nossos amigos, nossas famílias e nossos filhos.

Quanto às fontes: admito que acredito nelas - ingenuamente talvez. Mas se alguém tiver algo a dizer sobre isso, i.e. se os dados do comparativo acima estão errados, manifeste-se então, indicando onde e por quê.

Abraços