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

所谓直言模态命题是指以传统的直言命题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存在矛盾关系的两个命题,不能同真,

不同素材性质判断间是否存在真假制约关系

从传统逻辑观念看,性质判断间的真假制约关系即对当关系只存在于同素材的性质判断间,而同素材的性质判断是指主项和谓项都相同的性质判断,似乎不同素材的性质判定间不存在真假制约关系。如果性质判断间主项不同且谓项不同,这是素材完全不同的性质判断,它们间的确不存在真假制约关系;但对于主项相同或谓项相同的性质判断则不然,主项相同而谓项不同的性质判断间的确存在真假关系的制约关系。

立体逻辑方阵视域下直接复合命题推理系统研究

逻辑方阵理论经学界同仁不断探索,已由波依提乌的平面逻辑方阵向立体逻辑方阵转变。立体逻辑方阵表示包含两个自变元A、B的联言命题A∧B、相容选言命题A∨B、充分条件假言命题A→B、必要条件假言命题A←B及其异化形式之间的真假制约关系,据此视域可推演出直接复合命题推理系统。

性质判断中对当关系的教学方法

性质判断中同素材判断间的对当关系,是《形式逻辑》教学中的重点,也是一个难点。从多年的教学实践中,笔者体会到,这部分内容教师好讲,学生却不易接受。这主要体现在学生很难用实例说明对当关系中某一种真假制约关系。寻其原因,应是教师未能抓住突破难点的教学方法。

逻辑关系图示法──欧拉图、文恩图与逻辑多角阵及其应用

逻辑关系图示法──欧拉图、文恩图与逻辑多角阵及其应用徐冬海逻辑学中有许多抽象的逻辑关系，记忆起来费时费力，如果用图示方法，可以直观、清楚地表达出来，实践证明，逻辑图示方法不失为一种表达逻辑关系的好方法，它可以寓严密抽象的逻辑关系于直观形象之中，使“枯...

再议“实质蕴涵怪论”

实质蕴涵乃至整个现代逻辑不是“如果 ,则”等联结词的正确抽象 ,它只抽象了支命题与复合题之间的真假关系 ,而忽略了支命题之间的真假关系 ,并且以支命题孤立的真假偷换了相互关系下的真假 ,因而使真值抽象失去了合理性。现代逻辑是建立在这种不合理抽象基础上的理论 。

逻辑方阵也适用于复合命题之间

逻辑方阵可以直观地显示命题之间的真假制约关系 ,可以由其中一种命题的真或假而推知其它三种命题的真假情况。但多少年来 ,人们还只是把逻辑方阵仅仅局限在简单命题范围之内。

关于建立立体逻辑方阵的构想

真假制约关系问题是逻辑学界研究的热点问题。包含两个自变元的联言命题与相容选言命题、充分条件假言命题、必要条件假言命题,通过前肢互否、后肢互否、双肢互否和非双肢互否等方式形成的各个命题之间,仍具有真假制约关系,可在此基础上建立立体逻辑方阵。

立体逻辑方阵再探

立体逻辑方阵可表示八个命题之间的真假制约关系。包含两个自变元的联言命题、相容选言命题、充分条件假言命题和必要条件假言命题,通过非双肢互否、前肢互否、后肢互否和双肢互否等方式形成的命题与其负命题之间也具有真假制约关系,这些真假制约关系仍可用立体逻辑方阵表示,这为立体逻辑方阵的建立进一步找到了实际依据。

复合命题推理与立体逻辑方阵

立体逻辑方阵不仅可表示八个复合命题之间的真假制约关系,还可表示八个复合命题推理之间的真假制约关系。即简单复合命题推理无效式和复杂复合命题推理无效式的异变形式及其否定形式之间有真假制约关系。这样,立体逻辑方阵的表记对象不仅限于复合命题,还扩展到复合命题推理,具有普遍适用性。

再论逻辑方阵也适用于复合命题之间

命题的一个显著特征在于它有真假,把握了真假关系即是把握了命题的实质。逻辑方阵已经突破了历史上仅仅适用于简单命题之间的局限性,通过逻辑方阵可以直观显示复合命题之间的真假制约关系。

复合命题推理逻辑方阵类型研究

八个复合命题之间有真假制约关系, 逻辑方阵,尤其是立体的逻辑方阵能够将关系表 明,并且还能够将推理之间的真假制约关系表明。 简单复合命题推理和复杂命题推理的无效式中的 异变形式、否定形式之间也有真假制约关系,立体 逻辑方阵表也能够拓展其中,将其关系表达出来。 所以立体逻辑方阵既可以表达复合命题,还可以表 达复合命题推理,普适性较高。木文就复合命题推 理选择逻辑方阵表达展开研究。

