知识蕴涵模态逻辑系统

使用经典逻辑对海量知识系统进行分析处理和信息挖掘,需要解决的关键问题之一就是司各脱法则问题.基于对蕴涵的一般认识,可以对司各脱法则问题提出一种不同于已有逻辑系统的解决策略.在根据这种策略而建立的知识蕴涵命题逻辑系统中:1.蕴涵关系符合直觉;2.经典逻辑中基本的逻辑规律在该系统中得以保留;3.不改变经典否定、合取的性质;4.司各脱法则不成立.在知识蕴涵命题逻辑的基础上,构建了一个知识蕴涵模态命题逻辑系统,它可以描述包含模态信息的不协调知识系统的推理机制.根据给出的形式语义,证明了该系统的可靠性和完全性,并且证明了严格蕴涵悖论在该系统中不会出现.     

走向模型论的模态逻辑

增加特定的基数量词,扩张一阶语言,就可以导致实质性地增强语言的表达能力,这样许多超出一阶逻辑范围的数学概念就能得到处理.由于在模型的层次上基本模态逻辑可以看作一阶逻辑的互模拟不变片断,显然它不能处理这些数学概念.因此,增加说明后继状态类上基数概念的模态词,原则上我们就能以模态的方式处理所有基数.我们把讨论各种模型论逻辑的方式转移到模态方面.     

模态解释的模态主义进路考察

模态主义主张模态是初基的,不可被还原。它的产生和发展与模态现实主义有一定的关联。近年来,模态主义得到进一步发展,不仅向逻辑常项理论和逻辑多元论延伸,并且提出了基于模态主义的模态知识论。模态主义虽然具有一定的技术与哲学优势,但是它难以彻底地摆脱一些理论困境。     

一元算符逻辑理论三探——狭义函数相对论视野下的现代模态逻辑

狭义函数相对论基本原理:对于任意二真值的逻辑变量p和由任意一元算符H与p所形成的二真值变量Hp,无论Hp是否为p的真值函数,它总会等值于p和独立于p的另一二真值变量q所形成的一个真值函数。由于有且仅有16个二真值二元函数式和有且仅有16个相应的基本二真值二元函数,所以有且仅有16个一元算符和有且仅有16个相应的基本二真值一元非函数。其他的二真值一元非函数由且仅由这16个一元算符叠置所形成。那么可进一步认为现代模态逻辑公理其实是按一阶逻辑对经典二真值函数做分类研究。模态命题逻辑中任一可能世界集W仅对应一组二元真值函数,相应的可能世界间的关系R就是这组函数共有的一种集合性质。任一公理模式在一框架内有效,就是将属于W的每个真值函数(式)按K-2分别依次代入该公理模式中的每一个"□",使得形成一组经典定理。     

从现代语义学理论的角度探索大学英语词汇教学策略

英语教学法是研究、教授和学习英语规律的科学，而词汇在语言运用中是负载信息的主体。本文从现代语义学理论中即语义分析特征、基本语义场理论和词项搭配理论出发，探索了现代词汇教学的方法。作为教师应针对不同培养目标，采用不同的词汇教学法，融会贯通词汇学习观念，已达到最佳的教学效果。     

基于互模拟的模态逻辑与非良基集合论之间的关系

首先介绍模态逻辑的两种语义:克里普克模型和非良基集合模型,表明这两种语义的相互可推演性,证明非良基模型,描述互模拟等价的克里普克模型类;接着,从模型的视角讨论集合上的互模拟与模态等价的关系;最后,运用互模拟和集合翻译等概念讨论非良基集合与模态逻辑的关系,证明:"一个集合论公式在集合上的互模拟下是不变的当且仅当它等价于一个模态公式的标准集合论翻译"。     

组合模态逻辑

通常情况下,不止一个联结词的任意逻辑系统都可以看作是由比它具有更少的联结词的逻辑系统组合而成。特别地,任意的多模态逻辑都可以看作是由单模态逻辑组合而成。所以,在该层含义下,任意的多模态逻辑都可以看作是由模态逻辑组合的结果。组合模态逻辑的方法,主要包括融合的方法和更新积的方法。运用组合模态逻辑的方法,不能随意地构造越来越庞大的逻辑系统,而应该采用尽量简单的方法,构造出符合需要的逻辑系统。     

组合模态逻辑

通常情况下,不止一个联结词的任意逻辑系统都可以看作是由比它具有更少的联结词的逻辑系统组合而成。特别地,任意的多模态逻辑都可以看作是由单模态逻辑组合而成。所以,在该层含义下,任意的多模态逻辑都可以看作是由模态逻辑组合的结果。组合模态逻辑的方法,主要包括融合的方法和更新积的方法。运用组合模态逻辑的方法,不能随意地构造越来越庞大的逻辑系统,而应该采用尽量简单的方法,构造出符合需要的逻辑系统。     

