Muito obrigado, Jean-Yves pela resposta.
Eu gosto muito dos seus artigos e suspeitava que você não fosse exatamente
um reducionista. Mas, o reducionismo é uma tentação forte para toda a gente,
a que a gente só resiste com uma dose de ceticismo filosófico.
Em 14 de outubro de 2011 21:20, jean-yves beziau beziau...@gmail.comescreveu:
Ola Tony e Joao Marcos
Muito boa a discussao.
Sobre minha posicao: nao sou reducionisto.
importante e establecer connexoes entre sistemos logicos
e mesmo que dois sistemos sejam equivalentes
um sistemo e bom sobre uma certa perspectiva, outro e melhor sobre outra
perspectiva
a logica modal proposicional e muito interessante para tratar de
fragementos da logica de primeiro ordem
ou da logica de segunda ordem
para mim logica modal e uma expressao ambigua,
Podemos falar de logicas de Kripke (logicas que podem ser definidas com
estruturas de Kripke),
logicas matriciais (logicas que podem ser definidas com matricias
logicas)
isto se aplica tambem a connectivos: connectivos de Kripke,
connectivos matriciais, etc
connexao entre necessario = tautologia, etc, se encontra no Tractatus,
onde Wittgenstein fala que as nocoes modais nao podem ser consideradas com
connectivos
provavalemente porque ele pensava que nao era possivel misturar logica e
metalogica,
Carnap se inspirou do Wiitgenstein, e parece que foi ele o primeiro a
argumentar que S5 era endometalogica ...
Um abraco, Jean-Yves
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l