在线期刊

逻辑与认知[2004年第4期]

  • 会议综述

  • 逻辑哲学

    • (梁彪)·数学基础论的三大流派

      本文对20世纪出现了有关数学基础论三大流派作一些简要的分析。逻辑主义认为数学可以化归为逻辑,集合论悖论的发现给逻辑主义者造成重大的打击,逻辑主义失败的原因在于他们没有看到逻辑与数学之间存在着质的区别。直觉主义否定非构造性数学即古典数学,其...[详细]

  • 法律逻辑

    • (熊明辉)·论法律论证及其评价

      法律论证是论证的一个非常重要的领域。法律裁决会具体影响着人们的生活,而做出这些裁决,是因为人们接受了特定的法律论证而排斥了另一些法律论证。因此,要弄清法律及其作用,我们需要弄清法律论证及其评价标准。与逻辑有关是众所周知的符号学的三重特征...[详细]

    • (梁庆寅, 张南宁)·法律特殊语境下的逻辑

      本文从法律与逻辑的关系入手考察法律逻辑。提出综合性的法律逻辑观点,认为法律逻辑应包括形式逻辑在法律中的运用理论和法律中的特殊逻辑理论两个层次。形式逻辑在法律的运用是基础,法律中的特殊逻辑是在此基础上,基于法律的特殊语境,借助现代逻辑工具...[详细]

    • (缪四平)·法律推理与法律论证

      本文对广义的法律推理的两个环节即狭义的“法律推理”和“法律论证”进行了初步分析。狭义的“法律推理”是为案件事实寻找裁判结论的思维活动,通常以法律直觉的形式完成;狭义的“法律论证”是为裁判结论寻找充足法律理由的思维活动,完全以逻辑论证的形...[详细]

    • (Douglas N. Walton, 唐凌云)·非形式逻辑方法和法律论证

      作者在本文中简要论述了非形式逻辑的基本方法,并展示它们如何应用于法律论证,尤其是应用于审判中的证据案例。第一部分介绍了美国西北大学著名证据理论学家John H. Wigmore首先在证据法中使用的一种论证图表方法。 第二部分引入了一些论证图式,它们是除...[详细]

    • (金承光)·司法先例与法律推理

      法律推理就是为法律适用结论提供正当理由的一种逻辑思维活动,它是逻辑演绎论证与辩护性推理的有机结合,其基本模式是“实际上的肯定前件式”。但是当法律没有规定,或者虽有规定而规定过于概括或含义不明时,法官就有可能遵循或借鉴司法先例进行法律推理...[详细]

  • 哲学逻辑

    • (李小五, 陈小平)·双结果条件句逻辑

      首先,我们构造双结果条件句系统DC,给出一些证明论结果。其次,我们引入有序邻域语义,给出描述DC的特征公理的框架条件,证明DC相对上述框架条件是框架可靠的。最后,我们证明DC相对这些框架条件也是框架完全的。 [详细]

    • (周祯祥)·规范、动态道义逻辑和法律规范知识表达

      休谟把命题划分为事实命题和价值命题两个类型,价值命题的认同产生各种各样的社会规范。逻辑学家对规范和规范命题的研究形成了道义逻辑或者说规范逻辑。道义逻辑的一个发展趋势是正在从静态逻辑走向动态逻辑。道义逻辑的研究和发展,对于法律规范知识表达...[详细]

    • (李小五)·动态认知条件句逻辑DEC1

      首先,我们构造动态认知条件句系统DEC1,给出它的一些证明论结果。其次,我们引入有序邻域语义,给出描述DEC1的特征公理和规则的框架条件,证明DEC1相对这些框架条件是框架可靠的。最后,我们证明DEC1相对这些框架条件也是框架完全的。[详细]

  • 数理逻辑

    • (余俊伟)·形式系统的可靠性和完全性问题

      语法完全性仅与一个形式系统的语法构造相关,经典命题逻辑的有代入规则的系统是语法完全的,无代入规则的系统不是语法完全的。将全称概括规则作为初始规则的系统是否限制对该规则的使用可导致系统相对于通常的语义解释是否具有强可靠性。对必然化规则和模...[详细]

    • (杜国平)·经典命题逻辑公理系统定理证明算法设计

      本文利用演绎定理的证明思路给出了一个由演绎证明构造公理证明的一般程序,并增加了一条简化命令,使该程序既严格又具有实际可操作性。 [详细]

版权声明:社科网的所有在线期刊内容均由各期刊编辑部根据协议提供。 任何个人、机构、网站如未经本网书面授权,私自复制或转载本网中的图片、文字,均将被视为侵权行为。此类行为一经发现,本网将依据《中国人民共和国版权法》和《互联网管理条例》,追究侵权者的责任。