语文课程的学科定位:成因、确立与价值——兼议工具性质观对课程建设的重要意义

语文课程由于缺乏明确对应的学科,因而就导致这门课程长期存在着本体不明、定位不准、性质不清、目标不著等突出的问题,进而造成各种观点主张聚讼纷纭、对峙激烈。在课程认识中,确立语文课程是一门以学习认识、掌握运用语文表达形式为根本指向的“形式的学科”定位观,对防止和纠正长时期存在的“泛语文”“非语文”现象具有特殊而重要的意义。同时,确立语文课程属于“形式的学科”定位观,也有利于明确这门课程固有的工具属性,进而推动其健康发展。

形式的哲学精神探本

文章认为形式与理性之间具有本源关联,这一关联肇始于柏拉图的理性的形式化。西方心灵崇尚的理想之美有两种形态:一种是源于理性的自我聚集本性的和谐美,另一种是构建超验的、纯粹形式的、真善美统一的世界。形式的撼天动地的伟大能量体现在两个方面:其一是为目的论的解释和美的概念产生联系提供深刻的存在论、认识论和价值论的根据,另一是作为理性的基本同一性的外化的赋型、抽象和表现这三种活动。理性-形式不会随着现代社会和文化的反传统浪潮而终结,它与非理性的矛盾本质上是化解自然与文化之冲突的表征。

论公司担保审查机制的完善

根据2023年最新修订的《公司法》第15条规定,公司担保主要是由公司董事会或股东会对担保进行实质性审查,即公司的内部审查,而债权人也应当承担公司担保的外部审查义务,对担保合同进行形式审查、合理审查。从而公司内外共同协调,分配担保中的权利义务,并且按照过错承担相应责任,促进公司担保双向审查机制的有效设立,完善公司担保的审查机制。

基于逻辑视角的不完备形式背景上知识相容表示与推理

形式背景中的信息不完备引起了知识的不相容性,即蕴涵在不完备形式背景的任一完备化形式背景不能同时成立。逻辑描述是从语义上进行知识表示、语构上制定语义协调推理规则的方法论。首先,从逻辑角度研究不完备数据上的知识相容语义表示,通过定义不完备实例刻画知识的合理性和相容性,并构造最紧致的相容集(相容规范基)。其次,语构上制定具有语义合理性、相容性和完备性的推理规则,从而避免知识推理过程中产生不相容知识和无效知识。最后,将逻辑研究结果运用在不完备形式背景上,引入两类蕴涵形式:↓↓-型蕴涵和↑↑-型蕴涵。这两类蕴涵兼具相容性且相对于可接受性蕴涵尺度更加严格,构造这两类蕴涵的相容规范基并验证其完备性和无冗余性。

Application of formal safety assessment in planning VTS

To ensure that limited resources are allocated more effectively to reduce marine risks, formal safety assessment (FSA), a proactive method, is introduced in planning a vessel traffic system (VTS). Based on the data of Wuhan port, some new solutions based on risk-indices are put forward. The weighted number of traffic accidents is predicted after the future weighted vessel traffic volume is estimated by analyzing the trend of trade development. To analyze risk acceptability, the as-low-as-reasonably-practicable (ALARP) matrix is transformed into a new model containing two parameters: the future weighted vessel traffic volume and the future weighted number of traffic accidents. The new risk control options (RCOs)can be identified by a revised Domino model with several feedback loops from all system levels to close a limited window of accident opportunity. The results indicate that the four most beneficial RCOs are a wider sub-area 1 channel, a VTS bridges area, a dredging sub-area 2 main route, and a VTS QSX anchorage to the 3rd bridge. The FSA is a method that is effective in evaluating the rationality, necessity and cost-effectiveness of VTS projects.

属性逻辑的近似推理模式研究

近似推理是进行知识推理的有效工具。将计量逻辑中全蕴含三I推理、基于真度的近似推理模式应用到基于形式背景的属性逻辑中,给出基于属性逻辑的全蕴含三I推理的广义MP规则和广义MT规则的解,并提出若干基于广义MP规则和广义MT规则的近似推理方法。引入属性逻辑公式的真度、属性逻辑公式间的伪距离,提出基于属性逻辑伪距离的近似推理方法,讨论基于广义MP规则、广义MT规则的近似推理和基于属性逻辑伪距离的近似推理之间的联系。

面向军事领域的动态本体构建技术研究

