从语言到逻辑——范畴类型逻辑序列

范畴类型逻辑序列是近30年来语言和逻辑交叉研究的重要学派,是对自然语言的计算机处理影响很大的形式语义理论。该理论把自然语言的生成毗连看作是范畴的运算和推演,据此构造自然语言的语句系统,并确立直接或间接的语义解释。另一方面构造范畴推演的逻辑系统,并配备可能世界的模态语义解释。范畴类型逻辑的研究成果可以直接应用于自然语言的计算机信息处理,也可以应用于汉语的形式语义理论研究。     

论形式语义学

阐述了形式语义学关于"语法"、"句法和语义",以及"语词和语句"等概念.传统语言学所谓语法讲究对语言符号串线形排列的成分分析,现代生成语言学的Chomsky学派认为语法就是有关语言层次结构的由小到大的生成规则,类型逻辑语法等形式语义学理论所谓的语法是指基于逻辑推演的关于自然语言的运行规律;形式语义学强调句法和语义的对应,这是形式语义学的灵魂;形式语义学在语句领域取得了较大成功,而语词领域是语言学侧重的研究方向.从形式语义学比较语言学的不足可以看到其未来发展的思路.     

论形式语义学

阐述了形式语义学关于“语法”、“句法和语义”,以及“语词和语句”等概念。传统语言学所谓语法讲究对语言符号串线形排列的成分分析,现代生成语言学的Chomsky学派认为语法就是有关语言层次结构的由小到大的生成规则,类型逻辑语法等形式语义学理论所谓的语法是指基于逻辑推演的关于自然语言的运行规律;形式语义学强调句法和语义的对应,这是形式语义学的灵魂;形式语义学在语句领域取得了较大成功,而语词领域是语言学侧重的研究方向。从形式语义学比较语言学的不足可以看到其未来发展的思路。     

管窥充分条件假言命题

数理逻辑干扰了传统逻辑,传统逻辑中的充分条件假言命题受此影响也发生了变化,特别是真值表的引入,改变了充分条件假言命题的真假的判断标准,还影响到它的定义。而数理逻辑中的充分条件假言命题实际上是实质蕴涵命题,而只有到了制约逻辑,充分条件假言命题才得以刻画清楚。     

自然语言中的直言命题及其否定命题

各直言命题及其否定命题在自然语言和词项逻辑中往往有不同的意义,弄清楚自然语言中各直言命题及其否定命题的意义以及各命题彼此之间的关系,有助于我们准确掌握词项逻辑的内容。     

真值函项理论与怪论

真值函项理论对复合命题的解释和刻画与复合命题的直观含义存在着不一致,这种不一致导致的"怪论"既存在于实质蕴涵,也存在于合取和析取.合取和析取仅存在"语法怪论",这种"怪论"是由形式语言和自然语言在语法上的不一致造成的,其表现是将不合法的、无意义的语句当作合法的、有意义的.实质蕴涵则不仅存在"语法怪论",而且存在"语义怪论";后者是由实质蕴涵和"如果……那么……"在语义上的不一致造成的,其表现是将假的充分条件假言命题判定为真的,以及把直观上能确定真假的充分条件假言命题当成无法确定真假的."语义怪论"的存在表明,用真值函项解释来确定假言命题的真假是不可行的.     

逻辑元语言问题

“元语言”原是现代逻辑哲学中的概念,塔尔斯基和卡尔纳普分别从语义学(semantics)和语形(syntax)的角度将它与对象语言区分开来。波普尔提出语言中的自我涉及(autonomous)问题,蒯因提出“语义上行”说,戴维森把关于真理的形式理论应用于自然语言的意义理论,这些均给语言学研究带来方法论上的启迪：     

模糊语言项在论域上的标签表示

自然语言知识挖掘与分析处理是大数据与人工智能领域的研究热点,其中理解模糊语言概念是挖掘与分析处理自然语言知识的关键核心。语言变量中的模糊语言值是模糊语言概念的理论基础,模糊语言值由模糊语言值的名称（也称为模糊语言项）和论域上的模糊集构成,模糊语言项用来描述论域上的模糊集,论域上的模糊集用来表示模糊语言项的语义或含义。模糊数学中确定“模糊语言项与论域上模糊集之间描述与表示的关系”一直依赖于人的主观意愿,导致模糊语言值不是一个明晰的概念,即模糊语言项与论域上模糊集之间的对应关系无法相互明确确定。文章分析了模糊语言项的自然语言特性以及“模糊语言项描述论域上模糊集”的本质与关键,提出了模糊语言项集在论域上的标签映射及模糊语言项在论域上的标签表示,构建了模糊语言项与论域上对象之间的关联关系;基于模糊语言项在论域上的标签表示,提出了模糊语言项描述论域上模糊集的信任度,据此给出了模糊语言项语义的确定方法,构建模糊语言项与论域上模糊集之间的相互对应关系,使模糊语言值成为一个明晰的概念,模糊语言项与其语义共同形成了一种新的模糊语言值表示模型。文章将新的模糊语言值表示模型与已有基于论域上模糊集的模糊语言值计算模型和符号化的模糊语言值计算模型进行了比较分析,结果表明,新的模糊语言值表示模型改进或克服了已有模糊语言值计算模型的不足,是解决大数据环境下混合语言决策问题的可选有效工具,明晰的模糊语言值可广泛应用于自然语言知识挖掘与分析处理中。     

