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.com>escreveu: > 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