第二十講 餘話
關燈
小
中
大
（incompletenesstheorem），以及與這個定理有密切關聯的另一定理。
這另一定理說，我們在一個邏輯系統以内，于某些條件下，不可能構成一個證明來證實這個系統是自身一緻的。
他又貢獻了語法之算術化（arithmetizationofsyntax）的方法。
卡爾納普教授則深受弗雷格的影響，從事邏輯語法的研究。
他的著作頗多，重要的有《語言的邏輯語法》（LogicalSyntaxofLanguage）、《意義與必然》（MeaningandNecessity）、《蓋然的邏輯基礎》（LogicalFoundationofProbability）。
繼他們而起的人物，遍布英美和西歐。
” “吳先生，您所說的，我們有些還不了解。
”王蘊理說。
“當然，剛才所說的，有些是很專業的問題。
要能了解它們的意義之所在，必須做進一步的研究，或專門的研究。
” “是不是要讀您剛才所舉的那些書呢？”周文璞問。
“當然要讀的。
……不過，學不躐等，最好還是按部就班來，先讀些基本的書。
” “先讀哪些書呢？請問。
”周文璞又接着問。
“如果二位還有興趣的話，那麼最好再讀讀沃爾夫（A.Wolf）教授著的《邏輯學教材》（ATextbookofLogic），Lodon，GeorgeAllenandUnwinLtd出版。
沃爾夫教授多年教這一門功課，教學經驗豐富。
這本書中，純邏輯成分，雖然沒有咱們這些天來讨論得多，但應用的部分和一般的常識真不少，所以讀讀是有益的。
這本書文理條暢淺明，對初學者并不難。
“如果二位讀了這本書還感到不滿足，而希望多知道一點兒新的知識，多得到一些新式的訓練，那麼有本内特（A.Bennett）和貝利斯（C.A.Baylis）兩位教授合著的《形式邏輯：現代導論》（FormalLogic:AModernIntroduction）。
本内特是美國布朗大學的數學教授，貝利斯是該校的哲學教授。
這本書内容豐富，說理精當，觀點頗新，習題頗多。
” “您說的這兩種書，是不是主要以符号邏輯為内容的書呢？”王蘊理問。
“不是的，二者都是采取兼容并收的寫法。
” “假如我們想讀點兒符号邏輯的書，您可以介紹哪些呢？”王蘊理又問。
“有兩種很标準的著作。
一是艾麗絲·安布羅斯和莫裡斯·拉澤羅維茨合著的《符号邏輯基本原理》（FundamentalsofSymbolicLogic），NewYork，RinehartandCo.Inc.出版。
這本書說理暢達，編排均勻，又将古典邏輯兼消于類論（TheoryofClasses）之中，恰到好處，所以，自出版以來，書評界疊有好評。
可惜，這本書對于類型論（TheoryofTypes）談得太少，這是美中不足之處。
“如果二位的興趣偏重數理，那麼最好是熟讀塔爾斯基教授的《邏輯引論》（IntroductiontoLogic），OxfordUniversityPress出版。
塔爾斯基教授是波蘭人，現在流亡美國，在加利福尼亞大學任教。
他是美國的第一流邏輯家。
其所著Wahrheitsbegriff的論文，對于語意學及哲學解析，影響頗大。
這本《邏輯引論》是為習數學而有邏輯興趣者寫的。
第二部分，在事實上是講系統學的，尤見精彩，但須細讀方可通。
” “假若我們還想參及旁的書，應須讀些什麼呢？吳先生！”周文璞問。
“最好是讀奎因的新著《邏輯的方法》（MethodsofLogic），NewYork，HenryHoltCo.出版。
奎因在美國哈佛大學做哲學教授，是美國第一流邏輯家，以量化論（Theo
這另一定理說，我們在一個邏輯系統以内，于某些條件下，不可能構成一個證明來證實這個系統是自身一緻的。
他又貢獻了語法之算術化（arithmetizationofsyntax）的方法。
卡爾納普教授則深受弗雷格的影響，從事邏輯語法的研究。
他的著作頗多，重要的有《語言的邏輯語法》（LogicalSyntaxofLanguage）、《意義與必然》（MeaningandNecessity）、《蓋然的邏輯基礎》（LogicalFoundationofProbability）。
繼他們而起的人物，遍布英美和西歐。
” “吳先生，您所說的，我們有些還不了解。
”王蘊理說。
“當然，剛才所說的，有些是很專業的問題。
要能了解它們的意義之所在，必須做進一步的研究，或專門的研究。
” “是不是要讀您剛才所舉的那些書呢？”周文璞問。
“當然要讀的。
……不過，學不躐等，最好還是按部就班來，先讀些基本的書。
” “先讀哪些書呢？請問。
”周文璞又接着問。
“如果二位還有興趣的話，那麼最好再讀讀沃爾夫（A.Wolf）教授著的《邏輯學教材》（ATextbookofLogic），Lodon，GeorgeAllenandUnwinLtd出版。
沃爾夫教授多年教這一門功課，教學經驗豐富。
這本書中，純邏輯成分，雖然沒有咱們這些天來讨論得多，但應用的部分和一般的常識真不少，所以讀讀是有益的。
這本書文理條暢淺明，對初學者并不難。
“如果二位讀了這本書還感到不滿足，而希望多知道一點兒新的知識，多得到一些新式的訓練，那麼有本内特（A.Bennett）和貝利斯（C.A.Baylis）兩位教授合著的《形式邏輯：現代導論》（FormalLogic:AModernIntroduction）。
本内特是美國布朗大學的數學教授，貝利斯是該校的哲學教授。
這本書内容豐富，說理精當，觀點頗新，習題頗多。
” “您說的這兩種書，是不是主要以符号邏輯為内容的書呢？”王蘊理問。
“不是的，二者都是采取兼容并收的寫法。
” “假如我們想讀點兒符号邏輯的書，您可以介紹哪些呢？”王蘊理又問。
“有兩種很标準的著作。
一是艾麗絲·安布羅斯和莫裡斯·拉澤羅維茨合著的《符号邏輯基本原理》（FundamentalsofSymbolicLogic），NewYork，RinehartandCo.Inc.出版。
這本書說理暢達，編排均勻，又将古典邏輯兼消于類論（TheoryofClasses）之中，恰到好處，所以，自出版以來，書評界疊有好評。
可惜，這本書對于類型論（TheoryofTypes）談得太少，這是美中不足之處。
“如果二位的興趣偏重數理，那麼最好是熟讀塔爾斯基教授的《邏輯引論》（IntroductiontoLogic），OxfordUniversityPress出版。
塔爾斯基教授是波蘭人，現在流亡美國，在加利福尼亞大學任教。
他是美國的第一流邏輯家。
其所著Wahrheitsbegriff的論文，對于語意學及哲學解析，影響頗大。
這本《邏輯引論》是為習數學而有邏輯興趣者寫的。
第二部分，在事實上是講系統學的，尤見精彩，但須細讀方可通。
” “假若我們還想參及旁的書，應須讀些什麼呢？吳先生！”周文璞問。
“最好是讀奎因的新著《邏輯的方法》（MethodsofLogic），NewYork，HenryHoltCo.出版。
奎因在美國哈佛大學做哲學教授，是美國第一流邏輯家，以量化論（Theo