论真值函项和传统逻辑的复合判断

现代形式逻辑的真值函项是对传统逻辑的复合判断的抽象,具体地讲,真值函项是对复合判断的肢判断之间的真假关系的抽象。它撇开了肢判断之间的其它关系,例如内涵关系、模态关系以及其它方面的关系,并且把传统逻辑中的复合判断当成了它的一种特殊场合。也就是说,在现代形式逻辑中认为真的复合命题,而在传统逻辑中则可能是没有意义的。这是因为现代形式逻辑中命题的真假并不取决组成命题的判断在客观上的真假。正如塔尔斯基所说:“一复合命题的真或假只依赖于所联结的命题的真或假,与它们的含义无关”。     

论主项为空类的性质判断推理

性质判断的推理是形式逻辑理论体系中的一个重要组成部分,而目前我国出版的各种版本形式逻辑教材对这部分内容的论述却存在严重疏漏,即对性质判断主项和谓项不为空类或全类的情况均作了透彻分析,而对性质判断主项和谓项为空类或全类的情况则避而不谈,或虽有论述,但很不深入。本文集中论述了当主项为空类时,各性质判断间的真假关系、性质判断的直接推理以及直言三段论的有效式。由于人们的日常思维经常与空类概念打交道,因而探讨主项为空类的性质判断推理具有重要的理论意义和实践意义。     

试论复合判断间的真假关系

复合判断包括联言判断、相容选言判断、不相容选言判断、充分条件假言判断、必要条件假言判断、充分必要条件假言判断,其相互间真假关系包括反对关系、下反对关系、矛盾关系、差等关系.复合判断间的真假关系以同素材为其成立的前提条件.     

复合命题之间的真值关系及其直接推理系统初探

传统形式逻辑对直言命题的基本形式A、E、I、O之间的真值关系进行了研究,总结出了它们之间的对当关系,并将其应用于对当关系直接推理,但对于复合命题的基本形式则只分析其与肢命题之间的真值关系,对于不同的复合命题之间的真值关系并未加以系统地研究,充其量只是对复合命题各基本形式的负命题与其等值命题作了一定的探究,但还不足以形成复合命题之间的直接推理系统。因此,可以说传统形式逻辑对于复合命题及其推理的研究相当肤浅,形不成完整严密的复合命题推理系统。     

逻辑方阵手势图

在普通逻辑中,直言命题或性质命题A、E、I、O相互之间在真假关系上,具有反对,下反对、差等、矛盾等六个关系,逻辑史上把这个关系称为对当关系,是用一个叫做“逻辑方阵”的图来表示的(见图一)。     

部分原因与因果关系的分类

摘 要:人类关于因果关系的理解有一个缺陷,这限制了人们决策思维的合理与有效。在中国,这一思维缺陷部分地源于形式逻辑,特别是形式逻辑中关于假言推理的理论。传统形式逻辑中关于假言推理的理论把“条件”与“结论”的关系分成四种下,即充分、必要、充分必要条件(隐含的)非条件。传统的假言推理分类形成一个事实上的因果分类体系,把原因分为充分、必要、充分必要原固及(隐含的)非原固这四类。这一传统的因果关系分类遗漏了一个重要的原因类别——部分原因。这一遗漏可能部分地导致了思维、讨论、争辩、决策中的许多歧义、混乱与缺失。有鉴于此,笔者提出了一个新的因果分类体系,把原因分为充分、必要、充分必要、部分原固及非原因这五类。下一步的研究应当论证这一新体系的完整性,即它的包容性与互斥性,并在此基础上计算各类因果关系出现的概率。笔者认为,探讨这一问题直接目标在于给因果关系分类,而给因果关系分类是为了建立更为科学的决策思维方式。由于形式逻辑传统上不把因果关系或决策思维方法作为主要研究对象,所以,就其目标而言,所探讨的问题不属于形式逻辑的范畴。从某种意义上说,笔者是旨在思维方法、形式逻辑、科学方法论、决策科学以及各个涉及因果判断的实证学科等许多学科之间的一个跨领域     

直言判断的量词与周延性问题

词项周延性问题是传统逻辑中的一个重要问题。周延概念在传统的直言推理理论中起着关键的作用。一个以直言命题为前提进行的推理是否有效,其中一个重要的标志就是看是否遵循了周延推理规则：在前提中不周延的项,在结论中不得周延。现代逻辑不使用周延概念,取而代之的是量词概念。而置词作为判断的组成部分,同样也是形式逻辑的重要概念,它与XX延问题有重要联系。我国逻辑学界对直言判断中联结词与词项的周延关系作了不少研究,比如对肯定判断中谓项是否周延的问题展开过讨论,但对量词与词项周延的关系问题尚欠深入研究。本文拟对直言…     

