图尔敏的论证域和论坛

图尔敏是逻辑学实践转向的重要理论先驱之一。他所倡导的论证逻辑理论或实质逻辑既从法律论辩实践中来,又到法律论辩实践中去。《论证的使用》(1958)虽然发起了对符号逻辑范式统治的挑战,但主要是从理论上论证逻辑(形式证明)和修辞学(不诚实的说服)之外的第三条道路——分析实质论证的中介方法。叙述了体现图尔敏逻辑思想的一般论证理论的论证域或论坛。     

法律论证的逻辑——试论法律逻辑的定位

法律逻辑作为法律实践中极其重要的法学方法论,我国的理论与实务界对其定位与研究方法都存在一定的争论。回顾了西方近现代法哲学界对法律与逻辑关系的探讨,这些探讨,特别是20世纪70年代以来在西方法哲学界所兴起的法律论证理论,为中国法律逻辑的定位提供了新的视角与维度,中国的法律逻辑应定位为法律论证的逻辑;20世纪中后期在西方逻辑学界所兴起的非形式逻辑思想,为中国法律逻辑的理论研究与实践提供了新的方法与理论基础。     

试论法律逻辑的品质

法律逻辑的品质就是法律逻辑这种逻辑所具备的一些个性或者特征,是法律逻辑不同于"普通逻辑"之处。法律逻辑所具有的自身品质是:突出实践性,带有题材性,其推理的结论可以有效性和合理性两个标准共存,其逻辑基础是非形式逻辑等。     

逻辑固法:对法律逻辑作用的感悟

虽然在近百年的西方法学中,逻辑的功能受到了一些学者的批判,但必须看到,法律与逻辑有着不可分割的联系。从法律方法论的角度看,逻辑规则在解释法律、论证法律的时候有固定法律意义的功能。所以,法律学人必须认真地对待逻辑尤其是形式逻辑。这对法律思维方式的形成、法制建设、法学教育等有着重要的意义。     

法律逻辑简论

法律逻辑是一门学科,有其独立的研究对象,是一门主要研究法律思维形式及其逻辑方法的科学,法律逻辑可归属于应用逻辑之列。法律逻辑的研究包括两个层次：逻辑在法律中的应用与系统化的法律逻辑。     

从《论持久战》看辩证逻辑的论证原则

论证(包括证明与反驳)是逻辑学研究的重要内容。无论传统逻辑还是目前国内高校广泛使用的各种形式逻辑(又称普通逻辑)、符号逻辑教本,都把它作为一个重要研究内容。先看形式逻辑。试从目前国内影响最大的《形式逻辑》(金岳霖主编)和《普通逻辑》(吴家国等编写)来说,都设专章研究论证。由于论证要综合运用各种思维形式和逻辑方法,要遵守思维的基本规律,所以它与形式逻辑的其它内容有着密切的关系。可以说,形式逻辑理论是把论证作为逻辑学的总结来论述的。     

法律发现、证立的范围及其区分

法律论证是法律方法论的一个非常重要的内容。法律论证中所包含的法律发现与证立则是运用法律方法论的重要手段。所以,如何在法哲学领域中给法律发现和证立以正确的定位,是我们正确运用法律方法论作为理论指导以解决实际问题的关键。     

交互时态信念逻辑及其模型检测

交互时态认知逻辑(ATEL)是对交互时态逻辑(ATL)的扩展,但是它只刻画了知识,没有探讨信念的刻画问题.给出广义并发博弈结构,以模态算子的形式在ATL的语法层面给出了三种信念算子,在广义并发博弈结构下给出其语义,建立了交互时态信念逻辑(ATBL).给出一个多项式时间模型检测算法,并证明了ATBL的模型检测复杂度为PTIME-complete;给出并证明了ATBL的若干良好性质,比较了相关工作.对Agent认知形式化作了进一步探索,为多Agent系统研究提供了一个较好的形式化工具.     

逻辑学论证实践中的法律逻辑

在学界对法律逻辑共识的基础上,从认识论的角度探讨论证实践中的法律逻辑问题。主要探讨了论证实践的划分、论证实践的重点及法律逻辑在论证实践意义与有限性等问题。作为一门动态发展的工具,法律逻辑的根本旨要就在于对论证实践的贡献。     

试论基本逻辑方法在科学发现中的作用

逻辑(指普通逻辑)作为一种工具或方法,不仅是表述论辩的有效工具,而且也是科学研究和科学发现的基本方法。这是因为逻辑除去具有表述论证的职能外,还具有从已知进到未知的认识职能。因此,探讨逻辑在科学研究和科学发现中的作用问题,既是应用逻辑,也是科学方法论的重要研究课题。科学研究,既要有正确观点指导,又要有符合科学研究实际的方法。不同性质的科学,有不同的研究对象,也有不同的认识方法和研究方法。科学方法既有其一般的规律,又有其     

法律逻辑的两个基本问题:论证结构和论证型式

当法律逻辑采用以论证为基础的方法进行构建时,法律论证的宏观结构分析以及证据推理、法律解释和适用的推理所使用的论证型式,就成为法律逻辑的两个基本问题。图解方法有助于诉讼双方理清各自的论证路线,也有助于裁决者整体把握诉讼双方的论证结构并进而评价其论证力量,更有助于裁决者在裁决书中向当事人和公众有力地证明判决的正当合理性。论证型式的使用,在适当的条件下,不仅丰富了证据推理的手段,而且赋予或增强法律解释和法律适用的正当合理性。     

