关于复合判断等值证明的方法初探

本文认为关于复合判断等值证明的方法,除一般常用的真值表法外,还有转换法与负判断法。所谓转换法是指将一种复合判断转换成另一种复合判断,以观其是否等值的方法。所谓负判断法是指将负判断引入证明过程,推出负判断,以观其是否等值的方法。     

试论真值表及其在负命题教学中的应用

真值表是关于命题真假值的图表,真值表可以用来定义复合命题中的逻辑联结词。运用真值表法,可以对一个复合命题的真值予以确定,对两个复合命题之间是何种关系进行判别,并可以判明复合命题推理形式是否有效。文章还进一步论述在负命题的教学中,学生较难理解的是复合命题负命题的等值命题。将真值表法应用到负命题教学中,可以通过真值表这个直观的工具,解决学生仅靠自然语言难于理解的问题。使他们进一步掌握复合命题及其等值命题之间的关系,并能够熟练地交替运用。这样就可以使思维灵活全面,使语言表达更加丰富多彩。     

直言命题的同质等值换位推理

对于直言命题的变形推理,传统上认为A命题只能换位为I命题,O命题不能换位。但实际上通过欧拉图我们可以证明A、O命题是能够进行同质等值换位的。它符合传统的直言命题变形推理规则,只不过A、O命题换位以后的同质新命题的主谓项与原命题的主谓项具有矛盾关系。随着A、O命题同质换位确定后,我们可以认为直言命题的换位推理应该是同质等值推理。     

负判断相应等值判断的验证

任一负判断都有其一个或几个相应的等值判断,本文通过数理逻辑中的真值表,用数学中的一些方法和步骤,对负判断的等值判断是否成立进行验证,更加有力地说明和论证其科学性。     

论非经典三段论有效推理的量与逻辑特征——兼与程仲棠教授商榷

含有负名词的直言命题变形推理后,根据经典三段论的推导规则,能够合乎逻辑地进行推导,并由此构建含有负名词的非经典三段论系统。非经典三段论突破了经典三段论的有效推导模式,扩大了直言三段论的推理范围,使三段论有效推理式由传统的24个增至41个。但引入负名词的非经典三段论的推导依然要遵循经典三段论的推导规则。     

论英语篇章主题思想和形象与翻译

本文根据等值论，阐述了英汉篇章的翻译。不仅要研究篇章表层、深层、修辞层三个层次的等值转换的问题。更要研究在译文中如何体现出原文深层的主题思想和形象，以及环绕主题思想的论证推理的过程、逻辑推理的脉络和原文中形象的典型性、思想内容和社会意识。从而在译文中体现出原文语用层表现主题思想和形象的言语风格的修辞特色，这是最终达到译文篇章与原文篇章三个层次最大等值的关键。     

普通逻辑学习纲要(二)

第六章复合判断及其演绎推理(二)学习本章,应注意掌握的重点是:1.什么是充分条件假言直言推理?其推理规则和有效形式是什么?违反推理规则会犯什么逻辑错误?2.什么是必要条件假言直言推理?其推理规则和有效形式是什么?违反推理规则会犯什么逻辑错误。3.什么是充分必要条件假言直言推理?其推理规则和有效形式是什么?违反推理规则会犯什么逻辑错误?4.什么是假言选言推理?它有几种形式?5.什么是负判断?什么是负判断的等值判断和等值推理?重点掌握四种负性质判断及其等值推理、六种复合判断及其等值推理,要记清其等值式。6.掌握用真值表判定两个复合判断是否等值的方法。对上述内容应能做到:第一,掌握充分条件假言直言推理、必要条件假言直言推理、充分必要条件假言直言推理的规则,能正确识别、分析其任一推理是否正确,如不正确,要能指出其违反什么规则。犯了什么逻辑错误,还要能写出其推理的逻辑形式。第二,掌握各种负性质判断和负复合判断的逻辑形式,     

含有预设的推理与推理的有效性

推理的全部前提可以看作这一推理的预设。日常的具体推理往往是省略的推理，有些前提并未明确给出，在这种情况下，对预设作全面的分析就尤为重要。与此相关，考察经典逻辑和模态逻辑中的某些推理规则，讨论这些推理规则在日常推理中的有效性问题，是十分必要的。     

必要条件假言命题若干问题新探

就必要条件假言命题的汉语表达式及其分类、判定真假依据、负命题的等值式，以及以此类命题作前提的反三段论等问题，作出了全新的探讨。归纳出16种汉语表达式，并加以分类；认为：必要条件假言命题的真假只能依据其前、后件之间客观上是否具有必要条件关系之标准来判定；认为p←q实即→p→□→q，其否定式是“→p∧→□→q”，而不是“→p∧q”；揭示了必要条件反三段论的内涵、逻辑结构，并给出了它的有效推理式。     

关于假言命题的几点思考

在假言命题的逻辑值问题，以及假言命题负命题的等值形式问题上，都需要进行重新认识，否则无法反映假言命题，及其负命题的本质特征。     