随着军事数据的爆炸式增长,传统的基于专家知识建立的静态本体存在对专家主观知识依赖性强、可移植性差、学习能力差等问题,已无法动态地适应数据的变化以及大规模知识图谱的自动更新。针对军事领域应用场景,提出一种面向军事领域的动态本体构建技术,通过初始本体设计、数据映射、形式背景合并、本体更新4个环节完成本体概念的更新。该技术可以随着信息的变化自动更新本体模型,方便多源异构数据的更新集成和知识图谱的构建。最后,以俄乌冲突知识图谱为案例进行分析验证。该动态本体构建技术能够有效发现新的事件类型及相关要素,实现多源异构数据的更新、融合及基于知识图谱的军事活动规律推理。

基于多色集合的装配序列形式化推理方法

为减小装配序列的求解空间,提出了一种基于多色集合理论的装配序列的形式化推理方法,并建立了零件基本配合约束与自由度之间关系的多色集合矩阵。采用多色集合中的体与元素之间的模块布尔矩阵,描述产品的零件组与装配约束的对应关系,建立装配约束关系的方程组和联接件的装配数学模型,并给出求取约束关系方程组的算法。以装配约束关系方程组作为筛选可行装配序列的充要条件,提出可行装配序列的推理算法。最后以实例对该算法进行了说明。

基于多色集合理论的概念设计建模和推理技术研究

对产品信息建模和推理技术的形式化方法进行了研究。将机械产品中存在的约束关系分为3类4种,在功能方法树中以边的形式进行了表示,建立了包含约束信息的功能方法树模型,在此基础上,利用多色集合理论的元素、统一颜色、个人颜色等概念以及多色图,建立了产品概念设计形式化结构模型;从功能分解和约束条件两方面进行了数学形式的描述、推理,给出了实现产品概念设计形式化推理的计算机算法流程;以隔振系统的概念设计为例,应用和验证了以上理论和方法。研究表明,基于多色集合理论建立的机械产品概念设计模型易于形式化描述和推理,方便计算机编程。

BAN逻辑的可靠性分析与改进

BAN逻辑的推理过程中可能引入错误的推理条件,导致不安全的协议被验证为安全的。为解决该问题,对消息的形式化描述方式进行改进,在消息含义推理规则中加上一个隐含但不能被忽略的条件,以增强验证的可靠性,通过对发送和推理的消息单元进行限定,使消息新鲜性判定规则适用于更多类型的协议安全性验证。

论形式推理与实质推理在法治化过程中的定位──兼评张保生《法律推理的理论与方法》

该文分析了法理学上的后现代主义思潮和中国法治的现状，在张保生所确定的法律推理在中国法治化过程中的重要地位基础上，进一步提出了当今中国法律推理应该以形式推理为基本推理模式、以实质推理为辅助的观点。

在理性与现实之间寻求司法的正义——兼论“以事实为根据,以法律为准绳”原则的发展和变化

在我国当下,形式理性的法律面临现实困境,即:司法裁决不能被公众认可,法律的权威和公信力也在下降。法官"以证据为根据"的裁判理念虽然符合法律实践理性的要求,然而也易引致对正义价值追求的放弃和忽视;公众则视"以客观事实为根据"为司法不言自明的正义要求。如何破解这一困局?文章对"以事实为根据,以法律为准绳"原则在我国的观念认知进行了梳理,认为该原则在公众与司法者之间存在认知差异,从而导致裁决不能被认可。回应型法的有关理论值得借鉴,它认为应以法律的目的缓和引导制度,使其不拘泥于形式主义和仪式性,以探究法律中蕴涵的公正价值。在司法裁判中,应以公正为价值,兼顾对外部社会现实的关照,建立起以"证据事实"为基础、以"客观事实"为依归的"法律真实"标准。

基于模糊命题模态逻辑的形式推理系统(英文)

探讨基于可信度的模糊命题模态逻辑的形式推理,给出相关的模糊Kripke语义描述.其研究目的旨在解决基于模态命题逻辑的模糊推理的能行问题.在研究过程与方法上,以完全形式化的方法将模糊模态逻辑语法和语义统一在一个形式系统中,以模糊约束作为基本表达式,给出推理规则,建立了相应的模糊推理形式系统,并以形式系统中模糊约束集的可满足性来表示模糊推理的有效性,使模糊推理过程变得容易,为最终在计算机上实现基于模态逻辑的模糊推理打下了一定的基础.主要结论是证明了基于可满足性的模糊推理形式系统的可靠性与完备性.

从绝对理性到相对理性——民法法典化的思路

