Acabou de ser publicado em Logica Universalis o artigo do Irving H. Anellis Jean van Heijenoort’s Conception of Modern Logic, in Historical Perspective http://www.springerlink.com/content/n2q42225p7p05r75/ (accesso via CAPES)
Neste artigo de 70 paginas Anellis, que foi o principal aluno do Heijenoort, faz um explicacao critica na base de documentos ineditos de como o autor da antologia "From Frege to Gödel" desenvolveu essa reconstrucao historica que virou famosa segunda a qual o Frege e o pai da logica moderna. Abstract: I use van Heijenoort’s published writings and manuscript materials to provide a comprehensive overview of his conception of modern logic as a first-order functional calculus and of the historical developments which led to this conception of mathematical logic, its defining characteristics, and in particular to provide an integral account, from his most important publications as well as his unpublished notes and scattered shorter historico-philosophical articles, of how and why the mathematical logic, whose he traced to Frege and the culmination of its formative period in the incompleteness results of Gödel, became modern logic, as distinct from the traditional logic of Aristotle, and why and how the logistic tradition that led from Frege through Russell, rather than the algebraic tradition that led from De Morgan and Boole through Peirce and Schröder, came, in his view, to define modern logic. _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
