本體邏輯原理與應用

前言

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

內(nèi)容概要

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

書籍目錄

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

章節(jié)摘錄

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

編輯推薦

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

圖書封面

評論、評分、閱讀與下載

---

    本體邏輯原理與應用 PDF格式下載

---