设为首页 | 加入收藏
文献检索:
  • 当代西方法学家的法律推理思想述论 下载全文
  • 法律推理是西方法哲学的一个重要课题。西方法哲学家或法学家对此阐述的内容是极其丰富的。从两大法系,即英美法系和大陆法系的不同特点,研究法律运作过程的逻辑推理方法,是当代西方法哲学研究法律推理的基本出发点。由此,揭示两大法系在法律运作中逻辑思维方法的差别,进而说明法律推理在其中所起的方法论作用。
  • 皮亚杰论逻辑认识论 下载全文
  • 与逻辑学家不同,皮亚杰以其儿童智力的发生和发展理论做基础,对形式化问题从多方面进行了探讨和研究。而且就如何克服形式化的局限性,皮亚杰创造性地提出了逻辑学与心理学的重新结合以及跨学科研究的原则。
  • 蒙太格语法与认知科学 下载全文
  • 蒙太格语法具有丰富的理论内涵,该文主要探讨蒙太格语法与认知科学的联系。
  • 认知悖论及其逻辑问题 下载全文
  • 认知悖论总是相对于一定的认知主体或某一认知系统而言的。认知悖论的产生既离不开具体的认知主体的背景知识和某些假定的前提条件,也离不开具体的认知主体的逻辑推论。因而不能简单地把认知悖论归结为一种特殊的命题。与逻辑悖论和语义悖论相比,认知悖论涉及到具体的认知主体及其心理状态,因而其推论过程更具有复杂性。认知悖论的推论不仅涉及到自指性问题的纠缠,而且建构认知悖论的严格形式,还需要发现一种真正的悖论性难题的严格公式化描述,而这样做将会导致重要的技术性进步。认知悖论是挑战人类理性思维和科学发展的难题,研究认知悖论具有十分重要的理论意义和现实意义。
  • 试论统计推理的概念界定及认知基础 下载全文
  • 该文从统计学和抽样理论发展的角度探讨统计推理的概念界定和认知基础问题,指出目前的逻辑学教科书和工具书在这方面存在的不足及其产生的原因。作者认为,现代统计推理是根据样本资料对总体特征进行推断的归纳推理;把统计推理概念的外延限定在比例(或比率)的点估计上面或一般的点估计上面是错误的;把比例(或比率)的点估计说成是概率归纳推理(或概率推理),并把它排斥出统计推理,也是不妥当的。
  • 关于模态命题公式的一种布尔值 下载全文
  • 文章定义了模态公式□_α的布尔值,证明了模态命题逻辑的正规系统K、D和T的所有公理的布尔值为1。
  • 论实质蕴涵、形式蕴涵与逻辑蕴涵 下载全文
  • 该文将蕴涵分为三类:实质蕴涵、形式蕴涵与逻辑蕴涵。从多值逻辑角度解决了实质蕴涵、条件句与推论关系之间的关系,详细考察了三类蕴涵概念之间的区别和联系,从三种蕴涵角度区分了科学真理、数学真理与逻辑真理。
  • 非形式逻辑与批判性思维 下载全文
  • 的实际论证为对象,然而,非形式逻辑毕竟是逻辑,它以对实际论证的一般进程及一般形式的辨识、抽取与建构为重心和基点;而批判性思维对论证的关注则是多角度的和批判性的。非形式逻辑与批判性思维产生于实际的需要,其方法与技巧对于培养和提高现代社会所需人才的素质大有裨益。
  • Towards a Unified Framework of Syntax, Semantics and Logic 下载全文
  • 1. IntroductionHumans have the ability (or competence) to think logically, and this is an undeniable fact. However,what this ability consists in is a difficult question. It might be said that logical ability consists in theknowledge of a set of logic rules. But what are those logic rules? For centuries logicians have devel-
  • 新世纪逻辑研究方向探索 下载全文
  • 逻辑学要为科学技术现代化服务,根据逻辑学的现状,必须从理论与实际的结合上发展以下领域:传统逻辑、现代逻辑、人工智能、辩证思维与思维科学。其中,逻辑学的认知方向的研究是大有前途的。
  • 法律推理模式的理性构建 下载全文
  • 文章认为,无论分析法律推理还是辩证法律推理都是实质论证与形式论证的有机统一。实质论证解决法律推理大小前提的正当性、真实性问题,它是法律推理的外部证成过程;形式论证解决法律推理大小前提之间以及前提与结论之间的逻辑联系,它是法律推理的内部证成过程。这种推理模式最大限度地使法律的形式正义与实质正义达到有机的统一。
  • 人工智能、哲学与逻辑 下载全文
  • 人工智能的发展引起我国逻辑学界的密切关注。该文概述了人工智能发展的历史和现状,介绍了人工智能中的一些哲学问题和逻辑问题。
  • 建立多主体认知推理模型的几点思考 下载全文
  • 建立多主体认知推理模型涉及对各种认知算子逻辑特征的系统分析,主体知识库表达以及主体认知的动态性分析等问题。这些问题使多主体认知推理模型的建立面临许多复杂的情况,也产生了许多需要解决的技术问题。
  • 多主体系统中的知道推理 下载全文
  • 多主体认知逻辑,特别是其中关于多主体之间互知推理的研究,是近十年来国际上新发展起来的研究领域,对于经济学、军事学、博奕论、人工智能和计算机科学的发展,具有重要的价值。本文围绕实例分析,介绍了一种通过构造“知道”模型,对多主体互知进行形式刻划和语义分析的方法,意在引起国内读者特别是学者对于这一研究领域的兴趣和关注。
  • On the Working Definition of Intelligence 下载全文
  • This paper is about the philosophical and methodological foundation of artificial intelligence (AI). After discussing what is a good “working definition“, “intelligence“ is defined as “the ability for an information processing system to adapt to its environment with insuffcient knowledge and resources“. Applying the definition to a reasoning system, we get the major components of Non-Axiomatic Reasoning System (NARS) , which is a symbolic logic implemented in a computer system, and has many interesting ...
  • Some non-classical logics seen from a variety of perspectives 下载全文
  • Logicians have worked with so many different logical systems that it is not possible even to esti-mate the number. Of these, many are best seen as extensions of classical logic, including both thoseof interest to mathematics and those of interest to philosophy and computer science. (Henceforth Iwill use the term “intelligent systems theory“ for the common ground of philosophical logic and that
  • Agents in branching space-times 下载全文
  • The aim of this essay Is to make some brief suggestions on the beginnings of a theory of agentsand agency In branching spacetlmes.foe thought Is to combine the ideas of agency as developed agalnst the relatively simple background of branching time with the richer notions of Indetermlnlsm asstructured In the theory of branching space-times.My plan Is to say a little about agency In branchingtime and a little about branchlg spacetlmes,and then ask how the two can be brought together.Atthe end there Is an ...
  • Complexity of Some Problems Concerning 2CNF Formulas 下载全文
  • In this paper we investigate the complexity of several problems concerning 2CNF formulas. At first, we show that the minimal unsatisfiability problem for 2CNF formulas can be solved in linear time. Then we prove that the problem determining if a 2CNF formula can be transformed to a minimal unsatisfiable formula is also solvable in linear time. Thirdly, we show the polynomial solvability of the satisfiability problem for symmetric monotone formulas in which all clauses has length 2 or ? n - k ( n is the ...
  • 概率语义与蕴涵系统 下载全文
  • 本文我们引入适于初始联结符为和→的句子语言的概率语义,并证明通常我们使用的句子系统——蕴涵系统——相对这样的概率语义有可靠性和完全性。
  • 内涵能构逻辑的特征 下载全文
  • 内涵能构逻辑研究是国内外逻辑学研究的空白点。本文针对抽象思维的能构性特点,总结了内涵逻辑研究的现有成果,从重新确切界定数理逻辑学的基本范畴着手,说明了“信息的内涵性质”、“谓词范畴的两重性”、“抽象间隔”、“赋值的相对性”、“赋值映射的不动点”,刻划了一个决定论框架,并把它嵌入了信息流逻辑的框架。为进一步论证内涵能构逻辑的不动点语义作了准备。
  • 解罗斯悖论之谜——规范逻辑的一个新公理系统RA简述 下载全文
  • 悖论具有挖掘背景知识中错误预设的方法论功效,罗斯悖论则暴露了早期规范逻辑系统中某些关于析取的公理与规则的非有效性。本文以较短的篇幅展示了为规范逻辑奠基的纯形式系统RA的基本轮廓,并刻画了它的主要特征。RA一举消解了悬而未决的罗斯悖论。
  • 法律逻辑的研究工具与对象 下载全文
  • 该文针对法律逻辑研究中逻辑工具的不足,讨论了法律逻辑的研究方法,提出法律逻辑研究的核心问题是法律论证。
  • 论证逻辑刍议 下载全文
  • 形式逻辑,包括传统形式逻辑和数理逻辑,都是关于推理的逻辑,它们在确定推理的有效性方面是极为成功的。然而,一进入论证的领域,其局限性就暴露无余。要解决论证问题,就需要有一种不同于形式逻辑的论证逻辑。该文对论证逻辑的特点,以及论证逻辑的内容,都提出了具体看法。
  • 逻辑在刑事审判中的应用 下载全文
  • 刑事审判工作分为定罪和量刑两个阶段,刑事审判的过程离不开逻辑的支持。文章从法律逻辑的角度论证并分析了逻辑推理在刑事审判过程中至关重要的作用。
  • 论无罪推定的逻辑基础 下载全文
  • 这是一个关及公民社会人权保障的法律逻辑问题。文章论述:1.推定产生于人类理性的清醒——有清醒才有真正的司法认识困惑;2.无罪推定和有罪推定都是逻辑上的“诉诸无知”(以无知为据);3.对无罪推定的选择主要根源于价值理性,但是也有非常重要的逻辑理性依据。在我国,关于案件的逻辑认知理论以及推定的逻辑观念尚需做社会普及工作。
  • 展望21世纪逻辑学 下载全文
  • 21世纪是信息时代,以计算机科学技术的蓬勃发展为其基础与主要特征,该文探讨了21世纪的逻辑发展方向,讨论如何发展逻辑学科,使它在知识的生产、交流、传递与使用中发挥作用的问题。
  • 论逻辑学发展的方向 下载全文
  • 本文论述了逻辑学发展的认知转向,其目标是:给出只是获取,知识表达以及知识的扩展和修正的合理方法。
  • 在第二届全国逻辑与认知学术研讨会上的讲话 下载全文
  • 各位专家: 我们的研讨会将要闭幕了。这次研讨会是一次团结的会议,成功的会议。这次会议的主题“逻辑与认知”得到了完满的实现。这次会议的内容是多方面的,体现了基础与应用的结合。我代表中国逻辑学会向主办单位——中山大学逻辑与认知研究所、协办单位——中国人民大学哲学系表示衷心的感谢!
  • Savage s Concept of Probability 下载全文
  • Starting with personal preference, Savage [3] constructs a foundation theory for probability from the qualitative probability to the quantitative probability and to utility. There are some profound logic connections between three steps in Savage‘s theory; that is, quantitative concepts properly represent qualitative concepts. Moreover, Savage‘s definition of subjective probability is in accordance with probability theory, and the theory gives us a rational decision model only if we assume that the weak ...
  • Probabilistic Logic Programming under Answer Sets Semantics 下载全文
  • Although traditional logic programming languages provide powerful tools for knowledge representation, they cannot deal with uncertainty information (e. g. probabilistic information). In this paper, we propose a probabilistic logic programming language by introduce probability into a general logic programming language. The work combines 4-valued logic with probability. Conditional probability can be easily represented in a probabilistic logic program. The semantics of such a probabilistic logic program i...
  • 演绎系统和归纳系统一一对应 下载全文
  • 推理的演绎与归纳之分是从推理的导出关系而言的。推理的结论为其前提演绎地导出是指:如果推理的前提都为真,那么其结论为真,而推理的结论为其前提归纳地导出是指:如果推理的前提都为假,那么其结论为假。在形式语义学中,若一组命题演绎地导出一个命题,则该命题就被定义为该组命题的演绎后承;类似地,若一组命题归纳地导出一个命题,则该命题可被定义为该组命题的归纳后承。相对于形式系统,“演绎”和“归纳”的涵义如下:形式系统在形式语义下是演绎的,当且仅当该系统的语法推演关系等于该语义中的演绎后承关系;形式系统在形式语义下是归纳的,当且仅当该系统的语法推演关系等于该语义中的归纳后承关系。已经证明:形式系统在某形式语义下是归纳的,当且仅当此系统的镜像系统在该形式语义的镜像语义下是演绎的。对于任何按照某一形式语义建立起来的演绎系统,我们都可给出一个形式语义(它同前一语义具有相同的真值概念),并能按照该形式语义建立起一个归纳系统;反之也成立。演绎系统和归纳系统是一一对应的。
  • 卡尔纳普归纳理论探析 下载全文
  • 卡尔纳普用状态描述作为刻画世界可能情况的基本概念,通过语句的逻辑域之间的关系来刻画推理的前提与结论之间的逻辑联系,但在无穷个体域中遇到了对状态描述计数的困难。他提出“共同恰当性条件”以解决非概括句在无穷个体域中的确证问题。用G函数和λ函数作为归纳方法的特征函数,但在他所选择的c~*函数中得出无限全称事实句确证度为零的结果。而这个结果不是不可避免的。
  • 科学定律与反事实条件句——兼论“新归纳之谜” 下载全文
  • 科学定律和偶适概括在自然语言中都是全称命题。如何把二者区别开来呢?这就是古德曼所说的“新归纳之谜”。古德曼和亨佩尔等人在一定程度上指出科学定律和偶适概括的区别,即:1.前者可以支持反事实条件句而后者却不能;2.前者能够得到归纳证据的支持而后者却不能。该文将揭示科学定律、偶适概括和反事实条件句的逻辑结构,并对枚举归纳法的推理规则给以精确的表述,从而对新归纳之谜给出进一步的解决。
  • 类型—逻辑语法——一种自然语言语义分析的重要工具 下载全文
  • 类型—逻辑语法是一种建立在类型—逻辑语义学基础上的规范语法,它自上个世纪80年代诞生以来,就以其表述的简洁性、理论的逻辑化和词汇化倾向以及更好地符合意义组合原则等鲜明特色,受到了形式语义学、语言学和自然语言理解和处理等领域的广泛关注,并继续保持迅猛的发展势头。该文第一部分简短回顾了范畴语法的发展情况,第二部分主要论述了类型—逻辑语法的核心内容——其句法学和语义学。其语义学的主要内容为简单类型的λ—演算和高阶逻辑:其句法学的主要内容是兰贝克演算。在第二部分的最后,笔者探讨了类型—逻辑语法与逻辑形式系统的深刻联系。总之,类型—逻辑语法对自然语言的语义分析具有比较广阔的发展空间。
  • 论巴尔·希勒尔的索引词理论
  • 《墨经》的逻辑与认知范畴 下载全文
  • 本文讨论《墨经》辩、名、辞、说、知等逻辑与认知范畴,解释墨家的逻辑学和认知理论。
  • 当代西方法学家的法律推理思想述论(郝建设)
    皮亚杰论逻辑认识论(张小燕 孙学君)
    蒙太格语法与认知科学(朱建平)
    认知悖论及其逻辑问题(沈跃春)
    试论统计推理的概念界定及认知基础(王宗烘)
    关于模态命题公式的一种布尔值(李娜)
    论实质蕴涵、形式蕴涵与逻辑蕴涵(柯华庆 梁庆寅)
    非形式逻辑与批判性思维(崔清田)
    Towards a Unified Framework of Syntax, Semantics and Logic(Francis Yunqing Lin)
    新世纪逻辑研究方向探索(黄顺基)
    法律推理模式的理性构建(张继成)
    人工智能、哲学与逻辑(熊立文)
    建立多主体认知推理模型的几点思考(唐晓嘉)
    多主体系统中的知道推理(陈慕泽)
    On the Working Definition of Intelligence
    Some non-classical logics seen from a variety of perspectives(Nuel Belnap)
    Agents in branching space-times(Nuel Belnap)
    Complexity of Some Problems Concerning 2CNF Formulas(Hans Kleine Büning)
    概率语义与蕴涵系统(李小五)
    内涵能构逻辑的特征(张文祥)
    解罗斯悖论之谜——规范逻辑的一个新公理系统RA简述(桂起权 陈自立)
    法律逻辑的研究工具与对象(孔红)
    论证逻辑刍议(吴坚)
    逻辑在刑事审判中的应用(徐海燕)
    论无罪推定的逻辑基础(张成敏)
    展望21世纪逻辑学(黄顺基)
    论逻辑学发展的方向(鞠实儿)
    在第二届全国逻辑与认知学术研讨会上的讲话(张家龙)
    Savage s Concept of Probability(熊卫)
    Probabilistic Logic Programming under Answer Sets Semantics(王洁 鞠实儿)
    演绎系统和归纳系统一一对应(熊明)
    卡尔纳普归纳理论探析(熊立文)
    科学定律与反事实条件句——兼论“新归纳之谜”(陈晓平)
    类型—逻辑语法——一种自然语言语义分析的重要工具(张秋成)
    论巴尔·希勒尔的索引词理论
    《墨经》的逻辑与认知范畴(孙中原)
    《中山大学学报:社会科学版》封面

    主管单位:中华人民共和国教育部

    主办单位:中山大学

    主  编:吴承学

    地  址:广州新港西路135号

    邮政编码:510275

    电  话:020-84112070 84111990

    电子邮件:[email protected]

    国际标准刊号:issn 1000-9639

    国内统一刊号:cn 44-1158/c

    邮发代号:46-14

    单  价:20.00

    定  价:120.00


    关于我们 | 网站声明 | 合作伙伴 | 联系方式
    金月芽期刊网 2017 触屏版 电脑版 京ICP备13008804号-2