关于逻辑真理的认识论思考

逻辑学是研究推理的一门学问，而推理是由概念、命题组成的，不懂得命题就不懂得推理。普通逻辑学在研究命题时，主要是从二值逻辑的角度研究命题逻辑形式的逻辑值与命题形式之间的真假关系。本文着重从认识论的角度阐述逻辑真理的内涵，同时详细论述逻辑真理与事实真理的区别。为了探求真理必须保证思维的逻辑性。     

从《逻辑哲学论》解读维特根斯坦前期思想

维特根斯坦的《逻辑哲学论》是理解他前期思想的惟一线索。通过这部著作,可以看到维特根斯坦前期思想的脉络是:现实世界是事实的总和,可能世界是事态的总和。事实是存在的事态。存在的事态和不存在的事态构成实在;语言是命题的总和,命题是对实在的陈述;这种陈述有真有假;语言是实在的逻辑图像。事实的最小单位是原子事实,由单纯物1构成,原子事实又构成分子事实,分子事实是复合物;相应地,陈述原子事实的原子命题是命题的最小单位(基本命题),复合命题是基本命题的真值函项。单纯物不可言说;此外,命题陈述实在并且和实在共享的逻辑形式是不可言说的;伦理问题是不可言说的。可说的都能说清楚,不可说的必须保持沉默。不可说的是神秘领域,只能通过意志的直觉和体验把握。哲学的任务是为语言划界并进而为思想划界。哲学将不再是生产命题的知识体系,而是解释命题、澄清语言逻辑的思想活动。     

一个刻画理解的认知逻辑

通过两次问卷调查可以发现,绝大多数调查对象直观上都认为:理解一个命题就是知道它的意义.然后我们认为,在认知逻辑中,理解,作为一个模态算子,可以在一个较弱的意义上用知道算子来刻画:理解一个命题就是知道它的真假.由此,我们给出一个刻画理解的认知逻辑来揭示理解与知道之间的联系与区别.     

维特根斯坦哲学略论

维特根斯坦是西方“逻辑实证主义”哲学的创始者,他实现了“分析哲学”由哲学向“语言的转向”。他认为语言和世界是‘同构”的,命题是事实的图象,他清洗了《逻辑哲学论》的主要思想──图象说,认为其有指称性,词语的使用往往由其语境规定,而与词语本身无关。     

试析逻辑原子主义的图像论

逻辑原子主义认为,命题是实在或事态的图像:原子命题是原子事实的、分子命题是复杂事实的、语言则是世界的总图像.自然语言具有歧异性和模糊性,因此必须构造一种理想语言才能建立对世界的图像关系.但是图像论遇到难以克服的理论困难,这些困难是由图像论本身的理论缺陷导致的.     

三值逻辑的思想和方法

传统逻辑是二值的,对诸如未来偶然命题使用这种逻辑是无法解决的,这就需要发展起来一种不同于二值逻辑的逻辑,这就是多值逻辑,三值逻辑是其最基本形式。三值逻辑理论沿着不同路线今已得到迅速发展,其应用范围也日益广泛。所有的三值逻辑系统都对二值逻辑的限制有所突破,都在某种意义上显示出“亦此亦彼”的性质,它们之间以及它们与经典二值逻辑之间具有内在的区别和联系,显示了各自独特的思想和构造方法。     

“白马非马”包含的逻辑思想

公孙龙“白马非马”命题虽然割裂了个别与一般的关系,是违背常理的;但从普通逻辑角度看,此命题包含十分丰富的逻辑思想。概念的内涵与外延、下定义、划分、概括与限制、同一律等方面,都可以证明“白马非马”命题思想内容有其独特的深刻性,因此在我国逻辑思想发展史上具有重要的意义。     

从逻辑经验主义的意义理论到蒯因"本体论承诺"

逻辑经验主义的意义理论认为经验事实是句子的意义基础和证实标准。这一理论在处理有关某物存在的命题时会导致矛盾,无法自圆其说。蒯因提出"本体论承诺"的思想,将某物存在这一经验事实理解为对句子做语义分析之后,根据某种本体论思想所做出的承诺;由此,逻辑经验主义所遭遇的难题可以得到一种解决。逻辑经验主义具有还原论的特征,蒯因的"本体论承诺"则是一种整体论思想。     

三分的认知世界与怀疑逻辑的独立性

主体的认知世界可以划分为“信念世界(WB)”、“怀疑世界(WD)”和“无知世界(WU)”,这三个世界中的元素是认知命题。这三个世界之间是不重叠的,并且它们构成一个认知世界全集。一个认知命题是真的,当且仅当它属于相应的认知世界之中。有了这样的划分,研究怀疑世界中的认知命题之间的逻辑关系的怀疑逻辑是独立的,它不能通过信念逻辑的变形而得到。怀疑逻辑、无知逻辑与信念逻辑构成三个相互独立的逻辑系统。     

反事实假设复句的逻辑分析

反事实假设复句是对客观事实的反面的假设,由假设而生的结果根本不可能实现。对反事实假设复句的逻辑分析就是要揭示出它所蕴涵的逻辑思维形式,即差异推理(求异法)、反证法和比喻推理。据此,反事实假设复句可以揭示事物间的因果联系、论证某个命题和表明说话者的主观态度和情感。     

