王靜書
(內蒙古師范大學 法政學院,內蒙古 呼和浩特 011517)
汪奠基生于1900 年,1918 年畢業于北京大學,后在法國攻讀哲學和數理邏輯雙學位,1930 年起先后執教于東北大學、北京大學、中國大學。他的一生都在從事邏輯學的研究和教育工作,為中國邏輯事業的發展作出了重要貢獻。在就任中國大學教授期間,為發展國內數理邏輯學,汪奠基將以前的博士論文《邏輯與數學邏輯論》用中文出版。該書闡明了傳統形式邏輯及其進化發展,證明了數理邏輯產生的必然性,對早期現代邏輯傳播、人才培養等方面起到了重要作用。早年,他對傳統邏輯及其進化發展、數理邏輯產生的必然性進行過論述,并對現代邏輯的各種科學思想進行了系統介紹。1949年后,他又研究了邏輯和邏輯史的各種基本理論問題。他認為,中國古代邏輯不光有形式邏輯思想,而且有豐富的辯證邏輯思想,但是在馬克思主義誕生以前,辯證的邏輯認識根本沒有獨立的研究。他通過對荀子邏輯思想的研究,提出荀子在邏輯上明確提出了辯說的邏輯三大基本特征,即概念之“名”、判斷之“醉”、推理之“辯說”[1]125-137。
汪奠基先生被介紹為數理邏輯的第一人就是因為其最早編著了《邏輯與數學邏輯論》這本哲學著作。汪奠基把羅素建立的邏輯演算稱作邏輯代數,他用羅素的符號介紹了命題演算、類演算和關系演算,但并沒有給出這些演算系統,而只是重點介紹了這些邏輯中一些直觀明顯的定理和這些定理在等值關系、蘊涵關系上的運算,以及其中一些有哲學意味的關系和概念,如蘊含悖論。……