蒙太格语法产生的历史背景

蒙太格语法是由美国逻辑学家理查德·蒙太格创立的一种形式语言理论,是在一阶逻辑的基础上,通过对语句的结构和赋值增加了某些强有力的形式工具而形成的.形式语言包括(i)一阶谓词逻辑,(ii)模态算子,(iii)时态算子,(iv)兰姆达抽象,(v)形成谓词内涵和外延的算子.蒙太格提供了一个类型论的结构,这种结构允许对每种表达式加以量化.蒙太格的形式语言又可称之为内涵语言.他依据个体,真值,可能世界和时间座标以及所有这些的函项概念给出了内涵语言的的一个模型.内涵语言使我们能给出对自然语言语句的间接解释.其方法是,首先将语句映射为内涵逻辑中的翻译语言,然后给出这种语言的解释.本文主要阐述蒙太格语法产生的历史背景,阐述奠定了蒙太格语法基础的逻辑和哲学中的语义学早期传统,并将这种传统与语言学中的语义学传统相对照,后者表现出了与蒙太格理论的重大的和富有争议的不同.     

建筑工程项目党工委应该如何发挥作用

随着国有建筑企业改革的不断深化,工程项目党组织,在基层如何发挥作用,发挥什么样的作用,发挥作用的效果如何,能否起到领航作用、堡垒作用和纽带作用。在新形势下,我认为作为一名基层党务工作者必须弄清这些问题。否则,项目党工委在基层的工作将一事无成,下面就建筑工程项目党工委应该如何发挥作用的问题,谈谈自己的粗浅看法:     

论劳务派遣对企业管理及企业效益的重大影响

劳务派遣是一种新型的劳务用工形式.文章从劳务派遣的概念、产生背景、发展状况、对施工企业管理和效益的影响等方面进行了阐述,说明了劳务派遣对企业的重大而积极的影响.     

中国元素在设计运用中的误区之分析

通过对一些代表性设计作品的研究,分析中国元素在设计运用中走入误区的原因：特殊的文化艺术管理体制和强烈的民族情感的影响;设计师对中国元素的挪用、借鉴和创新上的误区;对中国元素没有深刻的认识,造成了符号形式的机械模仿。     

政府重大危机事件的应对能力研究

近年来重大危机事件呈现出种类多、频率高、连发性强、造成损失巨大等特点,并呈现出全球化趋势。面对这一挑战,政府应作出积极应对,主动提升自身应对危机的能力。本文试图提出具有可操作性的指标用以评价政府对重大危机事件的应对能力,以期为提高政府的危机应对能力提供借鉴。     

信息化在线

宏观【决定】中央提出加强网络文化建设管理和网上舆论引导中共十七届六中全会通过的《中共中央关于深化文化体制改革推动社会主义文化大发展大繁荣若干重大问题的决定》10月25日公布。《决定》指出,加强网上思想文化阵地建设,是社会主义文化建设的迫切     

台州眼镜产业创新发展的思考

一、台州眼镜产业的发展与现状台州位于浙江中部,改革开放以来,台州的经济和社会领域发生了重大变化,被称之为台州现象,其民营主导加政府推动的运作模式备受关注,眼镜行业正是在这一背景下发展起来的。台州眼镜产业主要集中在杜桥地区,杜桥是浙江台州一个人口十余万的小镇。该镇商贸繁荣,素有"浙南三桥"的美誉,其眼镜制造业在国内闻名遐迩。台州杜桥的眼镜产业起始于上世纪70年代。当时,许多杜桥人纷纷从广州、温州等地批发眼     

省科技厅召开巡视工作动员大会

根据省委统一部署,自9月22日起,省委第三巡视组开始对省科技厅进行为期一个半月左右的巡视工作。当天上午,省科技厅召开巡视工作动员大会,省委第三巡视组组长邬金水、省委巡视办副主任邱志明讲话,厅党组书记、厅长周国辉汇报了主要工作情况、工作中存在的问题和下一步工作打算,省委第三巡视组副组长朱贤文、副厅级巡视专员胡浙金等出席会议。邬金水指出,要充分认识巡视工作的意义,实行巡视制度,对于保证党的路线、方针、政策和中央、省委重大决策部署的贯彻落实,推进反腐倡廉工作,加强领导班子和干部队伍建设,具有十分重要的意义。他详细介绍了巡视工作的总