內容簡介
本書是我的《論數理邏輯和演繹方法》(該書1936年最初用波蘭文出版，又於1937年出版了確切的德文譯本 書名是：《數理邏輯和數學方法論導論》)一書部分修正了的和擴充了的版本。最初寫這本書，是企圖把它當作一本通俗的科學著作；其目的是向受過相當教育的普通讀者提供一一用把科學的嚴格性和最大的可理解性結合起來的方式一一集中於現代邏輯的強大的現代思潮的一個清楚的觀念。這個思潮最初是從多少受到局限的鞏固數學基礎的任務發生的。可是，在現階段它卻具有遠?廣泛的目的。因為它試圖創造出可為人類知識的整體提供一種共同基礎的統一的概念工具。此外，它有助於使演繹方法完全化和敏銳化，這種演繹方法在某些科學中被當作確立真理的唯一的允許的方法，而且，的確，它至少在一切智力活動的領域內，是從被公認的假設中推導出結論來的必不可少的補助的工具。
目錄
初版序言
序言
第一部分 邏輯的元素．演繹方法
(Ⅰ)論變項的用法
1．常項與變項
2．包含變項的表達式一一語句函項與指示函項
3．套用變項形成語句一一全稱語句與存在語句
4．全稱量詞與存在量詞；自由變項與約束變項
5．變項在數學中的重要性
練習
(Ⅱ)論語句演算
6．邏輯常項；舊邏輯與新邏輯 (
7．語句演算；語句的否定，合取式與析取式
8．蘊函式或條件語句；實質蘊函
9．蘊函式在數學中的套用
