現(xiàn)代邏輯導(dǎo)引

內(nèi)容概要

邏輯是保證人類正確思維的根本。本書作者在自己學(xué)習(xí)和研究的基礎(chǔ)上比較系統(tǒng)地介紹了現(xiàn)代邏輯學(xué)的基本內(nèi)容。主要包括四個部分：第一部分簡略地介紹了傳統(tǒng)邏輯學(xué)的基本內(nèi)容，主要包括對邏輯學(xué)學(xué)科的基本介紹和命題邏輯的基本內(nèi)容；第二部分介紹了數(shù)理邏輯的基本內(nèi)容，主要包括命題演算、謂詞邏輯和謂詞演算；第三部分介紹了模態(tài)邏輯的基本內(nèi)容，主要包括對模態(tài)邏輯學(xué)的性質(zhì)、模態(tài)命題演算的基本內(nèi)容的介紹；第四部分是對現(xiàn)代邏輯的現(xiàn)代發(fā)展情況的一些簡略的介紹，主要包括時態(tài)邏輯、認(rèn)知邏輯、自然語言邏輯的基本內(nèi)容。本書既可供專門的邏輯學(xué)工作者閱讀和使用，也可供哲學(xué)、語言學(xué)、人工智能、計算機科學(xué)等方面的工作者閱讀和使用，還可供對現(xiàn)代邏輯學(xué)感興趣的讀者自學(xué)使用。

書籍目錄

緒論
 A．1　邏輯學(xué)的對象和性質(zhì)
 A．2　邏輯思維的基本規(guī)律
 A．3　邏輯思想與學(xué)習(xí)邏輯的方法
1　命題邏輯
 1．1　詞項與命題
 1．2　簡單命題及其推理
 1．3　復(fù)合命題及其推理
 練習(xí)題
2　命題演算
　2．1　命題演算概述
　2．2　命題演算系統(tǒng)LP
　2．3　命題演算系統(tǒng)LP的可靠性和完全性
　練習(xí)題
3　謂詞邏輯
　3．1　謂詞和量詞
　3．2　形式語言
　3．3　命題的量化形式結(jié)構(gòu)
　3．4　謂詞邏輯推理的規(guī)則
　練習(xí)題
4　謂詞演算
 4．1　謂詞演算
 4．2　演繹定理
 4．3　謂詞演算的可靠性與完全性
　練習(xí)題
5　模態(tài)邏輯
　5．1　模態(tài)邏輯概述
　5．2　可能世界語義學(xué)
　5．3　框架、模型和有效性
　練習(xí)題
6　模態(tài)命題演算
 6．1　形式語言LPM
 6．2　K，D和T系統(tǒng)
 6．3 S4，S5和B系統(tǒng)
 6．4　模態(tài)系統(tǒng)的可靠性與完全性
 練習(xí)題
7　現(xiàn)代邏輯的現(xiàn)代發(fā)展
 7．1 時態(tài)邏輯
 7．2　認(rèn)知邏輯
 7．3 自然語言邏輯
參考文獻(xiàn)
后記

章節(jié)摘錄

版權(quán)頁：插圖：首先給出部分英語語句系統(tǒng)的語形分析，然后給出PTQ系統(tǒng)中的內(nèi)涵邏輯語言，最后給出翻譯規(guī)則，即根據(jù)翻譯規(guī)則，自然語言的語形表達(dá)式可以翻譯成內(nèi)涵類型論語言。（1）語形范疇。蒙太格受范疇語法的影響，把部分英語語句系統(tǒng)的語形看作是由一些基本范疇構(gòu)成的。一個范疇?wèi)?yīng)該由四部分組成：其一，有窮的基本范疇；其二，派生范疇定義；其三，一個詞典；其四，語形演算的特殊組合規(guī)則。蒙太格在PTQ系統(tǒng)的語形規(guī)則中，使用了各種語形范疇，每一個復(fù)雜的表達(dá)式都是由兩個合適的語形范疇生成的。他先給出了九個基本語形范疇，然后給出了每個范疇的基本表達(dá)式。基本表達(dá)式只相當(dāng)于我們?nèi)粘ＵZ言中的詞或詞組，通常說來具有獨立意義的單位不是詞或詞組，而是語句。為了把這些詞或詞組組合成語句，蒙太格又給出了十七條語形規(guī)則，通過這些規(guī)則，基本表達(dá)式便可以生成句子。對于九個語形范疇的基本表達(dá)式，用集合的方式逐一列舉，每一個范疇的基本表達(dá)式都是明確規(guī)定的，并且是有限的，因此，我們說PTQ系統(tǒng)只研究了有限的英語語句，并不是全部的自然語言。但是，由于該系統(tǒng)中包含了豐富的算子，已經(jīng)十分接近自然語言，所以有著極其重大的理論價值。

編輯推薦

《現(xiàn)代邏輯導(dǎo)引》由重慶大學(xué)出版社出版。

圖書封面

圖書標(biāo)簽Tags

無

評論、評分、閱讀與下載

---

    現(xiàn)代邏輯導(dǎo)引 PDF格式下載

---