论文部分内容阅读
笔者根据Montague、Scott等人的想法，在Segerber、Gabby和毛翊等人在模态逻辑邻域语义学研究的基础上，提出了适合一般命题逻辑的邻域语义学。邻域语义学可运用于无穷算子，无穷算子也能刻画一般的量词（包括通常的全称和存在量词）。
无穷算子和量词
【摘 要】
：
笔者根据Montague、Scott等人的想法，在Segerber、Gabby和毛翊等人在模态逻辑邻域语义学研究的基础上，提出了适合一般命题逻辑的邻域语义学。邻域语义学可运用于无穷算子，无穷算
【机 构】
：
北京大学外国哲学所
【出 处】
：
湖南科技大学学报：社会科学版
【发表日期】
：
2009年3期
【基金项目】
：
教育部文科基地重大研究项目《20世纪西方逻辑哲学和数学哲学》（05JJD720190）
其他文献
项目说明:UNFOLDESIGN聿几空间近期完成了位于北京中央别墅区的私宅项目。项目围绕想象力、波普艺术风格与家的情感而构筑,如同自然波长在光谱中对应不同色彩,设计师对每个生
根据核电厂多样性反应堆保护系统(DAS)的功能和原理,分析在机组正常运行期间进行T3周期试验的原理和试验过程。介绍试验过程存在的步骤繁多、人因风险大、试验实施对试验人员
对中外学者的中国明清家具研究百年历程脉络进行了系统的梳理,分为西学与中学两个部分,分别对西方学者与中国学者对明清家具的研究进行了归类论述。重点对20世纪80年代以来早
胡景初教授是我国家具学科的创始人之一,1968年分配到上海的家具企业工作,1976年回到母校中南林业科技大学(原中南林学院)工作,于1980年代初在全国高校率先创办了家具设计专
施拉姆认为，毛泽东早期思想主要包括民族主义、尚武精神、崇尚意志、反传统和“天然的列宁主义”五项内容。从多元的视角、历史背景与客观现实的二重维度以及“连续性”与“非