Жан ван Хейеноорт как историк логики
Article Sidebar
Опубликован:
21.05.2019
Ключевые слова:
Жан ван Хейеноорт, Л.Д. Троцкий, история логики, теоретикоквантификационное и алгебраическое направления в логике, Г. Фреге, К. Гёдель
Main Article Content
Аннотация
В статье предпринимается попытка достаточно лаконичного обзора жизни и творчества Жана ван Хейеноорта (1912–1986) в области истории логики. Приводится информация биографического характера, в которой отмечается отношение ученого к марксизму и его тесное в определенный период сотрудничество с Л.Д. Троцким, разочарование в ключевых принципах марксистской доктрины и ее практической реализации, но сохранение в целом интереса к этому политическому течению. На основании некоторых неопубликованных материалов, полученных из архива американской математики в Остине, штат Техас, описываются работы ван Хейеноорта в области истории логики. Отмечается, что математическое образование он получил как геометр и тополог, но его интересы перенеслись в логику, которая по природе своей доказательности и канонам строгости рассуждений была близка геометрии. Особый акцент в статье делается на обстоятельствах работы над фундаментальной антологией развития логической мысли "От Фреге до Гёделя", составленной и прокомментированной ван Хейеноортом и рядом его коллег. Обращается внимание на то, что вне поля зрения антологии осталось алгебраическое направление развития математической логики. Описываются труды ван Хейеноорта, относящиеся к теореме о неполноте и первым двум томам собрания сочинений К. Гёделя в начале 1980-х годов, прервавшиеся в результате гибели ван Хейеноорта. Приводятся оценки его коллег работ ван Хейеноорта по истории логики.
Скачивания
Данные скачивания пока не доступны.
Article Details
Как цитировать
Бажанов В. А. Жан ван Хейеноорт как историк логики // Логические исследования / Logical Investigations. 2019. Т. 25. № 1. C. 9-19.
Выпуск
Раздел
История логики
Литература
Бажанов, 1991 – Бажанов В.А. Предисловие к статье: Ж. ван Хейеноорт. Ф. Энгельс и математика // Природа. 1991. № 8. С. 90.
Бажанов, 2007 – Бажанов В.А. История логики в России и СССР. Концептуальный контекст университетской философии. М.: Канон, 2007. 336 с. Хейеноорт, 1991 – Хейеноорт ван Ж. Ф. Энгельс и математика // Природа. 1991. № 8. С. 90–105.
Anellis, 1988a – Anellis I. Jean van Heijenoort, the revolutionary, the scholar, and man (1912–1986) // Studies in Soviet Thought. 1988. Vol. 35. P. 147–178.
Anellis, 1987 – Anellis I. L. van Heijenoort // Studies in Soviet Thought. 1987. Vol. 34. P. 97.
Anellis, 1988b – Anellis I. Some unpublished papers of Jean van Heijenoort // Historia Mathematica. 1988. Vol. 14. P. 270–274.
Anellis, 1994 – Anellis I. Van Heijenoort. Logic and its history in the work and writings of Jean van Heijenoort. Ames: Modern Logic Publ., 1994. XIV, 341 p.
Beziau, 2000 – Beziau J.-Y. Review of I. H. Anellis. Van Heijenoort. Logic and its history in the work and writings of Jean van Heijenoort. Ames, Iowa: Modern Logic Publishing, 1994 // Modern Logic. 2000. Vol. 8. No. 1–2. P. 105–117.
Burchsted, 1987 – Burchsted F.F. Archives of American Mathematics // Historia Mathematica. 1987. Vol. 14. P. 366–374.
Burchsted, 1989 – Burchsted F.F. Sources for the history of mathematics in the Archives of American Mathematics // A Century of mathematics in America. Vol. III. Providence, Rhode Island: American Mathematical Society, 1989. P. 667–674.
Burchsted, 1991 – Burchsted F.F. Archives of American Mathematics. The University of Texas at Austin. 1991, December 19. Letter to V.A. Bazhanov.
Burchsted, 1992 – Burchsted F.F. Archives of American Mathematics. The University of Texas at Austin. 1992, June 18. Letter to V.A. Bazhanov.
Feferman, 1990 – Feferman S. Preface // Godel K. Collected works / Eds. Feferman S., Dawson J.W., Kleene S.K., Moore G.H., Solovay R.M. Van Heijenoort J. Vol. II. Publications 1938–1974. N.Y., Oxford. Oxford University press, 1990. P. V–VI.
Feferman, 2012 – Feferman S. On Rereading Van Heijenoort’s Selected Essays // Logica Universalis. 2012. Vol. 6. P. 535–552.
Heijenoort, 1967 – From Frege to Godel: A source book in mathematical logic, 18791931 / Ed. by Heijenoort J. van. Cambridge (Mass.). Harvard university press, 1967. X, 660 p.
Heijenoort, 1963 – van Heijenoort J. G¨odel’s theorem // Encyclopedia of Philosophy / Ed. by P. Edwards. Vol. 3. N.Y.: Macmillan, 1963. P. 348–357.
Heijenoort, 1978 – van Heijenoort J. With Trotsky in exile: from prinkipo to Coyoacan. Cambridge (Mass.). Harvard University press, 1978. XII, 177 p.
Heijenoort, 1968 – van Heijenoort J. Preface // Herbrand J. Ecrits logiques. Paris. Presses Universitaires de France. 1968. P. 1–12.
Heijenoort, 1992 – van Heijenoort J. Historical development of modern logic // Modern Logic. 1992. Vol. 2. P. 242–255.
Tarsky, 1956 – Tarsky A. Logic, Semantics, Metamathematics: Papers from 1923 to 1938. Oxford: Clarendon press. 1956. 492 p.
Бажанов, 2007 – Бажанов В.А. История логики в России и СССР. Концептуальный контекст университетской философии. М.: Канон, 2007. 336 с. Хейеноорт, 1991 – Хейеноорт ван Ж. Ф. Энгельс и математика // Природа. 1991. № 8. С. 90–105.
Anellis, 1988a – Anellis I. Jean van Heijenoort, the revolutionary, the scholar, and man (1912–1986) // Studies in Soviet Thought. 1988. Vol. 35. P. 147–178.
Anellis, 1987 – Anellis I. L. van Heijenoort // Studies in Soviet Thought. 1987. Vol. 34. P. 97.
Anellis, 1988b – Anellis I. Some unpublished papers of Jean van Heijenoort // Historia Mathematica. 1988. Vol. 14. P. 270–274.
Anellis, 1994 – Anellis I. Van Heijenoort. Logic and its history in the work and writings of Jean van Heijenoort. Ames: Modern Logic Publ., 1994. XIV, 341 p.
Beziau, 2000 – Beziau J.-Y. Review of I. H. Anellis. Van Heijenoort. Logic and its history in the work and writings of Jean van Heijenoort. Ames, Iowa: Modern Logic Publishing, 1994 // Modern Logic. 2000. Vol. 8. No. 1–2. P. 105–117.
Burchsted, 1987 – Burchsted F.F. Archives of American Mathematics // Historia Mathematica. 1987. Vol. 14. P. 366–374.
Burchsted, 1989 – Burchsted F.F. Sources for the history of mathematics in the Archives of American Mathematics // A Century of mathematics in America. Vol. III. Providence, Rhode Island: American Mathematical Society, 1989. P. 667–674.
Burchsted, 1991 – Burchsted F.F. Archives of American Mathematics. The University of Texas at Austin. 1991, December 19. Letter to V.A. Bazhanov.
Burchsted, 1992 – Burchsted F.F. Archives of American Mathematics. The University of Texas at Austin. 1992, June 18. Letter to V.A. Bazhanov.
Feferman, 1990 – Feferman S. Preface // Godel K. Collected works / Eds. Feferman S., Dawson J.W., Kleene S.K., Moore G.H., Solovay R.M. Van Heijenoort J. Vol. II. Publications 1938–1974. N.Y., Oxford. Oxford University press, 1990. P. V–VI.
Feferman, 2012 – Feferman S. On Rereading Van Heijenoort’s Selected Essays // Logica Universalis. 2012. Vol. 6. P. 535–552.
Heijenoort, 1967 – From Frege to Godel: A source book in mathematical logic, 18791931 / Ed. by Heijenoort J. van. Cambridge (Mass.). Harvard university press, 1967. X, 660 p.
Heijenoort, 1963 – van Heijenoort J. G¨odel’s theorem // Encyclopedia of Philosophy / Ed. by P. Edwards. Vol. 3. N.Y.: Macmillan, 1963. P. 348–357.
Heijenoort, 1978 – van Heijenoort J. With Trotsky in exile: from prinkipo to Coyoacan. Cambridge (Mass.). Harvard University press, 1978. XII, 177 p.
Heijenoort, 1968 – van Heijenoort J. Preface // Herbrand J. Ecrits logiques. Paris. Presses Universitaires de France. 1968. P. 1–12.
Heijenoort, 1992 – van Heijenoort J. Historical development of modern logic // Modern Logic. 1992. Vol. 2. P. 242–255.
Tarsky, 1956 – Tarsky A. Logic, Semantics, Metamathematics: Papers from 1923 to 1938. Oxford: Clarendon press. 1956. 492 p.