马克思“抽象上升到具体”的政治经济学方法——以《〈政治经济学批判〉导言》为据

“抽象上升到具体”的方法是马克思建构政治经济学方法论的一个新层级,在马克思整个政治经济学方法论的建构中具有重要地位。马克思在《<政治经济学批判>导言》中批判继承黑格尔和古典经济学家的“抽象上升到具体”思想,在唯物史观基点上重新构造了“抽象上升到具体”的方法,使之在政治经济学研究中上升为“科学上正确的方法”。对这一方法的深入认识,有必要从文本入手对马克思构造这一方法的理论基点、理论实质以及科学依据三个层面做深入探析。

从代数不等式的非反演算看哥德尔的第一不完全性定理

从代数不等式的负号运算中,归纳出其否定主词序对和关系谓词而不否定真值词的规律。又从逻辑否定(■)代数不等式的运算中,揭示出其否定量词、质词和真值词而并不否定主词序对和关系谓词的规律。由此说明了哥德尔第一不完全性定理对包含了扩充自然数后的形式系统并不适用,从而引进了彻底根治一阶逻辑形式系统不完全性的基于负号(-)而推广的辩证否定算子(～)。

对哥德尔定理的辩证逻辑形式化解读

逻辑矛盾仅是"量词-质词-真值词"皆矛盾的非等值关系命题,辩证矛盾仅是"主词-谓词-命题词"皆矛盾的等值关系命题。在以事实验证了一元与二元真值函数的断定一致性和能指完全性基础上,说明哥德尔定理对包含扩充自然数后的代数理论并不适用。为了实现形式系统可兼容的一致性和完全性,必须引进所指有辩证矛盾和断言无逻辑矛盾之"指断合一"的哲学对象论。由此用基于负号而推广的辩证否定算子,才能彻底根治一阶逻辑形式系统的不完全性。

千年逻辑之争终成合和之解——对形式逻辑和辩证逻辑之关系的解析

基于形式逻辑的"相同者必存在互蕴公理"(Logic)和辩证逻辑的"相反者必存在互蕴公理"(Logos)及其逻辑否定,从哲学对象论的所指"正者或反者"、"正者与反者"、断言"存在或非在"、"存在与非在"这四者的异质合取关系中,得出了涉及两种逻辑关系的断言矛盾方阵。进而分析出此方阵中两种逻辑的多重对立析取关系与统一合取关系,从而证明了此两种逻辑是相互蕴涵的。由此,也说明了形式逻辑的"断言对立性"和辩证逻辑的"所指统一性"正是这两种逻辑的最终合和之解。

简论辩证逻辑的特征及发展契机

辩证逻辑具有全面性和动态性两大特征。当前,当代逻辑科学自身的发展与和谐社会的建构这两大潮流为辩证逻辑的发展提供了契机。一方面,当代逻辑科学从一点到两点、从片面到全面、从抽象到具体、从静态到动态的发展态势,为辩证逻辑的发展提供了契机;另一方面,在和谐社会的构建中,辩证逻辑具有正视矛盾、分析矛盾以便正确处理各种矛盾的方法论意义,因而和谐社会的构建也为辩证逻辑的发展提供了契机。

论中介的僭越

中介是指事物自身中矛盾双方相互联系的一切居间因素和事物自身变化、发展的一切过渡环节。它具有普遍性和客观性,在事物发展中具有重要作用。但是中介不是事物矛盾体中的基本要素,它从属于矛盾双方,可以归结于矛盾双方,是事物发展的中间环节,而非目的和理想状态。人们对于中介的把握一旦超出这个界限,就会陷入中介僭越的思维误区。与中介相关,中介的僭越分为两种类型:矛盾双方联系中的中介僭越和矛盾转化中的中介僭越。中介的僭越会给人们的理论和实践活动带来各种危害。

逻辑推理四大基础类型的内涵与外延关系研究

用事实验证了逻辑推理4大基础类型的互蕴公理,进而说明此4大公理之内涵与外延间的同构性与异构性的相互转换关系。由此说明:除外延性经典数理逻辑的推理演算之外,逻辑学还存在着更为广阔的发展空间,新世纪非经典数理逻辑的内涵性或外延性推理演算研究有着灿烂的前景。

略论辩证逻辑的性质、特征与发展前景

本文就辩证逻辑研究的历史与现状进行了评介，指出辩证逻辑的科学性质是由其科学对象决定的。辩证逻辑在根本性质上属于逻辑，但也具有哲学性质．辩证逻辑的基本特征为矛盾性与灵活性．文章认为辩证逻辑在今后将沿着非形式化、形式化与应用逻辑的方向继续向前发展．

对逻辑推理四大基础类型的反演算和非演算

用中华传统8大阴阳矛盾范畴分析数学中的开闭区间,得出相同、相似、相异、相反这4大逻辑推理基础类型间存在着三极对立统一的组成关系,进而提出涉及此组成关系的逻辑推理基础类型的互蕴公理及其描述内涵的反演算和逻辑外延的非演算。由此说明:只有将对逻辑词的外延否定演算和对描述词的内涵否定演算对称互补起来,这才可能形成一个较为完善的现代数理逻辑关于能指否定和断定否定相互结合的逻辑演算体系。

指示词理论述评

索尔.克里普克是美国著名的逻辑学家和哲学家。他的指示词理论为解决指称问题提供了一种重要的理论和方法,在逻辑哲学、语言哲学、分析哲学等领域影响深远。

外在性反思与内在反思——对黑格尔逻辑学草案中反思概念之系统历史的一种概述

