> 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,

Por isso mesmo, o Wittgenstein do Tractatus não merece o crédito: a
depender dele, a lógica modal *nunca* teria sido desenvolvida.

> Carnap se inspirou do Wiitgenstein, e parece que foi ele o primeiro a
> argumentar que S5 era  endometalogica ...

:-)

JM

-- 
http://sequiturquodlibet.googlepages.com/
_______________________________________________
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Responder a