缺省模态逻辑

本文在Reiter 1980年提出的缺省逻辑的基础上,将缺省条件视为获取知识的背景知识与所得到的知识同等地加以考虑,提出了一种缺省模态逻辑。它是一种非单调逻辑,并且具有在Reiter的系统中所不能保证的两个重要性质:扩充的存在性和非单调性,然后通过知识从其背景中分离出来的方法,给出了一个缺省理论扩充的概念,它是Reiter的扩充概念的一种推广。     

从语义学的角度看现代产品设计

近年来,"语义学"波及艺术设计的多个领域并发挥着越来越重要的作用,它是在符号学理论的基础上发展起来的,与文字语言学一样也有自己的符号系统,产品设计的过程实际上就是对一系列符号进行编码与解码的过程,本文通过对产品形态结构,功能,文化等因素的分析,用以揭示语义学在现代产品设计中的体现与影响.     

广义模态逻辑研究中的若干问题

模态理论不仅涉及逻辑的可能性，也涉及事实的可能性，两存在着重要的差异；在对“罗斯悖论”的剖析中引入可能算子，通过对道义悖论作时态的分析，以辨明义务的相对性，是消除道义悖论的一条可行的途径。     

汉语情态指示语及其使用

情态指示语主要指称交际中言者所言的已然或未然的情形或状态。情态指示语有固定的语言形式,有前指和后指两种指称方向,可以表达言者的心理距离,可以从指称方向和表达角度为其分类。情态指示语的使用与一般指示语有差异,并在手势型用法和象征型用法上表现出来,同时不同小类的情态指示语分别具有总结、提请注意和强调的表达功能。     

论模态逻辑中的“必然性”

模态逻辑涉及的“必然性”具有多样性,作为逻辑系统定理的逻辑规律体现了逻辑的必然性,而模态谓词逻辑中反映“从物模态”的公式中的必然算子则主要体现了事实的必然性。同时,模态系统中的模态公理,从另一个侧面对该系统中的“必然性”概念的逻辑特性作了描述。“必然性”概念的界定与“可能世界”密切相关。在分析现实世界中事物的本质属性时,应限制可能世界概念的范围,摒弃现实世界的非真实情形。     

论现代汉语中多个情态动词连用的句法结构

情态动词在现代汉语句子中经常连用,其连用顺序是：认知情态〉道义情态〉动力情态。多个情态动词连用的句法结构的探讨应首先把情态动词与体态词联系起来,找到认知情态动词与根情态动词（道义情态和动力情态）的差异;其次根据根情态动词源于ASPP并与体态词成对比分布,同时选择VP作为其补语;认知情态动词源于COMP并不能发生在不确定语境中;同时选择口作为其补语的特点,分析得出认知类情态动词在句中所处的位置要高于根情态动词（道义情态和动力情态）,从而确定了情态动词连用的顺序。     

现代模态逻辑的形式分析初步——魔态羽翼的跨世界逃逸与“刑师”分析下的在劫难逃

现代模态逻辑其实是按一阶逻辑公理和规则对经典真值函数做分类研究。模态命题逻辑中任一个可能世界集W仅表示与某一公理模式相应的一组二真值函数,相应的可能世界间的关系R就是这组真值函数共有的一种集合性质。任一公理模式在一框架内有效,就是将属于W的每个真值函数式按K-2分别依次代入该公理模式中的每一个"□",使得形成一组经典定理。     

情态语气范畴中语气词的功能分析

本讨论情态语气范畴中语气词的功能问题。首先对讨论的对象语气词作出界定。认为语气词功能的含义应该是宽泛的，不仅表现在表义上，还体现在其他方面；语气词的功能不仅可以由句末语气词体现，也可以由句中语气词体现。语气词在情态语气范畴中的作用可以归纳为表义功能、完句功能和篇章功能。     

情态动词现在时态的语义及用法

英语情态动词现在时态的语义和用法十分复杂。按相别和级第对其语义和用法进行分析和研究有利于正确理解和使用。     

三十年来近代汉语语气词研究综述

近代汉语语气词是语气词发展史上的一个重要时期,它继承发展了古代的文言语气词,又影响着现代汉语语气词体系的形成。近三十年来,学者们在近代汉语语气词研究上取得了很好的成绩。文章在综合考察前人研究成果的基础上,从系统、个体、专书三个角度对这些成果予以概述,并指出其中的不足及今后努力的方向。