走向模型论的模态逻辑

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

常见数据模型及其转换

本文简要介绍层次数据模型、网状数据模型、关系数据模型、面向对象数据模型、基于逻辑的数据模型。引入E—R数据模型,实现层次、网状、关系、面向对象等模型之间的转换。     

论逻辑的客观层次与主观层次

本文认为物质概念、物质范畴反映的是物质原型；与此对应，意识概念、意识范畴反映的则是意识原型。物质原型和意识原型及规律论同属逻辑客观层次；物质概念（范畴）和意识概念（范畴）及其规律同属逻辑主观层次；逻辑主观层次是对逻辑客观层次的反映；在实践的基础上，逻辑客观层次与逻辑主观层次是相互转化着的；而并不因此失去它们当初的层次属性，表现出逻辑层次的空间结构和时间结构。     

基于Intranet的校园集成化信息系统模型

本文基于Intranet技术研究校园集成化信息系统的开发,提出并讨论了三层次的逻辑模型和系统的物理拓扑结构。最后,举例说明本模型在校园办公内部系统中的应用。     

一种网络游戏AI引擎软件体系结构模型

根据非形式化方法,构造了AI引擎的软件体系结构模型．AI引擎模型由物理视图、进程视图、开发视图和逻辑视图组成,重点描述了逻辑视图中的4个层次：核心层、服务层、业务层与工具层,最后对模型进行性能测试与评估．     

三维引擎软件体系结构模型

根据非形式化方法,构造了三维引擎的软件体系结构模型。3D引擎模型由物理视图、进程视图、开发视图和逻辑视图组成,重点描述了逻辑视图中的3个层次：引擎层、系统层与游戏层,最后对模型的应用作了阐述。     

中学生物课堂教学逻辑体系构建的策略

介绍了中学生物课堂教学逻辑体系构建的重要性,并以初中生物新课程的部分教学内容为例,分析了课堂教学逻辑体系的构成层次,并从设计教学逻辑主线、穿插逻辑副线、确定子逻辑和形成逻辑体系四个步骤阐述了中学生物课堂逻辑体系构建的策略.     

层次翻译法在汉译英视角下的建构

层次翻译法就是根据原作上下文的逻辑分析与逻辑综合,查明篇章结构内部大小不同的逻辑层次,按照这些逻辑层次的用语需要来探讨各种语言结构的合理翻译手段。文章通过分析汉语与英语句子的差异,探讨层次翻译法在汉译英中的应用,提出翻译过程应注意的问题。     

论中国特色社会主义理论体系的逻辑层次

中国特色社会主义理论体系逻辑严密,层次分明。第一逻辑层次是理论基石,指马克思列宁主义、毛泽东思想;第二逻辑层次是理论的主线,指建设有中国特色的社会主义;第三逻辑层次是核心内容,包括邓小平理论、"三个代表"重要思想以及科学发展观等重大战略思想。     

复句关系的逻辑内涵序级分析

通过对大量语料中多重复句的考察,发现各种复句关系所经常占据的层次往往并不相同,分布各有差异,这说明复句关系的地位本身也是有层次差异的,并且能形成较严密的位序级差.我们运用逻辑语义学的理论,初步分析了复句关系的逻辑内涵序级.     

边疆高校大学生学习满意度评价的逻辑模型构建

逻辑模型是高等教育研究的主要分析框架之一.基于逻辑模型在大学生学习满意度评价领域的应用与研究,通过多角度分析边疆高校大学生学习满意评价的逻辑模型构建的必要性.结合学习满意度评价逻辑模型的一般流程,基于边疆高校的机构、学生及环境因素特征构建边疆高校大学生学习满意度评价的逻辑模型.就其构建中需重点关注的功能定位、构建关键、影响分析等问题进行分析和阐释.     

如何在物理教学中渗透科学方法教育

