简介：常逻辑公式是不含命题变元的逻辑公式，运用它们可以定义结构类。反过来，某些结构类却不能以常逻辑公式集定义。模态逻辑中一阶可定义的框架类可被常模态公式集定义的充分必要条件是，该框架类对满射互模拟象、不相交并封闭，并且其补类对超滤扩张封闭。有穷传递框架类相对可由常模态公式集定义的充分必要条件是，它对满射互模拟象和不相交并封闭。这两条定理中后一条可推广至直觉主义逻辑。

简介：康德在《论永久和平——一部哲学规划》中提出了一个很重要的公式即公开性公式，一直以来，在这一公式的翻译中，不论是中译还是英译都存有较大偏差，国内著名学者何兆武先生的译文也不例外。何先生在这一公式的翻译中存在着几处严重的误译，这几处又恰恰是理解康德这一公式的关键所在，而准确的译文建立在准确理解的基础之上，因此，对这一公式中容易误译的行动的准则、公开和不相容这三个关键概念的阐释将有助于我们对这一公式的翻译，从而更加深入对康德这一公式本身的理解。

简介：蔡元定主张＂河十洛九＂、＂河先洛后＂,与刘牧的＂河九洛十＂、＂河洛同出＂说相反。蔡元定强调河图与洛书的区分,与朱熹的＂虚中为易、实中为范＂说企图融合河图、洛书也不同。其目的是加强十数图与《周易》八卦的关联,九数图与《洪范》九畴的关联,进而将《洪范》纳入易学系统。其子蔡沈的《洪范皇极》以《周易》为象学,对应河图,以《洪范》为数学,对应洛书,正是这一目的的体现。这一区分是对刘牧河图、洛书说的发展,蔡氏父子由此构建了其范数之学。

简介：5月3日在北京举行，由教育部人文社会科学重点研究基地“北京大学中国特色社会主义理论体系研究中心”和北京大学马克思主义学院、马克思主义哲学研究中心等单位联合主办。30多位专家学者出席会议，论坛主题为“五四精神、北大传统与中国梦”。与会学者一致认为，“中国梦”的提出有着深厚的历史渊源和人文积淀，包含着国家富强、民族复兴、人民幸福等现实内容，与“五四”精神一脉相承。北京大学是“五四”新文化运动发源地，也是马克思主义在中国传播的重要阵地，形成了李大钊-冯定-黄楠森一脉相承的马克思主义哲学中国化北大学派。