定义规则《定义概念不得包含被定义概念》的运用与补充

国内出版的形式逻辑教材中,在讲定义的几条规则时,一般都有这么一条: “定义概念不得直接或间接地包含被定义概念”。这条规则无疑是必要的、正确的。然而,在实际运用时,多数都“走样”,扩大了范围,把“不得包含被定义概念”变成了“不得包含与被定义概念相关或相近的概念”。请看两个被认为是违反这条规则的实例:     

谈谈卡尔纳普的归纳逻辑

文章介绍了卡尔纳普的逻辑概率的概念,即认为逻辑概率是确证程度,并区分逻辑规则和方法论规则这样两个概念。归纳逻辑的方法论规则不仅要求证据要真实,而且要完全,即“全证据要求”。这样就把归纳逻辑的一个重要作用理解为替人们的实践决策提供合理的依据。为此,卡尔纳普提出了另一条重要的方法论规则,即“效用估计量取最大规则”。文章认为卡尔纳普后来也意识到当初把确证程度等同于逻辑概率的论证是不充分的,于是不得不回避科学假设的确证问题而专门研究有关打赌的决策理论。 文章通过分析认为归纳逻辑不仅是科学验证的辅助工具,也是科学发现的辅助工具,具有“助确证法”和“助发现法”的双重性质。     

定义理论

定义理论是逻辑理论的一个重要方面。但在近年来国內关于改革逻辑教学体系和內容的讨论中,定义理论的改进没有得到应有的重视。本文是美国马里兰巴尔的摩大学H·卡哈尼教授所著《逻辑与哲学》(1986年英文第5版)一书的第十三章。文中讨论了定义理论的一系列问题,其中不少问题是当前国内逻辑教科书未论及的。此外,还介紹了有关形式系统的三条定义规则。兹刊登张建军同志译文,供读者参考。     

逻辑常项与保守性：以tonk为例

根据逻辑推理论,逻辑常项的意义是由它的引入和消去规则确定的。普莱尔（Arthur Prior）提出的tonk对推理论构成了严重挑战。库克（Roy Cook）最近构造了一个禁止传递性的相干的逻辑系统,即Tonk-逻辑,并借助四值语义学重新定义了Tonk-后承概念,在这种概念之下,tonk的引入规则和消去规则都是有效的,同时系统还不是平凡的。本文探讨了保守性与常项的引入和消去规则的协调性之间的联系,并定义了两种较强的协调性概念,即HCU-协调性和HML-协调性概念。借助这两个概念,本文论证,tonk不是HCU-协调的也不是HML-协调的,因而它不是合法的逻辑常项,Tonk-逻辑也不是一种合法的逻辑系统。     

“子项不相容”的划分规则对概念间的“相容并列关系”是否起作用?

编辑同志: 《形式逻辑》(中国人民大学哲学系逻辑教研室编)一书中概念部分有这样的论述:概念之间有相容并列关系和不相容并列关系。不相容并列关系略写,单说相容并列关系。见图: 明确概念外延的逻辑方法中,即划分法的三条规则其中一条:子项不相容(子项之间为不相容并列关系),否则犯子项相容错     

漫话三段论规则

现在一般讲传统逻辑三段论的规则,第一条就是:一个三段论有且只有三个不同的概念作词项(直言命题的主谓项)。这实在不是三段论的规则,而是三段论定义的一部分.不是恰好有三个不同概念作词项的推理,就不是三段论(但不必不有效),它与三段论规则没有关系。三段论规则是三段论有效(正确)的充分必要条件.它们是: 一、中项至少周延一次.     

休谟原则与弗雷格定理

弗雷格《算术的基本规律》中二阶逻辑理论FL是不一致的,在语法上可以推演出罗素悖论,在语义上,矛盾于康托尔定理,进而是不可满足的。通过仔细考察弗雷格的逻辑系统FL、FL的子系统FA以及算术还原为逻辑的推理过程,可以看出弗雷格在用公理五与概念的数的显定义推演出休谟原则后,不再实质依赖于公理五与概念的数的显定义。休谟原则与带完整二阶存在概括规则的二阶逻辑组成的系统FA是一致的,并且足以推出戴德金皮亚诺系统的五条公理,这实质上给出了不同于皮亚诺公理系统的另外一种算术公理化系统。根据自然数的定义,弗雷格实质上利用数学归纳法证明了每个自然数都有后继存在,加上后继的唯一性,弗雷格就保证了无穷多的自然数的存在。     