论真值表在形式逻辑学科体系中的地位和作用

将数理逻辑的真值表引入到形式逻辑学科体系,不仅丰富了形式逻辑的教学内容,也为普及数理逻辑知识起到了一定的推动作用。近年来国内出版的许多形式逻辑教材,在这方面做了有益的工作,已经取得了可喜的成绩。但是,作为数理逻辑的真值表。

运用辩证法建立“假言推理”系统结构图示

运用辩证法建立“假言推理”系统结构图示杨礼清一、问题的提出形式逻辑，它包含有极为丰富的内容，是随实践的发展而不断深化着一门学科。在这门学科的“假言推理”中，内容多，规则不易掌握、关系复杂、结论真假难辩，是诸多推理方法中的一个难点。对不少人来说，“有之...

语言浓缩法与形式逻辑学

形式逻辑亦称普通逻辑,是一门研究思维的逻辑形成、思维基本规律及简单的逻辑方法的科学。它是人们正确认识客观事物、获取新知识的必要工具;也是人们准确地表述思想、严密地论证思想的重要工具;还是帮助人们识别、驳斥并战胜谬误与诡辩的锐利武器。学习、掌握并运用形式逻辑的知识对于提高人们的思维水平、科学研究能力和工作效率具有十分重要的意义。然而由于其研究对象十分抽象,加之内容复杂、繁多。

对传统逻辑现代化的再建议

所谓对当关系,就是具有相同素材的SAP、SEP、SIP、SOP四种判断之间的真假制约关系.一般的逻辑教科书,讲判断必讲对当关系,讲推理必讲对当关系推理.但一般讲传统逻辑的书关于对当关系的理论的说明是不够严密、不够完善的.对当关系为什么正确?有的逻辑教科书是用实际事例来说明的,尽管举不出反例,但毕竟用的是不完全归纳法,不完全归纳法是不能证明它的普遍性的.有的书借助欧拉图来说明,这是一种直观的说明,仍不是理论的论证.有的书想从理论上来论证,但由于限于传统逻辑这个范围,工具不够,因而也没有满意的效果,而且在考虑这个问题的时候,视野比较狭窄没有充分注意演绎推理各部分之间的内在联系.

一个直观性很强的真值表

逻辑学是以思维形式为主要研究对象的科学。普通逻辑研究思维形式是研究某一思维形式的真假逻辑特征和各种思维形式之间的真假逻辑关系。就这一方面而论,命题这一思维形式表现更为明显,不管是简单命题还是复合命题均如此。某一复合命题的真假逻辑特征和复合命题之间的真假逻辑关系的判定,目前逻辑学界普遍借助于一种图表——真值表,这种真值表包括命题变项的真假情况组合部分和在命题变项的某种组合下,复合命题逻辑特征所显示的真假值部分。例如,要判定p∧q的真假值,可作真假表如下:(我们用“1”表示“真”,用“0”表示“假”)

试论戏剧叙事中的辅助性情境

巴特认为,核心与催化是构成行动的基本内容。相对而言,核心数量不多,但是故事的真正铰链。催化是行动的具体形式,比如,罗密欧追求朱丽叶,构成主体和对象关系,故事的核心行动得以建构,但是,罗密欧如何追求朱丽叶,则属于催化的范围。从这个意义上来说,核心决定故事的方向,催化则是故事的血肉,充满着核心之间留下的巨大叙事空间。辅助性情境,就是影响和推动辅助性行动发生的关系、环境和情况。本文在叙事学理论的基础上提出辅助性情境这个概念,并通过对中外经典戏剧的分析来阐述辅助性情境与核心情境的关系,辅助性情境在叙事中的功能及其种类,诸如核心情境关系的扩展、真假关系、环境的机缘、人物的处境等等。本文认为,基于叙事学的戏剧情境理论既是一种戏剧创作理论,更是一种研究方法论。

立体逻辑三角阵探析

真假制约理论是逻辑理论的重要组成部分。笔者以立体逻辑三角阵为分析工具,直观而全面地反映命题之间具有的复杂的真假制约关系,并根据“平行移行”规则有序地对对应的逻辑方阵进行推导,以便完整而系统地掌握命题之间的逻辑关系理论,指出了既有的命题之间真假关系研究的不足。