克吕希波
(Chrysippus,公元前 280—公元前 206)

克吕希波出生在小亚细亚东南海岸的城市索里。他早年移居雅典,随斯多葛学派哲学家克里安西斯(Cleanthes)学习,而后者又是斯多葛学派创始人、基提瓮城的芝诺(Zenoof Citium)的学生。公元前 232 年,克里安西斯去世,克吕希波接任学派的领袖。他创作 了超过 700 篇斯多葛学派系统化教学的论文。所有这些作品都已经遗失,仅仅在西塞罗(Cicero)、塞涅卡(Seneca)和其他人的著作中幸存一些片段。由于他的 突出贡献,克吕希波被认为是斯多葛学派的第二个创 始人。
斯多葛学派得名于希腊词 stoa,意指门廊;斯多葛学派哲学家经常聚集在雅典的阿格拉(公共广场)的一个门廊讨论他们的观点。斯多葛学派哲学家珍视自 己的德行,他们强调不允许自己被恐惧或者恋爱等这 样的情感或者激情所左右的重要性。情感被认为是关 于某个事情好坏的错误的判断。对于被情感欺骗的人的恰当治疗就是说服他们,让他们知道相信这些判断其实是错误的,因为它们阻碍了真正的幸福。
克吕希波常常被认为是命题逻辑的创始人。亚里士多德逻辑的基本成分是词项,与此不同,命题逻辑的基本成分是整个命题或者说陈述。亚里士多德忽视了这种逻辑,但是他的亲密朋友及继承者泰奥弗拉 斯托斯(Theophrastus)提出了部分关于纯假言三段 论(如果A那么B,如果B那么C;所以,如果A 那么 C)的逻辑。与此同时,麦加拉的菲罗(Philo of Megara)引入了实质条件句(如果A那么B)的真值函项解释。由此出发,克吕希波把命题逻辑推进到了一个高度发展的水平。
吕希波把命题划分为简单命题和复合命题,引进一组联结词,从一个或者多个简单命题构造出复合命题。复合命题包括否定式、合取(联言)式、相容析取(选言)式和蕴涵式。克吕希波展示了复合命题的真值如何是其简单成分的真值的函项。克吕希波还引进了一组推理规则,包括今天被称为肯定前件式(modus ponens)、否定后件式(modustollens)、选言三段论和一条类似德·摩根定律的规则。最后需要提到的是,克吕希波引进了自 然推演理论,借此可以通过一系列分离的步骤从一个论证的前提推出它的结论。
克吕希波的更为广泛的哲学则被一元论和决定论所刻画。当我们大部分人认为宇宙由无数分散的东西 组成的时候,克吕希波则论证说,事实上只有一种物 质存在,而看似个别的物质其实是这一原初物质的部 分。此外,发生的一切事情都严格地受命运的支配。但是,面对这种严格的因果决定论,克吕希波主张人 类要对他们的行为负责;他还试图用多种方法来证明 这两个观点事实上并行不悖。

