本體邏輯原理與應(yīng)用

前言

本體邏輯是以人類(lèi)自然語(yǔ)言（本書(shū)以中文漢語(yǔ)言）為研究對(duì)象，并以命題是肯定或否定的語(yǔ)義性質(zhì)為真值形式的邏輯演算系統(tǒng)。關(guān)于邏輯系統(tǒng)和形式化語(yǔ)言的關(guān)系，現(xiàn)代著名邏輯學(xué)家丘奇[美]曾經(jīng)這樣作出區(qū)別：“我們根據(jù)下面這一點(diǎn)在邏輯系統(tǒng)與形式化語(yǔ)言之間作出區(qū)分：前者是一種沒(méi)有對(duì)之確定任何一種解釋的、被抽象地系統(tǒng)表述的演算系統(tǒng)；而后者則是一種帶有對(duì)其表達(dá)式的意義指派的邏輯系統(tǒng)。根據(jù)丘奇的區(qū)分，本體邏輯把以邏輯真值（肯定和否定）為形式，以邏輯算符為真值運(yùn)算符號(hào)的抽象語(yǔ)義系統(tǒng)稱(chēng)為本體邏輯的真值演算系統(tǒng)，而把自然語(yǔ)言形式的語(yǔ)言系統(tǒng)稱(chēng)為自然的形式化語(yǔ)言。本體邏輯系統(tǒng)是一個(gè)基于哲學(xué)本體論的真值演算系統(tǒng)， 即是一個(gè)以本體論定理為邏輯元定理，并且重新定義了真值形式——不以真假形式為真值形式的新的邏輯體系。

內(nèi)容概要

《本體邏輯原理與應(yīng)用》講述了本體邏輯原理是一個(gè)關(guān)于邏輯真的形式定義。它把哲學(xué)意義上的終極本體，定義為邏輯真的唯一變量形式，并且把這種以邏輯真為唯一變量的真值形式，定義為概念和命題的肯定與否定的語(yǔ)義形式，而且不再把邏輯假作為本體系統(tǒng)中的邏輯真值形式。從《本體邏輯原理與應(yīng)用》可以看出本體邏輯是一個(gè)千真萬(wàn)確的邏輯事實(shí)，而且還是一個(gè)簡(jiǎn)單直觀(guān)而又功能強(qiáng)大的應(yīng)用邏輯體系。

書(shū)籍目錄

第1章　理論概況　　1.1　本體邏輯的基本思想　　1.2　本體邏輯與現(xiàn)代數(shù)理邏輯的關(guān)系　　　1.2.1　本體邏輯與現(xiàn)代數(shù)理邏輯的主要區(qū)別　　　1.2.2　本體邏輯與現(xiàn)代數(shù)理邏輯的聯(lián)系　　1.3　理論淵源　　1.4　理論意義和應(yīng)用價(jià)值　　　1.4.1　理論意義　　　1.4.2　應(yīng)用價(jià)值　第2章　理論基礎(chǔ)　　2.1　邏輯基礎(chǔ)　　　2.1.1　本體論定理和條件定律　　　2.1.2　定理的證明　　　2.1.3　形式語(yǔ)義學(xué)原理　　2.2　哲學(xué)基礎(chǔ)　　　2.2.1　概念——邏輯在先的存在根據(jù)　　　2.2.2　解釋——邏輯可能的存在實(shí)體　　　2.2.2　定義——邏輯必然的結(jié)構(gòu)模型　第3章　真值演算系統(tǒng)　　3.1　主要定義　　3.2　符號(hào)系統(tǒng)　　　3.2.1　邏輯真值符號(hào)　　　3.2.2　邏輯運(yùn)算符號(hào)　　　3.2.3　變量符號(hào)　　　3.2.4　分隔符號(hào)　　3.3　真值賦值規(guī)則　　3.4　系統(tǒng)的邏輯結(jié)構(gòu)　　　3.4.1　命題的組織結(jié)構(gòu)　　　3.4.2　真值形式系統(tǒng)　　3.5　自然語(yǔ)言的真值演算　第4章　理論的推廣　　4.1　本體邏輯與哲學(xué)　　4.2　本體邏輯與物理學(xué)　　4.3　本體邏輯與數(shù)學(xué)　　4.4　本體邏輯與化學(xué)　　4.5　本體邏輯與生物學(xué)　第5章　理論的工程技術(shù)應(yīng)用　　5.1　應(yīng)用于計(jì)算機(jī)程序設(shè)計(jì)的自然語(yǔ)言編譯技術(shù)　　　5.1.1　設(shè)計(jì)思想　　　5.1.2　實(shí)現(xiàn)方法　　　5.1.3　自然語(yǔ)言編譯器——發(fā)明專(zhuān)利說(shuō)明書(shū)　　5.2　應(yīng)用于構(gòu)造智能計(jì)算機(jī)的數(shù)字電路設(shè)計(jì)　　　5.2.1　設(shè)計(jì)思想　　　5.2.2　實(shí)現(xiàn)方法　　　5.2.3　智能型組合門(mén)電路和JH量子編譯器——發(fā)明專(zhuān)利說(shuō)明書(shū)　　5.3　應(yīng)用于生物信息工程的基因語(yǔ)義分析技術(shù)　　　5.3.1　邏輯信息模型與基因語(yǔ)義性質(zhì)的對(duì)應(yīng)關(guān)系　　　5.3.2　控制基因表達(dá)的技術(shù)設(shè)計(jì)路線(xiàn)　附錄　JH語(yǔ)言　　1　基本框架　　2　主要規(guī)則　

章節(jié)摘錄

第1章 理論概況1.1 本體邏輯的基本思想本體論思想是傳統(tǒng)形而上學(xué)的基礎(chǔ)和核心。它在哲學(xué)意義上，把世界萬(wàn)物的存在和運(yùn)動(dòng)，抽象成唯一的本體形式及其形式的變易。并在形而上學(xué)的哲學(xué)語(yǔ)境中描述世界背景和存在本質(zhì)，它所要揭示的是存在的終極真理和本質(zhì)意義。本體邏輯就是以這種哲學(xué)本體論思想為理論基礎(chǔ)的邏輯演算系統(tǒng)。它把哲學(xué)意義上的存在依據(jù)，抽象成為唯一的終極本體，并且通過(guò)形式化的邏輯方法，把這個(gè)唯一的本體形式，量化成本體邏輯系統(tǒng)中的唯一變量——邏輯真， 邏輯真只有是（肯定）與否（否定）的兩種語(yǔ)義性質(zhì)和真值形式，從而使得本體系統(tǒng)中的邏輯變量具有本體唯一性和邏輯全同性。我們假設(shè)這種唯一的終極本體就是自然的存在本質(zhì)，那么現(xiàn)代數(shù)理邏輯無(wú)法避免語(yǔ)義矛盾和悖論的邏輯事實(shí)，就是這種本體論的邏輯證明——塔斯基真概念不可定義性定理——丘奇一圖靈不可判定性定理——哥德?tīng)柌煌耆远ɡ恚际沁@一邏輯事實(shí)的嚴(yán)格證明。這種唯一本體的存在形式，使得以真假不相容關(guān)系為基礎(chǔ)的邏輯系統(tǒng)在語(yǔ)義上無(wú)法避免矛盾和悖論。

編輯推薦

《本體邏輯原理與應(yīng)用》由廣東科技出版社出版。

圖書(shū)封面

評(píng)論、評(píng)分、閱讀與下載

---

    本體邏輯原理與應(yīng)用 PDF格式下載

---