《簡明數理邏輯基礎》是現代劉治旺、邵春林、畢富生、趙哈黎編著的一部哲學著作。
基本介紹
- 作品名稱:簡明數理邏輯基礎
- 創作年代:現代
- 作者:劉治旺、邵春林、畢富生、趙哈黎
- 類別:哲學
內容簡介,出版信息,
內容簡介
本書是為高等院校哲學、心理學等非數學專業的學生以及一般的邏輯工作者學習數理邏輯而編寫的。作者結合傳統邏輯通俗易懂地介紹了兩個演算——命題邏輯和謂詞邏輯,也介紹下集合論和關係理論的基礎知識,通過對任意集合之間比較重要的關係的直觀說明和次序關係的研究,使讀者看到這些理論與傳統邏輯的關係及其在社會科學中的作用。
全書共分七章,依次介紹命題邏輯的初步討論、命題推理、謂詞邏輯的初步討論、謂詞的自然推理、謂詞邏輯的公理系統、集合、關係的理論。所介紹的推理方法主要是自然推理方法。
出版信息
福建人民出版社1985年6月第1版,21萬字。