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

第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ā)明專利說(shuō)明書　
　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　智能型組合門電路和JH量子編譯器——發(fā)明專利說(shuō)明書　
　5.3　應(yīng)用于生物信息工程的基因語(yǔ)義分析技術(shù)　
　　5.3.1　邏輯信息模型與基因語(yǔ)義性質(zhì)的對(duì)應(yīng)關(guān)系　
　　5.3.2　控制基因表達(dá)的技術(shù)設(shè)計(jì)路線　
附錄　JH語(yǔ)言　
　1　基本框架　
　2　主要規(guī)則