简介：常逻辑公式是不含命题变元的逻辑公式，运用它们可以定义结构类。反过来，某些结构类却不能以常逻辑公式集定义。模态逻辑中一阶可定义的框架类可被常模态公式集定义的充分必要条件是，该框架类对满射互模拟象、不相交并封闭，并且其补类对超滤扩张封闭。有穷传递框架类相对可由常模态公式集定义的充分必要条件是，它对满射互模拟象和不相交并封闭。这两条定理中后一条可推广至直觉主义逻辑。
简介：康德在《论永久和平——一部哲学规划》中提出了一个很重要的公式即公开性公式，一直以来，在这一公式的翻译中，不论是中译还是英译都存有较大偏差，国内著名学者何兆武先生的译文也不例外。何先生在这一公式的翻译中存在着几处严重的误译，这几处又恰恰是理解康德这一公式的关键所在，而准确的译文建立在准确理解的基础之上，因此，对这一公式中容易误译的行动的准则、公开和不相容这三个关键概念的阐释将有助于我们对这一公式的翻译，从而更加深入对康德这一公式本身的理解。
简介：＂两高＂出台的关于生产、销售假药、劣药犯罪的司法解释,将明星代言假药、劣药的行为纳入刑事法规制范围。基于正当性和合理性两方面的考虑,对代言行为科处刑罚确有必要。代言行为作为生产、销售假药、劣药犯罪的帮助犯,应具有帮助的故意与帮助的行为,还要以正犯成立犯罪为前提。实践中应根据具体情况认定代言行为人的＂明知＂及＂宣传行为＂,对其处罚宜以财产刑为主、自由刑为辅。
常逻辑公式与可定义性
康德的公开性公式厘析——兼就翻译问题与何兆武先生商榷
明星代言假劣药品之刑事责任探析——以“两高”关于生产、销售假药、劣药罪的司法解释为背景
