數理邏輯初步

《數理邏輯初步》是現代莫紹揆編著的一部哲學著作。

基本介紹

• 作品名稱：數理邏輯初步
• 創作年代：現代
• 作者：莫紹揆
• 類別：哲學

內容簡介

本書是一本介紹數理邏輯的初級讀物，極其通俗易懂。共分五章，第一章：數理邏輯的由來。作者認為是應生產實踐的需要產生的，按人類的認識規律發展起來的。但其興起與發展主要是由於兩方面：傳統邏輯的不足及對數學基礎的研究所產生的大量的與邏輯有關的問題、如非歐幾何帶來的問題、微分基礎的爭論、集合論悖論等；第二章介紹了數理邏輯的“四論”及兩個演算等基本內容；第三章介紹關於數理邏輯的三大流派：邏輯主義、直覺主義、形式主義流派。第四章則主要介紹諸如記號與符號、變元、函式與約束詞等基本概念；第五章則介紹了數理邏輯的套用，包括在電子數字計算機方面的套用；探討傳統邏輯方面也有很多套用，並可以獲得新的韋要成果。作者舉了盧卡西維茨對亞里士多德邏輯的探討及《小取篇》的嘗試性處理。

出版信息

上海人民出版社1980年8月第1版，11.6萬字，責任編輯劉鴻鈞。