复合判断组合推理的逻辑语法、语义和语用

复合判断组合推理是以复合判断为前提，并采用一定的组合方式而构建的推理。在一一组合方式的基础上，本文首先给出了复合判断组合推理的各种模式，然后对推理模式进行了语义说明，采用真值表的方法对模式的有效性进行了判定。在语用中，着重介绍了各种推理模式的使用方法，并通过构建具体推理对推理模式进行了解释。     

等值问题在大规模考试中的研究——以上海市信息科技学业考等值研究为例

为改变“一考定终身”的影响,实现多次考试的目标,等值技术可以为大规模考试项目提供科学、可行的数据处理技术支持。文章以上海市普通高中信息科技学业水平考试为切入点,在具体分析其等值环境的基础上,结合国内外主流等值术,提出了符合等值设计原则的科目等值数据采集设计方案和后期的数据等值机制,以期实现科目考试等值目的。并将方案推广至不同等值环境的大规模统一高考外语科目以及其他高中学业水平考试。保证考试的可比性和公平性,实现改革科学地落地。     

关联理论指导下的等值翻译

语言转换的过程受到一系列复杂因素的影响,绝对等值在翻译中是不存在的,但是有效的翻译是可以实现的目标。关联理论把翻译视为一个涉及大脑机制的认知推理的交际过程,翻译本质上是一个译者在原语认知语境和译语认知语境间寻求最佳关联性的过程。译文作为一种阐释性文本在内容上必须与原文相似,并且使译文读者像原文读者一样没有付出不必要的推理努力就达到足够的语境效果。原文与译文关联度相对应的语用等值翻译是获得有效翻译的最佳途径。     

运用数学推理应注意的问题

数学知识，不论是公式、法则，还是运算定律，都是从已知的概念和公式、法则通过数学推理得出的。在小学数学教学中，常用的推理有演绎推理、归纳推理和类比推理。 　　一、注意演绎推理的前提 　　演绎推理是由一般到特殊的推理。“三段式论证”是演绎推理的基础和主要形式，它是由三个判断组成，其中两个判断为前提，另一个判断为结论。 　　例如：能被 2整除的自然数是偶数 (大前提 )　　16能被 2整除 (小前提 )　　所以 16是偶数 (结论 )　　“三段式”的结论是否正确，依赖于大小前提的正确与否。如果前两个前提都是正确的，那么结论就…     

论命题推理前提假值的先舍后取——兼及命题推理有效必然性的理论阐释

推理的目的在于使前提的真传递到结论，因而必须舍去前提中的假值。结论是以扩大断定范围的方式必然地保有前提的真。在验证推理是否有效时，将前提的真与假值均考虑在内，看结论是否完全包含了前提断定的事态(真)，以确定推理是否必然有效。     

翻译信息等值的悖论

翻译理论中的等值概念具有不同层面上的等值，其中信息等值是翻译等 值的基础，对翻译理论与实践都有一定的指导作用。本文探讨信息等值理论的历史源流和理论框架以及翻译信息不等值现象作为语言固有特点的语言学依据，并指出语言的这些特点对于翻译的信息化，科学化进程具有深远的影响。     

阐释——"等值"的前提

"等值"是翻译语言学派的一个重要概念,不同的翻译理论家试图依据某种语言学理论在不同的层面上取得等值,而对等值的界定也不太一致,有形式上的等值,也有意义上的等值,还有功能上的等值,但是所有对等值的讨论都未能注意到一个问题,即一切翻译等值的前提都是对原语文本的正确的理解,在这一点上语言学派并没有给予重视.正是基于这样的分析,我们可以看出阐释学的出现弥补了语言学派的不足,从源头处道出了翻译应该注意的问题.     

汉英诗歌翻译等值之我

本文通过详细的例子分析诗歌翻译的三种差异现象:信息增值,信息减值及信息失真和扭曲。并从语言差异,人类审美情趣的多样化,读者与译者的多层次,文学底蕴和文化历史知识获得的差异四方面来考察译文和原文等值偏差的原因。作者试图寻找诗歌翻译中等值觅得的可能性,并对翻译诗歌的等值的途径提出自己的看法,即在保证中心信息等值的前提下,再尽可能多的保留其他各项的等值,那么就获得了最大等值率。     

命题推理前提假值为何先舍后取？——兼及命题推理有效必然性的理论阐释

推理的目的在于使前提的真传递到结论，因而必须舍去前提中的假值。结论是以扩大断定范围的方式必然地保有前提的真的。在验证推理是否有效时，将前提的真与假值均考虑在内，看结论是否完全包含了前提断定的事态(真)，以确定推理是否必然有效。     

论法律推理的定义及特征

分析了几种典型的法律推理定义，给出了自己新的定义，即法律推理是特定主体在法律实践过程中，以已知的法律和事实材料为前提推导和论证法律结论的过程。这一定义反映了法律推理的基本特征。法律推理是一个知识创新的过程，具有内在的逻辑性、实践性。