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
certas questões envolvendo lógica e informação quãntica. Mostro como
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 acertas 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.
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.
