简析直言模态命题间的真假关系及其推理

所谓直言模态命题是指以传统的直言命题A、E、I、O为基础,加上模态词“必然”(□)或“可能”(◇)之后所形成的下面八种命题□SAP□ SEP□ SIP□ SOP◇SAP ◇SEP ◇SIP ◇SOP在上面八种命题中,彼此间也存在着同传统直言命题对当关系相类似的真假制约关系.为了便于记忆,我们可用下面的图形显示出来□SAP □SEP□SIP □SOP◇SAP ◇SEP◇SIP ◇SOP这一图形所显示的对当关系及其有效推理式可概括为以下四类:一、矛盾关系及其推理在八种直言模态命题中,具有矛盾关系的有如下四组:□SAP与◇SOP□SEP与◇SIP□SIP与◇SEP□SOP与◇SAP存在矛盾关系的两个命题,不能同真,     

皮尔士的主要逻辑哲学思想述评

C.S.皮尔士(1834—1914)是美国的数学家、逻辑学家和实用主义哲学的奠基人。他一生写过很多关于哲学、逻辑学和数学方面的论文,但他最大的贡献还是在逻辑学领域中。可惜的是,目前人们对皮尔士的逻辑思想的探讨大都局限在形式逻辑(比如逻辑代数、关系词逻辑)的范围内,而对他的逻辑哲学思想却很少涉及,即使有所涉及也只是局限于某一方面。其实,皮尔士的逻辑哲学思想是比较丰富的,而且大都很有创造性,直接影响了现代逻辑学的发展历程。因此我们对皮尔士的逻辑思想的探讨,是不能忽视他的逻辑哲学思想的。 下面我们从几个主要的方面对皮尔士的逻辑哲学思想作一个简要的,大致的评述。 (一)皮尔士对逻辑学性质的看法 皮尔士对逻辑科学的许多有价值的贡献与他对逻辑学性质的看法是分不开的。他认为,逻辑是“一种记号理论”,即研究“关于记号,特别是符号的、必然的一般规律的科学”。①这门科学包括三个部门:首先是“纯语法”,即研究记号有意义所必须遵守的条件;其次是“逻辑本部”,即     

区间估计─—一种值得提倡的统计椎理

区间估计─—一种值得提倡的统计椎理苑成存估计是一种统计推理，它有定值估计和区间估计两种，目前一般逻辑论著中讲到的统计推理主要是前者．从前提和结论的逻辑联系来看，定值估计和区间估计并没有实质上的不同，它们都是一种或然性推理，即归纳推理．但是我们一定要看...     

辩证逻辑基本特征浅议

辩证逻辑的研究对象是什么?作为一门逻辑科学,它研究的内容有哪些?这是自辩证逻辑产生以来就一直争论的问题.如何正确认识这些争论问题对辩证逻辑来说具有至关重要的意义,因为它不仅是我们正确地把握这门科学的根本性质和基本面貌的基础,而且也是我们正确解决其它一系列问题的前提.一 辩证逻辑究竟应以什么为研究对象呢?毫无疑问,作为一门“逻辑”科学,它也应以研究思维形式为主,否则它就不是逻辑科学了,同时,作为一门“辩证”逻辑,它所研究的思维形式又应当和形式逻辑所研究的思维形式有根本的区别,否则它就没有必要单独存在了.那么,辩证逻辑所研究的这种思维形式应当是什么呢?我们认为应当是科学理论.这样说首先是建立在对辩证思维根本特点的认识基础上.我们知道,辩证思维的根本特点是思维的具体性,而这种思维的具体性又是思维辩证发展过程的结果,因此要搞清思维具体性的本质,就必须对思维辩证发展过程的特点有所认识.从形式上看,作为思维辩证发展过程而由抽象上升到具体是一个概念、范畴的不断流动和转化,进而产生范畴体系的过程,它表现为由一个概念过渡到另一个概念,再过渡到其它的概念,如此循环往复,使认识第一条道路所提供的有关抽象概念和范畴以先行和后继的方式排列起来,成为一个统一的整体     

也谈充分条件和必要条件的定义

假言命题是人们在实际生活中应用得比较广泛的一种思维形式,在逻辑学中占有十分重要的地位.由于假言命题是断定事物情况之间的条件关系的命题,因此,对假言命题来说,条件是最重要的,为了准确地把握一个假言命题的逻辑意义,必须首先弄清它所反映的条件的性质.在逻辑教科书中,各种条件的性质主要是通过充分条件、必要条件和充分必要条件的定义来体现的.但是我们要看到,在充分条件和必要条件的定义上,逻辑教科书的作者们是理解不一的,有些人(我们称为甲方)认为:     

统计归纳推理的加强形式浅析

统计归纳推理是归纳推理的主要形式,作为归纳推理,它是以一些统计数据或资料为前提,以概率演算为基础,由样     

谈归纳法的职能

归纳逻辑自产生以来,一直是西方哲学家、逻辑学家所关注的重要领域。作为科学方法论研究的重要课题,归纳逻辑也一直是人们争议研究的重要课题,归纳逻辑也一直是人们争议最大的问题之一。围绕着归纳逻辑实际上有两个方面的问题:一是归纳作为科学理论的发现方法或准则如何评价,二是归纳作为科学理论的检验方法或准则如何评价。     

图示和列表法在演绎逻辑教学中的运用

逻辑是一门复杂、抽象的知识学科，学生掌握它往往感到很困难，经常出现只知其然，不知其所以然的现象。我们若能在教学中适宜地运用一些直观方法，如欧拉图示法、真值表法等，那么对于深入浅出地介绍逻辑知识／帮助学生理解、掌握知识，将会起到一定作用。下面就从词项逻辑和命题逻辑两个方面简要地谈谈直观方法在演绎逻辑教学中的运用。（一）欧拉图示法在词项逻辑教学中的运用。欧拉图示法的基本出发点是用圆圈表示一词项的外延，在圆内用符号标明该圆所表示的词项，并用两个或两个以上圆圈间的离合来表示词项外延间的异和同，由于词项逻…     

对归纳法职能评价的历史综述

对归纳法职能评价的历史综述苑成存如何看待和评价归纳祛的职能，这是自归纳逻辑产生以来西方哲学家、逻辑学家一直争论的一个问题。围绕着这个问题，人们的争论主要集中在两个方面，一是如何看待归纳法在科学理论发现中的作用，二是如何评价归纳法在科学理论检验中的作用...     

贝叶斯推理方法探讨

贝叶斯推理作为一种推理方法是从概率论中的贝叶斯定理扩充而来。经过扩充,贝叶斯定理仅由适用给事件测定概率变成也能给假说测定概率(可信度)的工具。但如何确定先验概率的数值是贝叶斯推理中一个很重要而又困难的问题,这个问题还有不同看法的争论,还未获得很好的解决。