亚里士多德的必然三段论

本文从亚里士多德关于必然三段论的原文出发，考察了亚里士多德的必然三段论的系统、证明方法和排斥方法，在此基础上构造了一个严格形式化的必然三段论的自然演绎系统，克服了亚里士多德的必然三段论理论中的不精确之处。     

先验演绎的正确格式与康德的自然偏离

范畴是感性杂多提升为意识(经验)的条件,这是康德先验演绎的核心,它采取的是目的论式的存在阐明思路,而不是通过对知性能力的揭示来证明范畴向感性杂多运用的必然性.在前者中康德只能抽象、外在和偶然地说明二者之间有关联.但按照感性与悟性分离的预设和先验演绎的宗旨,应该以后者的方式把先验演绎看成一个逻辑证明要求,即论断知性内在地拥有关于范畴与杂多的关联及其作用机制的普遍原理,因而特殊的感性杂多必然被自然识别而激起其对“权利”的行使.这就要求针对先验演绎问题使用综合方法制作必须包含先验的“杂多”概念的关于知性活动原理的普遍命题,而不能从感觉经验的事实出发以分析方法回溯其条件.然而,由于康德为先验演绎所选定的逻辑起点即抽象的“我思”没有承载和推进综合方法的理论构建能力,所以致使他不可能作此演绎设想.     

函数完备的n+1值逻辑公理系统的强完全性

构建多值逻辑系统可以有多种方法,如表列、自然演绎、根岑演算、希尔伯特型公理化等等。建立一个n+1值多值逻辑的希尔伯特型公理系统,利用极大一致集方法可以证明它的完全性。证明利用了一个特殊的否定词,比其他方法更为简便。该证明方法还可以证明该系统是函数完备的。     

对肯定美学的论证

肯定美学对自然美学与环境美学均极有价值,然其自身尚不成熟.艾伦·卡尔松为肯定美学提供了三种证明,即适当性证明、范畴创造证明和综合证明,是对肯定美学独特、系统和富有启发性的说明.这是从认识论角度解决价值论的尝试.以认识论解决价值论问题本身存在逻辑困难,卡尔松的三个证明亦均嫌主观,故而并木成功.立足当代环境哲学,生态学证明论证整体自然之审美价值,内在价值证明论证微观自然对象之审美价值,二者结合,正可构成关于自然审美价值根源的理论基础.     

诉讼证明的构成环节及运行法则

诉讼证明是一个行为体系,它的构成需要有一系列必不可少的要素,包括证明主体、证明对象、证明手段、证明责任和证明标准等。这些要素构成了证明制度所调整的对象。证明的要素是静态的概念,证明的动态性主要表现在它所恪守的基本原则和所运用的方法上。对证明的基本原则和基本方法之揭示,深化了证明制度的内容,描述了证明制度发展的历史阶段性。     

数理逻辑中的归纳定义和归纳证明

运用数学归纳法能证明一个表示逻辑定理的全称命题的真实性,即通过证明一集合对象具有某性质,从而证明该集合所有对象具有该性质,其原因在于用归纳法证明的集必须首先是一个用归纳定义给出的归纳集,它是与自然数集相同的最小归纳集,它具有封闭性,即:如果该集合的初始元有某性质,并且有一生成函数使得在初始元基础上,可不断生成新的元,如果这些生成元也有该性质,那么由生成元运用生成函数所生成的其他生成元,也有该性质,于是可断定,该集合中所有元都有该性质.归纳集所具有的这种封闭性质,就是数学归纳法原理.它是一前件真而后件不能假的蕴涵命题,因此归纳证明实际是通过证明它的前件(奠基和归纳两步)真,从而证明后件(归纳命题)必然真的演绎证明.     

论语法翻译法和交际教学法相结合的必要性

第二语言习得理论中的监检假设证明语法翻译法便于学生丰富英语知识,提高使用英语的准确度和英语读写译的能力,而其中的输入假设证明交际教学法则便于学生提高使用英语的流利度和英语听说能力。大学英语教师应结合使用语法翻译法和交际教学法进行教学,使学生打下扎实的语言基础,提高英语综合运用能力。     

当事人和辩护人:我国刑事诉讼的证明主体

传统观点认为，刑事诉讼的证明主体是司法机关及司法人员，当事人和辩护人不是证明主体，或者不是严格意义上的证明主体。对此，笔者有不同的看法。本文从刑事诉讼的特点、目的、诉讼程序的推进、对司法机关的监督等方面论述了当事人和辩护人作为刑事诉讼证明主体的必要性及其意义。     

高校人力资源管理课程案例教学探析

案例教学是人力资源管理课程增强学生分析、解决实际问题能力的必然要求。针对高校人力资源管理课案例教学存在的主要问题，其应对策略为：精心选择适合的案例，处理好案例教学法与传统教学法的关系，调动学生参与案例教学的积极性，提高教师自身素质和教学技能，改善案例教学条件。     

论交际策略在大学英语教学中的运用

交际策略是交际能力的一个重要组成部分，在外语习得中具有重要的作用。大学生交际策略能力的培养，应该从注重强化策略意识、以练促学入手，将交际策略能力训练贯穿在日常课堂教学中，积极创造自然交际环境，并针对学生个性因材施教。督促学生把积极运用交际策略与不断地有意识地学生新的英语知识相结合，让学生在学得语言知识的同时，能够自如地运用这些知识，从而实现有效的实际目的。     

