简介：常逻辑公式是不含命题变元的逻辑公式，运用它们可以定义结构类。反过来，某些结构类却不能以常逻辑公式集定义。模态逻辑中一阶可定义的框架类可被常模态公式集定义的充分必要条件是，该框架类对满射互模拟象、不相交并封闭，并且其补类对超滤扩张封闭。有穷传递框架类相对可由常模态公式集定义的充分必要条件是，它对满射互模拟象和不相交并封闭。这两条定理中后一条可推广至直觉主义逻辑。
简介：康德在《论永久和平——一部哲学规划》中提出了一个很重要的公式即公开性公式，一直以来，在这一公式的翻译中，不论是中译还是英译都存有较大偏差，国内著名学者何兆武先生的译文也不例外。何先生在这一公式的翻译中存在着几处严重的误译，这几处又恰恰是理解康德这一公式的关键所在，而准确的译文建立在准确理解的基础之上，因此，对这一公式中容易误译的行动的准则、公开和不相容这三个关键概念的阐释将有助于我们对这一公式的翻译，从而更加深入对康德这一公式本身的理解。
常逻辑公式与可定义性
康德的公开性公式厘析——兼就翻译问题与何兆武先生商榷
