刘易斯，C．I．

【生卒】：1883～1964

【介绍】：

美国哲学家、逻辑学家，概念实用主义的创始人。生于马萨诸塞州，就读于哈佛大学，1910年获该校博士学位。1911～1920年在加利福尼亚大学任讲师和助理教授，1920年起到1953年退休一直在哈佛大学任哲学教授。主要著作有：《符号逻辑综述》(1918)、《符号逻辑》(与C．H．兰福德合著，1932)、《心灵和世界秩序》(1929)、《知识和价值的分析》(1947)和《权利的基础和性质》(1955)。刘易斯是现代模态逻辑的创始人。在从1912年起开始发表的一系列文章中，他批评在现代形式系统中使用A．N．怀特海和B．A．W．罗素提出的实质蕴涵。他认为实质蕴涵不符合日常蕴涵的意义，并提出了严格蕴涵的概念，把命题p严格蕴涵命题q定义为“不可能p真而q假”，初步建立了一个严格蕴涵的模态命题演算。在他看来，概念起源于经验，因此在他的系统中，概念不是一成不变的，传统逻辑的抽象范畴是可以变化的。后来他进一步改进了他最初建立的模态逻辑系统。在与C．H．兰福德合写的《符号逻辑》一书中，还建立了4个新的模态逻辑系统。这些系统现在通称为S、S、S、S和S，已成为模态逻辑的经典系统。