联合演算何以可能

一无谓词逻辑和类逻辑都不能完全反映传统词项逻辑的特征。亚氏逻辑与命题逻辑一样，都是二值逻辑。三段论蕴涵式比命题蕴涵式复杂，它表示一种特殊的蕴涵关系。希尔柏脱和阿克曼认为，对命题演算符号可作谓词演算的解释，也可作类演算的解释。通过对谓词的新解释，可以在命题演算、谓词演算与类演算之间建立起完全的类比，从而把传统推理的有些形式作现代逻辑的处理。这一联合演算思想虽未发育成熟，却能够为我们全面、深入地理解词项逻辑、谓词逻辑、类逻辑和命题逻辑之间的关系，特别是传统逻辑与现代逻辑的关系开辟广阔的空间。     

从谓词逻辑的观点看传统词项逻辑推理中的空词项

传统词项逻辑推理有许多不适用于空词项,性质命题之间的对当关系和9个直言三段论有效式只有预设主项或谓项存在才成立。传统词项逻辑用自然语言进行描述,常常使人们知其然而不知其所以然。如果用谓词逻辑理论将其形式化一步一步地进行演算,人们就会感到豁然开朗。     

论新词项逻辑及其教学

词项逻辑所有的推理都可以借助于类的关系和类的性质清楚而简洁地表述出来。本文借鉴集合论的语言重新表述性质命题推理,给出了相应的集合语义,论证了在逻辑通识课上用这种新逻辑取代词项逻辑的合理性和可行性。     

“侔式推论”质疑——兼析“杀盗非杀人”的命题

在《墨经》的《小取》篇中,辟、侔、援、推等通常被研究者看作不同的推论形式,并称之为辟式推论、侔式推论、援式推论、推式推论,等等。其中,对侔式的讨论较多。 在各家的研究中,对于“侔”有着不同的看法。有的将它当作类比推理;而多数研究者将它看作附性法推理;近年又有人提出“侔”是一种关系推论,这种观点逐渐受到重视。总之,无一例外地都把“侔”当作推论,只是在它属于何种推论的问题上产生了分歧。     

名称的涵义与指称——从穆勒到克里普克

对名称的涵义与指称的研究是逻辑哲学的一个重要课题。在近代逻辑史上,穆勒和弗雷格代表了名称理论的两个方向。穆勒对词项作了内涵词项与非内涵词项的区分,前者指示实体又蕴涵属性(如通名),后者只指示个体而不具有涵义(如专名)。弗雷格则坚持:在一个完善的语言中,所有名称无一例外地既有指称又有涵义。本文遵循历史发展的脉络,对从穆勒到克里普克的名称理论作了综述和评论,在此基础上,作者建构了新的关于专名的可能世界簇摹状词理论。     

甘岑后继式演算系统与其自然演绎系统的比较

《逻辑演绎研究》(“Untersuchungen über das Logische Schliessen”)是甘岑提交哥廷根大学的就职论文,文中甘岑提出了两种逻辑演算系统,即“自然演绎”和“后继式演算”系统。从自然演绎开始甘岑尝试构造一个接近数学实际推理的逻辑演算,而后针对自然演绎系统的不足进行了转化和改进,构造了后继式演算系统,并证明了该逻辑演算系统的合理性。甘岑的逻辑演绎思想在逻辑史上具有十分重要的地位,对现代逻辑和证明论的发展具有深远的影响。     

科技翻译中的逻辑推理

对源语翻译过程是一个逻辑思维过程，推理作为基本思维单位，央翻译过程中。科技翻译中常采用的推理形式主要为因是要式，上下文式、类比式和隐喻式。逻辑推量在科技翻译趴有实用性和必要性。     

正结合演算

从结构推理的观点来看,结合演算是一种很弱的逻辑,因为它仅容纳一种结构规则,即“结合规则”。正结合演算作为一种“正命题逻辑”,是结合演算的基础。本文构建了正结合演算结构推理系统BL和对应的公理系统B,阐述了结合演算拒斥“交换规则”、“收缩规则”和“弱化规则”的理论意义和应用价值,证明了系统BL和系统B的等价性。     

试论主项为空对传统逻辑基本理论的影响

从现代逻辑的角度看,传统逻辑在主项存在问题上存在有严重缺陷。去掉直言命题的存在含义后,将会给传统的词项逻辑理论带来很大影响。在主项为空时,关于直言命题的对当关系推理、换质推理、换位推理和三段论推理等许多推理形式不再普遍有效。     

