羅素(B.Russell,1872.5.18-1970 2.2)是英國數理邏輯學家、生於英格蘭蒙茅斯郡的特雷勒克,卒於威爾士的彭林代德賴恩附近的帕萊斯彭林。

羅素出身於一個貴族的家庭。他的祖父約翰o羅素(joLnrunselt)伯爵是維多利亞時代一個著名的改良派政治家。他於1832年提出第一個議會選舉修正案,曾兩度出任英國政府首相。羅索2歲時母親去世,3歲時父親也去世。於是羅素和他的哥哥便與祖父祖母生活在-起,由他們照管。羅素6歲時,祖父去世。26歲時.祖母去世。她對羅素在童年、少年和青年時期的發展有過決定性的影響。她出身十一個貴族的虔誠教徒的家庭,具有很強烈的道德信念和宗教信仰,在政治上較為激進。她曾用一條緘言告誡羅素:"你不應該追隨別人去作壞事",羅素-生都努力遵循這條準則。羅素少年時未被送到學校去學習。而隻是在家裏接受保姆和家庭教師的教育。他在童年和少年時代都是孤獨的:由於他的一個叔叔的影響.他從小就對科學產生了興趣。在他哥哥的幫助下,他11歲就掌握了歐幾裏得幾何學,這是他智慧發展的一個"重要轉折。

l890年10月,羅素考入劍橋大學,在三一學院學習數學和哲學。在此期間,他結識了當時劍橋大學數學講師懷特海(A.N.Whitehead)、哲學家穆爾(G.E.Moore)和麥克塔格特(E.McTaggart)以及其他一些曆史學家、經濟學家、詩人和散文家。從1895年至l901年他任三一學院研究員,在該院講授與研究邏輯,在此期間,羅素撰寫了《幾何學的基礎》一書。這本書的主題是用康德(Kant)關於數學是先驗綜合判斷的思想來檢查幾何學的發展和現狀,他用稍加修改的康德的觀點來評價非歐幾何學的產生。但後來羅素對這本書的評價甚低。羅素最初在哲學上受黑格爾(G.W.F.Hegel)哲學的影響較大,1898年在G.E.摩爾的勸說下拋棄了黑格爾的哲學觀點,參加了反叛絕對唯心主義哲學的運動,從此轉變為經驗主義者、實證主義者和物理主義者。羅素說過,在這個時期,"就哲學的基本問題而言,在所有的主要方麵,我的立場都來自穆爾先生,在數學上,我主要受惠於康托爾(G.Cantor)和皮亞諾(G.Peano)教授。"從l900年至l914年,羅素主要從事數理邏輯和數學基礎的研究,他在這個領域中最重要的工作都是在這個時期完成的。從19l0年至19l6年羅素任三一學院哲學講師。從20年代至40年代,羅素主要從事哲學方麵的研究和講學。羅素用"邏輯原子主義"來稱呼他的哲學。他的主要哲學著作有《神秘主義和邏輯》,《心的分析》,《物的分析》,《意義和真理研究》,《人類知識:它的範圍和限度》等等。從l 9l 6年至30年代後期,羅素沒有任何固定的職務,他以寫作和公開演講為生。

l920年至l921年,他曾訪問過中國,他在中國講學近一年,其講稿曾在中國出版,書名為:《羅素五大講演》。羅素對老子和莊子的著作很有興趣;在其著作中常有引用。給20世紀20年代的中國哲學界以很大的影響。1938年,羅素到美國,先後在芝加哥大學、加州大學任教。l941年至1943年他在費城講

l9l6年羅索出反對第一次世界大戰被三一學院解職。1918年.羅素因反對第一次世界大戰而被監禁6個月。l 944年重任三一學院研究員直到去世。

50年代後期,羅素從哲學轉向國際政治,他積極參加世界和平運動,反對世界戰爭、核戰爭、主張核裁軍.曾獲世界和平獎。1955年。他動員了許多著名科學家包括愛岡斯坦(A.Einstcin)在內簽署了一個為爭取世界和平而合作的宣言。1961年89歲高齡時又因參加群眾性靜坐運動而被拘留7天。l 964年他建立了羅素和平基金會,抨擊美國政府的侵略政策。1967年庸他與存在主義者薩特(J-P.Sar-tre)建立了-個國際戰犯審判法庭,並傳訊美國總統約翰遜(L.Johnson)。由於羅素積極從事政治活動,他晚年享有世界範圍的名望。羅素一生中曾二次競選下院議員、但都沒有成功。他曾兩次被捕入獄,其原因是因為他申張民主和參加核裁軍運動。

