有规则的

There is an exception to this grammatical rule

这条语法规则有个例外

Exception to是 ... 的例外 | There is an exception to this grammatical rule. 这条语法规则有个例外. | There's an exception to every rule. 每项规则均有例外.

design by contract

按契约设计

总结一下,在"按契约设计"(design by contract)理论中的不变式讲的就是一个类在任何操作完成后,都有一些不变的规则. 这些规则的完整统一的维护是类的主要职责,这些不变规则的全部构成了这个类的概念完整性.

constitutionality

合宪性

这里一个关键性的概念:"合宪性"(constitutionality)应运而生. 合宪性控制有两层含义,第一层意思指对实体与程序法律规则适用上的监管;更高一层的是指保证对深层规则的遵循,即对人权对人的自由的尊重. 人们往往强调了前者而对后者关心不足.

Currie

柯里

对于虚假冲突,柯里(Currie)主张直接适用与案件有利害关系的国家或州的法律. 对于真实冲突,凯弗斯(Cavers)主张"规则选择法",依照有关国家的具体规则的内容和适用结果决定法律的适用;而柯里(Currie)提出按照适用不同国家法律对有关国家利益影响的大小决定法律的选择.

derivation

导出

它的一个同义词是导出(derivation). 演绎是相对于系统的概念,说一个公式(或语句)是演绎的只是相对于一不定的公理和推理规则的具体系统而言的. 演绎概念是证明概念的概括. 一个证明是语句这样的有穷序列:它的每个语句或是公理或是根据推理规则由前面的语句得出的.

explicit

明显的

相对的,二次规则乃是赋予公权力机关或私人特定权能(power)的规则,其主要目的在规范谁有权力以及如何制定、确认、修Inc.[5]这两个判决为例,佐证法体系里不单单只有明显的(explicit)法律规则,实际上还包括许多隐含的(implicit)法律原则.

Instrument Flight Rules

仪器飞行规则

有些人认为真正的飞行员是不需要自动驾驶仪的,这个观点是有一点偏颇的,因为适当的使用自动驾驶仪可以减小飞行员工作量,特别是在仪器飞行规则(Instrument Flight Rules)的时候.

justification

合理化

基于这个理论,使用记号的行为可以援引规则来得到合理化(justification),而这种合理化的结果是,我们说这个记号是有意义的. 这样,我们就得到一种关于意义的二分理论,一方面是无意义的、物理的记号,另一方面,是赋予记号以意义的规则,

recognise

识别

它认为法律是以渊源为基础的法律以及那些被以渊源为基础的法律识别(recognise)为有效的标准. 那些主张自己有权力颁布规则的人的支持是一条规则成为法律的先决条件. 因此,"法律对权威的主张"表面上看来与包容论是一致的.

regulative rules

调节性规则

在这里,塞尔(Searle,1998,中译本:117)所提出的调节性规则(regulative rules)和构成性规则(constitutive rules)的两分法在这里或许有点帮助?如有,这帮助也无疑是非常有限的. 这里先让我们回顾一下塞尔是如何提出这一两分法的. 照塞尔的规则两分法,

Hydraulic sizer：水力筛分机

hydraulic setting refractory 水凝[性]耐火物 | Hydraulic sizer 水力筛分机 | hydraulicking 水掘法

roadside trees：街头树路树

rna splicing rna 剪接 | roadside trees 街头树路树 | roaring 咆哮