限定逻辑的表列方法

限定逻辑是由McCarthy创立的非单调逻辑的一个重要分支.限定逻辑最大的困难在于其算法的设计.基于表列方法,可以给出命题限定逻辑和公式限定逻辑两种形式证明程序.     

分析命题和综合命题的区分及其对真理问题的意义

逻辑经验主义坚持分析命题和综合命题的区分这一经验论的基本教条。奎因对这一教条进行了彻底的批判,从而导致逻辑经验主义的衰落和退出历史舞台。奎因的批判揭示了科学认识过程中分析和综合、演绎与归纳、理性和感性等范畴之间的辩证联系。但从现象论层面上来说,分析命题和综合命题仍然有一定的区别,认识到这一区别对我们更好地理解真理问题（真理的意义和检验标准）有一定的意义。     

三分的认知世界与怀疑逻辑的独立性

主体的认知世界可以划分为“信念世界（WB）”、“怀疑世界（WD）”和“无知世界（WU）”，这三个世界中的元素是认知命题。这三个世界之间是不重叠的，并且它们构成一个认知世界全集。一个认知命题是真的，当且仅当它属于相应的认知世界之中。有了这样的划分，研究怀疑世界中的认知命题之间的逻辑关系的怀疑逻辑是独立的，它不能通过信念逻辑的变形而得到。怀疑逻辑、无知逻辑与信念逻辑构成三个相互独立的逻辑系统。     

传统逻辑与现代逻辑量词比较

逻辑是研究思维形式及其规律的科学,是个历史悠久、基础性和工具性很强的学科。其中的两大种类─传统逻辑和现代逻辑的联系与区别在其量词的表达上得以体现。本文以命题为例,对传统逻辑和现代逻辑的量词进行了简单比较。     

数理逻辑的盲区与哲学逻辑的兴起——评海德格尔哲学逻辑思想

海德格尔从哲学探究的角度出发,对哲学和逻辑进行了深入的思考.他认为,逻辑是关于一个语句的意义和判断的内容的.数理逻辑的发展使逻辑丧失其重要性并且远离了本体论的讨论.哲学逻辑并不是一门新科学,而只是实现了从一开始就在进行的对于传统逻辑的刻画.研究海德格尔的哲学和逻辑思想可以得到的基本启示是:我们在进行哲学逻辑以及逻辑哲学研究的时候,一定要有一个理念,即逻辑是需要哲学来为其辩护的,逻辑的研究要有一个哲学的基础.哲学逻辑是逻辑在哲学中的应用,在应用的过程中哲学理念已经深深地灌输进去,哲学与逻辑已水乳交融,两者的联盟使得各自的学科都得到了长足的发展.     

集合概念的逻辑特征

普通逻辑中区分集合概念与非集合概念,对正确认识概念的内涵和外延,理解命题的含义,合理地进行推理有着重要的意义.根据二者不同的逻辑特征,可以从形式上进行区分;同时它们之间的区别还可以通过“例示”和量化原则得到说明.     

论悖论的实质、根源和主要解决方案——从弗协调逻辑的观点看

悖论是一个论证,它依据一定的背景知识和逻辑法则,从一些已知为真的前提出发却推出了互相矛盾的命题,或者在一个命题和它的否定之间可以互推这样一种事实。从弗协调逻辑的观点看,处理悖论的最好办法,也许不是拒斥,而是应该采取容纳的态度。     

一个拒斥逻辑矛盾、容纳辩证矛盾的命题演算系统

逻辑矛盾是思维混乱的产物,辩证矛盾是对象的运动之观念中所必然包含着的矛盾。前者是同时既肯定又否定同一个n（n∈N且 n≥1）级命题而形成的矛盾,后者是同时既肯定又否定同一个0级命题而形成的矛盾。经典命题演算没有区别辩证矛盾和逻辑矛盾, 它拒斥逻辑矛盾,但不容纳辩证矛盾,因而不能合乎逻辑地表达对象的运动。命题演算系统PC6区别了辩证矛盾和逻辑矛盾,具有拒斥逻辑矛盾并容纳辩证矛盾的特征,且具有可靠性和完全性,可以合乎逻辑地表达对象的运动。     

论中国逻辑史研究的逻辑观

逻辑观是困扰当前中国逻辑史研究的根本性问题.两千多年来,逻辑的名称虽几经变化,但对命题形式、推理形式及其有效性的分析,始终是西方逻辑不变的主题.由于中国逻辑史研究是基于西方逻辑的传入而产生的,因此,西方逻辑的逻辑观应当成为中国逻辑史研究的基本遵循.     

科学定律与反事实条件句——兼论“新归纳之谜”

科学定律和偶适概括在自然语言中都是全称命题。如何把二者区别开来呢?这就是古德曼所说的“新归纳之谜”。古德曼和亨佩尔等人在一定程度上指出科学定律和偶适概括的区别,即:1.前者可以支持反事实条件句而后者却不能;2.前者能够得到归纳证据的支持而后者却不能。该文将揭示科学定律、偶适概括和反事实条件句的逻辑结构,并对枚举归纳法的推理规则给以精确的表述,从而对新归纳之谜给出进一步的解决。