论假言定罪三段论——刑事审判思维模式研究

对假言定罪三段论在司法实践中适用的广泛性、表现形式、推理过程以及为保证结论真实还应注意的其他问题进行了深入的探讨与研究     

演绎推理的新形式

对于演绎推理,一般逻辑读物都规定:充分条件假言推理,否认前件不能否认后件,承认后件不能承认前件;必要条件假言推理,承认前件不能承认后件,否认后件不能否认前条;相容选言推理,承认一部分选言肢不能承认或否认另一部分选言肢;三段论,如果中项在两个前提中都不周延,就不能得结论。如果违反了这些规定,推理形式就是错洪的,亦即是按照这种推理形式进行推理,即使前提是真的,结论也不必然是真的。但是,我们认为,这种规定实际上只适用于结论是实然判断的演绎推理。倘若结论不是实然判断而为或然判断     

反例在初中数学教学中的作用

反例即与命题相矛盾的特例。在数学发展史上，反例的作用是不可替代的。在初中数学教学中，反例的运用也是相当广泛的。恰当的反例不仅可以简捷地解决具体的数学问题，使学生牢固掌握数学知识，而且在举反例的过程中发展了智力，使学生在许多出乎意料的结论中打开眼界，拓宽思路，对数学产生浓厚的兴趣，从而提高学生的数学思维能力。反例在初中数学教学中的作用不可低估。1举反例挖错根，强调重要条件任何定理、公式、法则都有其条件，即应用范围，如果忽视了应用范围，解题就会出现谬误。例1已知。1，2：2是关于。的方程。’－（k－2）。…     

论定罪三段论的基本形式

定罪三段论是指以罪名定义为大前提,以对被告人在被控案中的行为事实的断定为小前提,并把小前提所断定的行为事实与罪名定义相对照,从而对被告人在被控案中的行为作出法律评断的推理形式。这个法律评断是定罪三段得的结论,其内容是认定被告人在被控案中的行为是否构成了某罪。由于定罪三段论的大前提是罪名定义,因此,根据罪名定义的种类及其分解,定罪三段论可分为简单定罪三段论、复杂定罪三段论和假言定罪三段论,前两种是定罪三段论的基本形式,本文仅就这两种形式进行探讨。     

论波爱修斯与古代逻辑

波爱修斯是古代逻辑向中世纪逻辑发展过程中最重要的哲学家.他翻译和注释了亚里士多德的<工具论>;探讨了波菲利关于共相的三个问题;对假言命题和假言三段论进行了深入的研究,在斯多亚学派之后重新奠定了命题逻辑在整个逻辑学说中应有的地位.波爱修斯的逻辑理论是中世纪逻辑学进步的主要源泉.     

认知语境视域下指类句的语用认知

认知语境的凸显性和关联性使得人们在指类词和指类句的谓语部分之间建立起了某种常规性关系。指类句的反例容忍根本原因是反例存在的客观性,认知语境的模糊性使得储存在大脑中的反例信息在言语交际时被隐藏起来。认知语境的开放性为目前零反例指类句提供了产生反例的可能。     

特定语境与三段论的省略式

众所周知,三段论是由大前提、小前提和结论三部分构成的.由于三部分间有严格的逻辑制约关系,根据其中两部分,能够补出另一部分来,所以,往往可以省略一部分而保留另两部分,传统逻辑学称之为三段论的省略式,即省略大前提,省略小前提和省略结论的三段论.但在思维实践中,如果有特定语境的帮助,还可以省略三段论的两个部分,只保留其中一部分,这就是本文所要分析的只保留大前提,只保留小前提和只保留结论的三段论的省略式.由于只保留大前提的三段论应用最广,形式最典型,所以准备主要以这种形式为例进行分析.一、什么是只保留大前提的三段论     

关于必要条件假言命题的条件转换规则与有关复合推理的类型

当前,有许多传统形式逻辑教科书对必要条件假言命题与充分条件假言命题的条件转换很少提及,或者提及也未作条件转换的逻辑规定.另外,关于假言命题的有关推理,如假言易位推理、假言选言推理、假言联言推理、假言联锁推理等在充分条件假言命题推理中的内容有所研究,而对必要条件假言命题与推理的研究却还比较薄弱.这些问题,应当引起我们的重视.     

假言推理研究的进程与展望

假言推理是前提中有一个为假言命题,并且根据假言命题前件与后件之间的关系而推出结论的推理.假言推理研究的进程大致可分为两个阶段:第一阶段是从20世纪60年代至70年代末--问题提出阶段,第二阶段是从80年代初至现在--理论发展阶段.纵观假言推理研究的进程,可以发现以往的研究存在着一些缺陷或不足,这是今后关于假言推理研究应该着重关注和解决的问题.     

试论形式逻辑的对象及几个有关问题

本文拟对形式逻辑作一初浅的界说,这不可避免地要涉及几个有关的问题.一、形式逻辑及其研究对象17世纪末,波尔·罗亚尔的逻辑问世,这是一本修道院学生用的逻辑教科书.该书论述了名词、命题、推理等.在推理中既包括了三段论,也包括了假言推理、选言推理;此外还论述了方法论,其中涉及到了归纳推理.这本书对以后逻辑教材的编著产生了深远的影响.现在通常所说的形式逻辑,既包括三段论、假言推理、选言推理,也包括归纳推理,这似乎可以说是从波尔·罗亚尔逻辑开始.这种形式逻辑是一个教科书体系,演绎与归纳虽是不同的科学体系,但作为教科书,没有什么不可以把它们编辑在一起的.本文所要界说的形式逻辑就是这种包括传统演绎与归纳在内的,教科书体系的逻辑.