Parabéns pela revista, JY, que está realmente uma beleza em todos os sentidos. Abraço D
________________________________ Décio Krause Departamento de Filosofia Universidade Federal de Santa Catarina 88040-940 Florianópolis, SC -- Brasil deciokrause[at]gmail.com www.cfh.ufsc.br/~dkrause ________________________________ Em 04/06/2012, às 20:02, jean-yves beziau escreveu: > 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 _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
