模态判断对当关系具体内容解释浅议

模态判断对当关系具体内容解释浅议黄文超笔者觉得目前通行的许多逻辑教材对模态判断对当关系具体内容的解释不够明确、准确，有的有错误，令人产生疑惑甚至误解，给学习、讲授这方面内容带来一些困难和问题。本文拟将在学习与讲授这方面内容中产生的疑惑提出来并谈些粗浅...     

再论“逻辑方阵(对当关系)”的适用范围及其条件

许多逻辑教材将4种直言判断的"逻辑方阵(对当关系)"运用到同样是4个种类的模态判断和规范判断身上,从而导致了严重的逻辑混乱与错误。直言判断"逻辑方阵(对当关系)"的成立需要3个条件,其主要根基是对主项和谓项外延关系的穷尽分析,而所谓模态判断与规范判断的"逻辑方阵(对当关系)"却缺乏这些条件,因此是根本不能成立的。把"逻辑方阵(对当关系)"套到规范判断上是更大的错误。     

关于在模态判断及其推理教学中运用真值表方法的设想

在引入可能世界理论的基础上，文章设想通过构造关于模态判断的真值表，刻划出必然Ｐ、必然非Ｐ、可能Ｐ、可能非Ｐ和偶然ｐ的真值，来分析、揭示这几类模态判断的逻辑性质，以利找出对当模态推理、根据“实然”与“必然”、“可能”的关系而进行的推理和根据“偶然“与“必然”、“可能”的关系而进行的推理中的有效形式；在进一步将真值表改造后，用以刻划各类复合模态判断的真值和判定各类复合模态推理的正确与否。     

模态对当关系三题

(■)模态方阵中的“P”和“■”各代表什么判断?现代逻辑确定,“必然■”,“可能p”,“必然■”,“可能■”四种模态判断之间,具有可以表示为一个逻辑方阵的如下一些对当关系:     

“或”字句的逻辑分析

普通辑缉书用“或”字表达选言判断连结项,但“或”字句并不都表达选言判断,它除了表达选言判断外,还麦达联言判断、模态判断和性质判断等。表达联言判断时,其中“或”字有时相当于现代汉语中的连词“和”,有时是“有的”的意思,但都表并存关系;表达模态判断时,其中“或”字是表或然的模态词;表达性质判断时,其中“或”字一般表“等同”关系。     

理工科大学生学术英语口语非言语特征研究——基于多模态视角

基于自建多模态学术英语口语语料库，运用多模态互动分析方法，对中国理工科大学生学术英语口语中的非言语特征进行研究，重点分析非言语模态结构配置、模态特征和模态协同。结果显示：目光交流和声调为高强度模态，与主模态为补缺关系；手势、面部表情、身体移动和头部活动为次要模态，其中手势与主模态成强化关系，其他模态与主模态成交叠关系。学生在学术英语口语表达中倾向于运用目光交流和声调变换构成非言语交际，也有意识使用手势强化表达内容，但存在语气平淡、表情不自然、身体僵硬、缺乏情感等情况。     

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

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

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

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

多模态平面公益广告话语的互动意义的构建

本研究基于韩礼德的系统功能语言学,选取不同主题的平面公益广告,对其互动意义进行多模态研究。传统上对平面公益广告进行单独的文字模态的研究或单独图像模态的研究,已不能对话语、特别是媒体话语进行深入全面的分析。本研究把平面公益广告的文字模态和图像模态作为一个整体来研究,并研究它们之间的关系。本研究试图发现平面公益广告的文字模态和图像模态是如何一起构建互动意义,从而达到劝说读者的效果。     

同构、P-态射、互模拟与模态等价性

结构的模态等价性是指这些结构上有效性的模态公式恰好相同.本文比较了模型之间的三类关系:同构、P-态射、互模拟,从而得出互模拟关系概括了最大范围的模态等价性,因为模型之间的互模拟关系包含它们之间的同构关系和P-态射关系.同时,对框架等价性也给予了一定的研究,得出结论是:同构的框架一定是模态等价的,但具有另外两种关系的框架不一定是模态等价的.     

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

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

关于性质判断的两个问题

性质判断的传统理论中的对当关系问题和周延问题,需要重新探讨,并做些修正和补充。一对当关系问题关于同素材的性质判断的对当关系问题的传统理论,不是以现代逻辑关于关系的理论为基础建立起来的,以致它的某些内容,显得陈旧,某些概念不够明确。这个问题突     

基于相关分析的平面磨床动力学建模方法

