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

简介：与西周社会以“亲亲”、“尊尊”为准则建立的以父子一伦为首的人伦次序不同，先秦儒家以“亲”、“尊”、“义”为准则建立了以夫妇一伦为首的人伦关系网。尽管在先秦儒家内部，仍然有不少人认可以父子一伦为首的人伦次序安排，并且这种安排在汉代以后又成为中国传统社会的主流观点，但是在先秦儒家那里，以夫妇一伦为首的人伦次序安排却有着发展为主流的倾向。先秦儒家的这种人伦关系理论不仅对现代社会人伦关系的规范和安顿有重要的意义，它也是儒家在现代社会继续生根发芽并繁荣发展的基石。

简介：布洛维的社会学马克思主义主要议题有：马克思主义讨论四立场论、马克思主义核心理论不适用论、马克思主义“社会”概念缺失论、国家社会主义批判论、社会学马克思主义边界主题论、“想象的真实乌托邦”论等。这种理论表面上援引了马克思主义经典作家的若干原理观点，但在实质上与马克思主义社会学是两个完全不相等同的范畴。从对马克思主义立场、内容、形态，从社会与公民社会的区别与联系，从国家社会主义的正功能与反功能，从乌托邦与社会建设四个方面看，这种理论在相当程度上曲解了马克思主义，并对马克思主义及社会学做出了并不很令人信服的改造。马克思主义中国化在马克思主义社会（学）论域内的理论与实践成果，可以成为对社会学马克思主义的理论与实践回应。