论复合判断形式的逻辑方阵及其逻辑联系

本文对复合判断形式间的对当关系及逻辑方阵的重要理论空缺作了较系统的论证。笔者认为仅以肯定形式表示复合判断的肢判断形式是不全面的。其肢判断也应具有判断的逻辑特征,因而在七类不同的复合判断形式中,都各有四种相同类型的判断形式:p-q、p- q、 p-q、 p- q。笔者对上述各类复合判断及其负判断的真假关系分类进行了具体阐述。对构成复合判断形式逻辑方阵的判定方法,笔者认为仅有p、q、R、S四种判断形式间的对当关系是不够的,还需运用这四种对当关系之间存在的相互依存的制约关系的方法。笔者根据这种认识和方法,以联言判断为例把复合判断形式的逻辑方阵分为两大类十个基本类型,并由它们依据判断间的等值关系分类进行了派生推演,可派生出10720个不同的复合判断形式的逻辑方阵。笔者又依据判断间的等值关系对众多派生类型的逻辑方阵进行了相应的化归推演。     

论传统形式逻辑中的关系推理

论传统形式逻辑中的关系推理李小虎在传统形式逻辑（普通逻辑）中，关系推理被确认为是一种独立的推理形式，与直言三段论推理并列，从属于演绎推理。现行的传统形式逻辑教科书，无以例外地介绍了关系推理的内容、其实，传统形式逻辑难以解释关系推理的逻辑性质问题，也难...     

具体三段论的简化欧拉图判定方法探索

普通逻辑是从直言判断的A、E、I、O这四种质量结构形式方面研究直言三段论的,我叫它质量三段论,其形式我叫它质量形式,简称质量式。质量三段论所确定的有效式只是人们思维中的一少部分。人们一直有一种愿望,寻找一种方法,能判定所有的直言三段论,排除所有的错误式和确定所有的有效式。所谓“广义三段论”、“扩充三段论”都是这种努力的结果,但都不能实现人们的这个愿望,其规则也不易于为人们的日常自然语言思维所运用。用欧拉图解法固然可以,可是推理的欧拉图有近一半是麻烦或很麻烦的,难以为人们的日常思维所使用。本文提出一种判定方法,既能实现人们的这个愿望又十分简易。 具体判断和具体三段论,直言判断按主项、谓项的外延关系不同分有五种:主项和谓项为全同关系的叫全同判断,为种属(真包含于)关系的叫种属判断,为属种(真包含)关系的叫属种判断、为交叉关系的叫交叉判断、为全异关系的叫全异判断(反对关系和矛盾关系无区分的必要)。分别用符号表示为:S(?)P、SP、S(?)P、S(?)P;读作S全同P、S种属P、S属种P、S交叉P、S全异P。每种按质量(单称归入全称)不同分又各分为4种。这两方面结合分共20种,我叫它们具体判断,其形式叫具体形式,区别于A、E、I、O质量形式,用符号表示如(?)SAP、S     

一个直言命题的新系统

一对直言命题认识的历史形式逻辑主要是从思维形式方面研究推理的科学。对推理的研究又是建立在对命题研究的基础之上的。直言命题是人类思维实践中最大量、最经常使用的一种简单命题,有人把它称为原子命题,它是构成其他命题的基础,也是各种推理的基础,所以,彻底弄清直言命题的问题就成为形式逻辑研究中的一个非常重要的问题。逻辑史上第一个深入研究直言命题的人,是两千四百多年前的希腊学者亚里士多德。在     

关于性质判断新分类的刍议

性质判断分为A、E、I、O四种类型,已有一千八百多年的历史。长期以来,这一传统分类在性质判断体系中,几乎占有唯一的地位。我国解放后公开发表或出版的形式逻辑论著,也几乎全部地将它仅仅归结为这一分类。实践证明,它的这一分类在传统形式逻辑体系中是可行的、有意义的;但是,对于性质判断的原型来说,如果仅仅把它归结为这一分类,那是很不完整,也是很不精确的。为了克服性质判断传统分类的局限性,以便完整和精确地     

三段论在刑事审判工作中的应用

