论文部分内容阅读
笔者根据Montague、Scott等人的想法，在Segerber、Gabby和毛翊等人在模态逻辑邻域语义学研究的基础上，提出了适合一般命题逻辑的邻域语义学。邻域语义学可运用于无穷算子，无穷算子也能刻画一般的量词（包括通常的全称和存在量词）。
无穷算子和量词
【摘 要】
：
笔者根据Montague、Scott等人的想法，在Segerber、Gabby和毛翊等人在模态逻辑邻域语义学研究的基础上，提出了适合一般命题逻辑的邻域语义学。邻域语义学可运用于无穷算子，无穷算
【机 构】
：
北京大学外国哲学所
【出 处】
：
湖南科技大学学报：社会科学版
【发表日期】
：
2009年3期
【基金项目】
：
教育部文科基地重大研究项目《20世纪西方逻辑哲学和数学哲学》（05JJD720190）
其他文献
项目说明:UNFOLDESIGN聿几空间近期完成了位于北京中央别墅区的私宅项目。项目围绕想象力、波普艺术风格与家的情感而构筑,如同自然波长在光谱中对应不同色彩,设计师对每个生
根据核电厂多样性反应堆保护系统(DAS)的功能和原理,分析在机组正常运行期间进行T3周期试验的原理和试验过程。介绍试验过程存在的步骤繁多、人因风险大、试验实施对试验人员
对中外学者的中国明清家具研究百年历程脉络进行了系统的梳理,分为西学与中学两个部分,分别对西方学者与中国学者对明清家具的研究进行了归类论述。重点对20世纪80年代以来早
组卷与测验是教学活动中不可缺少的环节。针对目前组卷与测验的现状和存在的问题，基于ASP．NET，以I。INQ技术为基础，提出通用智能组卷与测验的构想，详细阐述了系统的构架与实现以及
胡景初教授是我国家具学科的创始人之一,1968年分配到上海的家具企业工作,1976年回到母校中南林业科技大学(原中南林学院)工作,于1980年代初在全国高校率先创办了家具设计专
施拉姆认为，毛泽东早期思想主要包括民族主义、尚武精神、崇尚意志、反传统和“天然的列宁主义”五项内容。从多元的视角、历史背景与客观现实的二重维度以及“连续性”与“非
我叫刘学斌,是北京送变电有限公司承德丰宁—金山岭工程2标、御道口—金山岭2标以及京沈客专工程的项目经理,明年5月份,我就到退休年龄了。在中华人民共和国成立70周年之际,
期刊
彩绘是罗马尼亚传统家具的重要装饰技法。受地域、民族、历史、社会、经济和文化等因素的影响,在罗马尼亚形成了撒克逊、马扎尔和罗马尼亚三种彩绘家具风格。本文从三种彩绘
2020年12月19日,Tom Dixon快闪店特别活动"圣诞狂欢夜"在北京王府中环拉开序幕。Tom Dixon"昨日·今日·明日"快闪巡展,因全球疫情影响而生的"游牧"展览模块OCTAGON,