从语言逻辑的发展看对意义理论的诉求

意义,作为意义之形式,可以被定义为意义变化的可能性,表意不过是从一门语言到另一门不同的语言、从语言的一个层次到另一个层次的转换,意义便是这种置换代码的可能性。文章在探究了意义、意义理论和语言认知的基础上,论述了语言逻辑的发展以及语言逻辑的发展对意义理论的诉求。     

VFP中输入界面的设计

VFP是一个面向对象的,由事件驱动的可视化程序设计语言,与过去的程序设计语言相比,无论是功能还是设计方法,都发生了很大的变化。一些概念如“数据库”已不再是原来的含义,此外还出现了一些新概念,如“方法”、“事件”等。程序的功能也不再是通过一大段或几大段程序代码采实现,而是通过为不同的对象编制其各种事件、各种方法的驱动代码、设置其各种属性采实现。本文以一个人事档案管理系统为例,比较详细的介绍了VFP下WINDOWS风格输入界面的设计方法,并给出了相应代码。     

面向对象程序设计的核心概念在C++中的实现

解释了面向对象程序设计的3个核心概念--封装、继承、多态,并通过实例给出了其在C+ +语言中的实现.这样,可把握重点,以更好地学习C+ +语言.     

基于LINQ的分层架构的研究

LINQ，语言集成查询（Language Integrated Query）是一组用于c#和Visual Basic语言的扩展。它允许编写C#或者Visual Basic代码以查询数据库相同的方式操作内存数据。本文给出了一种基于LINQ的构建应用系统的分层架构方式,讨论了LINQ技术在实现分层架构项目中的应用。     

当代内涵逻辑的理论发展

内涵逻辑是经典逻辑的一种重要的扩展类型.内涵逻辑是关于必然、可能、时间、空间、行动、知识、信念、义务和其他内涵概念的逻辑研究.内涵逻辑研究的主要目的是分析内涵概念,围绕内涵概念给出相应的形式系统,形式系统的语义模型解释及关于系统的可靠性和完全性证明等问题.内涵逻辑在哲学问题的分析和自然语言语义学及人工智能等领域都有极为重要的应用.本文概述当代内涵逻辑发展的主要类型以及它们之间的内在关联.结论部分给出了关于内涵逻辑与经典逻辑关系的两种观点,有助于人们更深刻地理解内涵逻辑.     

论自然语言中集合概念的识别

本文针对逻辑界长期争论不休的问题——集合概念的识别问题,提出了自己的看法.认为集合概念的识别之所以成为难点,是因为其定义不统一,人们对集合体的理解不一致,识别方法不科学,从而给集合概念下出了新的定义,也给出了新的识别方法.     

“比喻”格的逻辑研究

比喻是日常语言交际中最常见的表现手法。为科学地认识比喻、描写、说明、运用比喻,本文从比喻能否充当定义、比喻是否表达判断、比喻是不是推理、现代逻辑对比喻的刻画等方面,分析了比喻句中的若干逻辑问题,指出了比喻在有的情况下可用于定义;比喻都是以判断作为它赖以形成和表现的逻辑基础;比喻都可以扩展成为完整的类比推理;引进模糊学、运用谓词逻辑可以对比喻进行更精确的刻画,等等。     

“比喻”格的逻辑研究

比喻是日常语言交际中最常见的表现手法。为科学地认识比喻、描写、说明、运用比喻,本文从比喻能否充当定义、比喻是否表达判断、比喻是不是推理、现代逻辑对比喻的刻画等方面,分析了比喻句中的若干逻辑问题,指出了比喻在有的情况下可用于定义;比喻都是以判断作为它赖以形成和表现的逻辑基础;比喻都可以扩展成为完整的类比推理;引进模糊学、运用谓词逻辑可以对比喻进行更精确的刻画,等等。     

面向对象概念格的属性约简方法

在给定形式背景下,给出了求解经典概念格、面向对象概念格和面向属性概念格的一种简便方法。给出了面向对象概念格的属性约简的判定定理,并提出了一种利用并可约元求解面向对象概念格的属性约简的方法。在此基础上,得到了其约简集以及属性集的3种分类,即必要属性集、相对必要属性集、不必要属性集.     

判例类比推理的逻辑

判例类比推理是法律推理的一种基本模式.判例类比推理最重要的环节是判断两个案件的同异关系.普通语言描述的案件都是独一无二的,任何两个案件都不会有完全相同的经验事实.案件的同异比较是相对于抽象的法律语言而言的.在一阶逻辑的形式语言上添加表达相关法律概念的语词,得到作为案件同异比较参照标准的背景语言(ζ),并将被比较的两个案件处理为语言(ζ)的两个模型,基于模型同构的定义给出了案件同异比较的严格标准,回答了判例类比推理的逻辑正当性问题.     

论"三"是思维的一个重要语言工具

"三"在空间维度、时间维度、实践维度上的思维表现都是十分活跃的.究其原因,是"三"这个词所特有的含义的反映,是思维内在逻辑的外在显现.     