论逻辑语言的现代化转向

传统的逻辑语言具有缺乏一致性、准确性和全面性的特点,因而在应用中受到较大的局限。而现代化的逻辑语言不仅对语言内容与语言形式作出区分,还对对象语言与元语言,以及语法学、语义学、语用学等语言层次上作出区分。因此,对逻辑语言的现代化转向的重新追溯和审视,将使人们更易于理解现代逻辑语言与传统逻辑语言的差异,并且对于逻辑学的发展和应用具有深远的理论意义和实践意义。     

所谓“逻辑量词”

数理逻辑一阶谓词演算中,作为一种逻辑词采用的量词,不是传统逻辑中的量词,更不是语言中的量词。F中的全称量词任意x的语义为“对于论域中的每一个个体”,存在量词 x的语义为“论域中至少有一个个体”。人类在求取关于不可逐一列举（有限的或无限的）个体域的作为一般性原理的真知的过程中,事实上从来也不曾在逻辑上使用过这样的量词。这样的量词对人类提出要去逐一确定不可逐一列举的个体域的每一个个体具有什么性质。这样的指令,人类是无法执行的。这样的对外延的无限要求是超乎人类的有限能力和生命的。难怪,A．Church证明了关于,的不可判定定理。     

形式化方法(FM)

传统的开发方法一般基于自然语言的描述,不能表达明确的语义;本文介绍的形式化方法（ＦＭ）是基于形式逻辑和离散数学的,特别适用于安全重要性系统的说明、设计和构造。     

哈尔滨近代建筑装饰的形式运算系统

为了深入探究特定历史时期建筑装饰的艺术表现,以及建筑装饰形式中所蕴涵的数理逻辑,以哈尔滨现存近代建筑的装饰形式为主要对象进行研究.通过对近代建筑的调研结果,用逻辑和数学的概念来分析和说明形式思维的发展过程,运用数学逻辑以及符号语言作为工具,对调研实例作了结构性的分析,提出相应的结构模式.研究发现,建筑装饰的形式系统中群、格和群集运演协调组成了装饰形式的结构整体,进而揭示了认知结构在审美领域重要的同化和调节作用.     

模糊粗糙逻辑语义及其推理

主要从粗糙集、模糊集、逻辑学等三个方面来定义模糊粗糙逻辑的概念,给出了带逻辑符号＂┑,∧,∨,→,＂的模糊粗糙逻辑的真值区间的运算。并分别从＂→,┑,∧,∨＂四个逻辑运算符研究了模糊粗糙逻辑的语义推理。     

传统图形在现代建筑装饰中的传承与重构

传统图形是地域文化的重要符号语言,承载着丰富的文化内涵和独特的艺术魅力,是现代建筑装饰设计的重要元素和题材.在全球化背景下,建筑装饰设计如何发展中国文化的传承与创新,通过对我国传统图形的认识、形式重构、色彩与意象表现等实证研究,探索既能体现本土特色和民族性格,又能反映传统文化精神和具有时代感的设计手法,实现传统图形与现代建筑装饰设计的共生共赢.     

元数学对计算机的一些启示

元数学是一门数理逻辑方面的学科 ,其主要研究对象是数学本身的矛盾性问题 .但是 ,由于元数学的研究空间是在一个形式化的体系中 ,因此 ,它所采用的各种研究方法以及考虑问题的思维模式必定会给我们的计算机科学的发展带来一些启示 ,甚至在某些与形式逻辑相关的领域如计算机语言的设计、人工智能等方面 ,还会起到一定的指导作用     

分段式话语表现理论

分段式话语表现理论（Segmented Discourse Representation Theory,简称SDRT）把动态语义学和人工智能关于话语解释的研究结合起来,并把修辞结构引入动态语义学。SDRT包含了两种逻辑：信息内容的逻辑和粘着逻辑。SDRT使用语义未具体化陈述的语言Lulf来描述话语的逻辑形式,表达关于语义未具体化陈述的信息,Lulf的推论关系抓住了未具体化逻辑形式和所有可能的解释之间的关系。通过粘着逻辑和最大化话语融贯性原则,话语更新定义了未具体化逻辑形式和语用上更可取的解释之间的关系。     

论逻辑思维的功能与局限性

针对流行的一些错误观点，本文重新界定了逻辑与逻辑思维，认为逻辑思维是人类自然的、也是运用最广泛的思维模式；但逻辑思维并不是人类唯一正确的思维模式，它本身存在不可避免的局限性，应与其它思维方式有机结合。     

试论法律逻辑的学科性质

目前，学界对法律逻辑的学科性质众说纷纭，莫衷一是。归纳起来，主要有形式逻辑分支论、应用逻辑分支论和理论法学分支论3种。在我国，虽然理论法学分支论最近才有个别学者以模糊的语气谈及，并且一经提出便遭到许多学者的质疑，但经过分析，就会发现，理论法学分支应该是法律逻辑的最佳归宿。