摘要
模型论肇始于20世纪30年代初期,一般追溯到塔尔斯基、马尔捷夫以及罗宾逊等,"成名"于20世纪50年代。皮尔士19世纪的工作已经开始了命题逻辑的可能世界语义学分析,也开始了多模态和量化模态逻辑的可能世界语义学分析。本文将从量词、模态词、逻辑联结词以及存在图等方面来整理C S皮尔士的博弈论语义学和可能世界语义学等模型论思想。
出处
《燕山大学学报(哲学社会科学版)》
2008年第2期38-43,共6页
Journal of Yanshan University:Philosophy and Social Science
基金
国家社会科学基金项目"图式逻辑研究"(05CZX016)资助