巴尔坎·马库斯
【生卒】：1921— 美国逻辑学家。 从1946年起，他对刘易斯著作中的计算宾词模态逻辑进行补充，对刘易斯的S体系的固定因素增加了量化理论及其两种公认的描述公式，即“巴尔坎公式”。在模态逻辑量化的基础问题上，他与奎因之间发生一场论战。 他认为本质主义通过对一个替代量词的解释是可以避免的。量化模态逻辑还关系到同一性和替代性问题。 他认为扩展性问题是不存在的，这个原则或多或少会全面地或部分地排除一个强化宾词，就如相等关系一样。著有《同一性与个性的第一序列计算功能》(1947)、《语言的形态和内涵》(1962)、《量词说明》(1962)、《实在论的形式》(1967)等。 |