羅素於l908年當選為英國皇家學會會員。1949年他成為英國科學院的榮譽院士,同年還被授予功勳獎章。他曾兩度擔仟亞裏士多德學會的會長。並擔任過理性主義者新聞協會會長多年。1950年他獲得諾貝爾文學獎。諾貝爾獎金委員會在授予他獎金時稱他為"當代理性和人道的最傑出的代言人" 之一,"西方自由言論和自由思想的無畏鬥士"。

羅素學識淵博.他通曉學科之多大概是20世紀學者中少有的。他在哲學、數學、邏輯學、教育學、社會學、政治學許多領域都頗有建樹。他的哲學觀點多變,以善於吸取別人見解、勇於指出自己的錯誤和弱點而著稱。由此他在言論上常出現矛盾,思想上表現山調和色彩。

羅素一生曾4次結婚,有3個孩子。1931年,由於他哥哥去世,他成為羅素伯爵三世。

19世紀下半葉,數學家對微積分的理論基礎進行了嚴格處理。外爾斯特拉斯(K.Weierstrass)用" "方法重新表述了柯西(A.Cauchy)的極限論,把微積分理論建立在實數理論的基礎上,接著,戴德金(R.Dedekind)和康托爾分別從有理數出發定義了實數;之後,外爾斯特拉斯和皮亞諾從自然數出發定義了有理數,並且皮亞諾還從不經定義的"集合"、"自然數"、"後繼者"等概念出發,用公理化的方法塑述了自然數理論;最後康托爾建立了無窮集合的理論。康托爾的這項工作起源於對三角級數和數學基礎問題的研究,他先提出了點集理論,進而又提出了一般無窮集合論。與此同時,數理邏輯通過布爾(G.Boole)、施羅德(E.Sch-roder)、皮亞諾和弗雷格(G.Frege)等人的工作得到了長足的進步。但是除了少數人如弗雷格和皮亞諾外,許多數學家忽視邏輯的作用,看不到數理邏輯對數學基礎究的重要性。1900年7月,羅素到巴黎參加國際哲學會議時遇到皮亞諾,這件事對羅素的學術生涯來說是一個重大的轉折點。通過聆聽皮亞諾的講演,羅素才意識到數理邏輯對於數學基礎研究的重要性。於是羅素向他請教並表示希望拜讀他的著作。在讀完皮亞諾的有關著作後,羅素很快地掌握了皮亞諾的符號邏輯和思想,在此基礎上他開始了數理邏輯和數學基礎的研究工作,其主要成果是《數學原則》一書。該書的大部分寫於1900年下半年,全書於1903年出版。從此之後到l914年,羅素與懷特海合作進行這方麵的研究,他撰寫了30餘篇有關論文,1910年至1913年他與懷特海合著的三卷本巨著《數學原理》陸續出版。1919年,他又出版了該著作的通俗讀本《數理哲學導論》。在數學基礎和數理邏輯方麵,羅素的主要成就有兩個方麵,一是他通過建立邏輯類型論來消除邏輯悖論;二是他從一個較為簡單的邏輯係統出發加之少量非邏輯公理推導出經典數學。

總之,羅素總結和發展了前輩們的數理邏輯成果,在數理邏輯發展史上起了承前啟後的作用。他對數理邏輯的主要貢獻有:

(1)改進和發展了弗雷格的命題演算和謂詞演算。

(2)發現了邏輯悖論,提出了解決悖論的方案,建立了類型論(簡單類型論與分支類型論)。

(3)建立了完整的關係邏輯和抽象的關係理論。

(4)建立了摹狀詞理論。

(5)建立了邏輯與數學的深刻聯係。在他與懷特海合著三卷巨著中,他改進與完整地建立了皮阿諾形式算術公理係統,推演了許多重要定理,影響很大,以致1931年哥德爾的關於不完全性定理其論文的題目為<PM及有關係統中的形式不可判定命題>,其中PM即指羅素與懷特海的巨著。

一階邏輯(命題演算和謂詞演算)應當歸功於弗雷格,但弗雷格的符號難懂,並且采用非線性記法、羅素作了改進,對這一理論的普及與發展起了重要的作用;關係邏輯前人雖有論述,但羅素貢獻甚大。使之成為完整的理論體係。豐富了數理邏輯理論;摹狀詞理論與類型論是獨創,尤其類型論至今不僅在數學研究中而且在計算機科學中仍然在發揮著重大的作用。

羅素的著作很多,邏輯著作主要有:《論幾何學的基礎》、《數學原則》、《數學原理》、《數理哲學導論》、《關於超窮數理論的一些困難和類型論》和《以類型論為基礎的數理邏輯》。

羅素是一位有影響的哲學家,主要哲學著作有:《萊布尼茨的哲學》(1900)、《哲學問題》(1911)、《我們對於外部世界的知識》(1914)、《邏輯原子主義哲學》(1918-1919)、《人類的知識--其範圍和界限》(1948)、《我的哲學發展》(1959)。