Abilio: Para uma crianca de 7 anos o papai noel é a figura predominante do natal da mesma forma que aquelo outro barbudo para certos logicos é a figura central da logica moderna. Esses barbudos sao ligadas a lendas. Muitas vezes a lenda se susbtitui a realidade
Para avaliar o Frege com voce mesmo falou podemos distinguir duas coisas: (1) A obra dele em se mesmo, por exemplo ver qual é a relacao (nao causal) entre o sistemo da Begriffsschrifft é a logica de primeiro ordem (FOL) tal que ela é hoje em dia (2) A influencia do Frege sobre desenlvovimento da logica moderna, por exemplo os sistemo dele influencou ou nao o desenlvovimento de FOL. Hoje em dia se sabe sober (2) que a influencia do Frege foi muito pouco. E uma mitologia construida principalemente por JvH. Sobre (1): tem diferencias importantes entre o sistemo de Frege e FOL E mesmo se o sistemo dele fosse muito similar a FOL, nao poderiamos concluir so deste fato que ele tive influencia. Frege certamente é um personagem muito interssante, mesmo se ele nao é o pai da logica moderna, o papai noël tambem é uma pessoa interessante, mesmo se ele nao é o pai do jesus cristo Alguns dizem que ele vem da laponia, outros que ele é um produto da coca-cola nao é muito claro, com para o Frege tem que pesquisar para ver o que que tem alem da lenda Um abraco, JY ________________________________________ De : Abílio [[email protected]] Date d'envoi : dimanche, 25. janvier 2009 14:03 À : BEZIAU Jean-Yves Cc : [email protected] Objet : Re: Frege e o papai noel Yves 1. o q eu falei nao tem nada a ver com jesus e papai noel 2. a leitura q coloca o Frege como pai da log moderna, q se baseia sbretudo na teoria da quantificacao e no sistema completo da Begriffsschrift, eh uma determinada perspectiva. Vc vai longe demais ao dizer q eh confusao e ignorancia. 3. aquele abraço A. 2009/1/24 BEZIAU Jean-Yves <[email protected]>: > Acreditar que o Frege é o pai da logica moderna > é parecido com acreditar que o papai noel é o pai do Jesus Cristo, > E produto da conufsao e da ignorancia. > (Os dois tem uma relacao, se encontra tudo ano no Natal, > mas um nao é o pai do outro ...) > > Quem quer saber mais sobre a historia da logica moderna pode começar > lendo os livros da Geraldine Brady e do Ivor Grattan-Guinness. > > ________________________________________ > De : Abílio [[email protected]] > Date d'envoi : samedi, 24. janvier 2009 23:08 > À : BEZIAU Jean-Yves > Cc : [email protected]; Francisco Antonio Doria; [email protected] > Objet : Re: Frege vs Peirce > > Ola para todos. > > Yves, eu acho essa sua posicao muito extremada, por varias razoes. > > em primeiro lugar, a importancia de um filosofo (logico, matematico > etc.) nao se avalia apenas pelas referencias diretas entre ele e os > posteriores. estas sao importantes, mas, no caso de Frege, eh preciso > considerar tbem a obra propriamente dita. > > apresentar pela primeira vez um sistema completo de log de 1a ordem, > resolver o problema do tratamento unificado da log de predicados e da > log proposicional, apresentar um tratamento da quantificacao multipla > - isso foi feito por Frege na Begriffsschrift, certo? e isso nao eh > pouca coisa. > o papel de Frege eh superestimado? eh possivel, provavel tvz, mas, > novamente, devagar, nao vamos trocar uma poscao extremada por outra > tbem extremada. > > outra coisa. a questao nao eh bem 'nao saber nada da historia da > logica moderna', mas ter uma determinada perspectiva da logica > moderna, ou vir a compreender melhor o desenvolvimento da logica > moderna. > nao eh por achar q a contribuicao de Frege foi importante a ponto de > Frege poder ser considerado o 'pai da logica moderna' q alguem 'nao > sabe nada da historia da logica moderna'. > > abraços > > A. > > > > > 2009/1/24 BEZIAU Jean-Yves <[email protected]>: >> E realemente absurdo considerar que o Frege >> é o pai da logica moderna. >> O mais absurdo é as pessoas repetir isso, >> acreditra nisso >> sem saber nada da historia de logica moderna. >> >> Comparar o Peirce com o Frege: >> - ele conceptualizou a nocao de tabela de verdade >> - tive a ideia da logica polivalente >> - anticipou o teoremo de Löwenheim-Skolem >> - desenlvolveou a teoria da quantificacao >> - foi o fundador da semiotica >> (o trabalhou dele sobre isso à muito mas subtil >> que a differencia de sentido e referencia do Frege) >> - trabalhou em todas aereas: chimia, matematica, logica, filosfofia, >> linguistica ... >> >> >> >> Abílio abilio.rodrigues em gmail.com >> <mailto:logica-l%40dimap.ufrn.br?Subject=%5BLogica-l%5D%20JvH%20e%20a%20lenda%20do%20Frege%20com%20papai%20da%20logica%20moderna&In-Reply-To=1ddaf5de0901240546h21ef2b91ndde0c376d1e4c0ca%40mail.gmail.com> >> Sábado Janeiro 24 12:20:47 BRT 2009 >> >> * Mensagem anterior: [Logica-l] JvH e a lenda do Frege com papai da >> logica moderna >> <http://www.dimap.ufrn.br/pipermail/logica-l/2009-January/003387.html> >> * Próxima mensagem: [Logica-l] RE : JvH e a lenda do Frege com papai da >> logica moderna >> <http://www.dimap.ufrn.br/pipermail/logica-l/2009-January/003389.html> >> * Mensagens classificadas por: [ date >> ]<http://www.dimap.ufrn.br/pipermail/logica-l/2009-January/date.html#3388> [ >> thread >> ]<http://www.dimap.ufrn.br/pipermail/logica-l/2009-January/thread.html#3388> >> [ subject >> ]<http://www.dimap.ufrn.br/pipermail/logica-l/2009-January/subject.html#3388> >> [ author >> ]<http://www.dimap.ufrn.br/pipermail/logica-l/2009-January/author.html#3388> >> >> ________________________________ >> >> olapara todos >> q o '''real''' papel de Frege (ou qquer outro nome importante) na >> logica moderna seja revisto, estudado, questionado etc. eh bem legal. >> temos uma perspectiva hj q nao havia ha 40, 50 anos, eh claro. >> mas peraí, nao eh um pouco demais dizer q eh ABSURDO o Frege ser >> considerado o pai da logica moderna? >> abraços >> A. >> >> _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