按照黑格尔的方法论理想,《逻辑学》中思维规定的运动必须具有内在性和连贯性,而不能求助于任何外在的添加。有一种意见认为,纯粹的思维规定为了向前进展需要借助一种“外在性反思”,这种看法虽然与黑格尔的方法论理想相冲突,却可以在《逻辑学》的一些段落中找到文本依据。为了澄清方法论理想与外在性反思的关系,并为黑格尔在《逻辑学》中对外在性反思的运用提供根据,本文首先区分了作为主观心理行为的“外在性反思”与本质论中的“外在反思”,指出真正外在于逻辑规定进程的是前者;其次,梳理了自耶拿时期以来黑格尔关于逻辑学构想的发展以及其对反思概念的转变,指出在早期黑格尔确实将思维规定的彼此过渡建立在外在性反思的基础上,但在后来的体系草案中,通过成功构想并实施一门成为主体的实体哲学,主体所实行的外在性反思的功能已经被概念自身的反思(内在反思)彻底代替;最后,通过对比《逻辑学》前后两版存在论的某些段落,可以看出晚期黑格尔已经明确意识到运用外在性反思与逻辑进程的内在性相冲突,而《逻辑学》对外在性反思的提及和运用只是黑格尔早期逻辑学构想的遗留痕迹。

试论问题的中观特征和宏观特征

问题可以分为三个基本层次:单个问题层次、问题系统层次和问题总体层次。这三个层次的特征可分别称之为微观特征、中观特征和宏观特征。本文考察问题的中观特征和宏观特征。在中观层面,问题具有整体性、层次性和从属性;在宏观层面,问题具有异质性、渗透性、可变性和开放性。问题的这些特性对问题解决和科学思维起着制约作用。

把逻辑植根于辩证唯物论基础之上——从起源、目的、研究方式、作用看逻辑的本质

按照辩证唯物论的观点,形式和内容是不可分离的。逻辑在本质上只是以形式的方法研究内容———对象间的最一般关系,绝非纯形式。逻辑的起源、目的、研究方式和作用充分证明了这一点。把握这一点,可以把逻辑与经验知识及真理恰切地沟通起来,对推进逻辑学的研究与发展有重要意义。

主体辩证法：从黑格尔到马克思

主体是马克思辩证法和黑格尔辩证法的联结点,马克思用现实的人代替了黑格尔的自我意识,扬弃过的辩证法也就变成了以人为主体的辩证法,即人学辩证法.马克思对黑格尔辩证法的颠倒应作主体的和人学的理解.

对世界卫生组织的健康描述或界定无实践性成因的哲学探析

对世界卫生组织的健康描述或界定无实践性成因的哲学探析的目的,是探寻其无实践性产生的根源,采用的方法是从哲学角度分析其成因根源(本文仅从逻辑学角度探讨),得出世界卫生组织对健康的描述或界定是对健康表象的感性认识形式,而非理性抽象认识形式,不是概念定义的结果,逻辑学称其为感性认识事物,感性认识整体或感性认识阶段。其逻辑起点超越了客观实践的存在,成了玄想事物,是导致其失去实践性的基本成因之一。该描述或界定更不可作为对健康理性认识———概念定义科学抽象的基础或对象。

对现代理性批判的再批判

现代理性批判对价值理性与工具理性的二分法存在诸多问题。理性的本质是"有我之思",理性对世界的认知内容可以分裂,但理性自身不能分裂,也从未分裂。价值理性与工具理性只是同一理性的两种属性,价值理性支撑工具理性,工具理性实现价值理性,二者本质同一。现代性问题的根源不是理性的分裂,而是资本的统治,解决之道只能是回到马克思的社会批判之路,变革资本主义制度,消灭资本的统治。

先验思辨逻辑的批判哲学意义

先验思辨逻辑并非是构造本体知识的学问,而是为构造本体知识的思辨逻辑建立一种先验基础,从而摆脱思辨逻辑的独断论性质。在这个意义上,先验思辨逻辑是坚持在知性的分析中,呈现一切思辨活动所遵循的先验原理。这一先验原理即是批判地考察理智直观和思辨思维的先验机能,因而它应当归属于批判哲学。

基于辩证唯物主义的浊毒理论发病观、治疗观和发展观

本文以辩证唯物主义为指导,从哲学角度系统阐述了中医浊毒理论的发病观、治疗观和发展观。创新性地提出了浊毒理论的发病观是“浊毒化”,并从物质普遍联系观点、质量互变观点、绝对性和相对性、可能性与现实性、现象与本质、内因和外因等方面展开阐述;提出了浊毒理论的治疗观是“化浊毒”;论证了“扬弃”这一辩证唯物主义发展观的科学性,并提出了浊毒理论的发展观应该是“激浊扬清”,从增强文化自信、传承国学精粹、借鉴当代科技、顺应时代潮流等方面展开阐述,使浊毒理论不断地丰富完善,以更好地为人类健康服务。

悖论的思维张力

悖论的定义蕴涵着无限的思维张力,悖论的历史就是彰显悖论思维张力的过程,生活充满着悖论,悖论存在泛化的趋势,其泛化特征是悖论思维张力的外在表现,它具有外在的张扬性、无限延伸性、多样性和复杂性;同时,悖论展现出来的那种无限深邃的魅力是悖论思维张力的内在品质。悖论思维张力就是这种内在品质和外在表现的辩证统一。悖论思维张力的作用和意义在于,它在给人类尴尬的同时,也赋予人类无限的启迪和创新的机遇。

用现代逻辑方法证明直言命题变形推理的有效性

直言命题变形推理是否有效,引入现代逻辑CS系统可以对直言命题变形推理进行构造和证明。它改变了我们传统依赖变形推理规则考察变形推理能否成立的做法,丰富了形式逻辑的教学内容。同时,通过对CS系统的引入,能够证明A、O命题是可以进行同质等值换位的。