《本體邏輯原理與套用》是2008年廣東科技出版社出版圖書，作者是萬繼華。
基本介紹
- 書名：本體邏輯原理與套用
- 作者：萬繼華
- ISBN：9787535944993
- 定價：28
- 出版社：廣東科技出版社
- 出版時間：2008
- 開本：32
內容簡介,目錄,
內容簡介
《本體邏輯原理與套用》講述了本體邏輯原理是一個關於邏輯真的形式定義。它把哲學意義上的終極本體，定義為邏輯真的唯一變數形式，並且把這種以邏輯真為唯一變數的真值形式，定義為概念和命題的肯定與否定的語義形式，而且不再把邏輯假作為本體系統中的邏輯真值形式。從《本體邏輯原理與套用》可以看出本體邏輯是一個千真萬確的邏輯事實，而且還是一個簡單直觀而又功能強大的套用邏輯體系。
目錄
第1章理論概況
1.1本體邏輯的基本思想
12本體邏輯與現代數理邏輯的關係
1.2.1本體邏輯與現代數理邏輯的主要區別
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章真值演算系統
3.1主要定義
3.2符號系統
3.2.1邏輯真值符號
3.2.2邏輯運算符號
3.2.3變數符號
3.2.4分隔設定號
3.3真值賦值規則
3.4系統的邏輯結構
3.4.1命題的組織結構
3.4.2真值形式系統
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自然語言編譯器——發明專利說明書
5.2套用於構造智慧型計算機的數字電路設計
5.2.1設計思想
5.2.2實現方法
5.2.3智慧型型組合門電路和JH量子編譯器——發明專利說明書
5.3套用於生物信息工程的基因語義分析技術
5.3.1邏輯信息模型與基因語義性質的對應關係
5.3.2控制基因表達的技術設計路線
附錄JH語言
1基本框架
2主要規則
……
