Essa discussão sobre quem é ou deixa de ser o pai da lógica me traz a sensação de que a certeza é que a lógica é uma grande FDP. Abçs Décio
2009/1/25 Wagner de Campos Sanz <[email protected]> > Caro JY > > Parece-me interessante a revisao historica das influencias. Depende do > proposito. Se for so por um problema de vaidades, nao importa. Se tem > substancia conceitual é mais interessante. > Por certo que nem toda a bagagem (nem a maior parte) vem por maos de > Frege ou de uma so personalidade, quem quer que seja. Ao considera-lo > pai da logica contemporanea creio que o julgamento procede segundo a > revolucao conceitual que foi operada, salvo juízo mais douto. > Ate onde estou recordado, JvH admite em um artigo a existencia de duas > linhas gerais para a interpretacao das linguagens formais: como cálculo > ou como lingua caracteristica. > No caso de Frege trata-se da segunda. Na primeira linha podemos contar o > desenvolvimento da algebra, creio inclusive que ele cita explicitamente > Schroder como exemplo. > Uma linha de clivagem importante para a apreciacao das relevancias do > tema em questão está no que logicos de tendencias filosofias ou de > tendencias matematicas consideram como sendo "a verdadeira logica". > É natural que os pendores daqueles de inclinaçao filosofica estejam mais > interessados no que foi produzido sob o rotulo de "Logica" associado a > algum projeto mais amplo, em geral projetos fundacionistas (Frege, > Russell, Hilbert, Brouwer, etc.). Todavia, em boa parte da tradição > contemporânea não vemos mais projetos dessa natureza, ou ainda, seu > alcance é muito mais restrito. > Tarski me parece um exemplo interessante. Não entendo que o trabalho > dele possa ser ligado a um projeto de natureza filosofica mais amplo, > embora ele mesmo tivesse um tino filosofico muitissimo sofisticado. > O mesmo, por exemplo, não ocorre com Carnap, esse sim tinha projetos > dessa natureza (começa com o positivismo lógico e se espraia na unidade > da ciência) embora suas realizacoes logicas sejam bem mais modestas. > Com respeito ao conceito de consequencia logica, nao penso que o fato de > descreve-la ou conceptualiza-la em termos topologicos em 1928 seja o que > confere importancia ou prioridade a Tarski na elucidacao do conceito. > Antes, sao os artigos sobre verdade nas linguagens formalizadas e o > artigo sobre consequencia logica (onde em uma nota de rodape ele faz > referencia explicita as tentativas de Carnap de caracterizar o mesmo > conceito, alias dizendo que Carnap estava errado) esses sim parecem ter > tido um impacto mais amplo na comunidade de logicos (em amplo sentido, > pois a Teoria de Modelos seria uma das resultantes) assim como na dos > filosofos (ou em certa parcela destes, pelo menos). > Um abraço, > > WS > > > BEZIAU Jean-Yves escreveu: > > Wagner > > > > Com estou repetindo: os livros da Gerladine Brady e do Ivor > Grattan-Guinness > > estao dando uma visao bem diferente da historia da logica moderna do > livro do JvH. > > A Geraldine Brady mostrou como o trabalho importante do Löwenheim e do > Skolem > > foi influenciado pelo Peirce e Schröder, e nao pelo Frege. > > > > Sobre os polones, tem o livro do Jan Wolenski sobre a escola de > Lvov-Varsovia. > > Ele fala que a logica moderna foi introduzida pela primeira vez na > polonia por Lukasiewicz > > resumindo o Schröder - no famoso livro dele sobre o principio de > contradicao em Aristoteles. > > > > Tarski ficou a vida inteira muito influenciado pela algebra da logica do > Schröder. > > A ultima obra do Tarski > > Alfred Tarski & Givant, Steven, 1987. 2004, A Formalization of Set Theory > Without Variables, American Mathematical Society > > é diretamente ligada a isso. > > > > A nocao de consequencia de Tarski que ele comecou a desenvolver a partir > de 1928 > > (operador de consequenca) é ligada a topologia, > > ele estava trabalhando com o Kuratowski naquele epoca. > > > > E bom lembrar tambem que o Tarski provou em 1936 que a logica > propositonal tipo Principia Matematica factorizada pela nocao de > equivalencia logica é uma algebra de Boole. > > > > Um abraco, JY > > > > -------- Mensagem original -------- > > Assunto: Re: [Logica-l] RE : JvH e a lenda do Frege com papai da logica > > moderna > > Data: Sun, 25 Jan 2009 11:42:35 -0200 > > De: Wagner de Campos Sanz <wsanz em uol.com.br< > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l>> > > Para: Joao Marcos <jmarcos em dimap.ufrn.br< > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l>> > > > > > > > > Caro Joao, JY, e outros, > > > > Gostaria de ver mais pessoas que trabalham com filosofia e historia da > > logica manifestar sua opiniao acerca do tema. > > Com respeito ao assunto, por certo que os "herois" variam conforme as > > personalidades e os seus gostos. > > Em minha opiniao Frege merece o titulo de pai da logica contemporanea, > > pois ele é dele o giro conceptual que deu origem aos instrumentos > > basicos da logica contemporanea. > > Todavia, a obra que teve grande impacto no desenrolar dessa historia > > foram os Principia de Russell, o qual muitas vezes diz ter recebido ou > > tomado as ideias de Frege. > > Do ponto de vista da criação de problemas, pesquisa e dos resultados que > > se seguiram dentre os mais relevantes da logica no sec. XX, dificil nao > > ter em conta Hilbert e seu programa fundacionista. > > Todavia, me parece, o impacto de Hilbert foi maior na comunidade dos > > matemáticos. Vale lembrar que o proprio Hilbert atribui importancia e > > paternidade a algumas ideias fundamentais com as quais trabalhamos em > > logica hoje em dia a Frege e a Russell. > > Naturalmente em seguida veem Tarski e Godel. Como anedota, segundo a > > recente biografia de Tarski, ele dizia ser o lógico são mais importante > > do momento (daquele momento), provavelmente uma referencia nada cortes a > > demencia de Godel. > > À aqueles que conhecem a obra de Tarski mais de perto pergunto: o > > sistema que subjacente em boa parte dos artigos de Tarski, como aquele > > sobre consequencia logica, é necessariamente o sistema dos Principia ou > > pode ser outro sistema qualquer? > > Abraços a todos, > > > > WS > > _______________________________________________ > > 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 > -- _________________________________ 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
