简介:常逻辑公式是不含命题变元的逻辑公式,运用它们可以定义结构类。反过来,某些结构类却不能以常逻辑公式集定义。模态逻辑中一阶可定义的框架类可被常模态公式集定义的充分必要条件是,该框架类对满射互模拟象、不相交并封闭,并且其补类对超滤扩张封闭。有穷传递框架类相对可由常模态公式集定义的充分必要条件是,它对满射互模拟象和不相交并封闭。这两条定理中后一条可推广至直觉主义逻辑。
简介:对公共秩序保留制度的限制适用是当今国际社会的普遍共识及重要发展趋势。之所以如此,主要是基于各国国际私法乃至民商法的国际化、趋同化发展,以及国际私法基本价值目标充分实现的内在要求。
简介:康德在《论永久和平——一部哲学规划》中提出了一个很重要的公式即公开性公式,一直以来,在这一公式的翻译中,不论是中译还是英译都存有较大偏差,国内著名学者何兆武先生的译文也不例外。何先生在这一公式的翻译中存在着几处严重的误译,这几处又恰恰是理解康德这一公式的关键所在,而准确的译文建立在准确理解的基础之上,因此,对这一公式中容易误译的行动的准则、公开和不相容这三个关键概念的阐释将有助于我们对这一公式的翻译,从而更加深入对康德这一公式本身的理解。
简介:在职业协会惩戒中,一方面,惩戒决定人不得对裁决结果享有个人利益,尤其是金钱利益,同时,也不得对被惩戒人存在着个人偏见;另一方面,惩戒决定人应当保持独立性,通过内部职能分离制度可确保惩戒决定人的独立性,这兼顾了公正和效率的双重价值。另外,可采合理怀疑标准作为撤销职业协会惩戒决定或主张该惩戒决定无效的判断标准。
简介:诚实信用原则是我国民法的一项基本原则。在2013年修正的《中华人民共和国商标法》第7条中明确规定申请注册和使用商标,应当遵循诚实信用原则。诚实信用原则引入商标法具有十分重要的意义和作用。通过引入该原则,可以有效防止采取不正当手段恶意申请注册商标的行为发生,维护商标注册秩序,促进商标法制的健康发展。
常逻辑公式与可定义性
论公共秩序保留制度的限制适用
康德的公开性公式厘析——兼就翻译问题与何兆武先生商榷
论无偏私原则在职业协会惩戒中的适用
诚实信用原则及其在商标授权确权中的适用研究