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