是谁
克里西波(约前279–前206)是斯多葛学派第三代掌门,系统化了该派的逻辑、物理与伦理,古人说"没有克里西波就没有斯多葛"。他创立的命题逻辑领先亚里士多德词项逻辑,直到现代逻辑学才重新被认识其价值。
依据原典第欧根尼·拉尔修《名哲言行录》斯多葛残篇辑录(SVF)
主要故事
命题逻辑的先驱
克里西波研究"如果……那么……"式的命题推理,构建了古代最完整的形式逻辑系统,两千年后才被弗雷格、罗素的现代逻辑重新超越。
今日回响
以下是现代作品对这个名字或故事的借用、改写,不代表原始内容——两者不一样,别混着记。
命题逻辑其"如果……那么"式推理被现代逻辑重新确认为先驱工作。