亚里士多德的混合三段论形式系统AS2

在给出了亚里士多德三段论显示法证明的形式刻划的基础上,建立了亚里士多德混合三段论的形式系统。用显示法证明了第二格Baroco○□□式在亚里士多德混合三段论系统中是有效的,指出亚里士多德混合三段论系统的有效式应为14个,而不是13个。     

因三相是三支式形式有效的充分条件

三支式与三段论在形式结构上有共同点，也有不同点。三支式只近似于三段论第一格的AAA式。因的第一相，从质上看，相当于三段论第一格的特殊规则：小前提必肯定；从量上看，小前提必全称。因的第二相要求大前提为肯定，因的第三相与亚里士多德的B属于C全类理论等价，保证了中项周延一次。     

反三段论新探

反三段论是“人们日常思维实践中经常用到”的一种推理。本文运用现代逻辑的方法 ,就它的定义、种类、有效推理式及其内在结构、推理规则等作了全新的探讨。特别是给出了全新的定义 ,把反三段论分出三个种类——充分条件反三段论、必要条件反三段论和充分必要条件反三段论 ,并对其内容、有效推理式和内在结构作了阐述和论证。     

狭义复合三段论及其理论意义

狭义复合三段论及其理论意义焦献民（新乡市委党校）一、问题的提出复合三段论旧称前后三段论式，它的省略形式─—连锁三段论旧称堆垛椎论。它的定义通常表述为：复合三段论是由几个三段论联结在一起构成的，其中前一个三段论的结论作为后一个三段论的前提。由于此定义具...     

论复合三段论

三段论是演绎推理的基本形式之一。它有简单和复合的两种类型。传统逻辑对简单三段论讨论得较为透彻,也最有特色。但是,对复合三段论却极少论及。本文试对复合三段论的逻辑结构,类型及其规则做初步探讨。     

自然演绎系统:亚里士多德的“第二种逻辑”

关于亚里士多德三段论的性质一直是一个争论不休的问题。其中的一个焦点问题就是亚里士多德的直言三段论是蕴涵式的系统还是推理规则的系统。卢卡西维奇的《亚里士多德的三段论》代表了第一种观点,而相反的观点则认为亚里士多德的三段论是由推理规则组成的,是现代逻辑中的自然演绎系统的早期形式。     

谈恢复三段论的完整式

恢复三段论的完整式,首先要把省略掉的命题补出来。而要补出省略掉的命题,最关键的是在原省略式中找到两个概念,然后根据三段论推理规则确定要补出的命题的联项,最后根据思维习惯、语言习惯和一般常识把省略掉的命题补出来,从而恢复三段论的完整式。     

更新三段论理论体系的我见

为了补救传统逻辑教材对三段论部分讲述的缺陷，本文从“提出三段论推理原则”、“深化对‘式’的研究”、“分格制定三段论推理的规则”、“引进现代逻辑的检验手段”四个方面提出了更新三段论理论体系的意见，对逻辑科学的现代化有一定的参考意义，特别是关于用真值在法与求合取范式法检验三段论推理有效性的问题，更有理论价值。     

定罪三段论是一种独立的推理的形式

定罪三段论是司法审判实践中最为常见的一种推理形式。它包括简单罪名定义的定罪三段论和复杂罪名定义的定罪三段论。定罪三段论不同于传统三段论，有其自身的突出特点，是一种广泛而有效的推理     

具体三段论的简化欧拉图判定方法探索

普通逻辑是从直言判断的A、E、I、O这四种质量结构形式方面研究直言三段论的,我叫它质量三段论,其形式我叫它质量形式,简称质量式。质量三段论所确定的有效式只是人们思维中的一少部分。人们一直有一种愿望,寻找一种方法,能判定所有的直言三段论,排除所有的错误式和确定所有的有效式。所谓“广义三段论”、“扩充三段论”都是这种努力的结果,但都不能实现人们的这个愿望,其规则也不易于为人们的日常自然语言思维所运用。用欧拉图解法固然可以,可是推理的欧拉图有近一半是麻烦或很麻烦的,难以为人们的日常思维所使用。本文提出一种判定方法,既能实现人们的这个愿望又十分简易。 具体判断和具体三段论,直言判断按主项、谓项的外延关系不同分有五种:主项和谓项为全同关系的叫全同判断,为种属(真包含于)关系的叫种属判断,为属种(真包含)关系的叫属种判断、为交叉关系的叫交叉判断、为全异关系的叫全异判断(反对关系和矛盾关系无区分的必要)。分别用符号表示为:S(?)P、SP、S(?)P、S(?)P;读作S全同P、S种属P、S属种P、S交叉P、S全异P。每种按质量(单称归入全称)不同分又各分为4种。这两方面结合分共20种,我叫它们具体判断,其形式叫具体形式,区别于A、E、I、O质量形式,用符号表示如(?)SAP、S     

