內容簡介
目的：從命題邏輯的角度研究《傷寒論》方證理論體系。試圖達到
圖書封面或接近以下的研究目標——創建從邏輯學角度研究《傷寒論》的範式；創建從語言學角度研究《傷寒論》的範式；構建《傷寒論》的方證理論體系框架；構建《傷寒論》的合方理論與方劑語法語義假說。
方法：從蘊涵理論研究《傷寒論》中的條件句；從命題態度探討《傷寒論》中含有“必然”、“可能”；“應該”、“可能”等模態詞的條件句，挖掘孕育其中的模態邏輯；從意義理論研究《傷寒論》條件句何以成“真”的條件；從語言學的角度探討《傷寒論>>中的“證候”、“方劑”；從分析哲學的角度研究“證候”的“本體”等。
結果：從《傷寒論》中發現有關“名”的邏輯，窺及“因形命名”的印痕與“名”、“辭”、“說”的論辯形式；感悟到對“類、故、理”——“三物邏輯”的運用；提取了《傷寒論》的臨床診療“實質公理”集；發現“證一方”與“證一法一方”治療體系的推導異同；負概念在辨證論治中有重要的意義，負概念與正概念的聯合套用隱喻證候的整體性；方證體系可由“單一方證”、“類方證”、“方證”三個基本概念構成，“合方證”是“單一方證”的“合取”，“合方證”仍可進一步分類，而形成新的“類合方證”，“合方證”、“類合方證”又構成新的“方證”。以集合論的方法得到“同一病與同一證”、“同一病與多證”、“同一證與多病”、“多證與多病”、“所有病與所有證”的關係；從語言學的視角抽象出“一首方劑看上去是一個句子”的論點；以語言學的觀點提煉出證候的“語形”、“語義”、“語用”；我們發現“以方測證法”之不可行的臨床事實；“以方測證法”不滿足充分條件命題的邏輯特徵；“以病機命名的證候”與“以方劑命名的證候”是屬性與個體的關係，是一種謂詞與主詞的關係；從哲學的視角觀察到“中醫之病因病機與西醫的病因病理在認識論上具有不同的本體論”，西醫的本體論是“本體論的事實”，中醫的本體論是“本體論的承諾”。提出證候的整體性問題應該涉及顯現出的“症狀體徵序列”如何與顯現該“症狀體徵序列”的背景構成一個整體，及此證候是如何演變為彼證候、此證候與彼證候在更廣泛的意義上是如何體現出或構成證候整體性的。
結論：“三陰三陽系統”是一個有別於“陰陽系統”的新形式系統；由“證一?”體系到“證一法一方”體系的概念間存在著邏輯關係的轉換；現今證候研究負概念“賦值為0”的做法是值得商榷的；“方證”劃分證候法是與臟腑及其它證候劃分法不同的一種“證候”劃分法，“方證”劃分證候法與其它證候劃分法存在“交叉”關係，“方證”劃分證候法自身對證候劃分亦存在“交叉”關係，或者說方證之間的界限是模糊的；《傷寒論》在構建“證一方”體系的過程中使用的主要是“如果某某證，那么某某方”的充分條件假言?題，假如使用必要條件假言命題，亦多將必要條件假言命題的前件構成“合取式”，使這一“合取式”成為充分條件假言命題的前件，從而形成一個新的充分條件假言命題；《傷寒論》的邏輯類型以廣義模態邏輯為主體，特別是條件句中的有方有證條文可以徑將其視為“道義邏輯”或“規範邏輯”。《傷寒論》中需要研究的“模態”不只是“必然”與“可能”，更多的是“應該”、“允許”與“禁止”；若以蘊涵理論來解釋它則需要“相干蘊涵”來闡述，即藉助相關的背景知識架起前者通往後者的橋樑；《傷寒論》中的“證候”、“方劑”可以以語言學的研究方法來闡釋，即用“語形”、“語義”、“語用”的方法揭示症狀體徵間的聯結、中藥間的聯結，探討如此聯結及在不同語境下的意義；“以方測證法”是不可行的，或者說是測不準的，“以方測證法”在邏輯學上是“無效”的，即這種方法不是一種“能行的方法”，其得到的結論也不是“永真式”的。王永炎院士提出的有關證候研究論?“以象為素，以素為候．以候為證”是一連鎖蘊涵，而連鎖蘊涵是一常用的重言式，即為“永真式”。如果時間與空間區域都是確定的，同一“病”與同一“證”在具體的、確定的、現實的意義上是同一的；如果空間區域確定而時間區域不確定，同一“病”與同一“證”在具體的、確定的、現實的意義上可滿足同一性，但這一同一性取決於時間的時段，此時將出現的是“一病包含多證”；如果空間區域不確定而時間區域確定，不同“病”與同一“證”在具體的、確?的、現實的意義上可滿足同一性，即不同的疾病將在不同的空間經同一“證”的等同而表現為一致，此時出現的即“多病出現一證”。
作者簡介
賈春華，男，1961年10月生於河北省香河縣。醫學博士，主任醫師，北京中醫藥大學教授，中醫臨床基礎專業博士研究生導師。曾就讀於河北、安徽、北京的3所中醫學院，11年的求學歷程，分獲學士、碩士、博士學位，在《金匱要略》專家周夕林先生、《傷寒論》大師劉渡舟教授指導下研究張仲景醫學。從事臨床、科研、教學26年。首屆全國優秀中醫，臨床人才研修項目遴選狀元，獲全國優秀教師、全國優秀中醫臨床人才稱號；診治患者15萬人次；承擔國家自然科學基金、教育部、國家中醫藥管理局等科研課題十餘項；獲省部級科技進步獎3項；出版學術著作30餘部，發表學術論文100餘篇。目錄
緒論一、叩響被遺忘的邏輯家園之門
二、中國秦漢以前的邏輯與中醫學
三、《傷寒論》中的“名”、““辭”、“說”
四、《傷寒論》中的“三物邏輯”
第一章 《傷寒論》中的三陰三陽系統
第一節 三陰三陽源流
一、《內經》中的三陰三陽
二、《傷寒論》的三陰三陽
三、“三陰三陽系統”是一個有別於“陰陽系統”的新形式系統
第二節 《傷寒論》中的“實質公理”集
一、健康與疾病
二、證候與“隨證治之”
三、從“方一證”到“證一法一方”
四、“證一方”與“證一法一方”治療體系的推導異同
第三節 “證候一方劑”的辨證治療推導規則
一、“證候”本源考
二、證候是什麼?
三、證候概念轉換間的邏輯關係
四、負概念在辨證論治中的意義
五、病證與方藥之間
六、《傷寒論》方證理論體系框架
第二章 《傷寒論》中的條件命題
第一節 《傷寒論》中的條件句與假言命題
一、《傷寒論》中的條件句舉要
二、《傷寒論》中的假言命題及其推理
第?節 基於蘊涵理論的《傷寒論》條件句分析
一、基於相干蘊涵原理的《傷寒論》條件句分析
二、基於反事實蘊涵的《傷寒論》條件句分析
第三節 《傷寒論》雙結果條件句分析
第三章 模態命題與模態邏輯
第一節 模態邏輯述要
第二節 《傷寒論分中的模態命題及其推理
一、《傷寒論》基本模態命題
二、《傷寒論》基本模態推理
第三節 《傷寒論》中的廣義模態命題與推理
一、《傷寒論》規範命題及其推理
二、《傷寒論》時態命題及其推理
第四章 基於邏輯推理的方劑假說
第一節 基於歸納推理法的張仲景合方理論研究
一、合方的動機與目的
二、合方的依據
三、合方的原則
四、合方中方與方間的“七情”關係
五、合方的功效
……
第五章 基於邏輯與語言的“自以為是”
後記
邏輯、語言、哲學類參考書目
致謝
