全称概括规则和受限制的演绎定理——国内数理逻辑教材中的一个问题

本文指出了国内一些有影响的数理逻辑教材或专著中存在的一个重要错误 :一方面在定义一阶逻辑形式系统的公理和规则时不正确地使用了“可证”这个概念 ;另一方面又自相矛盾地叙述和论证了受限制的演绎定理。

任意性和全称概括规则

数学证明中常有"设自然数n为任意自然数","设三角形ABC为任意三角形"这样的习语。通过证明自然数n或者三角形ABC具有某种属性,推出论域中的所有对象都具有同样的属性。这种论证方式被称为全称概括规则(Universal Generalization),简称UG规则。UG规则往往被视为一条有效推理规则,但这条推理规则是如何得到辩护的?纵观对UG的各类辩护,大多基于对"任意性(arbitrariness)"的阐释,从而为UG规则提供辩护。本文以当下具有代表性的对UG规则的辩护和对任意指称的论述为基础,提出了一种新的任意指称原则(Principle of Arbitrary Reference,简称PAR^*),并据此为UG规则辩护。

概括准用规则的合法性研判与规范化设置——以燃放烟花爆竹行为的拘留处罚为例

一旦概括准用规则将上位法及其绝对保留事项设定为被准用对象,合法性判断就存在深入剖析的必要性。作为下位法的概括准用规则的合法性判断标准和步骤至少包括法律规则构成要素的比较、立法实质调整对象的比较、立法机关立法权限和概括准用规则本质属性的判断。以禁止燃放烟花爆竹的拘留处罚为例,对于如何确定被准用规则有不同解释:一是与准用规则具有近似调整对象的我国《治安管理处罚法》第30条关于使用爆炸物的规定,但国务院有关规定已明确将烟花爆竹排除在爆炸物范畴之外,公安机关据此施以拘留处罚缺乏合法性依据;二是将燃放烟花爆竹行为作为构成违反治安管理行为的具体方式和手段施以处罚,但上下位法实质调整对象存在显著差异,概括准用规则侵入了上位法的绝对保留事项。立法中应区分准用性规则与适用性规则。在制定概括准用规则时,应明确被准用的具体条款。立法机关不得超越立法权限制定概括准用规则,任意扩张或限缩解释上位法。

论目的语规则的过度概括在汉语语音中的表现

本文讨论英语国家的学习者由于目的语的过度概括造成了其在汉语学习中声母、韵母、 韵母的音节拼写及声调等方面的影响及其表现。

关联规则的分层表达

关联规则通常以规则列表形式表达,而许多关联规则挖掘算法往往产生大量规则,这给用户理解规则和从中找出感兴趣的规则带来了极大困难。为了标识重要的规则,而又保持挖掘结果的完整性,提出了根据规则的通用性,按照由概括—具体的方式分层表达关联规则。先用挖掘结果的最概括规则集表达出最通用、最基本的领域知识,再根据用户要求分层查看概括规则下面更具体的规则。这种表达方式可以在不同层次上查看关联规则,使挖掘结果更容易管理和被人理解。

语篇教学中宏观结构规则的运用

英语语篇教学中的宏观理论有三个规则 ,即删略规则 ,概括规则和结构规则。运用这些规则指导英语语篇教学 ,可以使学生在英语学习中最大程度地获得相关信息 ,能动地理解话语 ,掌握语义的深层结构 。

对推理规则在非经典逻辑中失效的分析

论文认为强化前件规则对虚拟条件句确实足失效的，但传递原则、逆换原则和析取前件消去规则并没有像希尔皮南所说失效了。如果对同一性替换规则加上条件：对一个命题的某个部分实施替换，要求所利用的同一性在该命题的模态下也成立，则同一性替换规则可以运用于模态语境。奎因对存在概括规则在模态语境中失效的分析并不完全准确。

浅谈数学分析中演绎证明的逻辑基础

一个正确的数学演绎证明的逻辑结构,就是一个逻辑定理;反之每一个逻辑定理反映了一个正确的数学演绎推理规则。本文重着介绍全称概括:A(x)xA(x)规则在数学分析中的应用及反证法的逻辑基础。

英语语言教学中定期理论升华的必要性

英语语言教学中定期理论升华的必要性复旦大学熊学亮语言教学是一门实践课程，教师不可能向学生灌输大量的理论知识，一般认为：学生在一定的实践基础上能够自觉或不自觉地总结或概括出一定的规律。然而我的教学经验是：如果教师能定期给学生作适当的理论升华，学生就会学...