Essa é muito boa também!! Mas a parte onde é explicada a lógica paraconsistente, acho que nem o prof. da Costa entenderia: "Lógica paraconsistente: *É uma forma de lógica onde não existe o princípio da contradição <http://pt.wikipedia.org/wiki/Princ%C3%ADpio_da_contradi%C3%A7%C3%A3o>.* * Nesse tipo de lógica, tanto as orações afirmativas quanto as negativas podem ser falsas ou verdadeiras, dependendo do contexto. *Uma das aplicações desse tipo de lógica é o estudo da semântica<http://pt.wikipedia.org/wiki/Sem%C3%A2ntica>, especialmente em se tratando dos paradoxos<http://pt.wikipedia.org/wiki/Paradoxo>. Um exemplo: "fulano é cego, mas vê". Pelo princípio da lógica clássica, o indivíduo que vê, um "não-cego", não pode ser cego.* Na lógica paraconsistente, ele pode ser cego para ver algumas coisas, e não-cego para ver outras coisas.*" Grifo meu...
Tô achando então que a lógica paraconsistente é a lógica dos políticos, pois realmente "eles podem ser cegos para ver algumas coisas, e não-cego para ver outras coisas". Aí dá certo!! Será que o prof. Newton já pensou nisso? Abraços, Jaison Em 31 de março de 2014 01:22, Décio Krause <[email protected]> escreveu: > Jaison > E que tal está? "Lógica Matemática é o uso da lógica formal para estudar > o raciocínio > matemático<http://pt.wikipedia.org/wiki/Racioc%C3%ADnio_matem%C3%A1tico>-- > ou, como propõe Alonzo Church <http://pt.wikipedia.org/wiki/Alonzo_Church> > 16 <http://pt.wikipedia.org/wiki/L%C3%B3gica#cite_note-16> , 'lógica > tratada pelo método matemático'. " > Ele não entendeu o que o Church falou. > D > > > > *------------------------------------------------------* > *Décio Krause* > *Departamento de Filosofia* > *Universidade Federal de Santa Catarina* > *88040-900 Florianópolis - SC - Brasil* > *http://www.cfh.ufsc.br/~dkrause <http://www.cfh.ufsc.br/~dkrause>* > *------------------------------------------------------* > > Em 31/03/2014, às 01:11, Jaison Schinaider <[email protected]> escreveu: > > Penso que não tem como apagar o verbete diretamente, apenas é possível > melhorá-lo ou arrumá-lo (pelo menos, não achei na página um link onde o > verbete possa ser apagado completamente.). > Inclusive, no início do texto diz que "*Esta página ou secção foi marcada > para revisão, devido a inconsistências e/ou dados de confiabilidade > duvidosa* (desde julho de 2011).", então me parece que a única solução > possível é abrir o verbete, apagar o texto, e escrever novamente... > > Dentre todas as pérolas, gostei desta: > "A Lógica Formal lida com a relação entre > conceitos<http://pt.wikipedia.org/wiki/Conceito>e fornece um meio de compor > provas <http://pt.wikipedia.org/wiki/Prova> de declarações" > Acho que não entendi... :)) > > Abraços, > Jaison > > > Em 31 de março de 2014 00:57, Décio Krause <[email protected]>escreveu: > >> Pois é. Agora, se nós da "comunidade" (tem favela de lógica?), que >> supostamente somos os "especialistas" não conseguimos tirar um verbete >> desses, então para que serve essa coisa? >> Alguém sabe com que se fala? >> D >> >> >> >> >> *------------------------------------------------------* >> *Décio Krause* >> *Departamento de Filosofia* >> *Universidade Federal de Santa Catarina* >> *88040-900 Florianópolis - SC - Brasil* >> *http://www.cfh.ufsc.br/~dkrause <http://www.cfh.ufsc.br/~dkrause>* >> *------------------------------------------------------* >> >> Em 31/03/2014, às 00:51, Carlos Gonzalez <[email protected]> escreveu: >> >> Eu acho que deveria ser apagado imediatamente. >> >> Carlos >> >> >> On Mon, Mar 31, 2014 at 12:32 AM, Jaison Schinaider >> <[email protected]>wrote: >> >>> Realmente, >>> >>> Tá tão ruim, que não tem conserto... Parece-me que teria que escrever >>> tudo >>> de novo, do zero... >>> >>> Abraços, >>> >>> >>> >>> 2014-03-31 0:14 GMT-03:00 Décio Krause <[email protected]>: >>> >>> > Pessoal >>> > Vocês já viram o verbete "lógica" da wiki em português? Não faço a >>> ideia >>> > se quem escreveu isso, mas seria muito adequado retirá-lo. Está >>> horrível, >>> > com toneladas de erros conceituais básicos... >>> > http://pt.wikipedia.org/wiki/Lógica >>> > >>> > >>> > >>> > >>> > >>> > ------------------------------------------------------ >>> > Décio Krause >>> > Departamento de Filosofia >>> > Universidade Federal de Santa Catarina >>> > 88040-900 Florianópolis - SC - Brasil >>> > http://www.cfh.ufsc.br/~dkrause >>> > ------------------------------------------------------ >>> > _______________________________________________ >>> > Logica-l mailing list >>> > [email protected] >>> > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l >>> > >>> _______________________________________________ >>> Logica-l mailing list >>> [email protected] >>> http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l >>> >> >> > _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