不动产善意取得再探

善意取得作为保障交易安全、维护整个市场经济秩序的必须的法律制度安排，一直是以动产交易物为构成要件的。动产善意取得的直接的逻辑基础源于占有的推定力和公信力，其理论基础在于对交易安全的追求。不动产善意取得的直接逻辑基础为登记的推定力及公信力，其理论基础同样源于对交易安全的保护。传统的善意取得只适用动产是历史的惯性使然，登记的公信力作为抽象的原则不能直接达到保护不动产交易安全的目的，不动产善意取得制度的建立不仅可能而且必要。     

关于批判性思维在学术研究中的几个问题——兼议演绎在批判性学术中的功能

从定义、演绎方法两方面讨论学术研究中批判性思维的根基,从批判性思维的基本逻辑条件、论证的约束与堪许问题两方面讨论批判性思维与论证组织关系,从原文论证约束与研究者的关系、演绎论证的复原两方面讨论论证以演绎复原问题。从批判性思维的发展轨迹与基础出发,以逻辑手段,揭示批判性思维的学术功能与价值。     

多元逻辑函数的基础等价变值表示

传统的逻辑函数表示以AND-OR和OR-AND这2种逻辑函数标准范式为代表.基于变值逻辑体系,描述了一类基础等价变值表示,将经典的多元逻辑表达式转化成为变值等价表示形式.选择二元0-1函数集合列表,按真值和变值表示作为典型示例,并给出了2个函数表示结果.     

信仰的失落与提升———基于现代性语境的道说

信仰作为精神事件表现出即情感即理性的倾向,是人的绝对超越性的表征,其发生根源于人对自身生存意义的追寻.基于人本主义逻辑的启蒙与现代化的双重变奏,在知性的高扬中开启了人类生活的世俗化进程.在市场经济与大众文化的双重夹击中,传统社会所信奉的绝对价值土崩瓦解,信仰的失落成为现代社会不得不承受的精神苦难.然而苦难总是与拯救共生.信仰的提升只能来自于人从沉沦中的自拔.这种自拔根源于理性的自我范导,因为理性的本性是自由.     

《等待戈多》的语言特色

塞缪尔·贝克特的《等待戈多》是荒诞派戏剧的经典,其创作主题、创作风格及创作手段完全不同于传统的戏剧形式。《等待戈多》的对自体现了西方人信仰破灭后的尴尬处境及其对被拯救的渴望。     

周易象数算法与象数逻辑——中国文化之根探源的新视角

中西方具有不同的思维方式.表达中国的"象思维"只能是"象语言","象语言"的逻辑不是形式逻辑,而是"象数逻辑"."象数逻辑"通过"取象去形",以"无形之象"追摹自然变化之序而创立推演体系,包括比类推理与太极推理两大推理法则,且深涵价值底蕴.中国"象数逻辑"较之西方形式逻辑与辩证法,更具本原性,内涵更丰富,包容性更大,其以"象数算法"为基础,但蕴涵其中,并未分化成为独立学科.而中国古代数学本为体用不二之完整体系,洛书、周易之"象数算法"与中国古代数学之"机械化算法体系"一脉相承.吴文俊对中国古代数学的继承创新,不仅对人类数学史,对当今数学发展意义重大,而且也为今天创建现代的中国语言学、逻辑学,为中国科学的自主创新提供了重要的思想与方法论启示.     

畲汉陈十四信仰的比较研究

陈十四信仰在畲汉两族的生活中扮演了重要角色,畲汉两族在陈十四传说的内容与陈十四信仰的形式上体现了同质性,但在陈十四传说的口述形式、记录文本以及民众对陈十四信仰的艺术展演上则表现出异质性.共同的心理诉求是畲汉两族对陈十四信仰趋同的重要因素;畲族对汉族强势文化的认同是畲汉两族陈十四信仰同质性的中坚力量;畲族民族意识的延续是畲汉两族陈十四信仰异质性的核心原因.     

无权处分情形下合同效力问题研究——对最高院审理买卖合同纠纷案件适用法律司法解释第3条的解读

合同法司法解释三（买卖合同司法解释）第三条规定了无权处分情况之下处分合同有效,至此,善意取得制度以合同有效为构成要件的阻碍已经消除.善意取得制度的本质在于“善意”,是法律对实务中这种特殊现象的一种总结和对交易安全的特殊保护,与合同的效力并无逻辑关联;此外,判断合同的效力不应区分买受人的善意与恶意,因为买受人在签订合同之时仅仅只能对出卖人是否愿意与之签订合同的负担行为有认识,对出卖人是否有转移所有权的意思的处分行为永远是“善意的”;在出卖人“善意”出卖他人之物的场合,可以依是否构成重大误解来进行解决.     

中美中小学体育教学展示课的比较研究

采用文献资料、观察、逻辑分析等研究方法,对中美中小学体育教学展示课进行了比较研究。结果表明:我国体育教学展示课是基于体育与健康课程标准来设定教学目标;美国体育教学展示课的目标是以SPARK课程目标体系为基础来制定的。两国在基本教学内容选择上都是在体育与健康的理念上进行的,但是,国情的差异使得两国在具体的教学内容选择上差别很大。