论充足理由律在法律推理中的作用

在审判过程中,法官的法律推理活动总的表现为以法律规范为大前提,以确认的案件事实为小前提, 前通过二者的联结进而得出结论的演绎论证模式。该模式表明的只是审判活动的总体思维结构,其 中,特别是对案件事实的确认,即小前提的建立,和在此基础上“寻找”或援用可适用于此案件事实的 法律依据,即大前提的建立,都包含了比较复杂的思维活动,涉及到许多逻辑问题。其中逻辑思维规 律中的充足理由律在法律推理过程中的作用尤为突出。     

构建人类历史科学的四大前提

马克思认为,自然科学往后将包括关于人的科学,这将是一门科学。于是,对社会历史的认识就应当与人类的科学认识相一致。我们在深入分析复杂的社会系统时,也发现了＂人的生存、人的自然、人的思维和社会结构＂是社会得以存在和发展的四大前提。这样,人类历史科学的基本构架就是由马克思提到的四条公理再加上开放性这一外部条件而构成的一个科学体系。这个体系的逻辑演绎将借助科学进化理论的研究成果,进一步阐述其运动形态和演化规律,最后的实践检验环节将从历史的和现实的社会实践来予以证明。     

诉讼中的证明与法律文书中的证明初探

司法诉讼活动总体上可分为两大阶段:从司法机关立案到法院认证结束为第一阶段,可谓诉讼证明阶段;从诉讼证明结束到宣判为第二阶段,可谓文书证明阶段。前者是思维与实践的有机统一过程,后者则是一种静态的逻辑论证过程。二者在诉讼证明活动中各有功用,前者是后者的基础,后者则是前者的完整表现形式。     

深空探测与人类思维方式的变革

人类的科学活动已经超越地球,进入到地球以外的其他天体。随着深空探测活动的深入,必然会在传统的自然观、方法论和思维逻辑等方面引发一系列变革。深空探测使"自然"的内涵得以扩充,由地球延伸到宇宙,人与自然的关系也更加复杂化;在对外星球的认识方法和思维逻辑上,也由过去以演绎、类比为主到现在的以经验归纳为主。正是自然观、方法论与思维逻辑等方面的变革,使人类对外星球的认识有可能完成由科学假说向科学理论的过渡,从而构建严格意义的宇宙经验科学。     

演绎证成的认知解读

演绎也是需要证成的,这如同把所有以逻辑推理为基础的科学大厦放置在一个火山口上,随时有崩溃的危险。论文在对各种演绎证成进行评判的基础上,从认知主体的角度分析,认为演绎证成其实也是一个逻辑全能问题,演绎证成在认知主体层面上才需要辩护,从而维护科学大厦的基础。     

简析社会学理论检验中的演绎方法

通过介绍和分析社会学中的演绎逻辑,提出演绎逻辑在社会学理论检验过程中具有假设推演的重要作用,这同它在自然科学中扩充知识的功能不同。社会学中的演绎逻辑具有逻辑演绎和经验演绎两种类型,它们具有各自的优点及不足,因此在社会学理论检验过程中应将两者有机结合,扬长避短。     

知识论中理性主义的基本类型及其历史变迁

西方知识论中理性主义的类型演变显示出这样的发展轨迹:作为人的主观思维能力的理性概念,是从本体论所设想的宇宙理性概念中衍生出来的,在其逐渐精神化和狭义化后,最后才在知识论中专指人的逻辑推理性思维;知识论中理性主义也由绝对地信赖逻辑理性,相信只要运用严格的演绎或归纳程序就能获得可靠的科学知识,逐步转向承认逻辑理性的有限性和可错性,承认理论假说的形成是一个非理性的创造过程,逻辑理性只在检验理论假说的科学性时才起核心作用,而且只能证伪谬误,并不能证实真理。     

译者汉语逻辑能力对翻译能力发展的影响研究

以参加CATTI二级笔译考试的60名英语语言能力相当的应试者为研究对象，通过问卷调查和汉语逻辑能力测试等手段收集数据，考察汉语逻辑能力对CATTI笔译考生翻译能力发展的影响。实验发现：汉语逻辑能力与所有考生翻译能力发展显著相关；汉语逻辑能力能够直接预测所有考生译文产出质量。这表明语言能力到达一定阶段后，翻译能力发展显著受到译者母语逻辑能力影响，因此译者需重视自身汉语逻辑能力培养。     

从英语写作看中西思维模式差异——语篇分析法

思维模式决定语言表达,在跨文化交际过程中的语篇又反映了不同文化背景下的思维模式的差异.而这种差异从本质上取决于不同文化背景下的人们的不同价值观念取向以及各自的礼貌面子方略的运用.在语篇的层次上则主要表现为"归纳式"和"演绎式".因此,教师应从认知的角度改进教学方式,从本质上提高学生的写作能力.     

对高校普通物理教学策略的探讨

物理是一门趣味十足的自然科学,然而物理也是一门需要用相当多的时间去探讨实验的学科,因此,对于高校普通物理的教学而言,应采用更多的逻辑思维策略,给学生提供可感知、可接触和可体验的物理,让学生在过程中学习知识、获得知识,在过程中“全人”培养目标。