如何制定我国民法典 ?学者们意见分歧较大 ,有学者将其归纳为三种思路即英美式、法国式和德国式。三种思路中的法国式、德国式的主张均强调民法典内部结构的逻辑性和体系性 ,注重法典的形式理性。然而 ,纵观 2 0世纪以来 ,各国民法典为迎合社会、经济发展的需求而发生的种种变化表明 ,传统的民法典试图将所有的民事法律规范纳入其中的设计只不过是一个梦想而已 ,其所倡导的形式理性正在从绝对理性向相对理性转变 ,社会需要的是一部更多体现实质理性的民法典。基于此 ,笔者认为 ,我国在制定民法典的思路中应选择制定颁布单行法 ,即形成一部体系开放的实质上的民法典 ,而非传统民法所倡导的形成一部逻辑性极强 ,容纳内容有限的形式上的民法典 ,以符合当代的社会。

公平交换协议形式逻辑

在深入分析公平交换协议现有研究和各项安全属性的基础上,由于信任逻辑方法难以分析乐观公平交换协议的公平性和时限性,提出一种公平交换协议形式化模型和推理逻辑.新模型将信道错误转化为攻击行为,将参与者分为诚实与不诚实两类,并将这些威胁归结为两类入侵者.基于模型检查思想,新逻辑将协议定义为Kripke结构的演化系统,将参与者看作异步环境中的通信进程,定义了时间算子控制实体行为的转换.同时,新逻辑继承了信任逻辑简单、实用的优点.以一个典型协议为例,采用逻辑结合模型检查的方法,演示了分析协议的过程.发现并改进了协议实例的安全缺陷.案例分析表明,新逻辑能够分析公平交换协议的公平性和时限性.

方向关系与距离关系的定性描述与推理

由于空间问题固有的复杂性和不确定性 ,空间关系的描述和推理普遍采用定性的方法 .方向关系和距离关系是两类重要的空间关系 ,用以确定空间目标的方位 .当前方向和距离关系分别使用各自独立的描述推理模型 ,限制了推理的准确度 .而人们对空间目标方位的确定通常是同时考虑目标的方向和距离 .在形式化定性描述方向关系和距离关系推理的基础上 ,将方向关系和距离关系的推理结合起来 ,形成方向关系和距离关系的集成组合运算 ,方向和距离关系相互限制 ,能够进一步准确推断目标的方位 .最后 ,以实例说明方向关系和距离关系的集成组合运算将提高空间目标方位推断的准确度 .

基于一阶模态逻辑的模糊推理(英文)

研究基于可信度的模糊一阶模态逻辑,给出了基于常域的模糊一阶模态逻辑语义以及推理形式系统描述.为有效进行模糊断言间的推理,考虑了模糊约束的概念.模糊约束是一个表达式,其中既有语法成分又包含意义信息.模糊推理形式系统中的基本对象是模糊约束,针对模糊约束引进可满足性概念,研究模糊约束可满足性相关性质.利用模糊约束的概念,模糊断言间的推理可以直接在语义环境下加以考虑,因此,以模糊约束为基本元素的模糊推理形式系统随之建立.主要分析新产生断言有效性与模糊约束集可满足性之间的关系,并在此基础上给出了模糊推理形式系统的推理规则.进一步的工作可探讨模糊推理形式系统的可靠性与完全性,建立推理过程的能行机制.研究结果可在人工智能和计算机科学等领域得以应用.

密码协议的一种基于组合推理的模型验证

将密码协议与协议中用到的密码算法视为一个系统,基于组合推理技术建立了密码协议系统的形式化模型。采用基于假设/保证的组合推理技术提出了新的假设/保证推理规则和假设/保证推理算法,证明了该规则的正确性,实现了密码协议系统的模型验证,并重点解决了系统分解问题、假设函数的设定问题等难题。以kerberos v5密码协议系统为例,利用该组合推理技术对密码协议系统进行了安全验证。

基于动态描述逻辑的UML状态图形式化方法

统一建模语言(UML)状态图包括静态语义和动态语义。针对该特点,提出基于动态描述逻辑的UML状态图形式化方法,介绍动态描述逻辑DDL_SHOIN(D)的语法和语义,设计UML状态图的DDL_SHOIN(D)形式化方法,研究状态图动作推理问题。给出状态图状态可达性和动作包含关系的定义,并证明其正确性。

行政程序中的形式与形式主义

行政程序不仅具有形式性属性,也具有实质性属性。我国行政程序法制发展重形式、轻实质的倾向已经在法律实践中产生了不良后果。这种偏颇主要源自三个法律程序观的误识:一是行政程序的泛司法化误识;二是行政程序的反实质化误识;三是行政程序的非法律化误识。必须强调行政程序的实质因素与形式因素并重的良性行政程序发展观。