布尔和赛格贝格论模态逻辑的三大传统

布尔和赛格贝格采用理性重组模式重建现代模态逻辑发展历史,把现代模态逻辑的起源归结为三个传统：句法学传统、代数传统和语义学传统,并对这三大传统的发展脉络和各自的技术风格给予了清晰刻画。文中凸显的主题是,技术发展是当代模态逻辑理论嬗变的主要动因,正是这些如同酵母般的技术要素,使模态逻辑走上永无止息的自我更新之路。     

认知语义学的阶层语义论

把生成论和认知论的观点在更高层次进行综合,力求在语义论领域构筑对生成统语论、音韵论等语言形式的普遍科学的说明理论,是日本认知语言学界著名权威学者中右实在20世纪末期提出的"认知语义学的原理--阶层语义论"."阶层语义论"提倡语义构造的自律性,其独特的着眼点在于:句子的语义由其独自语义要素的阶层配列型组成.通过具体的实证研究及演绎论证可得出两个结论:句子的语义形成有一定不变的骨架构造;此骨架构造是独立于统语构造的存在.     

城市品牌的符号学解析

城市品牌是城市文化的载体。从视觉传达符号学的角度来说,城市品牌的传播以视觉符号形式实现。城市品牌的符号特性,决定了其具有认知与传播的符号功能。以符号学为切入点,从语义层面、语构层面和语用层面对城市品牌进行符号学解析,对城市品牌建设具有重要的启示意义。     

Semantic the semantic analysis method and the progress of scientific realism

自20世纪30年代以来,语义分析方法就在科学哲学的历史演进与传承中具有了重要的方法论意义,同时它也为科学实在论与反实在论的论争、相互借鉴与渗透提供了对话的平台。今天,当我们反观这一历史时,重新理解语义分析方法的重要性,认识语境化的语义结构对把握科学理论解释的基础地位,掌握确定和表达指称是对理论进行解释的语义分析的方法论核心,明确“二维”语义学分析是当前语义分析方法论研究的必然趋向,从而,在形式、内容、结构和体系上重建语义分析方法在科学实在论研究中的方法论地位,对推动当代科学实在论的发展具有极其重大的战略性意义。     

亚里士多德模态三段论逻辑的 形式化公理系统探讨

利用广义量词理论、可能世界语义学和集合论,可以简洁明了地对亚里士多德模态三段论进行形式化和有效性的证明。根据有效的亚里士多德模态三段论应该遵守的基本规则,可以从6 656个亚里士多德模态三段论中,筛选出有效的384个模态三段论。把通过向有效的直言三段论AAA-1和EAE-1中添加模态词而得到的20个有效模态三段论作为基础公理,就可以为亚里士多德模态三段论逻辑建立起形式化公理系统。     

分枝量词及其对组合原则的挑战

分枝量词揭示了量词之间的相对独立性,其语义解释历来存在争议,而问题的关键在于组合原则的存留。实际上,组合原则具有可塑性。可以将“信息”、“策略”等要素纳入“意义”范畴,进一步丰富“构成方式”的内涵,允许公式构成部分的“非线性组合”,从而使得分枝量词的博弈论语义解释既可以巧妙地避开蒯因等人的本体论指责,又可以满足（广义的）组合原则的基本要求。     

波普尔的实在论

一般来说,实在论的含义比较模糊,但实在能通过真理、可检验性等概念在语义学中得到严格的规定。波普尔并没有很好地理解塔尔斯基的真理定义和语义学方法,他的第三世界理论建立在一些语义学概念的误用之上。实际上,从波普尔确认的哲学前提出发,语义学要求他应该是“内部实在论”者,而形而上学实在论却是他所信奉的先验教条。     

Martin的语篇语义学思想

文章介绍Martin(1992)的语篇语义学思想。文章首先简单介绍了Martin的学术背景。然后从“语篇语义学”这个术语的含义讲起,讲到了Martin为什么提出这种理论,即关于三层分节的思想。接着讨论了语篇结构与语法结构的异同,特别是详细介绍了协商、识别、连接、概念这四个语篇系统的主要内容。最后讨论了语篇系统与词汇语法之间的互动,以及语境、语类、意识形态等概念。      

言内语境研究述评

语境和语义密切相关,语言哲学界对语境的关注由来已久,并日益成为研究热点。在现当代语言研究中,“语境”已成为人类学、逻辑学、语义学、语用学、社会语言学、话语语言学、心理语言学、认知语言学、翻译学等多门学科普遍关注的话题。在这种学术背景下,对语境研究追根溯源,理性地回顾总结语境研究的发展源流,对于深刻认识语境在语言研究中的重要作用显得尤为重要。     

无穷算子和量词

笔者根据 Montague、Scott等人的想法,在 Segerber、Gabby和毛翊[1] [2]等人在模态逻辑邻域语义学研究的基础上,提出了适合一般命题逻辑的邻域语义学[3] [4].邻域语义学可运用于无穷算子,无穷算子也能刻画一般的量词(包括通常的全称和存在量词).