Prezados :
Convido a todos para o próximo seminário do Grupo de Lógica e
Filosofia da Ciência. No dia 16 de julho, às 16h, contaremos com a
presença do professor Walter Carnielli, da Universidade de Campinas
(UNICAMP), que nos falará sobre "Multimodalidades, consistência e o
inquérito filosófico". O seminário será na sala do Programa de
Mestrado em Filosofia, sala B1-685 (mezanino, ICC Norte).
Segue abaixo o resumo da apresentação.
Cordialmente,
Samuel.
Resumo:
Se você for um filósofo ou lógico, jamais poderá reclamar da sua
família: você tem necessariamente os pais que tem, pois com pais
diferentes, você não seria a mesma pessoa (e talvez não reclamasse).
Este exemplo dado por Saul Kripke ilustra a ideia da necessidade
metafísica, mas esta não é a única: há as necessidades lógicas, e as
físicas, e o necessário a posteriori. E há ainda as 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 mostrar 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.
Walter Carnielli é Professor Titular do Departamento de Filosofia da
UNICAMP, e diretor do Centro de Lógica, Epistemologia História da
Ciência da UNICAMP. Autor de dezenas de artigos científicos em
Lógica, Combinatória, Teoria da Computação, Teoria dos Conjuntos e
Filosofia da Lógica, Carnielli é co-autor de "Analysis and Synthesis
of Logics: How to Cut and Paste Reasoning Systems" (Springer, 2008,
com D. Gabbay, M. E. Coniglio, C. Serndas e P. Gouveia), " Modalities
and Multimodalities" (Springer, 2008, com C. Pizzi) e "Computability:
Computable Functions, Logic, and the Foundations of Mathematics"
(Wadsworth, Thomson Learning, ARF Publications em várias edições desde
1989). Acaba de lançar "Pensamento Crítico: o poder da lógica e da
argumentação " (Editora Rideel, 2009, com R. L. Epstein).
