绪论 1
一、叩响被遗忘的逻辑家园之门 1
二、中国秦汉以前的逻辑与中医学 6
三、《伤寒论》中的“名”、““辞”、“说” 9
四、《伤寒论》中的“三物逻辑” 14
第一章《伤寒论》中的三阴三阳系统 20
第一节 三阴三阳源流 20
一、《内经》中的三阴三阳 20
二、《伤寒论》的三阴三阳 24
三、“三阴三阳系统”是一个有别于“阴阳系统”的新形式系统 27
第二节《伤寒论》中的“实质公理”集 29
一、健康与疾病 30
二、证候与“随证治之” 31
三、从“方—证”到“证—法—方” 34
四、“证—方”与“证—法—方”治疗体系的推导异同 35
第三节“证候—方剂”的辨证治疗推导规则 36
一、“证候”本源考 36
二、证候是什么？ 43
三、证候概念转换间的逻辑关系 49
四、负概念在辨证论治中的意义 54
五、病证与方药之间 58
六、《伤寒论》方证理论体系框架 65
第二章《伤寒论》中的条件命题 74
第一节《伤寒论》中的条件句与假言命题 74
一、《伤寒论》中的条件句举要 74
二、《伤寒论》中的假言命题及其推理 76
第二节 基于蕴涵理论的《伤寒论》条件句分析 83
一、基于相干蕴涵原理的《伤寒论》条件句分析 83
二、基于反事实蕴涵的《伤寒论》条件句分析 91
第三节《伤寒论》双结果条件句分析 95
第三章 模态命题与模态逻辑 101
第一节 模态逻辑述要 101
第二节《伤寒论》中的模态命题及其推理 103
一、《伤寒论》基本模态命题 103
二、《伤寒论》基本模态推理 106
第三节《伤寒论》中的广义模态命题与推理 108
一、《伤寒论》规范命题及其推理 108
二、《伤寒论》时态命题及其推理 114
第四章 基于逻辑推理的方剂假说 121
第一节 基于归纳推理法的张仲景合方理论研究 121
一、合方的动机与目的 122
二、合方的依据 122
三、合方的原则 124
四、合方中方与方间的“七情”关系 125
五、合方的功效 128
六、合方“先煎后合”与“先合后煎”之异同 129
七、张仲景合方的后世发展与特点 130
第二节 基于类比推理法的““方剂语法语义”假说 134
一、句子与方剂的类比 135
二、句子与方剂的结构层次 136
三、句子之“主谓结构”与方剂之“君药/主药” 137
四、句子之“词与词”与方剂之“药与药” 138
五、“方剂语法语义”假说指导组方 141
六、“选词造句”“遣药组方”的习惯 144
第五章 基于逻辑与语言的“自以为是” 146
第一节 从逻辑的角度看中西医结合 146
一、从模态逻辑的角度看中西医结合 146
二、中西医结合中的病证关系 153
第二节 从逻辑语言的角度看证候 161
一、证候语言 161
二、“以方测证法”之不可行论 167
三、“以象为素，以素为候，以候为证” 172
四、证候研究中的边缘 176
五、论证与辨证论治 182
六、有关《金匮要略》“同病异治”的诠释与成真条件 191
七、中医学：一种基于隐喻认知的语言 196
后记 201
逻辑、语言、哲学类参考书目 206
致谢 208