本體邏輯原理與應用

第1章　理論概況　
　1.1　本體邏輯的基本思想　
　1.2　本體邏輯與現代數理邏輯的關系　
　　1.2.1　本體邏輯與現代數理邏輯的主要區(qū)別　
　　1.2.2　本體邏輯與現代數理邏輯的聯系　
　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　概念——邏輯在先的存在根據　
　　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　本體邏輯與數學　
　4.4　本體邏輯與化學　
　4.5　本體邏輯與生物學　
第5章　理論的工程技術應用　
　5.1　應用于計算機程序設計的自然語言編譯技術　
　　5.1.1　設計思想　
　　5.1.2　實現方法　
　　5.1.3　自然語言編譯器——發(fā)明專利說明書　
　5.2　應用于構造智能計算機的數字電路設計　
　　5.2.1　設計思想　
　　5.2.2　實現方法　
　　5.2.3　智能型組合門電路和JH量子編譯器——發(fā)明專利說明書　
　5.3　應用于生物信息工程的基因語義分析技術　
　　5.3.1　邏輯信息模型與基因語義性質的對應關系　
　　5.3.2　控制基因表達的技術設計路線　
附錄　JH語言　
　1　基本框架　
　2　主要規(guī)則