開啟主選單

求真百科

邏輯方法》,闡述現代邏輯的形式概念和發展形式推理方法的著作。維·蒯因(見「數理邏輯」)著。1950年初版,1959、1972、1978年再版。

目錄

內容簡介

全書包括一個引言和4個部分。引言討論邏輯的對象、邏輯規律與數學規律的性質等問題。第1部分講真值函項理論,介紹現代邏輯的一些最基本的知識,例如各種真值聯結詞以及由它們聯結的命題,如何將自然語言句子譯為符號形式,相容性和有效性以及折取範式等。第2部分討論一般詞項和量詞。先介紹直言命題、文恩圖解以及三段論學說,並指出了這些方法的缺陷;然後順着布爾的思路發展了一種一元邏輯(Monadic logic)。第3部分討論一般量化理論。在這一部分中,蒯因發展了一種相當簡便且容易證明的方法,並且由此還發展了一系列不同的方法。這種方法使完全性證明變得相當容易。第4部分簡單討論其他有關的邏輯或哲學的問題和學說,具體涉及單稱詞項、等詞、摹狀詞、單稱詞項的消去、變元的消去、類、數、公理集合論等。本書既包括了數理邏輯的最基本內容,又有作者自己的獨特見解和理論,並討論了一些與之有關的邏輯哲學問題。

工具書的發展

「工欲善其事,必先利其器」。工具書是一種依據特定的需要,廣泛匯集相關的知識或文獻資料,按一定的體例和檢索方式編排,專供查資料線索的圖書、文獻,是人們在書山探寶,學海求知的「」。學會和善於利用工具書,是做學問的一項基本功。

我國的工具書歷史悠久,源遠流長。據史籀記載,公元前8世紀周宣王就有字書《史籀篇》。如果說先秦是工具書的萌芽時期的話,那麼兩漢則是工具書的奠基時期。《方言》[1],《說文解字》《別錄》《七略》[2]等一批定型的字典、詞典、書目,為以後工具書的發展打下了堅實的基礎。

隨着工具書的不斷發展,種類也變得越來越多,除字典、詞典、百科全書外,年鑑、手冊在工具書類型中發展較快,品種多,規模大,既有綜合性的,也有專門或專科性的,既有學術性的,也有生活方面的。

視頻

邏輯方法 相關視頻

、終端爆破的邏輯方法
《開講啦》科學的方法 邏輯化 定量化 實證化

參考文獻

  1. 方言,可可詩詞,2019-11-15
  2. 《七略》, 中國孔子網,2017-09-15