【摘 要】
：
形式语义学(Formal Semantics)就是逻辑语义学，就本文的立论范围而言，是关于自然语言的逻辑语义学。形式语义学研究自然语言的语义，是通过建立数学模型的方式来实现的。这是现代
论文部分内容阅读
形式语义学(Formal Semantics)就是逻辑语义学，就本文的立论范围而言，是关于自然语言的逻辑语义学。形式语义学研究自然语言的语义，是通过建立数学模型的方式来实现的。这是现代数理逻辑确定逻辑系统的语义所常用的方法。形式语义学从诞生起就跟现代逻辑结下不解之缘。70年代初，美国逻辑学家理查德·蒙太格(R．Montague)认为自然语言与逻辑语言本质上是相通的，因而描述逻辑语言语义的模型论方法同样适用于自然语言。
其他文献
针对沁水盆地樊庄高煤阶煤层气田各井地质条件及开采状况差异性大,不能采用同一排采制度和控制模式的特点,研究了适用于煤层气井的智能控制排采技术。在总结探索樊庄煤层气井
<正>商场是生产企业价值的实现者和体现者。商场经济活动的活跃程度直接决定了整个社会经济活动的活跃程度。而商场价值的最终实现是由顾客来决定的。消费者购买的全过程实质
赵无极的绘画成就令世人瞩目,其艺术价值得到了东西方的共同认可,这完全得益于其在绘画中对东方元素的完美应用。在赵无极的绘画中,我们能够清晰地发现中国传统绘画的表现手
在DBPSK高动态突发扩频通信中．伪码的捕获和数据解调受多普勒频移的影响。为了缩短伪码和多普勒频移捕获时间，降低资源消耗和误判率，避免解调数据极性反转，伪码捕获时采用了单通
<正>王春(贵州省住房和城乡建设斤总规划师)欢迎大家来到多彩贵州,感谢中国城市规划学会、江苏省规划院和贵州省住建厅一起举办这个论坛,体现了规划年会服务地方的要求。广州
当前对大学生廉洁教育的认识和实践及其转化方面还存在诸多问题。在认知方面,对大学生廉洁教育基本范畴的理解不统一且存在偏差,在观念转变上也不到位;在实践方面,部分高校存
"飞"是中国早期艺术的一大风格特征。早在北魏时期,"飞天"便出现了"中原式"和"西域式"两种各具特点的艺术风格。时至西魏,"飞天"的风格渐趋于统一,其形象主体呈现秀骨清像、
形式语义学的主要理论有蒙太格语法、广义量词理论、话语表述理论、情境语义学和类型逻辑语法，这些理论基于各自不同的侧重对自然语言语义展开了研究。从形式语义学角度分析汉
目的探讨高速涡轮仰角牙钻与微创拔牙挺在阻生牙拔除术中的应用。方法选择263例拔牙适应症的临床病例，记录比较时间、追踪术后并发症。结果采用角形切口，高速涡轮切割牙冠微创
特高型拱坝坝拱座岩体承受的荷载巨大,坝基岩体质量是拱座稳定的关键,在施工期如何准确评价坝基岩体质量,是拱坝建基岩体工程地质研究的重要问题。本文以工程地质条件研究为