螺旋式的增长与加速是现代资本主义社会的特征,在现代市场经济和现代民主的基础上,资本主义加速的经济体制导致了日益严重的危机.从社会发展的趋势看,资本主义的加速发展对家庭结构、就业、民主政治、身份认同都产生了决定性的影响.从人的异化角度看,生活节奏的加速导致人丧失了 自主性,失去了塑造自己生活的力量和自由.因此,作为社会批判的社会学仍然把异化问题当作自己的首要议题,最终目的是让人过上美好生活,或者说分析成功生活得以实现的社会条件.

近年来学界围绕"可理解性",从重建形而上学的角度重释黑格尔辩证法的内涵.辩证法研究理解世界的方式,思维形式不仅是"可理解性"的形式,是真东西的形式,而且是实在的形式.思维与实在的同一由"概念内容"说明,它由判断之间的"实质不相容"关系来界定.基于逻辑基本句式,结合句法和语义区分对"实质否定"进行说明,能更清晰地说明它是理解事物的一种方式,从而为思维与实在的同一提供补充说明.对黑格尔辩证法的重释能为更好地理解马克思理论提供新视角.

Our main objective is to propose analytic modal axiomatic systems,in which the proof of theorem is very easy.And so they are suitable to be the foundation of modal theorem prover.An axiomatic system is called analytic,if the premises and consequences of its inferential rules share propositional variables.Our results in modal logic follow the originate work of Anderson et al,which propose analytic axiomatic systems for classical logic.We first define an n-ary operator and give a new notation of modal formulas,which is convenient to express the axioms of such systems. The n-ary operator is actually a hybrid of generalized NAND and modality,which saves the connectives and parentheses.And so we name it generalized Sheffer stroke. The formula in new notation[A_0…A_(n-1);B_0…B_(m-1)]is semantically equivalent to (?)A_0∨…∨(?)A_(n-1)∨(?)((?)B_0∨…∨(?)B_(m-1)). Based on the new notation,we firstly propose analytic modal axiomatic systems (AMAS) for some normal modal logics,such as K,D,T,S4,K4 and D4,by adding modal rules to analytic axiomatic system of propositional logic,not modal axioms.And so we could compare different modal logics in term of modal rules,not modal axioms. Secondly,we give the strong completeness theorems and interpolation theorems for such systems.Besides,we propose a new definition of derivation in term of AMAS.Although they have no Modus Ponens,the analytic axiomatic systems have common conditions on deducibility relation,such as reflexive,monotonic and cut,which shows that the new definition of derivation is reasonable.Finally,we propose a more general form of AMAS,namely component-wise axiomatic systems,which are fit for more modal logics,including modal logic of which frames are symmetric,such as S5:provide a component-wise mechanism similar to hyper-sequent to distinct possible worlds and retain information of them.

马克思主义不是纯粹的历史现象,它还是当代现象。马克思主义发展史上的多数争论,从根本上讲不是由史料、版本决定的,而是由实践、对历史事实的价值判断决定的,是世界观与方法论这一根本问题。马克思主义发展史学科应体现理论本身和学科建设的当代性、实践性和综合性的特点,不能仅局限于历史学的方法,要做到史论结合、以史为据、以论为纲、论从史出。马克思主义发展史要突破长期以来形成的马克思主义哲学、政治经济学、科学社会主义这种三大板块的思维方式和表现方式,把握各个历史阶段突出的问题和任务并以此为主题展开,把社会主义实践的生长点以及由此产生的马克思主义理论的创新点结合起来,探索出一种新的学科定位和研究方向。新时期的马克思主义发展史要立足于社会主义产生和发展的历史进程,根据中国特色社会主义实践、中国化马克思主义的新成果,充实更新其历史内容,从而完整地展现马克思主义发展的历史过程和理论逻辑。