多模态范畴类型逻辑

多模态范畴类型逻辑是在组合范畴语法(CCG)和范畴类型逻辑(CTL)基础上发展起来的新方向。基于范畴语法的CCG强调函子范畴的组合运算,给各类规则中的斜线算子添加不同的模态下标,并在词库中给词条指派的范畴含有模态下标的斜线算子,从而限制了这些规则的适用范围,使描述自然语言的范畴推演进一步精细化。CTL则遵循严格的逻辑规范,对CCG涉及的函子范畴的各类规则从结构性质的角度把握其根源,用多模态范畴类型逻辑的方式涵盖了CCG各类规则。这就是CCG和CTL的融合产物。     

组合范畴语法与范畴类型逻辑的分析与比较

范畴语法的最早形式是 AB-演算,目前已发展成为一系列相互联系的形式系统,它们把句法分析和语义分析视为基于类型的推理。范畴语法的两个最完善的分支是基于逻辑传统的范畴类型逻辑和基于组合传统的组合范畴语法,二者联系紧密,差异也明显,前者主要关心不同逻辑算子对语言的适用性和逻辑系统的证明论性质,认为生成能力不具有主要的理论意义,在计算应用中没有价值;后者更多集中在获得低的自动机理论能力和良好计算性质的语言表达系统。     

试析蒙太格的普遍语法思想

<普遍语法>是蒙太格的代表作之一,在这篇文章中蒙太格主要阐释了普遍语法思想.普遍语法思想的要旨是:其一,自然语言和逻辑人工语言没有实质的区别,逻辑语义学的思想也适用于自然语言;其二,自然语言与逻辑人工语言在结构规律方面是相通的,研究逻辑语言的元数学方法,也能推广到自然语言的领域;其三,从语形和语义的角度分别概括逻辑人工语言和自然语言的通用模式.开创了自然语言逻辑研究之先河的蒙太格语法就是建立在"普遍语法"思想之上的.     

《马氏文通》对语法与逻辑界面的研究及其影响

我国第一部系统的语法著作<马氏文通>在对语法概念的内涵和外延的描写、对语法系统的构建及对某些句子的逻辑功能的表述等方面.体现了对语法和逻辑界面的深入研究,马建忠把中国语法学和语言学带入科学化和现代化发展轨道的手段和标志正是在语法研究中大量引进了逻辑学成果,以逻辑类映射语法类,实现了思维方式的转型和研究工具的升级.     

逆证与语法化

本文首先界定了逆证逻辑ABD与常规逻辑的异同，然后从ABD的推导角度，分析了语法化过程中语言符号的彤式和意义两面的变化规律，认为在语言使用过程中，语料的新颖性会导致对原假设即原符义关系的核实和调整，从而产生其内部无法分解的语言产物，并通过短线语法化现象来证实类似过程。     

面向汉语认知与功能特征的语法逻辑

本文研究范畴语法的两种扩充,一是从认知特征角度的扩充,将范畴语法扩充为认知特征范畴语法,通过具有完全性的逻辑证明解决了一些不合语言事实的句子判别问题;二是从功能特征角度的扩充,提出逻辑推理的形式和进一步将二者统一的可能性问题.     

语法的层次性探析

表层语法和深层语法以及语法的表层结构和深层结构是语言哲学家和语言学家在语言研究中的重要理论。维特根斯坦所说的"语法"主要不是指词语的用法,而是指语言活动的一般规则或逻辑。乔姆斯基是从转换生成语法的角度对表层结构和深层结构进行区分的,语言学家在分析层次语法时认为分析语言结构必须采用层次分析的方法。由此可见,这几种理论对于语言学习有着更为深远的意义。     

谈语法范畴的把握

从范畴的概念出发,掌握语法范畴的科学方法是层次分析法。层次分析法具有系统清晰的优势。教授者运用明示性及暗示性教学可以加强学习者对语法范畴的理解。     

经贸合同中典型的逻辑、词汇和语法翻译陷阱