一、物理教学中的科学方法阎金铎教授指出,物理教学中的科学方法可以分为三个层次。第一层次叫具体方法,如观察的方法、实验仪器的使用方法和某个实验的具体操作方法等。第二层次叫逻辑方法。在上述具体方法基础上,运用逻辑方法进行思考,通过分析、综合、抽象、概括等过程,最后上升到思维的三个形式,即概念、判断和推理。第三个层次是分析解决问题的科学方法,如理想化方法、等效法、模型法、假设法等。     

基于社会智能的语义web安全集成框架

基于个体趋利避害和事务逻辑完整的社会智能特征,提出了一种语义web的安全集成框架.该框架对语义web模型进行了扩展,控制语义web服务信任、逻辑、推理等方面的动态安全.该框架包括4个层次:信任入口层、社会智能层、事务层和TCP/IP安全协议层.信任层处理用户的信任特征,社会智能层控制语义web的逻辑问题,事务层负责事务推理,TCP/IP安全协议层则保证安全通信.这些安全层协同构建了具有不同安全等级的安全环.该安全集成框架为语义web提供一种安全集成方法,为不同技术的安全协同提供了通用的安全解决框架.     

“向心加速度”教学设计

本文是运用高中物理教学内容逻辑化处理策略进行的教学设计案例,教材为新课程标准人教版。逻辑化处理策略包括三个策略:逻辑层次显性化;逻辑层次认知化;逻辑层次细腻化。逻辑化处理策略适用的教学内容是广泛的,无论是概念、规律、实验还是问题解决的思维策略方法,都是可以运用的有效措施。     

组合性原则与逻辑语法

组合性原则是逻辑语法的根本原则。文章阐述逻辑语法和组合性原则提出的背景与过程,从宏观层次讨论组合性原则对逻辑语法的方法论意义,从微观层次说明逻辑语法如何通过范畴语法和高阶逻辑等理论构件实现组合性原则。     

逻辑函数化简的粒子模型研究

类比高能物理中粒子碰撞的概念,提出了逻辑函数的粒子模型,根据此模型构造了化简逻辑函数的粒子碰撞算法,并用VC++6.0编程实现.程序应用表明:算法能对多变量复杂逻辑函数进行准确快速的化简.     

对邢福义先生类义词的传统逻辑概念关系的分析

邢福义先生的类义词深深地渗透着逻辑思想,也有着相应的传统逻辑解释,即以传统逻辑概念关系为基础。通过分析我们发现,传统逻辑概念关系还应该增添两种,即“非同一层次的反对关系”或者说是“广义的反对关系”、“非同一层次的并列关系”或者说是“广义的并列关系”。     

学贵有疑:"问什么"与 "怎么问"的逻辑探析——基于问题逻辑的思想政治理论课教学研究

问题从"疑惑"脱胎而来,释疑解惑是高校思想政治理论课的重要价值取向.在教学活动中,提出问题是正确分析问题和解决问题的先导.问题逻辑是专门研究问题的一门应用思维科学,逻辑蕴涵"问什么"的问题结构理论预示了问题求解的逻辑指向,逻辑关联"怎么问"的问题分类理论揭示了问题解答的逻辑层次,它对于思想政治理论课"教什么"、"如何教"具有正确的指导和积极的推动作用.     

道德悖论的消解路向——基于逻辑解悖角度的思考

RZH(罗素-策墨罗-哈克)标准是衡量狭义逻辑悖论消解方案成败与否的一般标准.逻辑悖论消解中的路径和方法是消解道德悖论的重要资源.剖析"公认正确的背景知识"、更新道德理念、厘清道德认知层次、创新社会管理机制,是实现道德悖论消解的有效路径.     

再论比较逻辑学的学科框架

比较逻辑学应当是建基于各种逻辑学科之上的一门综合性理论学科,它以三大逻辑体系的平等对话为前提,突出比较意识、比较思维与比较方法的自觉运用,有自己特有的学科特性与学科视域、学科范畴.比较逻辑不在于"比较",而在于"汇通";"比较逻辑"不是或不仅仅是"逻辑比较";比较逻辑有其特殊的"比较视域".比较逻辑学研究可以分为三个不同的层次:描述的比较逻辑学、评价的比较逻辑学与汇通的比较逻辑学.