对逻辑推理四大基础类型的反演算和非演算

用中华传统8大阴阳矛盾范畴分析数学中的开闭区间,得出相同、相似、相异、相反这4大逻辑推理基础类型问存在着三极对立统一的组成关系,进而提出涉及此组成关系的逻辑推理基础类型的互蕴公理及其描述内涵的反演算和逻辑外延的非演算。由此说明：只有将对逻辑词的外延否定演算和对描述词的内涵否定演算对称互补起来,这才可能形成一个较为完善的现代数理逻辑关于能指否定和断定否定相互结合的逻辑演算体系。     

浅析二难推理

二难推理是假言选言推理中的一种形式,是一种特殊的辩论工具.传统逻辑学认为二难推理是由两个或两个以上的充分条件假言判断和一个选言肢数与假言判断个数相等的相容选言判断作前提推出一个简单判断或选言判断的推理形式.然而,二难推理的假言前提不仅有充分条件,而且有必要条件和充要条件;选言前提有相容的,也有不相容的.二难推理共有28种有效推理形式.     

与归纳推理相关的两类博弈活动

博弈逻辑中存在着演绎推理和归纳推理,混合策略博弈和复重博弈,使用归纳推理的两类博弈活动.     

英语反义词的判断及其反义关系的逻辑解析

反义是一种非常重要的语义现象,语义研究绝不可轻视它的存在。英语反义词不仅限于反义词对,也包括具有对比关系或对立关系的多项词词群。英语反义词必须具有共同的词义系统和概念系统、相同的词性和语法功能,能共同出现在某种语境中,形成对立或对比现象。根据逻辑原理,我们认为英语反义词之间只存在两种复杂关系:一种是两个概念语义上绝对相反,逻辑上相互排斥,之间可进行非此即彼、非彼即此的推演的“矛盾”关系;一种是两个概念外延不同,相互排斥,但不能进行非此即彼、非彼即此的推演的“反对”关系。     

大学生科技英语翻译中的逻辑判断

科技英语翻译中的逻辑判断越来越引起英语课程教学的重视。从大学生科技英语翻译实践看,科技英语翻译注意词汇、省略句、时态三方面的逻辑判断,避免理解偏差,达到科技翻译的要求。     

推理链：科学发现的逻辑新论

科学发现有没有逻辑的争论,由来已久.有人称其无,有人说其有,还有归纳派和演绎派的形同水火.究其实,争论是由逻辑观--传统形式逻辑和现代数理逻辑的不同引起的.其实,归纳派和演绎派各执一端,各有长短,彼此是相通的,类比、归纳和演绎整合的推理链,才是科学发现的逻辑.     

二难推理新探

现行普通逻辑教材关于二难推理的内容有两个问题值得商榷：一是把二难推理形式局限于充分条件假言二难推理，而将必要条件假言二难推理排除在外；二是对二难推理规则的提法似有不足。二难推理的全部正确推理形式应是八个，而不是四个。二难推理的规则仅仅是保证推理形式有效的规则，并不涉及前提内容的真实与否。深入探讨二难推理的形式和规则，不仅具有一定的理论意义，而且有规范实际思维、防止逻辑错误的实际意义。     

关联语境理论对等效翻译的解释作用

关联理论是一种认知语用理论,强调语境效果,翻译则是一个认知推理的交际过程,二者有着共同的研究对象,即语言理解和表达。从关联的角度出发,实现等效翻译必须通过关联来获得最佳的语境效果的理论;再从词义确定、情景理解和文化关联三个方面论述语境在实现等效翻译中的重要作用。关联语境对等效翻译的这种解释力是相对的,而不是绝对的。     

哲学逻辑对判断的非反否定演算研究

形式逻辑是关于断定的逻辑（Logic），辩证逻辑是关于描述的逻辑（Logos）。通过对性质判断的非反否定演算，将形式逻辑的断定否定演算，辩证逻辑的描述否定演算，认知模态逻辑的真假断定否定演算与规范模态逻辑的对错断定否定演算及其相互间的辩证否定演算，都归结为非和反的哲学否定演算。由此，所述四种相对独立的逻辑演算分支就可通过哲学的非反演算而内在地统一起来了。