麦柯尔，H．

【生卒】：1837～1909

【介绍】：

英国逻辑学家、现代模态逻辑的先驱。他在《伦敦数学学会学报》第9卷(1877～1878)、第10卷(1878～1879)、第11卷(1879～1880)上连续发表了4篇《等价命题的演算》的论文；从1880年至1906年在《思想》杂志上连续发表了8篇《符号推理》的论文，这8篇论文汇集成《符号逻辑及其应用》一书在1906年出版。麦柯尔从另外一个方向发展逻辑代数，使命题逻辑从类演算中独立出来。他使用字母及字母组合表示整个命题，并引进一种蕴涵“A∶B”，并作出定义“A∶B指A=AB”，这种蕴涵与实质蕴涵不同，不会出怪论。麦柯尔进一步构造了以真假值和相等关系为基础的命题代数系统。在模态逻辑方面，他实际上提出了严格蕴涵、命题的模态等概念，为现代模态逻辑的建立作出了一定的贡献。