Deixa eu dar um palpite que não seja uma brincadeira: a FOL é algo que aparece de um modo ou de outro no texto do Frege. Tá lá. Da mesma forma, um computador de hoje tem um Turing escondido. Tem um paralelo? Ou seja, se Frege não "fez" a FOL, Turing "fez" o computador? As distâncias entre a lógica de hoje e Frege são tais e quais Turing e os computadores de hoje (não são? Ainda mais se pensarmos em computadores biológicos, quânticos, etc.). Os itens apontados pelo JY me parecem muito distantes do que poderia ser artribuido a Frege, não acham? No entanto, o estudo deveria ser feito, sem dúvida. D.
2009/1/27 BEZIAU Jean-Yves <[email protected]> > Parece que tem dois extremos: > - de uma lado escrever artigos muito chatos em revistas serias > - de outro lado falar qualquer besteira, piadas duvidosas, a caracter > sexual, numa lista de discussao. > E o metodo americano: o cara que tudo dia da semana vai no escritorio onde > tem uma vida chatissima > e que no sabado a noite (saturday night fever) vai beber tres litros de > whiskey e fazer quelquer loucuras. > > Nao vejo a vida assim, > tem que ter capacidade de ter um espirito humorada e sutil nas publicacoes > serias > e de manter discurso de alto nivel nas listas de discussoes. > > No e-mail abaixo falei de fazer uma avliacao precisa do Frege, > sera que tem alguem que tem alguma coisa a falar a respeito? > > Carlos, Walter: certamente acho o lado conceptual muito importante > dividi entao a lista em duas partes - conceitos /teoremos > mas anota que muitas vezes uma pessoa que faz a boa conceptualizacao prova > um teoremo importante > isso é a beleza de matematica . > > > > Essa discussao sobre o Frege é interessante > mas seria bom se podemos fazer uma coisa mais construtiva e rigorosa. > Fazer uma avaliacao do Frege. > > 1) Qual e exatamente a relacao (nao causal), similitude e diferencia, entre > o sistemo de Frege e o calculo dos predicados de hoje (FOL), > Temos por isso que examinar quais sao as propriedades do sistemo do Frege. > o Abilio fala de completude, mas nao sei exateamente o que ele quer dizer, > essa palavra tem varios sentidos, me parece um pouco anacronica. > > 2) A verdadeira influencia do Frege sobre o desenlvovimento da logica > moderna > > 21) Sobre os conceitos fundamentias da logica moderna > 211) Teoria dos conjuntos > 212) Teoria da prova > 213) Teoria da recursao (computacao, intelligencia artifcial) > 214) Teoria dos modelos > 215) Logicas non classicas > > 22) Sobre os grandes resultados/teoremos da logica moderna > 221) Teoremo de completude > 222) Teoremo de incompletude (primeiro e segundo) > 223) Teoremoo de indecidiblidade > 224) Teoremoo de eliminacao da cortes > 225) independencia da hiptotese do continu. > > JYB > > _______________________________________________ > Logica-l mailing list > [email protected] > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l > -- _________________________________ Décio Krause Departamento de Filosofia Universidade Federal de Santa Catarina C.P. 476 88040-900 Florianópolis, SC - Brasil Tel.: + 55 48 3331-9248 www.cfh.ufsc.br/~dkrause Grupo de Lógica e Fundamentos da Ciência www.logica.cfh.ufsc.br _____________________________________
_______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