基于随机图的面向对象软件可测试性计算模型的研究

结合随机图理论以及扩展PIE模型，提出了一种新的面向对象软件可测试性计算模型．分析了对象粒度的PIE扩展模型，并将传播感染免疫理论应用于表征软件系统的随机图，最终给出了面向对象软件可测试性的计算方法．     

我国概率动态认知逻辑研究简况

将认知逻辑、动态逻辑、时间逻辑与概率逻辑相组合来对概率进行研究,是目前国际上比较前沿的研究领域。利用组合模态逻辑的方法构造概率动态认知逻辑,可以用来处理信息、高阶信息和信息变化,同时也可用来分析一些哲学问题,如认知悖论等。     

现有时空数据模型的研究

阐述了时空数据建模的主要定义，分析了时空数据库领域的建模需求，包括时态语义、空间语义、时空语义和查询能力．通过对各模型在时空领域中实际应用的研究，重点比较了现有时空数据模型在这4个需求方面的能力表现，并对模型做出评价．结果表明，面向对象数据模型和移动对象数据模型在时空对象的表达上体现了较强的能力．     

正规多模态逻辑的混合系统

多模态逻辑系统是在经典模态逻辑基础上增加多个模态词而得到的系统,Walter Carnielli 和Claudio Pizzi在专著Modalities and Multimodalities中提出了更为一般化的多模态逻辑系统,证明了这些系统的完全性.混合逻辑系统是在模态逻辑基础上增加名词性词(nominal)作为一类特殊的命题,并增加满足算子等联结词而得到的系统,它有着更丰富的表达力.人们对经典模态逻辑和时态逻辑的混合系统已经作了研究,在此基础上,把混合逻辑的方法推广运用到更一般的正规多模态逻辑中,同时证明它的完全性.     

“发生”意义上的因果性原理——对康德《纯粹理性批判》第二类比论证方法的演绎

康德批判哲学的整个构架于《纯粹理性批判》的先验要素论部分得以初步完成。其中,先验范畴及其在具体应用时所对应的原理,都在先验逻辑与经验性的关系中给出,而时间图型又是先验性与经验性得以沟通的重要桥梁。于是以因果性为例,康德分别运用先天还原与经验投射的论证手法对之进行了充分地演绎。通过对其手法的分析可以认定,康德批判哲学的全部展开就是关于时间二重性的探索,即一般意义上的时间先天批判。     

逻辑图:从古典到形式化的发展

古典的逻辑图主要包括欧拉图和文恩图(一般也把经过皮尔士改造过的文恩图“皮尔士-文恩图”包括在内)。由于可靠(且完全)的逻辑推演规则的提出,在逻辑图从古典形式走向形式化的发展历程中,具有转折性的是皮尔士-文恩图以及皮尔士的存在图系统,现代形式的图式逻辑就是在这两者的基础上建立起来的。     

常逻辑公式与可定义性

常逻辑公式是不含命题变元的逻辑公式,运用它们可以定义结构类。但反过来某些结构类却不能以常逻辑公式集定义。模态逻辑中一阶可定义的框架类可被常模态公式集定义的充分必要条件,是该框架类对满射互模拟象、不相交并封闭,并且它的补类对超滤扩张封闭。有穷传递框架类相对可由常模态公式集定义的充分必要条件,是它对满射互模拟象和不相交并封闭。这两条定理中后一条可推广至直觉主义逻辑。     

哲思逻辑——一个形而上学内容的公理体系

在经典命题逻辑的系统内,增加一个一元算子*,通过定义引入两个一元算子2和△,可以建立一个经典命题逻辑的扩充系统——哲思逻辑系统。在该扩充系统内,有遵守矛盾律和排中律的经典否定算子,有遵守矛盾律而不遵守排中律的构造性否定算子,有不遵守矛盾律而遵守排中律的弗协调否定算子,还有既不遵守矛盾律又不遵守排中律的辩证否定算子。通过引入关于*的一个形式语义,可以证明哲思逻辑系统具有可靠性和完全性。在哲思逻辑中,A和A之间是矛盾关系,A和2A之间是反对关系,A和△A之间是下反对关系,A和*A之间是差等关系。所以,哲思逻辑又可以称为对当关系逻辑。     

基于逻辑起点认识的和谐发展实现路径研究

理论研究对理性和人性的设定与经济现实之间的鸿沟,形成了人们认识和谐发展问题的巨大障碍,所以实现某些转变势在必行。从目前经济学有关和谐理念的四大核心研究领域,即利他主义、协调发展、社会责任、和谐管理来看,和谐发展有着独特的逻辑起点,实现和谐发展应立足于人性的本质规律,形成有效的激励机制。对考虑参与者主观效用的优化模型分析表明,具备回馈效应的扩展理性是和谐发展的逻辑内核,在此基础上的群体理性及必要制度约束下的利他策略为实现和谐发展提供了路径保障。