數理邏輯導引

《數理邏輯導引》是現代張尚水編著的一部哲學著作。

基本介紹

• 作品名稱：數理邏輯導引
• 創作年代：現代
• 作者：張尚水
• 類別：哲學

內容簡介

全書共有緒論、四章。緒論中，分析了傳統邏輯的局限，特別是推理研究方面的局限，指出原因在於自然語言的歧義性，以表明發展一種無岐義的人工語言來分析表示各種命題形式和推理形式之必要。前兩章論述了命題邏輯。從對簡單命題的初步分析入手，作者非形式地論述了命題邏輯所研究的基本對象，包括五個基本真值聯結詞、真值形式、命題形式、真值函式和重言式等。介紹了判定一個命題形式是否重言式的真值表方法，研究了推理的前提與結論之間的重言後承關係、正確的推理形式與重言的蘊涵式的對應關係以及邏輯後承與重言式之間的關係。第二章介紹了與形式系統有關的一些概念，構造了命題邏輯的一個形式系統P，並對P的元邏輯性質，包括P的演繹定理、P的可靠性、協調性、弱完全性、強完全性、P的公理的獨立性作了詳盡論述。後兩章論述的是一階謂詞邏輯。通過對簡單命題的進一步分析、揭示出構成命題妁各種非命題成分和形式結構，在此基礎上構造了一階形式語言L，並對這種形式語言的語義解釋，以(L的)公式的可滿足性、有效性、公式間的邏輯後承關係等語義概念作了描述。最後一章在命題演算P的基礎上建立了一階邏輯的公理化形式系統———一階謂詞演算，包括不帶等詞的和帶等詞的。對一階謂詞演算的元邏輯性質．如演繹定理、可靠性、弱完全性、強完全性進行了論述。書中還介紹了模型的有關知識。

出版信息

中國社會科學出版社1990年4月出版，26萬字。