Re: [Logica-l] logica modal et tout ca

2011-10-15 Por tôpico Joao Marcos
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

Re: [Logica-l] S5 metalogica, paraconsitencia, mundos possiveis

2011-10-15 Por tôpico Tony Marmo
Sobre a indiscernibilidade sintática eu me refiro a precisamente o que Walter Carnielli e Cláudio Pizzi explicam magnificamente no seu livro relançado em Inglês. Obrigado pelas demais provocações que vou pesquisar quando tiver tempo. Em 15 de outubro de 2011 09:38, Joao Marcos botoc...@gmail.com

Re: [Logica-l] S5 metalogica, paraconsitencia, mundos possiveis

2011-10-15 Por tôpico Joao Marcos
Sobre a indiscernibilidade sintática eu me refiro a precisamente o que Walter Carnielli e Cláudio Pizzi explicam magnificamente no seu livro relançado em Inglês. Talvez você ainda queira ser mais específico, uma vez que a expressão em questão _não_ aparece neste livro... De todo modo, tudo

Re: [Logica-l] logica intensional

2011-10-15 Por tôpico Joao Marcos
A expressao logica intensional e realemente muita ambigua devido a confusao entre extensionalidade e verifuncionalidade De fato, infelizmente a maior parte dos autores que discorrem sobre intensionalidade na literatura parecem não fazer qualquer ideia clara de qual seria o significado desta

Re: [Logica-l] S5 metalogica, paraconsitencia, mundos possiveis

2011-10-15 Por tôpico Joao Marcos
Tony: Não pretendo estender esta conversa indefinidamente. Você pode ter certeza de que conheço a fundo os capítulos 2 e 3 deste livro, do qual sou de fato revisor... Mas isso não vem ao caso. Entendo que você incorre basicamente em duas confusões: (1) a confusão entre sintaxe e