上期《逻辑学试题》参考答案

一、(填空,略) 二、1.定义是以简短的形式揭示概念内涵的逻辑方法。它的规则是:(1)定义必须是相应相称的。(2)定义概念不得直接或间接地包含被定义概念。(3)除非必要,定义概念不应包含否定概念。(4)定义应当清楚、确切。2.如果两个概念的外延完全不相容,而外延之和等于其最邻近的属概念的全部外延,那么这两个概念之间的关系就是矛盾关系。如果两个概念外延完全不相容,而外延之和小于其最邻近的属概念的全部外延,那么这两个概念之间的关系就是反对关系。举例略。     

弗雷格《概念文字》理解的两点注记

文章旨在简要地讨论弗雷格《概念文字》,指出其中的两个重要但被一些国内学者误解或忽略的贡献：首先我们指出,根据Boolos等人的论证,弗雷格《概念文字》中的逻辑本质上是带完整二阶存在概括规则的二阶逻辑,这点在国内一些学者的著作与文章中存在误解;其次,我们讨论弗雷格如何用遗传性概念来定义祖先关系,进而定义自然数或有穷数,并使得数学归纳法仅根据自然数的定义就得以成立,这也为弗雷格把算术还原为逻辑奠定了基础。     

“同一根据”是划分的主要规则

概念的划分,必须同时遵守划分的各条规则。这是不是说划分的各条规则居于同等地位,起着同样的作用呢?不。各条规则的地位和作用是不能等量齐观的。“同一根据”规则具有制约着其它规则的效力;而其它规则是“同一根据”规则的展开和补充。划分是明确概念外延的逻辑方法,通过划分把母项概念分成若干子项概念,这就决定了划分必须是相称的,子项概念外延之和与母项概念在外延上要相应相     

肯定判断的宾词有时周延吗?

李老师: 我是××中学的语文教师。为教好高中语文课本上的逻辑知识短文,我看了不少逻辑书。这些书讲直言判断(中学教材叫简单判断)中的名词周延问题时,都说“肯定判断的宾词不周延”。可是在概念章里讲定义的规则时,第一条又都说“定义要相应相称”。既然如此,主、宾词不就完全重合了吗?这个全称肯定判断的主词周延,宾词不也周延吗?既然“有的肯定判断的宾词周延”是真的,那么“肯定判断的宾词不周延”不就是假的了吗?除定义之外,有些释义(如,“冠就是帽子”),有的定理(如,“等腰三角形两底角相等”),也是这样,所以都可以简     

关于语境的一个逻辑模型

本文从对一元价值谓词“好”、“坏”和二元价值谓词“更好”之间的关系出发,首先回顾了偏好逻辑中用二元价值谓词定义一元谓词的各种方案。然后,文章介绍了vanBenthem利用语境从一元谓词定义二元谓词的工作。文章着重分析了在这一背景下语境的概念和性质,并提出了两种逻辑的方法刻画语境。本文重点给出了语境的模态语言、语义模型,并对涉及语境变化的三条有效规则进行了深入讨论。     

论逻辑后承概念

塔尔斯基在其1933年的论文中基于自己开创的语义学定义了形式化语言中真这个概念。然后,他在发表于1936年的本文中,在真这个概念的定义的基础上,第一次为后承概念提出了一个实质恰当的定义,即“句子X从类K的句子逻辑地得出当且仅当K这个类的每个模型也是句子X的模型”,使得逻辑后承这个现代逻辑核心概念的定义成为标准定义。但是,这个定义也遗留了一个更为根本的问题,即逻辑词项和非逻辑词项的划分标准问题,后者将由塔尔斯基本人在1966年给出了一个划分标准,从而开辟了一个方兴未衰的逻辑哲学研究方向。     

中国传统文化中的死亡定义

死亡定义是现代生命伦理学中一个重要的问题.在现代医学背景下对死亡定义或死亡概念的探讨开始于20世纪30年代,在60-70年代,由于脑死亡问题的出现,这种讨论达到其顶峰,它涉及到医学、社会学、法律学、公共政策等各个方面.我们这里要探讨的是中国文化中的死亡定义,然而,在这样的探讨作出之前,我们必须找到一个定义死亡的原初理论,而这个理论在中国传统文化中并不存在.我们这里要特别提到罗伯特·威契(Robert Veatch)的死亡定义理论[1].     

浅议“定义”的定义

