皮尔士逻辑语义学思想

摘要

模型论肇始于20世纪30年代初期,一般追溯到塔尔斯基、马尔捷夫以及罗宾逊等,"成名"于20世纪50年代。皮尔士19世纪的工作已经开始了命题逻辑的可能世界语义学分析,也开始了多模态和量化模态逻辑的可能世界语义学分析。本文将从量词、模态词、逻辑联结词以及存在图等方面来整理C S皮尔士的博弈论语义学和可能世界语义学等模型论思想。