经贸合同翻译中的逻辑、词汇和语法陷阱随处可见,本文利用大量可靠的例证从逻辑、词汇和语法的角度详细分析和论述了产生这些翻译错误的原因,并提出了如何避免掉入这些典型翻译陷阱的办法和策略,这对做好经贸契约翻译工作是大有裨益的。     

试谈复句中分句间的关系

以应该建立语言学的逻辑学为出发点,辩证地探讨了中国教学语法系统的构造者提出的“逻辑事理关系”没有在语法界流行开来的缘由,认为复句中分句间存在相互并列而又互依存之“逻辑的”和“语义的”两种关系,“逻辑语义关系”才是划分汉语复句类型的原则依据。     

试论语法、修辞与逻辑之间的矛盾现象

长期以来,论及语法、修辞和逻辑三者之间矛盾现象的著述甚少,作者有感于此,特从5个方面对三者之间的矛盾现象予以专门探讨,试图弥补这方面的不足。     

普通逻辑与语法、修辞联系探析

普通逻辑是研究思维形式和思维规律的，它管的是语言内容对不对的问题；语法研究的是语言的结构规律，它管的是组词造句通不通的问题；而修辞研究的是提高语言表达效果的规律，它管的是语言材料选择得好不好的问题。普通逻辑与现代汉语中的语法、修辞之间存在着密切联系，语法、修辞都要以逻辑为基础。     

从高考题谈“无依着-ing分词结构”

乍一看，这道题似乎违背英语中的一个语法原则，即-ing分词结构都有其逻辑主语，当-ing分词结构相当于状语分句时，其逻辑主语通常是主句的主语，这个主语是表示出来的。例如：     

语法之“理”与逻辑之“理”

本从语言与思维的关系出发，讨论了语言中关于语法之“理”与逻辑之“理”的一些问题。     

功能语法理论与功能语法教学

功能语法是一种从应用的角度来看待语法的教学方法。功能语法教学的目的是使学生更清楚地认识语法的功能资源。功能语法理论认为,语言主要包括意义、词汇语法和音系这三个主要层次。意义是受情景支配的;语法和词汇是体现意义的;音系则是联系词汇语法和实体的中介层次,是体现词汇语法的。语法教学应把注重点放在实现交际目的上,通过语法来表达意义。     

从英语语法课程与精读课程的比较中看英语专业语法教学

中外语法教学发展的历史与内在逻辑确认了其所占据的重要地位。把英语语法课程和精读课程中的语法教学放在一起讨论,目的在于避免以往独立、线性语法教学的局限,主张一种结合互补式的教学模式,以使语法教学合成一个结构体系,并在此基础上实现不同层次、不同水平语法教学的整体性超越,从而使语法教学的面貌为之一新。     

层次分析法教学解疑

在汉语语法教学中，层次分析法是一个难点；要让学生准确地掌握这一方法，正确地进行句法分析，就必须讲清层次分的三个原则：切分出来的成分必须成立，必须能够组合，且必须和原结构语义相符。     

逻辑事理与语法分析

逻辑是思维的规律，语言是思维的形状，二是里表相依的，因而语法分析必须以逻辑事理为基础，才能给各语法单位以科学的定义；划清各类语法单位内部的界了；提出它们的俣乎客观实际的结构规则。不会逻辑理性的语法分析不能认为是科学的。     

时序逻辑的语法语义比较分析

随着信息技术的快速发展,信息和通信技术（ ICT）系统被广泛使用,因而其可靠性非常重要。本文采用时序逻辑的形式化方法对ICT系统进行可靠性检测讨论,主要从3种时序逻辑的语法、语义及它们的异同进行比较分析,为ICT的可靠性检测分析提供了理论借鉴。     

从"逻辑"到"语法"——论维特根斯坦后期语言观对模糊语义研究的启发

模糊性研究的核心问题是逻辑和语义学应该如何处理模糊语词和概念,但是模糊语义的逻辑解决方案却给自身造成了难以解答的逻辑困难。通过对维特根斯坦后期语言研究方法的转变的分析,即从逻辑分析转向语法考察,文章指出模糊语义研究应摆脱对逻辑化的诉求,回归到我们现有的日常语言中进行分析。