目前国内出版的许多版本的逻辑教科书,在谈到什么是“定义”时,都认为:定义是揭示概念内涵的逻辑方法。例如: “定义是通过一个概念明确另一个概念内涵的逻辑方法”(中国人民大学哲学系逻辑教研室编《形式逻辑》,中国人民大学出版社1984年版第36页)。“定义是揭示概念的内涵的逻辑方法”(金岳霖主编《形式逻辑》,人民出版社1979年版第41页)。“定义就是明确概念内涵的方法”(诸葛殷同等《形式逻辑原理》,人民出版社1982年版第49页)。     

我怎样给中学生讲定义知识

定义是揭示概念内涵的逻辑方法,逻辑研究定义的形式结构及规則。这些定义知识在学生的学习中用处很大,我总是结合定义知识在学习中的运用给他们讲解这些知识。一、怎样理解课本中的定义1、定义的结构善于学习的学生都知道,要学懂课本中的科学概念,就要注意钻研、推敲它的定义。尽管定义的内容千差万别,定义的表述各异,但它们都具有相同的逻辑结构。一个具有这     

超模态逻辑K[T_m,K_n]

本文试图从逻辑的角度来探讨语境依赖现象,一类特殊的语言语境依赖现象,即模态命题语言中模态算子在复合句中因位置不同而意义不同的这类现象。主要工作是从语义学方面对D.M.Gabbay关于超模态逻辑理论进行扩充。首先,通过泛关系语义学和D.M.Gabbay的"模转换"概念建立起了与Gabbay相同的超模态逻辑语义学。在这基础上,定义了模转换范式,并证明了范式的存在定理,使得所有超模态逻辑的讨论都转换为对其范式的讨论。其次,对K、T两种模态算子,在任意框架上进行一般性的推广,得到一类超模态逻辑类K[T_m,K_n]。再通过翻译定理,找到了一批内定理,以及证明了一些不成立的推演规则,如必然化规则和等值替换规则。     

偏好变化的一个量化模型

偏好是哲学、博弈论、决策论和效益理论等学科的核心概念,偏好及其逻辑性质在行为哲学和理性选择理论中尤其占有十分重要的地位。偏好的概念使得我们对世界的看法变得多姿多彩,它驱使着我们在尘世的种种行为选择。然而,偏好不是静止不变的,建议、命令、以及其他的信息不断改变着我们的偏好。近年来,逻辑学家们开始对偏好的改变进行深入的研究。到目前为止,关于偏好变化的模型主要有以下两种：第一、采取AGM理论研究偏好变化,给出变化的逻辑公设。第二、采用新近发展起来的动态认知逻辑的方法,对偏好的具体变化机制进行研究,给出动态偏好逻辑系统。无论是上面提到的哪种方法,都是采用定性的视角,即,偏好被表示成一个序关系。与此相反,本文采取量化的视角来研究偏好,利用偏好赋值函数给出偏好的量化语义。就逻辑语言而言,我们给出一个包括命题常元的新语言。这个语言既简练又富于表达力。基于这样的量化语义,处理偏好变化的方法就与以往的方法有所不同。根据经典的乘积更新的机制,我们提出了新的加法规则和一个参数化规则,来刻画偏好赋值的细微变化之处。同时,我们给出一个动态认知赋值逻辑,并证明其完全性。此外,我们还考虑道义逻辑最近的一些研究成果,表明本文给出的模型同样适用于道义的情境。特别是,这个新的模型能够解决困扰人们已久的义务冲突问题。最后,针对赋值偏好模型,我们定义了适用于它“赋值互模拟”。而且,我们还进一步给出了一个新的互模拟概念“距离互模拟”以结束本文。     

例谈选择题的解答和注意事项(续)

第四,在其他部分的练习中,都要求考生认真牢记各种思维形式的规则和普通逻辑基本规律的要求。 如定义的规则,直言判断直接推理的规则,三段论的规则等等,对于这些规则,我们不仅要熟记,还必须能进行举一反三的应用。比如:演绎推理中充分条件假言推理的规则之一是:肯定充分条件假言判断的前件,就能肯定其后件。用此规则,我们就可以构成以下几种具有不同要求的习题。 一种题意为:以p→q和p构成前提,可得出     

汉译文明确概念的一种方法——定义语言形式的正确使用

“用下定义的方法明确概念,在科学中被广泛地应用着。”定义是明确概念内涵的逻辑方法,即通过揭示概念所反映的事物的本质来明确概念的内涵。任何一部科学著作都有大量的科学定义和语词定义。但是,