学科分类
/ 1
2 个结果
  • 简介:古典命题逻辑的函数完备性定理是说,每一个真值函数都可以用古典命题逻辑中标准的逻辑常项来定义。由此,我们可以说古典命题逻辑就是真值函数的逻辑。但是,对于作为现代逻辑的主要研究对象的一阶逻辑,我们却没有类似的结果。尔斯基在1966年为逻辑概念提出了一条标准,即“尔斯基论题”。尔斯基论题的精神来自于19世纪德国数学家菲利克斯·克莱因关于几何的“厄尔兰根规划”,这个规划对几何理论提供了一个系统划分。在尔斯基论题经历了半个世纪的发展历程之后,我们可以以此为基础为一阶逻辑的函数完备性提出一个初步的研究结果。

  • 标签: 塔尔斯基 论题 命题逻辑 真值函数 一阶逻辑 逻辑常项
  • 简介:作为20世纪深切关注现实的西方马克思主义创始人,卢奇在《理性的毁灭》中对二战的挑起者德意志进行了历史反思和现实分析,由此激发了西方马克思主义后继者对理性毁灭的深层思考,并对风云变幻下的知识分子的历史责任与崇高使命发出呼吁。首先,通过考察具有代表性的德意志历史图景,把人类理性的变幻还原到历史原貌中展现,可以以真实的历史感揭示出德意志复兴历史中的民族精神的分裂。其次,我们不仅要从卢奇那里寻找理性毁灭的社会根源,还要把理论视野拓展到后继者的研究文本中,包括第二代法兰克福学派人物等。西方马克思主义后继者侧重于从大众的性格结构、心理趋向、人的自由等方面揭示理性毁灭的深层根源。最后,我们要关注知识分子对理性的诉求。

  • 标签: 人类理性 卢卡奇 毁灭 西方马克思主义 马克思主义创始人 迷失