摘要
笔者根据Montague、Scott等人的想法,在Segerber、Gabby和毛翊[1][2]等人在模态逻辑邻域语义学研究的基础上,提出了适合一般命题逻辑的邻域语义学[3][4]。邻域语义学可运用于无穷算子,无穷算子也能刻画一般的量词(包括通常的全称和存在量词)。
Based on Montague＇s and Scott＇s ideas, and on Segerber＇s, Gabby＇s and Mao Yi＇s studies of modal logic neighborhood semantics, the author proposes neighborhood semantics, which fits for common proposition logic. This paper applies neighborhood semantics to endless operators and utilizes infinite operators to depict general quantifies, including the common full name and existential quantifiers.
出处
《湖南科技大学学报（社会科学版）》
北大核心
2009年第3期31-34,共4页
Journal of Hunan University of Science and Technology(Social Science Edition)
基金
教育部文科基地重大研究项目<20世纪西方逻辑哲学和数学哲学>(05JJD720190)
关键词
邻域语义学
无穷算子
量化算子
量词
neighborhood semantics
infinite operators
quantitative operators
quantifies