人民法院在审理刑事案件过程中，要运用形式逻辑的原理去分析案件·对案件做出裁判。演绎推理是最常见最重要的推理形式之一。它在法学理论和法律工作实践中，具有极为重要的意义。三段论是一种应用极广的演绎推理，它体现了由一般到特殊这一演绎推理的主要特点·在司法工作中特别是刑事审判中，具有特殊意义。整个刑事审判工作集中一点，就是把一般的法律规定和具体的案件事实联结起来，从而得出相应的审判结论。三段论是由两个包含着一个共同项的直言判断推出一个新的直言判断的推理。具体地说，它是借助一个共同的概念把两个直言判断中另…     

试析负概念的结构特征及换质推理有效性问题

传统形式逻辑对于思维形式的研究一般只限于分析判断和推理的逻辑结构,疏于对概念结构的逻辑分析,这就难免造成对概念逻辑分析的模糊性和不确定性,甚至直接影响到判断的恰当性和推理形式的有效性。笔者曾写过一篇《浅析概念的内在逻辑结构》,从一般性的角度初步探讨了这个问题。本文试从负概念的结构特征上进一步加以分析,并据此对直言判断换质推理形式的有效性问题提出一种新的看法。有不当处祈望同仁不吝赐教。     

略论语境在逻辑思维中的意义

(一) 在形式逻辑的教学和研究过程中,人们对许多用自然语言表达的概念、判断、推理的逻辑性质、关系和结构,往往争论不休。诸如: (1)关于“马克思主义”和“非马克思主义”这两个概念之间的关系问题,有的同志说,它     

内涵命题和外延命题理论对解决直言命题问题的贡献

传统形式逻辑直言命题理论存在着许多的弊端。一些现行的形式逻辑读本尽管做了些改进,但是仍然没有从根本上解决问题,而且还增加了新的麻烦。内涵命题与外延命题理论是当代形式逻辑的重要特色理论之一,它在解决直言命题理论中存在的问题作出了重要贡献。深刻剖析直言命题中存在的弊病对传统形式逻辑的发展与完善有着重要的意义。     

真、假与命题真假意义的诠探

真和假两个概念在逻辑学中有不同的含义：一是在命题的特征中它们表达主体对客体的认识是否和客观实际情况相一致的问题；二是在同素材的四种性质命题A、E、I、O之间的真假制约关系中,它们表达主体对任何一个性质命题的赞成或反对从而相应的就是对其他三种命题的反对或赞成；三是在复合命题中,复合命题的真假是指肢命题的真假是否反映了由于逻辑联结项的不同所形成的不同逻辑关系的正误。     

毛泽东的形式逻辑观

毛泽东的形式逻辑观杨景亮受五十年代初原苏联学术界关于逻辑的研究对象、逻辑与辩证法的关系等一系列问题大讨论的影响，在我国哲学界和逻辑学界以形式逻辑与辩证法的关系为中心，对形式逻辑的对象、性质、作用以及客观基础、真假对错等问题进行了广泛认真的探讨。作为革...     

不矛盾律与矛盾规律、逻辑矛盾与辩证矛盾、形式逻辑与辩证逻辑诸关系新解

形式逻辑与辩证逻辑的关系问题在我国学术界是一个长期争论的问题,关于这一问题至今仍是众说纷纭,莫衷一是。然而,争论各方都把亚里士多德的直言命题的逻辑的基本规律“同一属性不能同时属于又不属于同一主题”看作形式逻辑基本规律不矛盾律的内容,这样形式逻辑的不矛盾律与辩证法的矛盾规律就不能并行不悖,逻辑矛盾与辩证矛盾就难以区分,形式逻辑与辩证逻辑就必然相互冲突。笔者认为,亚氏的直言命题的逻辑是形而上学的逻辑,其基本规律是形而上学的逻辑的基本规律,而非形式逻辑的基本规律,形式逻辑的不矛盾律应是揭示命题真值的确定性的规律,辩证法的矛盾规律则是揭示事物运动、变化、发展的实质内容的规律。基于此,本文对不矛盾与矛盾规律、逻辑矛盾与辩证矛盾、形式逻辑与辩证逻辑诸关系作了新的解释     

一个直言命题的新系统

形式逻辑主要是从思维形式方面研究推理的科学。对推理的研究又是建立在对命题研究的基础之上的。直言命题是人类思维实践中最大量、最经常使用的一种简单命题,有人把它称为原子命题,它是构成其他命题的基础,也是各种推理的基础,所以,彻底弄清直言命题的问题就成为形式逻辑研究中的一个非常重要的问题。