Introduzione ai Principia Mathematica pdf

伯特兰·亚瑟·威廉·罗素（Bertrand Arthur William Russell，1872 年 5 月 18 日－1970 年 2 月 2 日）是英国数学家、哲学家、逻辑学家和公共知识分子。他对数学、逻辑学、集合论、语言学、人工智能、认知科学、计算机科学和分析哲学的各个领域，尤其是数学哲学、语言哲学、认识论和形而上学都有相当大的影响。
他是 20 世纪初最杰出的逻辑学家之一，也是分析哲学的创始人，与他的前任 Gottlob Frege、他的朋友和同事 G. E. Moore 以及他的学生和门徒路德维希·维特根斯坦一起。罗素与摩尔一起领导了英国“反理想主义”。罗素与他的前任老师 A. N. Whitehead 一起撰写了《数学原理》，这是经典逻辑发展的里程碑，也是将整个数学简化为逻辑的重大尝试（参见逻辑主义）。罗素的文章《论指称》被认为是“哲学范式”。
拉塞尔是一位和平主义者，拥护反帝，并担任印度联盟主席。他偶尔主张预防性核战争，在原子垄断提供的机会过去之前，他决定“热情地欢迎”世界政府。他在第一次世界大战期间因和平主义而入狱。后来，罗素得出结论，对阿道夫·希特勒的纳粹德国的战争是必要的“两害相权取其轻”，并批评斯大林主义极权主义，谴责美国对越南的战争，是核裁军的直言不讳的支持者。 1950 年，罗素被授予诺贝尔文学奖，“以表彰他支持人道主义理想和思想自由的各种重要著作”。他还是德摩根奖章（1932 年）、西尔维斯特奖章（1934 年）、卡林加奖（1957 年）和耶路撒冷奖（1963 年）的获得者。

Introduzione ai Principia Mathematica pdf 伯特兰·罗素

I "Principia Mathematica" di Alfred North Whitehead e Bertrand Russell sono un classico della logica matematica. Pubblicati a Cambridge in tre volumi tra il 1910 e il 1913, ripetevano il tentativo, intrapreso sul finire dell'Ottocento da Frege, di ricondurre i concetti fondamentali e le proposizioni della matematica a concetti e proposizioni della logica. Russell aveva scoperto nel 1901 che i principi fondamentali di Frege consentono la formazione di un insieme i cui elementi sono insiemi che non contengono se stessi come elementi: di conseguenza questo insieme è elemento di se stesso se, e soltanto se, non lo è. Per evitare questa antinomia i Principia utilizzano la teoria dei tipi, già sviluppata da Russell e che costituisce la base logica, descritta nella prima parte dell'opera, da cui muovere per la costruzione della matematica (esposta nelle restanti cinque parti).