张仲景方证理论体系研究

《张仲景方证理论体系研究》的逻辑类型以广义模态逻辑为主体,特别是条件句中的有方有证条文可以径将其视为“道义逻辑”或“规范逻辑”。《伤寒论》中需要研究的“模态”不只是“必然”与“可能”,更多的是“应该”、“允许”与“禁止”;若以蕴涵理论来解释它则需要“相干蕴涵”来阐述,即借助相关的背景知识架起前者通往后者的桥梁;《伤寒论》中的“证候”、“方剂”可以以语言学的研究方法来阐释,即用“语形”、“语义”、“语用”的方法揭示症状体征间的联结、中药间的联结,探讨如此联结及在不同语境下的意义;“以方测证法”是不可行的,或者说是测不准的,“以方测证法”在逻辑学上是“无效”的,即这种方法不是一种“能行的方法”,其得到的结论也不是“永真式”的。王永炎院士提出的有关证候研究论?“以象为素,以素为候.以候为证”是一连锁蕴涵,而连锁蕴涵是一常用的重言式,即为“永真式”。如果时间与空间区域都是确定的,同一“病”与同一“证”在具体的、确定的、现实的意义上是同一的;如果空间区域确定而时间区域不确定,同一“病”与同一“证”在具体的、确定的、现实的意义上可满足同一性,但这一同一性取决于时间的时段,此时将出现的是“一病包含多证”;如果空间区域不确定而时间区域确定,不同“病”与同一“证”在具体的、确的、现实的意义上可满足同一性,即不同的疾病将在不同的空间经同一“证”的等同而表现为一致,此时出现的即“多病出现一证”。