邏輯方法檢視原始碼討論檢視歷史
《邏輯方法》，闡述現代邏輯的形式概念和發展形式推理方法的著作。維·蒯因(見「數理邏輯」)著。1950年初版，1959、1972、1978年再版。
內容簡介
全書包括一個引言和4個部分。引言討論邏輯的對象、邏輯規律與數學規律的性質等問題。第1部分講真值函項理論，介紹現代邏輯的一些最基本的知識，例如各種真值聯結詞以及由它們聯結的命題，如何將自然語言句子譯為符號形式，相容性和有效性以及折取範式等。第2部分討論一般詞項和量詞。先介紹直言命題、文恩圖解以及三段論學說，並指出了這些方法的缺陷；然後順着布爾的思路發展了一種一元邏輯(Monadic logic)。第3部分討論一般量化理論。在這一部分中，蒯因發展了一種相當簡便且容易證明的方法，並且由此還發展了一系列不同的方法。這種方法使完全性證明變得相當容易。第4部分簡單討論其他有關的邏輯或哲學的問題和學說，具體涉及單稱詞項、等詞、摹狀詞、單稱詞項的消去、變元的消去、類、數、公理集合論等。本書既包括了數理邏輯的最基本內容，又有作者自己的獨特見解和理論，並討論了一些與之有關的邏輯哲學問題。
工具書的發展
「工欲善其事，必先利其器」。工具書是一種依據特定的需要，廣泛匯集相關的知識或文獻資料，按一定的體例和檢索方式編排，專供查資料線索的圖書、文獻，是人們在書山探寶，學海求知的「器」。學會和善於利用工具書，是做學問的一項基本功。
我國的工具書歷史悠久，源遠流長。據史籀記載，公元前8世紀周宣王就有字書《史籀篇》。如果說先秦是工具書的萌芽時期的話，那麼兩漢則是工具書的奠基時期。《方言》[1]，《說文解字》《別錄》《七略》[2]等一批定型的字典、詞典、書目，為以後工具書的發展打下了堅實的基礎。
隨着工具書的不斷發展，種類也變得越來越多，除字典、詞典、百科全書外，年鑑、手冊在工具書類型中發展較快，品種多，規模大，既有綜合性的，也有專門或專科性的，既有學術性的，也有生活方面的。