逻辑三段论与司法三段论

逻辑三段论与司法三段论既有联系又有区别,但司法三段论研究却对逻辑三段论多有曲解,甚至将两者简单等同。文章对这一不当认识及其产生根源进行分析,指出逻辑三段论与司法三段论在推理模式、评价标准等方面都有根本不同。     

关于定罪三段论

定罪三段论特殊论的主张是错误的,定罪三段论必须遵守三段论的规则。否定式定罪三段论的问题可以通过定义置换方法或推理变换方法予以解决。     

《孟子》假设复句初探

复句的大量使用是先秦诸子散文代表性著作《孟子》的特色。本文选取其假设复句作为研究对象,试图探究其语法格式的表现形式和能表现的语法意义。并且想寻找出产生这些语法格式的原因     

从关系逻辑的观点看三段论

从关系逻辑的观点看,三段论并非如卢卡西维茨所认为的那样是根据普遍词项的A、E、I、O关系所进行的推理,而是根据类的分子与类的分子的等同于或不等同于关系所进行的推理。三段论是量化的间接关系推理。三段论逻辑,是比命题逻辑、量词逻辑更为特殊的逻辑,用一般的量词逻辑是无法说明所有三段论有效式的有效性的。     

关于语词的内部形式

内部形式是合成符号的语法结构和语义结构之和 ,理据则是语言符号发生、发展的动因 ,二者应该区分开来。内部形式的生成是一个历时的现象 ,它在词汇发展史上具有划时代的意义。现代汉语是一种内部形式非常发达的语言     

刑事法律论证的逻辑基础探析

法律三段论是刑事诉讼中控、辩、审三方所采用的最基本的法律论证模式,其背后的逻辑基础是什么,目前主要有三种观点:根据传统观点,法律三段论的逻辑基础是直言三段论;演绎逻辑基础论者主张演绎逻辑是法律三段论的逻辑基础;反演绎逻辑基础论者基本上否定了逻辑在法律审判中的作用。现实主义法学派的反演绎逻辑基础论观具有片面性,法律三段论应有其逻辑基础,应以非单调逻辑作为逻辑基础,用缺省规则表达无罪推定规则,重新修订传统法律论证理论,探讨刑事法律三段论的逻辑基础问题。     

论定罪三段论及其在法庭审判中的作用

在审判工作中,不能把定罪三段论视为一般三段论,定罪三段论是在审判工作的思维实践中总结出一种新的推理形式,定罪三段论在审判工作中具有重要作用。     

逻辑判断在司法三段论中的作用探讨

法律中的逻辑判断的表现形式就是法律推理。法律推理主要运用于司法领域,其逻辑模式是三段论法,大前提是法律规范,小前提是案件事实,结论是法律规范赋予案件事实的后果。逻辑判断在司法三段论中的意义是:体现现代法治理念;体现法律的科学性;提高司法效率。谨守逻辑形式并避免谬误可以说服别人,并给予司法判决正当性,维护法律的科学性和确定性。     

法官判案思维之模式

法官是法律职业共同体的重要组成人员,法律职业最重要的表现就在于思维模式的特殊性。“审判权”是一种判断权,但是法官判案的思维方式和一般的判断活动具有明显的不同,带有深刻的职业胎记。“三段论”式的思维模式和“绝对自由裁量”式的思维模式是法官判案思维的两种极端表现,但是揭示了法官判案思维的基本特性。我们应该将两者予以适当的调和,发展出修正的“三段论”思维模式。     

论渎职罪的罪过形式

关于渎职罪的罪过形式,目前我国刑法学界有以下几种学说:单一罪过说、复合罪过说、混合罪过说和模糊罪过说等.本文对上述各说进行了概述和评析,进而提出,在司法实践中应采取单一罪过说的立场,即:刑法分则渎职罪章所规定的个罪的罪过形式是单一的,要么是故意,要么是过失;且多数为故意,少数为过失;其中,滥用职权型(包括徇私舞弊型)渎职犯罪是故意犯罪,玩忽职守型渎职犯罪是过失犯罪.