基于逻辑学的《伤寒论》方证论治系统研究

从逻辑学的角度研究《伤寒论》的方证体系，选择"方证"这一范畴作为逻辑起点，构建《伤寒论》的方证论治系统。以"蕴涵""逻辑后承"等相关理论为基础探究"证候""方剂"间的逻辑关系。"证候""方剂"间逻辑关系的建立，使得我们明确了"证-方"命题的形成规则与推导规则，可借此判定方证论治系统逻辑上的"有效性"。于是我们可以从《伤寒论》中几个基本概念出发，经实质公理集的构建、方证命题形式的提取，形成有关《伤寒论》核心方剂的"证-方"命题群；并以此为基础构建《伤寒论》的方证论治系统数据库。继以逻辑学中的意义、指称，语言学中的语法、语义、语用以及集合论中的子集公理、偶集公理、联集公理展开《伤寒论》的方证论治系统的元理论研究。因"证-方"是各种辨证的最终环节，中医任何一种药物疗法最后无疑都要落实到方剂，故研究"证-方"相关并构建"方证论治系统"，无疑具有重大的意义。