>From Peirce to Skolem – A neglected chapter in the history of logic, no review deste livro para a revista Modern Logic, eu escrevo:
"Jean van Heijenoort can be considered as the first historian of modern logic. In 1967 he published a book entitled From Frege to Gödel, a collection of some crucial papers by famous logicians accompanied by erudite introductions and comments. However, as we know now, Heijenoort’s view is highly distorted, particularly the way he presents the role of Gottlob Frege. G.H.Moore in his review of the second edition of From Frege to Gödel pointed out that Frege is almost never quoted by other authors of papers collected in this book which is supposed to depict the road leading from Frege to Gödel. ... In her introduction, Brady talks about two papers which are considered fundamental in the history of modern logic: Leopold Löwenheim’s paper of 1915 showing that if a statement of first-order logic has an infinite model, it also has a countable model, and Toralf Skolem’s paper of 1923 giving a new proof of Löwenheim’s theorem which is very similar to Gödel’s 1929 completeness proof as indicated by Heijenoort and Hao Wang. These two papers have been translated into English and presented in the book by Heijenoort who always considered them as fundamental. But what is the road from Frege to Löwenheim-Skolem? Brady, after a detail study, claims: “We have been unable to detect any direct influence of Frege, Russell or Hilbert on the development of Löwenheim and Skolem’s seminal work, contrary to the commonly held perception” (p. 2). Outro livro é o livro do Grattan-Guinness The search for mathematical roots 1870-1940 para o qual tambem escrevi um review no Modern Logic. Vem ai um extrato deste review: One of the best features of IGG’s book is to put Frege in his right place. JvH promoted a very ambiguous picture of Frege, as a founding father of everything (modern logic, analytic philosophy, theory of relativity, …). IGG rightly insists on the existence of two Freges: “Much commentary is available on an analytic philosopher of language writing in English about meaning and its meaning(s), and putting forward some attendant philosophy of mathematics. The historical record, however, reveals a different figure: Gottlob Frege (1848-1925), a mathematician who wrote in German, in a markedly Platonic spirit, principally on the foundations of arithmetic and on a formal calculus in which it could be expressed” (p.177). IGG calls the first one of these Freges, Frege´ according to the following reason: “I shall name him “Frege´” with the prime used in the spirit of the derived function “f´(x)” in Lagrange’s version of the calculus” (p.178). About Frege´, he writes: “that philosopher of language and founder of the Anglo-Saxon analytic tradition; most of the massive Frege industry, especially in English, is devoted to him and his development.” (p.177). About the influence and import of the work of Frege (the real one), IGG notes that: “Russell’s claim to be his (Frege) first reader after publicizing him in 1903 is ridiculous” (p.177), and that Russell didn’t promote at all the work of Frege because he showed that his calculus was inconsistent and “chose to pursue childish polemics” (p.177). The relatively short account dedicated to Frege in IGG’s book is in fact proportional to his role in the history of modern logic. JvH tive poucos alunos, um dele foi o Irving Anellis. fundador da revista Modern Logic e que escreveu tambem um livro sobre Heijennort Logic and its History in the Work and Writings of Jean van Heijenoort que é bem interessante. Ele explica em particular que a rejeicao que Jvh fiz do Boole e da logica algebrica vem em grande parte de um conflito emocional que ele tinha com um collego dele. Tambem escrevi um review deste livro para Modern Logic. Todos esses reviews estao disponiveis na minha nova webpage http://www.jyb-logic.org Message: 1 Date: Wed, 31 Dec 2008 11:43:01 -0300 From: "Joao Marcos" <[email protected]> Subject: [Logica-l] A revolução da lógica > A revolução da lógica No livro O olho e o microscópio, o professor Luiz Henrique Lopes dos Santos, da USP, decifra a concepção da lógica proposta por Gottlob Frege, filósofo alemão que inaugurou, no fim do século 19, a moderna lógica matemática Leia em: http://www.agencia.fapesp.br/materia/9873/especiais/a-revolucao-da-logica.htm ------------------------------ _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l Fim da Digest Logica-l, volume 34, assunto 18 ********************************************* _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
