德国1848年革命初期法兰克福“工人协会”与国民议会资产阶级自由派的斗争

德国1848年革命初期法兰克福“工人协会”与国民议会资产阶级自由派的斗争是法兰克福工人协会为建立统一不可分的德意志共和国和维护无产阶级切身利益的斗争，是德国1848年革命不可缺少的组成部分。这一斗争后不久的1848年法兰克福九月起义是这次斗争的合乎逻辑的发展。     

列宁民族观概述

本文简述了列宁关于资产阶级民族形成和发展问题的理论,关于民族问题发展规律的理论,以及列宁的民族纲领和民族政策。     

自然主义实在论：纲要和研究纲领

自然主义实在论：纲要和研究纲领［澳大利亚］Ｃ．Ａ．胡克一、导言哲学，按照我的设想，是要对人生的本性以及如何度过人的一生提供一个一般的理解。我们人类通过创造有关的理论来理解人生的某个侧面或某个域（ｄｏｍａｉｎ），并用经验来检验这些理论，对所有这些进行反...     

“强纲领”SSK的相对主义特征

“强纲领”SSK的相对主义特征体现在对实在、科学方法、实验和理论的解构中，体现在对科学知识的意识形态化中，体现在其后现代主义的特征上。这种思潮不仅威胁到科学技术的正常发展，而且还危及到人类文明的健康发展。     

科学规范的内涵、类别、功能、结构和形式

提出科学规范论的十大问题。阐述科学规范的内涵、功能与类别;阐述科学规范系统的逻辑结 构与科学规范的存在和表达形式。     

人工智能研究纲领的发展历程和前景

本文主要介绍人工智能研究纲领的发展的历史,人工智能三个基本的研究纲领在经历了符号主义、联结主义和行为主义,这三大研究纲领对人工智能研究都发挥了很大作用,同时也遇到了自身无法克服的困难。最后对人工智能研究纲领困境进行了思考和展望。     

科学知识社会学的解释学批判--追问SSK理解科学的先见

库恩以解释学为特征的范式理论解构了科学的特权地位，凸现了科学的历史与境性，这使科学知识社会学赢得了合法的学术地位。而强纲领作为科学知识社会学的方法论原则，其核心是以控制为目标的因果型解释模式。科学知识社会学的本体论的解释学蕴涵和方法论的工具理性共同构成了科学知识社会学的先见，二者之间存在的矛盾和张力是导致科学知识社会学一方面取得许多成果，另一方面又面临巨大的理论困难的根源所在。     

略论迪昂的编史学纲领

本文依据原始文献，论述了迪昂编史学纲领的思想传统渊源、丰富内涵及现代意义。     

科学与宗教的类比何以可能?——评布鲁尔对强纲领的论证

布鲁尔为捍卫强纲领而进行科学与宗教的类比论证。类比的第一阶段是对科学的涂尔干式探讨,效仿宗教将科学知识归为意识形态以解构其神圣性。第二阶段则援引图宾根教会史学学派的经验,并驳斥劳丹的科学思想史说明模式。面对论证引发的质疑,不仅需要尝试性回应,更应分析论证的内在逻辑。总体而言,布鲁尔的论证完整性有余而完善性不足。     

逻辑的计算进路——从莱布尼茨到图灵的逻辑发展

现代逻辑肇始于莱布尼茨,在布尔和弗雷格处发生了分流,形成了所谓的逻辑的代数传统和逻辑的语言传统,然而,无论是代数传统亦或者是语言传统都与莱布尼茨的逻辑学纲领(即:"作为科学、数学和哲学"的基础)相去甚远。在图灵机理论中,图灵核心阐述了"自动机"和"指令表语言"这两个概念,这两者很好地契合了莱布尼茨关于"理性演算"和"普遍语言"的构想,可以说,图灵机理论最为接近莱布尼茨的逻辑学纲领,也跳出代数传统和语言传统,另辟蹊径,形成了一种新的"作为计算的逻辑"传统(也可以称为"计算传统")。"作为计算的逻辑"实质上是一种"主体转向","以往的逻辑"是当仁不让地以人类为主体,研究的对象是人的思维、自然语言种种,"作为计算的逻辑"则是将计算机作为信息处理的主体,研究的是计算机的处理方式以及人与计算机的互动关系。