OK, ta aí uma boa questao - a relação entre os sistemas de Frege, PM, etc. Um bom tema p/ uma monografia ou, quem sabe, uma dissertacao de mestrado. Abraços
On Tue, Jan 27, 2009 at 8:21 PM, BEZIAU Jean-Yves <[email protected]> wrote: > Abilio: > Sobre os teoremas, bom, era preciso antes um sistma de FOL para q a > completude, incompletude, indecidibilidade (e decidibilidade da log > proposicional) fossem provados, OK? E eh justamente esse sistema q foi > apresentado por Frege na Begr. > _______________________________________________________ > JYB: > Tambem é possivel de falar de completude, incompletude, indecidibildade de > outros sistemos: > o teoria do silogismo, a logica estoica, a logica de boole, de schröder, etc > O Frege nao conceptualizou nemhum dessas ideias, > e podemos dizer que esses concietos nao faz sentido para a filosofia dele. > > Foi o Hilbert que colocou por examplo o problemo de provar a consistencia > e o Gödel trablhou a partir do livro do Hilbert e Ackerman (HA). > Temos que examinar a relacao exata entre o sistemo de HA, do Frege, de > Prinicipia Mathematica, > mas tem pessoas que diz que FOL aparece pela primeira vez em HA. > > > _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