模态置信度准则（MAC）是判断有限元模型正确性的有效方法,文章分别在固定结合面和非固定结合面下建立平面磨床的有限元模型,并利用有限元软件对之进行模态分析。同时,对平面磨床进行试验测试其模态,再以模态置信度准则分别前者进行判断。通过相关性分析得知,运用理论建模和试验测试相结合的方式建立的非固定结合面下的有限元模型具有更高的准确性。     

基于小波阈值降噪的轴承振动信号虚假模态剔除研究

对于机械智能故障诊断而言,信号数据的质量至关重要。针对试验数据的优化问题,探究了时域信号中虚假模态的剔除研究。传统方法只能剔除频域中的虚假模态极点,而对时域信号中的虚假模态成分并不能相应剔除,因此提出通过小波阈值降噪除去振动信号中的噪声成分,减少由环境噪声引起的虚假模态,并通过模态参数识别和稳定图观察降噪前后虚假模态的出现情况以判断该方法效果。通过旋转机械试验台数据的分析处理,证明该方法对于剔除虚假模态具有一定的作用。     

功能符号学视角下多模态演示的模态整合

介绍多模态的概念和功能符号学视角下的多模态话语研究,探讨不同模态之间的关系,从而对多模态演示的模态整合进行具体分析。通过科学选择和搭配多种模态,利用不同模态的协同、强化和互补来设计多模态演示,从多通道传达信息和表达意义。     

从模态矩阵到模态代数

模态代数语义学是模态逻辑的三大内容之一,从理论上看,对模态逻辑的发展起着深层次的影响作用。模态代数语义学的基本形式是模态矩阵。通过模态矩阵解决了一些模态系统的如判定性和完全性等重要问题。模态代数是最简单的一种模态矩阵。因为这一简单性便于作深入的研究,形成了摸态代数语义学偏重于模态代数的发展方向;由此还形成了正规模态逻辑的概念,以及相应地使模态逻辑形成了偏重于正规模态逻辑的发展方向。模态代数为关系语义学的产生提供了理论基础。     

有标假设复句表里关联模态构建的示例性研究

表里关联模态的构建是指在有标复句的语表序列跟层次关系之间建立一种映射关系,这一环节在有标复句层次关系的自动识别中至关重要。两句式、三句式和四句式有标假设复句表里关联模态构建的示例性研究是很有意义的,因为它验证了方法的可行性。而且更为重要的是,这种方法可以运用到其他有标复句表里关联模态库的构建中去,从而为最终实现有标复句层次关系的自动识别奠定坚实的基础。     

论复合判断形式之间的对当关系

在常见的形式逻辑教本中,对简单判断中的一类——直言判断——的研究是很充分的。直言判断之间的真假关系主要有矛盾、反对、差等和下反对四种关系。这几种关系又称为直言判断之间的对当关系,它们通常用一个逻辑方阵图来表示。 但是,在我国现有的许多形式逻辑教科书中,对于复合判断之间真假关系的研究和阐述却很不充分。仅仅局限于研究和阐述直言判断之间的逻辑关系,这对于现代的科学思维和日常     

近年来政府与非政府组织的合作关系研究综述

政府与非政府组织的合作关系问题研究是政府与非政府组织互动关系研究的重要内容,这不仅关系着政府究竟采取何种政策应对和促进社会发展,也关系着政府与非政府组织关系的走向。目前我国理论界从合作的角度对政府与非政府组织关系的研究还十分薄弱,主要不足反映在：1．对政府与非政府组织合作能力的动态研究不够;2．从执政党角度对政府与非政府组织合作关系研究不够;3．对政府与非政府组织合作领域的微观研究不够;4．对政府与非政府组织合作的途径研究不够。这四方面我国理论界在今后研究政府与非政府组织合作关系中应予以高度重视。     

基于ELAN的演讲视频多模态互动机制研究

近年来,多模态语篇分析已成为了语言学研究的热点。演讲视频是典型的动态多模态语篇。文章运用Norris提出的多模态互动分析理论,采用“模态密度前景?背景连续统一体（modal density foreground-background continuum）”的分析框架,以ELAN多模态分析软件作为模态标注工具,结合Norris提出的交流模态,对一则TED教育类动态多模态演讲视频中各交流模态在构建演讲信息中所起的作用以及这些模态之间的互动机制进行分析。研究发现在演讲视频的问题导入、问题提出、问题分析和问题解决这四个部分中各模态使用的强度和密度存在差异,言语交流模态与其他交流模态之间呈现强化、互补和并列关系从而共同构建多模态互动意义。