逻辑推理定义逻辑推理就是把不同排列顺序的意识进行相关性的推导。当人类听到别人陈述的事情时,大脑开始历经复杂的讯号处理及过滤,并将信息元素经过神经元迅速的触发并收集相关信息,这个过程便是超感知能力。之后由经验累积学习到的语言基础进行语言的处理及判断,找出正确的事件逻辑。逻辑推理举例有两道这样的逻辑推理题:1、ABC三人都喜欢说谎话,有时候也说真话。某天,A指责B说谎话,B指责C说谎话,C说AB两人都在说谎话。后来上帝通过读心术知道其中至少一个人说的是真话。请问谁在说谎话?答案:运用假设排除法推理得出是B说的是真话,A和C都是说谎话。2、一个村子里,有50户人家,每家都养了一条狗。现在,发现村子里面出现了n只疯狗,村里规定,谁要是发现了自己的狗是疯狗,就要将自己的狗枪毙。但问题是,村子里面的人只能看出别人家的狗是不是疯狗,而不能看出自己的狗是不是疯的,如果看出别人家的狗是疯狗,也不能告诉别人。于是大家开始观察,第一天晚上,没有枪声,第二天晚上,没有枪声,第三天晚上,枪声响起(具体几枪不清楚),问村子里有几只疯狗?只有晚上才能看出病狗,并且一天晚上只能看一次。答案:3条!推理过程:A、假设有1条病狗,病狗的主人会看到其他狗都没有病,那么就知道自己的狗有病,所以第一天晚上就会有枪响。因为没有枪响,说明病狗数大于1。B、假设有2条病狗,病狗的主人会看到有1条病狗,因为第一天没有听到枪响,是病狗数大于1,所以病狗的主人会知道自己的狗是病狗,因而第二天会有枪响。既然第二天也没有枪响,说明病狗数大于2。由此推理,如果第三天枪响,则有3条病狗。逻辑推理内容一.命题与判断、语句1. 逻辑推理的主要形式是命题,命题是通过语句来反应事物情况的思维形式。如台湾是中国的领土。2. 命题和语句:(1) 有真假的语句才表示命题。(2) 同一个命题可以用不同语句来表达。3. 同一语句在不同语境中可以表达不同命题。二.命题的种类1.简单命题本身不包涵其他命题的命题,只由词相组成。如,实践是验真理的唯一标准。2.复杂命题本身包涵其他命题的命题。如,美国或者出兵攻打伊拉克或者不出兵攻打伊拉克。三.推理或然性归纳推理或然性推理类比推理推理模态命题推理演绎推理 简单非摸态命题推理复杂必然性推理必然性归纳推理四.性质命题1.性质命题的种类按照质和量的结合,性质命题可以分为:单称肯定命题:反映某一单独对象具有某种性质。单称否定命题:反映某一单独对象不具有某种性质。特称肯定命题:反映某类对象中有对象具有某种性质。特称否定命题:反映某类对象中有对象不具有某种性质。全称肯定命题:反映某类对象的全部对象具有某种性质。全称否定命题:反映某类对象的全部对象不具有某种性质。2.性质命题四种基本形式全称肯定命题:所有S是P —— SAP —— A全称否定命题:所有S不是P—— SEP —— E特称肯定命题 :有的S是P —— SIP —— I特称否定命题 :有的S不是P—— SOP ——O
毕业论文是教学科研过程的一个环节,也是学业成绩考核和评定的一种重要方式。毕业论文的目的在于总结学生在校期间的学习成果,培养学生具有综合地创造性地运用所学的全部专业知识和技能解决较为复杂问题的能力并使他们受到科学研究的基本训练。标题标题是文章的眉目。各类文章的标题,样式繁多,但无论是何种形式,总要以全部或不同的侧面体现作者的写作意图、文章的主旨。毕业论文的标题一般分为总标题、副标题、分标题几种。总标题总标题是文章总体内容的体现。常见的写法有:①揭示课题的实质。这种形式的标题,高度概括全文内容,往往就是文章的中心论点。它具有高度的明确性,便于读者把握全文内容的核心。诸如此类的标题很多,也很普遍。如《关于经济体制的模式问题》、《经济中心论》、《县级行政机构改革之我见》等。②提问式。这类标题用设问句的方式,隐去要回答的内容,实际上作者的观点是十分明确的,只不过语意婉转,需要读者加以思考罢了。这种形式的标题因其观点含蓄,轻易激起读者的注重。如《家庭联产承包制就是单干吗?》、《商品经济等同于资本主义经济吗?》等。③交代内容范围。这种形式的标题,从其本身的角度看,看不出作者所指的观点,只是对文章内容的范围做出限定。拟定这种标题,一方面是文章的主要论点难以用一句简短的话加以归纳;另一方面,交代文章内容的范围,可引起同仁读者的注重,以求引起共鸣。这种形式的标题也较普遍。如《试论我国农村的双层经营体制》、《正确处理中心和地方、条条与块块的关系》、《战后西方贸易自由化剖析》等。④用判定句式。这种形式的标题给予全文内容的限定,可伸可缩,具有很大的灵活性。文章研究对象是具体的,面较小,但引申的思想又须有很强的概括性,面较宽。这种从小处着眼,大处着手的标题,有利于科学思维和科学研究的拓展。如《从乡镇企业的兴起看中国农村的希望之光》、《科技进步与农业经济》、《从“劳动创造了美”看美的本质》等。
普通逻辑学学习心得----浅谈推理练习题的解题步骤逻辑学被称为思维的体操,这样的比喻是有道理的。逻辑学确实可以训练人的思维使之具有严密性,从而提高人的逻辑思维能力。但是这种能力的获得不是靠死记硬背来实现的,而是通过做大量的逻辑习题来取得的,从这个意义上说学习普通逻辑学与学习数学有共同之处,因此学习逻辑学的重要途径就是做练习题。普通逻辑练习题根据内容的不同可分为六部分:序言部分练习题、概论部分练习题、判断部分练习题、推理部分练习题、规律部分练习题以及论证部分练习题。通过练习使我们学生达到使用的概念明确、做出的判断恰当、推理合乎逻辑、论证有说服力的目的。虽然这几个部分的练习内容不同。要实现的目的也不同,但是在做这些题时一个共同之处就是要准确理解题中所涉及的概念。在做类似要区分一个逻辑结构式的常项和变项的类型题的时候,首先必须掌握什么是常项。什么是变项。然后再确定题中哪个部分是常项、哪个部分是变项。我们知道常项是逻辑结构式中保持不变并决定其性质的项。变项是逻辑结构式中可变的项,即可被具体概念或判断来代替的部分。根据常项、变项的定义,在练习题中“所有”“都是”是逻辑结构式中保持不变并决定这个逻辑结构式是全称肯定判断的项,所以“所有”“都是”这样的词通常都是常项。而“S”“P”是可被具体概念,如“马克思主义者”“唯物主义者”或者“中国人”“亚洲人”等所代替的部分,因此是变项。同理,在分析直言三段论结构的时候,也是要把握相应的概念:大项是结论中的谓项,小项是结论中的主项,含大项的前提是大前提,含小项的前提是小前提,大小前提中共有的项是中项。(当然这之前必须要知道什么是主项、什么是谓项以及前提和结论)然后再来分析题中三段论的结构。因为普通逻辑学重点部分是推理,所以以下以推理练习题中常见的一种题型为例,谈一谈我对这种类型题的解题步骤的一些理解。例:指出下列推理是哪种类型的推理,并说明是否正确、为什么。① 有的中毒是食物中毒,因此,并非有的中毒不是食物中毒。② 人寿之长短,或许由于遗传因素,或许由后天条件;徐某长寿有遗传因素,所以他的长寿与后天条件元关。第一步:分析结构后,才能确定推理类型,所以做这样的习题首先应该分析结构。1.根据关联词语(因为、所以)确定前提和结论。“因为”后面是前提,“所以”后面是结论,“因为”前面是结论。2.根据常项确定前提和结论的判断类型。例①的前提中常项是“有的”“是”。结论中的常项是“并非”“有的”“不是”,据此可确定这个推理是直言推理。例②的前提中常项是“或许”,所以这是选言推理。3.写出逻辑结构式,指出其推理类型。①题:SIP~-SOP这是直言判断对当关系直接推理。②题:pVq^p~-q这是相容选言推理肯定否定式。第二步:根据相应推理规则指出推理形式正确与否。1.①题是下反对关系推理。根据规则。下反对关系不能同假可以同真,所以可以假推真不能以真推假;②题是相容选言推理。根据相容选言推理规则肯定一部分选言支不能否定另一部分选言支,所以不能用肯定否定式。2.指出理由回答对错。①题推理形式错误,因为根据下反对关系进行推理不能由真推假。②题推理形式错误,因为违反相容选言推理规则:肯定一部分选言支不能否定另一部分选言支。犯有误相容为不相容的逻辑错误。以上就是我学习逻辑学的一些技巧和心得,总之,我觉得,学习逻辑学要多练,熟能生巧,练多了自然就能掌握解题技巧。纯自己写的,送给你吧~
学术堂整理了一篇3000字的计算机论文范文,供大家参考:
范文题目:关于新工程教育计算机专业离散数学实验教学研究
摘要: 立足新工科对计算机类专业应用实践能力培养的要求,分析了目前离散数学教学存在的关键问题,指明了开展离散数学实验教学的必要性。在此基础上,介绍了实验教学内容的设计思路和设计原则,给出了相应的实验项目,并阐述了实验教学的实施过程和教学效果。
关键词:新工科教育;离散数学;计算机专业;实验教学
引言
新工科教育是以新理念、新模式培养具有可持续竞争力的创新型卓越工程科技人才,既重视前沿知识和交叉知识体系的构建,又强调实践创新创业能力的培养。计算机类是新工科体系中的一个庞大专业类,按照新工科教育的要求,计算机类专业的学生应该有很好的逻辑推理能力和实践创新能力,具有较好的数学基础和数学知识的应用能力。作为计算机类专业的核心基础课,离散数学的教学目标在于培养学生逻辑思维、计算思维能力以及分析问题和解决问题的能力。但长期以来“定义-定理-证明”这种纯数学的教学模式,导致学生意识不到该课程的重要性,从而缺乏学习兴趣,严重影响学生实践能力的培养。因此,打破原有的教学模式,结合计算机学科的应用背景,通过开展实验教学来加深学生对于离散数学知识的深度理解是实现离散数学教学目标的重要手段。
1.实验项目设计
围绕巩固课堂教学知识,培养学生实践创新能力两个目标,遵循实用性和可行性原则,设计了基础性、应用性、研究性和创新性四个层次的实验项目。
(1) 基础性实验
针对离散数学的一些基本问题,如基本的定义、性质、计算方法等设计了7个基础性实验项目,如表1所示。这类实验要求学生利用所学基础知识,完成算法设计并编写程序。通过实验将抽象的离散数学知识与编程结合起来,能激发学生学习离散数学的积极性,提高教学效率,进而培养学生的编程实践能力。
(2) 应用性实验
应用性实验是围绕离散数学主要知识单元在计算机学科领域的应用来设计实验,如表2所示。设计这类实验时充分考虑了学生掌握知识的情况,按照相关知识点的应用方法给出了每个实验的步骤。学生甚至不需要完成全部实验步骤即可达到实验效果。例如,在“等价关系的应用”实验中,按照基于等价类测试用例的设计方法给出了实验步骤,对基础较差的学生只需做完第三步即可达到“巩固等价关系、等价类、划分等相关知识,了解等价关系在软件测试中的应用,培养数学知识的应用能力。”的实验目的。
(3) 研究性实验研究性实验和应用性实验一样
也是围绕离散数学主要知识单元在计算机科学领域中的应用来设计实验,不同之处在于,研究性实验的实验步骤中增加了一些需要学生进一步探讨的问题。这类实验项目一方面为了使学生进一步了解离散数学的重要性,另一方面为了加强学生的创新意识与创新思维,提高计算机专业学生的数学素质和能力。表 3 给出了研究性试验项目。
(4) 创新性实验
在实际教学中还设计了多个难度较高的创新性实验题目,例如,基于prolog语言的简单动物识别
系统、基于最短路径的公交线路查询系统、简单文本信息检索系统的实现等,完成该类实验需要花费较长的时间,用到更多的知识。通过这些实验不仅有利于培养学生分析问题、解决问题的能力和创新设计能力,也有利于培养学生独立思考、敢于创新的能力。
3.实验教学模式的构建
通过实验教学环节无疑可以激发学生对课程的兴趣,提高课程教学效率,培养学生的实践创新能力。但是,近年来,为了突出应用性人才培养,很多地方本科院校对离散数学等基础理论课的课时进行了压缩,加之地方本科院校学生基础较差,使得离散数学课时严重不足,不可能留出足够的实验教学时间。针对这种情况,采用多维度、多层次的教学模式进行离散数学实验教学。
(1) 将实验项目引入课堂教学
在离散数学的教学过程中,将能反映在计算机科学领域典型应用的实验项目引入到课堂教学中,引导学生应用所学知识分析问题、解决问题。例如在讲授主析取范式时,引入加法器、表决器的设计,并用multisim进行仿真演示,让学生理解数理逻辑在计算机硬件设计中的作用。又如讲谓词逻辑推理时,引入前一届学生用Prolog完成的“小型动物识别系统”作为演示实验。这些应用实例能够让学生体会数理逻辑在计算机科学领域的应用价值,不仅激发学生的学习兴趣,提高课堂教学效率,也锻炼了学生的逻辑思维,培养了学生的系统设计能力。
(2) 改变课后作业形式,在课后作业中增加上机实验题目
由于课时有限,将实验内容以课后作业的形式布置下去,让学生在课余时间完成实验任务。例如讲完数理逻辑内容后,布置作业: 编写 C语言程序,实现如下功能: 给定两个命题变元 P、Q,给它们赋予一定的真值,并计算P、P∧Q、P∨Q的真值。通过完成,使学生掌握命题联结词的定义和真值的确定方法,了解逻辑运算在计算机中的实现方法。又如,把“偏序关系的应用”实验作为“二元关系”这一章的课后作业,给定某专业开设的课程以及课程之间的先后关系,要求学生画出课程关系的哈斯图,安排该专业课程开设顺序,并编写程序实现拓扑排序算法。通过该实验学生不仅巩固了偏序关系、哈斯图等知识,而且了解到偏序关系在计算机程序设计算法中的应用和实现方法。
(3) 布置阅读材料
在教学中,通常选取典型应用和相关的背景知识作为课前或课后阅读材料,通过课堂提问抽查学生的阅读情况。这样,不仅使学生预习或复习了课程内容,同时也使他们对相关知识点在计算机学科领域的应用有了一定的了解。例如,在讲解等价关系后,将“基于等价类的软件测试用例设计方法”作为课后阅读材料; 在讲解图的基本概念之前,将“图在网络爬虫技术中的应用”作为课前阅读材料; 货郎担问题和中国邮路问题作为特殊图的课后阅读材料。通过这些阅读材料极大地调动学生学习的积极性,取得了非常好的教学效果。
(4) 设置开放性实验项目
在离散数学教学中,通常选择一两个创新性实验项目作为课外开放性实验,供学有余力的学生学习并完成,图1给出了学生完成的“基于最短路径公交查询系统”界面图。同时,又将学生完成的实验系统用于日后的课堂教学演示,取得了比较好的反响。
(5) 利用网络教学平台
为了拓展学生学习的空间和时间,建立了离散数学学习网站,学习网站主要包括资源下载、在线视频、在线测试、知识拓展和站内论坛五个部分模块,其中知识拓展模块包含背景知识、应用案例和实验教学三部分内容。通过学习网站,学生不仅可以了解离散数学各知识点的典型应用,还可以根据自己的兴趣选择并完成一些实验项目。在教学实践中,规定学生至少完成1-2个应用性实验项目并纳入期中或平时考试成绩中,从而激发学生的学习兴趣。
4.结束语
针对新工科教育对计算机类专业实践创新能力的要求,在离散数学教学实践中进行了多方位、多层次的实验教学,使学生了解到离散数学的重要
性,激发了学生的学习兴趣,提高了学生程序设计能力和创新能力,取得了较好的教学效果。教学团队将进一步挖掘离散数学的相关知识点在计算机学科领域的应用,完善离散数学实验教学体系,使学生实践能力和创新思维得以协同培养,适应未来工程需要。
参考文献:
[1]徐晓飞,丁效华.面向可持续竞争力的新工科人才培养模式改革探索[J].中国大学教学,2017(6).
[2]钟登华.新工科建设的内涵与行动[J].高等工程教育研究,2017(3).
[3]蒋宗礼.新工科建设背景下的计算机类专业改革养[J].中国大学教学,2018( 11) .
[4]The Joint IEEE Computer Society/ACM Task Force onComputing Curricula Computing Curricula 2001 ComputerScience[DB / OL]. http:/ / WWW. acm. org / education /curric_vols / cc2001. pdf,2001.
[5]ACM/IEEE - CS Joint Task Force on Computing Curricula.2013. Computer Science Curricula 2013[DB / OL]. ACMPress and IEEE Computer Society Press. DOI: http: / / dx.doi. org /10. 1145 /2534860.
[6]中国计算机科学与技术学科教程2002研究组.中国计算机科学与技术学科教程2002[M].北京: 清华大学出版社,2002.
[7]张剑妹,李艳玲,吴海霞.结合计算机应用的离散数学教学研究[J].数学学习与研究,2014(1) .
[8]莫愿斌.凸显计算机专业特色的离散数学教学研究与实践[J].计算机教育,2010(14)
二难推理是假言选言推理的一种特殊形式。如果能在日常思维中熟练而灵活的加以运用,就会感受到逻辑智慧带给我们的极大便利,化解各种为难,在生命本能的基础上增添许多人生智慧,营造自己更高的人生境界;如在辩论中运用自如,可以使对方陷入左右为难,进退两难的境地,树立自己的观点、展示自己的理论,如期实现自己所图,在这里二难推理展示出了它不可抗拒的逻辑力量。 一 二难推理的形式及其特点 二难推理的的定义 有两个假言判断(包括充分条件假言判断和必要条件假言判断)和一个二支选言判断做前提构成的假言选言推理,由于这种推理的结论总是令人难以接受,或“左右为难”、或“进退两难”,因此也叫二难推理。 二难推理的形式:简单构成式,简单破坏式,复杂构成式,复杂破坏式。 1.简单构成式:如果P,则R;如果Q,则R;或P或Q;总之R。 符号化是:((P→R)∧(Q→R))∧(P∨Q)→R 特点: ⑴所取的两个充分条件假言判断具有不同的前件(相互矛盾),却有相同的后件; ⑵小前提是二支选言判断,有选择的肯定有矛盾关系的前件; ⑶结论是相同的后件。因此,不论肯定那个前提条件,都得到相同的后件,而这个结论是不愿接受的。 2.简单破坏式:如果P,则Q,如果P,则R;或非P,或非R;所以,总之非P 符号化是:((P→Q)∧(P→R))∧(>P∨>R)→>P 特点: ⑴假言前提有相同的前件和不同的后件; ⑵小前提是二支选言判断,有选择地否定具有反对关系的后件 ⑶结论否定相同的前件 3.复杂构成式:如果P,则R,如果Q,则S;或P,或Q,所以,或R或S。 符号化是:((P→R)∧(Q→S))∧(P∨Q)→(R∨S) 特点: ⑴二假言前提的前件不同,后件也不同; ⑵选言前提有选择地肯定假言前提的前件; ⑶结论必然有选择地肯定相应的后件。 4.复杂破坏式:如果P,那么R,如果Q,那么S;非R,或非S;所以非P或非Q。 符号化是:((P→R)∧(Q→S))∧(>R∨>S)→(>P∨>Q) 特点: ⑴假言前件后件都不同; ⑵选言前提有选择地否定假言前提的后件; ⑶结论必然有选择地否定相应的前件。 二 祥林嫂面临的“二难选择” 祥林嫂死了丈夫,按照婆家的境况和农村的惯例,她势必要被卖掉,换来一笔钱来给小叔子做聘礼。但“贞女不嫁二夫”,“一马不配二鞍”,否则就是“败坏风俗”,就是“谬种”。前者是封建宗法制度的族权在作祟,后者是封建宗法制度的夫权在作祟。 祥林嫂嫁与不嫁都“有罪”,她疑惑了,摆在他面前的是一个“二难选择”。 这个“二难选择”,作为前提的两个假言判断,其前件一是肯定性的,前件二是否定性的,他们之间是矛盾关系,其后件均为否定性的,他们之间可以视为并列关系,结论是个不相容选言判断。符合简单构成式,即为: 如果P,则R; 如果Q,则R; 或P或Q; 总之R。 按照这个模式稍加整理,可以吧以上有关内容写成下列形式: 如果同意再嫁(P),则违背了夫权(有罪R); 如果拒绝再嫁(Q),则违背了族权(有罪R); 祥林嫂或同意再嫁(或P),或不同意再嫁(或Q); 总之祥林嫂是有罪的(R)。 祥林嫂面临的这个“二难选择”,深刻的暴露了封建宗法制度本身的矛盾和荒谬。 或许,对封建社会的女子来说,夫权比族权更令人畏惧,因此,面对这个“二难选择”祥林嫂选择了拒绝再嫁(Q),所以她就“撞香案”了。但是她后来还是“服从”了。虽然这是族权的逼迫,虽然祥林嫂做过殊死的抵抗,虽然她很无可奈何,但是夫权仍然没有原谅她的“节失”,他后来的命运就是证明。祥林嫂的“节失”完全是族权造成的,而“节失”得后果却要祥林嫂来承担。这就又暴露出了封建宗法制度的不合理。
分能当饭吃么?自己写吧。别指望谁无偿帮你。
人工智能与现今逻辑学的发展-.〔摘要〕 本文认为,计算机科学和人工智能将是21世纪逻辑学发展的主要动力源泉,并且在很大程度上将决定21世纪逻辑学的面貌。至少在21世纪早期,逻辑学将重点关注下列论题:(1)如何在逻辑中处理常识推理的弗协调、非单调和容错性因素?(2)如何使机器人具有人的创造性智能,如从经验证据中建立用于指导以后行动的可错的归纳判断?(3)如何进行知识表示和知识推理,特别是基于已有的知识库以及各认知主体相互之间的知识而进行的推理?(4)如何结合各种语境因素进行自然语言理解和推理,使智能机器人能够用人的自然语言与人进行成功的交际?等等。 〔关键词〕 人工智能,常识推理,归纳逻辑,广义内涵逻辑,认知逻辑,自然语言逻辑 现代逻辑创始于19世纪末叶和20世纪早期,其发展动力主要来自于数学中的公理化运动。当时的数学家们试图即从少数公理根据明确给出的演绎规则推导出其他的数学定理,从而把整个数学构造成为一个严格的演绎大厦,然后用某种程序和方法一劳永逸地证明数学体系的可靠性。为此需要发明和锻造严格、精确、适用的逻辑工具。这是现代逻辑诞生的主要动力。由此造成的后果就是20世纪逻辑研究的严重数学化,其表现在于:一是逻辑专注于在数学的形式化过程中提出的问题;二是逻辑采纳了数学的方法论,从事逻辑研究就意味着象数学那样用严格的形式证明去解决问题。由此发展出来的逻辑被恰当地称为“数理逻辑”,它增强了逻辑研究的深度,使逻辑学的发展继古希腊逻辑、欧洲中世纪逻辑之后进入第三个高峰期,并且对整个现代科学特别是数学、哲学、语言学和计算机科学产生了非常重要的影响。 本文所要探讨的问题是:21世纪逻辑发展的主要动力将来自何处?大致说来将如何发展?我个人的看法是:计算机科学和人工智能将至少是21世纪早期逻辑学发展的主要动力源泉,并将由此决定21世纪逻辑学的另一幅面貌。由于人工智能要模拟人的智能,它的难点不在于人脑所进行的各种必然性推理(这一点在20世纪基本上已经做到了,如用计算机去进行高难度和高强度的数学证明,“深蓝”通过高速、大量的计算去与世界冠军下棋),而是最能体现人的智能特征的能动性、创造性思维,这种思维活动中包括学习、抉择、尝试、修正、推理诸因素,例如选择性地搜集相关的经验证据,在不充分信息的基础上作出尝试性的判断或抉择,不断根据环境反馈调整、修正自己的行为,……由此达到实践的成功。于是,逻辑学将不得不比较全面地研究人的思维活动,并着重研究人的思维中最能体现其能动性特征的各种不确定性推理,由此发展出的逻辑理论也将具有更强的可应用性。 实际上,在20世纪中后期,就已经开始了现代逻辑与人工智能(记为AI)之间的相互融合和渗透。例如,哲学逻辑所研究的许多课题在理论计算机和人工智能中具有重要的应用价值。AI从认知心理学、社会科学以及决策科学中获得了许多资源,但逻辑(包括哲学逻辑)在AI中发挥了特别突出的作用。某些原因促使哲学逻辑家去发展关于非数学推理 的理论;基于几乎同样的理由,AI研究者也在进行类似的探索,这两方面的研究正在相互接近、相互借鉴,甚至在逐渐融合在一起。例如,AI特别关心下述课题: ·效率和资源有限的推理; ·感知; ·做计划和计划再认; ·关于他人的知识和信念的推理; ·各认知主体之间相互的知识; ·自然语言理解; ·知识表示; ·常识的精确处理; ·对不确定性的处理,容错推理; ·关于时间和因果性的推理; ·解释或说明; ·对归纳概括以及概念的学习。[①] 21世纪的逻辑学也应该关注这些问题,并对之进行研究。为了做到这一点,逻辑学家们有必要熟悉AI的要求及其相关进展,使其研究成果在AI中具有可应用性。 我认为,至少是21世纪早期,逻辑学将会重点关注下述几个领域,并且有可能在这些领域出现具有重大意义的成果:(1)如何在逻辑中处理常识推理中的弗协调、非单调和容错性因素?(2)如何使机器人具有人的创造性智能,如从经验证据中建立用于指导以后行动的归纳判断?(3)如何进行知识表示和知识推理,特别是基于已有的知识库以及各认知主体相互之间的知识而进行的推理?(4)如何结合各种语境因素进行自然语言理解和推理,使智能机器人能够用人的自然语言与人进行成功的交际?等等。 1.常识推理中的某些弗协调、非单调和容错性因素 AI研究的一个目标就是用机器智能模拟人的智能,它选择各种能反映人的智能特征的问题进行实践,希望能做出各种具有智能特征的软件系统。AI研究基于计算途径,因此要建立具有可操作性的符号模型。一般而言,AI关于智能系统的符号模型可描述为:由一个知识载体(称为知识库KB)和一组加载在KB上的足以产生智能行为的过程(称为问题求解器PS)构成。经过20世纪70年代包括专家系统的发展,AI研究者逐步取得共识,认识到知识在智能系统中力量,即一般的智能系统事实上是一种基于知识的系统,而知识包括专门性知识和常识性知识,前者亦可看做是某一领域内专家的常识。于是,常识问题就成为AI研究的一个核心问题,它包括两个方面:常识表示和常识推理,即如何在人工智能中清晰地表示人类的常识,并运用这些常识去进行符合人类行为的推理。显然,如此建立的常识知识库可能包含矛盾,是不协调的,但这种矛盾或不协调应不至于影响到进行合理的推理行为;常识推理还是一种非单调推理,即人们基于不完全的信息推出某些结论,当人们得到更完全的信息后,可以改变甚至收回原来的结论;常识推理也是一种可能出错的不精确的推理模式,是在容许有错误知识的情况下进行的推理,简称容错推理。而经典逻辑拒斥任何矛盾,容许从矛盾推出一切命题;并且它是单调的,即承认如下的推理模式:如果p?r,则pùq?r;或者说,任一理论的定理属于该理论之任一扩张的定理集。因此,在处理常识表示和常识推理时,经典逻辑应该受到限制和修正,并发展出某些非经典的逻辑,如次协调逻辑、非单调逻辑、容错推理等。有人指出,常识推理的逻辑是次协调逻辑和非单调逻辑的某种结合物,而后者又可看做是对容错推理的简单且基本的情形的一种形式化。[②] “次协调逻辑”(Paraconsistent Logic)是由普里斯特、达·科斯塔等人在对悖论的研究中发展出来的,其基本想法是:当在一个理论中发现难以克服的矛盾或悖论时,与其徒劳地想尽各种办法去排除 或防范它们,不如干脆让它们留在理论体系内,但把它们“圈禁”起来,不让它们任意扩散,以免使我们所创立或研究的理论成为“不足道”的。于是,在次协调逻辑中,能够容纳有意义、有价值的“真矛盾”,但这些矛盾并不能使系统推出一切,导致自毁。因此,这一新逻辑具有一种次于经典逻辑但又远远高于完全不协调系统的协调性。次协调逻辑家们认为,如果在一理论T中,一语句A及其否定?A都是定理,则T是不协调的;否则,称T是协调的。如果T所使用的逻辑含有从互相否定的两公式可推出一切公式的规则或推理,则不协调的T也是不足道的(trivial)。因此,通常以经典逻辑为基础的理论,如果它是不协调的,那它一定也是不足道的。这一现象表明,经典逻辑虽可用于研究协调的理论,但不适用于研究不协调但又足道的理论。达·科斯塔在20世纪60年代构造了一系列次协调逻辑系统Cn(1≤n≤w),以用作不协调而又足道的理论的逻辑工具。对次协调逻辑系统Cn的特征性描述包括下述命题:(i)矛盾律?(Aù?A)不普遍有效;(ii)从两个相互否定的公式A和?A推不出任意公式;即是说,矛盾不会在系统中任意扩散,矛盾不等于灾难。(iii)应当容纳与(i)和(ii)相容的大多数经典逻辑的推理模式和规则。这里,(i)和(ii)表明了对矛盾的一种相对宽容的态度,(iii)则表明次协调逻辑对于经典逻辑仍有一定的继承性。 在任一次协调逻辑系统Cn(1≤n≤w)中,下述经典逻辑的定理或推理模式都不成立: ?(Aù?A) Aù?A→B A→(?A→B) (AA)→B (AA)→?B A→A (?Aù(AúB))→B (A→B)→(?B→?A) 若以C0为经典逻辑,则系列C0, C1, C2,… Cn,… Cw使得对任正整数i有Ci弱于Ci-1,Cw是这系列中最弱的演算。已经为Cn设计出了合适的语义学,并已经证明Cn相对于此种语义是可靠的和完全的,并且次协调命题逻辑系统Cn还是可判定的。现在,已经有人把次协调逻辑扩展到模态逻辑、时态逻辑、道义逻辑、多值逻辑、集合论等领域的研究中,发展了这些领域内的次协调理论。显然,次协调逻辑将会得到更进一步的发展。[③] 非单调逻辑是关于非单调推理的逻辑,它的研究开始于20世纪80年代。1980年,D·麦克多莫特和J·多伊尔初步尝试着系统发展一种关于非单调推理的逻辑。他们在经典谓词演算中引入一个算子M,表示某种“一致性”断言,并将其看做是模态概念,通过一定程序把模态逻辑系统T、S4和S5翻译成非单调逻辑。B·摩尔的论文《非单调逻辑的语义思考》(1983)据认为在非单调逻辑方面作出了令人注目的贡献。他在“缺省推理”和“自动认知推理”之间做了区分,并把前者看作是在没有任何相反信息和缺少证据的条件下进行推理的过程,这种推理的特征是试探性的:根据新信息,它们很可能会被撤消。自动认知推理则不是这种类型,它是与人们自身的信念或知识相关的推理,可用它模拟一个理想的具有信念的有理性的代理人的推理。对于在计算机和人工智能中获得成功的应用而言,非单调逻辑尚需进一步发展。 2.归纳以及其他不确定性推理 人类智能的本质特征和最高表现是创造。在人类创造的过程中,具有必然性的演绎推理固然起重要作用,但更为重要的是具有某种不确定性的归纳、类比推理以及模糊推理等。因此,计算机要成功地模拟人的智能,真正体现出人的智能品质,就必须对各种具有不确定性的推理模式进行研究。 首先是对归纳推理和归纳逻辑的研究。这里所说的“归纳推理”是广义的,指一切扩展性推理,它们的结论所断定的超出了其前提所断定的范围,因而前提的真无法保证结论的真,整个推理因此缺乏必然性。具体说来,这种意义的“归纳”包括下述内容:简单枚举法;排除归纳法,指这样一些操作:预先通过观察或实验列出被研究现象的可能的原因,然后有选择地安排某些事例或实验,根据某些标准排除不相干假设,最后得到比较可靠的结论;统计概括:从关于有穷数目样本的构成的知识到关于未知总体分布构成的结论的推理;类比论证和假说演绎法,等等。尽管休谟提出着名的“归纳问题”,对归纳推理的合理性和归纳逻辑的可能性提出了深刻的质疑,但我认为,(1)归纳是在茫茫宇宙中生存的人类必须采取也只能采取的认知策略,对于人类来说具有实践的必然性。(2)人类有理由从经验的重复中建立某种确实性和规律性,其依据就是确信宇宙中存在某种类似于自然齐一律和客观因果律之类的东西。这一确信是合理的,而用纯逻辑的理由去怀疑一个关于世界的事实性断言则是不合理的,除非这个断言是逻辑矛盾。(3)人类有可能建立起局部合理的归纳逻辑和归纳方法论。并且,归纳逻辑的这种可能性正在计算机科学和人工智能的研究推动下慢慢地演变成现实。恩格斯早就指出,“社会一旦有技术上的需要,则这种需要比十所大学更能把科学推向前进。”[④] 有人通过指责现有的归纳逻辑不成熟,得出“归纳逻辑不可能”的结论,他们的推理本身与归纳推理一样,不具有演绎的必然性。(4)人类实践的成功在一定程度上证明了相应的经验知识的真理性,也就在一定程度上证明了归纳逻辑和归纳方法论的力量。毋庸否认,归纳逻辑目前还很不成熟。有的学者指出,为了在机器的智能模拟中克服对归纳模拟的困难而有所突破,应该将归纳逻辑等有关的基础理论研究与机器学习、不确定推理和神经网络学习模型与归纳学习中已有的成果结合起来。只有这样,才能在已有的归纳学习成果上,在机器归纳和机器发现上取得新的突破和进展。[⑤] 这是一个极有价值且极富挑战性的课题,无疑在21世纪将得到重视并取得进展。 再谈模糊逻辑。现实世界中充满了模糊现象,这些现象反映到人的思维中形成了模糊概念和模糊命题,如“矮个子”、“美人”、“甲地在乙地附近”、“他很年轻”等。研究模糊概念、模糊命题和模糊推理的逻辑理论叫做“模糊逻辑”。对它的研究始于20世纪20年代,其代表性人物是L·A·查德和P·N·马林诺斯。模糊逻辑为精确逻辑(二值逻辑)解决不了的问题提供了解决的可能,它目前在医疗诊断、故障检测、气象预报、自动控制以及人工智能研究中获得重要应用。显然,它在21世纪将继续得到更大的发展。 3.广义内涵逻辑 经典逻辑只是对命题联结词、个体词、谓词、量词和等词进行了研究,但在自然语言中,除了这些语言成分之外,显然还存在许多其他的语言成分,如各种各样的副词,包括模态词“必然”、“可能”和“不可能” 、时态词“过去”、“现在”和“未来”、道义词“应该”、“允许”、“禁止”等等,以及各种认知动词,如“思考”、“希望”、“相信”、“判断”、“猜测”、“考虑”、“怀疑”,这些认知动词在逻辑和哲学文献中被叫做“命题态度词”。对这些副词以及命题态度词的逻辑研究可以归类为“广义内涵逻辑”。 大多数副词以及几乎所有命题态度词都是内涵性的,造成内涵语境,后者与外延语境构成对照。外延语境又叫透明语境,是经典逻辑的组合性原则、等值置换规则、同一性替换规则在其中适用的语境;内涵语境又称晦暗语境,是上述规则在其中不适用的语境。相应于外延语境和内涵语境的区别,一切语言表达式(包括自然语言的名词、动词、形容词直至语句)都可以区分为外延性的和内涵性的,前者是提供外延语境的表达式,后者是提供内涵性语境的表达式。例如,杀死、见到、拥抱、吻、砍、踢、打、与…下棋等都是外延性表达式,而知道、相信、认识、必然、可能、允许、禁止、过去、现在、未来等都是内涵性表达式。 在内涵语境中会出现一些复杂的情况。首先,对于个体词项来说,关键性的东西是我们不仅必须考虑它们在现实世界中的外延,而且要考虑它们在其他可能世界中的外延。例如,由于“必然”是内涵性表达式,它提供内涵语境,因而下述推理是非有效的: 晨星必然是晨星, 晨星就是暮星, 所以,晨星必然是暮星。 这是因为:这个推理只考虑到“晨星”和“暮星”在现实世界中的外延,并没有考虑到它们在每一个可能世界中的外延,我们完全可以设想一个可能世界,在其中“晨星”的外延不同于“暮星”的外延。因此,我们就不能利用同一性替换规则,由该推理的前提得出它的结论:“晨星必然是暮星”。其次,在内涵语境中,语言表达式不再以通常是它们的外延的东西作为外延,而以通常是它们的内涵的东西作为外延。以“达尔文相信人是从猿猴进化而来的”这个语句为例。这里,达尔文所相信的是“人是从猿猴进化而来的”所表达的思想,而不是它所指称的真值,于是在这种情况下,“人是从猿猴进化而来的”所表达的思想(命题)就构成它的外延。再次,在内涵语境中,虽然适用于外延的函项性原则不再成立,但并不是非要抛弃不可,可以把它改述为新的形式:一复合表达式的外延是它出现于外延语境中的部分表达式的外延加上出现于内涵语境中的部分表达式的内涵的函项。这个新的组合性或函项性原则在内涵逻辑中成立。 一般而言,一个好的内涵逻辑至少应满足两个条件:(i)它必须能够处理外延逻辑所能处理的问题;(ii)它还必须能够处理外延逻辑所不能处理的难题。这就是说,它既不能与外延逻辑相矛盾,又要克服外延逻辑的局限。这样的内涵逻辑目前正在发展中,并且已有初步轮廓。从术语上说,内涵逻辑除需要真、假、语句真值的同一和不同、集合或类、谓词的同范围或不同范围等外延逻辑的术语之外,还需要同义、内涵的同一和差异、命题、属性或概念这样一些术语。广而言之,可以把内涵逻辑看作是关于象“必然”、“可能”、“知道”、“相信”,“允许”、“禁止”等提供内涵语境的语句算子的一般逻辑。在这种广义之下,模态逻辑、时态逻辑、道义逻辑、认知逻辑、问题逻辑等都是内涵逻辑。不过,还有一种狭义的内涵逻辑,它可以粗略定义一个内涵逻辑是一个形式语言,其中包括(1)谓词逻辑的算子、量词和变元,这里的谓词逻辑不必局限于一阶谓词逻辑,也可以是高阶谓词逻辑;(2)合式的λ—表达式,例如(λx)A,这里A是任一类型的表达式,x是任一类型的变元,(λx)A本身是一函项,它把变元x在其中取值的那种类型的对象映射到A所属的那种类型上;(3)其他需要的模态的或内涵的算子,例如�,ù、ú。而一个内涵逻辑的解释,则由下列要素组成:(1)一个可能世界的非空集W;(2)一个可能个体的非空集D;(3)一个赋值,它给系统内的表达式指派它们在每w∈W中的外延。对于任一的解释Q和任一的世界w∈W,判定内涵逻辑系统中的任一表达式X相对于解释Q在w∈W中的外延总是可能的。这样的内涵逻辑系统有丘奇的LSD系统,R·蒙塔古的IL系统,以及E·N·扎尔塔的FIL系统等。[⑥] 在各种内涵逻辑中,认识论逻辑(epistemic logic)具有重要意义。它有广义和狭义之分。广义的认识论逻辑研究与感知(perception)、知道、相信、断定、理解、怀疑、问题和回答等相关的逻辑问题,包括问题逻辑、知道逻辑、相信逻辑、断定逻辑等;狭义的认识论逻辑仅指知道和相信的逻辑,简称“认知逻辑”。冯·赖特在1951年提出了对“认知模态”的逻辑分析,这对建立认知逻辑具有极大的启发作用。J·麦金西首先给出了一个关于“知道”的模态逻辑。A·帕普于1957年建立了一个基于6条规则的相信逻辑系统。J·亨迪卡于60年代出版的《知识和信念》一书是认知逻辑史上的重要着作,其中提出了一些认知逻辑的系统,并为其建立了基于“模型集”的语义学,后者是可能世界语义学的先导之一。当今的认知逻辑纷繁复杂,既不成熟也面临许多难题。由于认知逻辑涉及认识论、心理学、语言学、计算机科学和人工智能等诸多领域,并且认知逻辑的应用技术,又称关于知识的推理技术,正在成为计算机科学和人工智能的重要分支之一,因此认知逻辑在20世纪中后期成为国际逻辑学界的一个热门研究方向。这一状况在21世纪将得到继续并进一步强化,在这方面有可能出现突破性的重要结果。 4.对自然语言的逻辑研究 对自然语言的逻辑研究有来自几个不同领域的推动力。首先是计算机和人工智能的研究,人机对话和通讯、计算机的自然语言理解、知识表示和知识推理等课题,都需要对自然语言进行精细的逻辑分析,并且这种分析不能仅停留在句法层面,而且要深入到语义层面。其次是哲学特别是语言哲学,在20世纪哲学家们对语言表达式的意义问题倾注了异乎寻常的精力,发展了各种各样的意义理论,如观念论、指称论、使用论、言语行为理论、真值条件论等等,以致有人说,关注意义成了20世纪哲学家的职业病。再次是语言学自身发展的需要,例如在研究自然语言的意义问题时,不能仅仅停留在脱离语境的抽象研究上面,而要结合使用语言的特定环境去研究,这导致了语义学、语用学、新修辞学等等发展。各个方面发展的成果可以总称为“自然语言逻辑”,它力图综合后期维特根斯坦提倡的使用论 ,J·L·奥斯汀、J·L·塞尔等人发展的言语行为理论,以及P·格赖斯所创立的会话含义学说等成果,透过自然语言的指谓性和交际性去研究自然语言中的推理。 自然语言具有表达和交际两种职能,其中交际职能是自然语言最重要的职能,是它的生命力之所在。而言语交际总是在一定的语言环境(简称语境)中进行的,语境有广义和狭义之分。狭义的语境仅指一个语词、一个句子出现的上下文。广义的语境除了上下文之外,还包括该语词或语句出现的整个社会历史条件,如该语词或语句出现的时间、地点、条件、讲话的人(作者)、听话的人(读者)以及交际双方所共同具有的背景知识,这里的背景知识包括交际双方共同的信念和心理习惯,以及共同的知识和假定等等。这些语境因素对于自然语言的表达式(语词、语句)的意义有着极其重要的影响,这具体表现在:(i)语境具有消除自然语言语词的多义性、歧义性和模糊性的能力,具有严格规定语言表达式意义的能力。(ii)自然语言的句子常常包含指示代词、人称代词、时间副词等,要弄清楚这些句子的意义和内容,就要弄清楚这句话是谁说的、对谁说的、什么时候说的、什么地点说的、针对什么说的,等等,这只有在一定的语境中才能进行。依赖语境的其他类型的语句还有:包含着象“有些”和“每一个”这类量化表达式的句子的意义取决于依语境而定的论域,包含着象“大的”、“冷的”这类形容词的句子的意义取决于依语境而定的相比较的对象类;模态语句和条件语句的意义取决于因语境而变化的语义决定因素,如此等等。(iii)语言表达式的意义在语境中会出现一些重要的变化,以至偏离它通常所具有的意义(抽象意义),而产生一种新的意义即语用涵义。有人认为,一个语言表达式在它的具体语境中的意义,才是它的完全的真正的意义,一旦脱离开语境,它就只具有抽象的意义。语言的抽象意义和它的具体意义的关系,正象解剖了的死人肢体与活人肢体的关系一样。逻辑应该去研究、理解、把握自然语言的具体意义,当然不是去研究某一个(或一组)特定的语句在某个特定语境中唯一无二的意义,而是专门研究确定自然语言具体意义的普遍原则。[⑦] 美国语言学家保罗·格赖斯把语言表达式在一定的交际语境中产生的一种不同于字面意义的特殊涵义,叫做“语用涵义”、“会话涵义”或“隐涵”(implicature),并于1975年提出了一组“交际合作原则”,包括一个总则和四组准则。总则的内容是:在你参与会话时,你要依据你所参与的谈话交流的公认目的或方向,使你的会话贡献符合这种需要。仿照康德把范畴区分为量、质、关系和方式四类,格赖斯提出了如下四组准则: (1)数量准则:在交际过程中给出的信息量要适中。 a.给出所要求的信息量; b.给出的信息量不要多于所要求的信息量。 (2)质量准则:力求讲真话。 a.不说你认为假的东西。 b.不说你缺少适当证据的东西。 (3)关联准则:说话要与已定的交际目的相关联。 (4)方式准则:说话要意思明确,表达清晰。 a.避免晦涩生僻的表达方式; b.避免有歧义的表达方式; c.说话要简洁; d.说话要有顺序性。[⑧] 后来对这些原则提出了不少修正和补充,例如有人还提出了交际过程中所要遵守的“礼貌原则”。只要把交际双方遵守交际合作原则之类的语用规则作为基本前提,这些原则就可以用来确定和把握自然语言的具体意义(语用涵义)。实际上,一个语句p的语用涵义,就是听话人在具体语境中根据语用规则由p得到的那个或那些语句。更具体地说,从说话人S说的话语p推出语用涵义q的一般过程是: (i)S说了p; (ii)没有理由认为S不遵守准则,或至少S会遵守总的合作原则; (iii)S说了p而又要遵守准则或总的合作原则,S必定想表达q; (iv)S必然知道,谈话双方都清楚:如果S是合作的,必须假设q; (v)S无法阻止听话人H考虑q; (vi)因此,S意图让H考虑q,并在说p时意味着q。 试举二例: (1)a站在熄火的汽车旁,b向a走来。a说:“我没有汽油了。”b说:“前面拐角处有一个修车铺。”这里a与b谈话的目的是:a想得到汽油。根据关系准则,b说这句话是与a想得到汽油相关的,由此可知:b说这句话时隐涵着:“前面的修车铺还在营业并且卖汽油。” (2)某教授写信推荐他的学生任某项哲学方面的工作,信中写到:“亲爱的先生:我的学生c的英语很好,并且准时上我的课。”根据量的准则,应该提供所需要的信息量;作为教授,他对自己的学生的情况显然十分熟悉,也可以提供所需要的信息量,但他有意违反量的准则,在信中只用一句话来介绍学生的情况,任用人一旦接到这封信,自然明白:教授认为c不宜从事这项哲学工作。 并且,语用涵义还具有如下5个特点:(i)可取消性:在给原话语附加上某些话语之后,它原有的语用涵义可被取消。在例(1)中,若b在说“前面拐角处有一个修车铺”之后又补上一句:“不过它这时已经关门了”,则原有的语用涵义“你可从那里得到汽油”就被取消了。(ii)不可分离性:如果某话语在特定的语境中产生了语用涵义,则无论采用什么样的同义结构,该含义始终存在,因为它所依附的是话语的内容,而不是话语的形式。(iii)可推导性,前面已说明这一点。(iv)非规约性:语用涵义不能单独从话语本身推出来,除要考虑交际合作原则之类的语用规则之外,也需要假定通常的逻辑推理规则,并需要把上文语句、交际双方所共有的背景知识作为附加前提考虑在内。(v)不确定性:同一句话语在不同的语境中可以产生不同的语用涵义。显然,确定某个话语的语用涵义是一个极其复杂的过程,需要综合和分析、归纳和演绎的统一应用,因此具有一定的或然性。研究如何迅速有效地把握自然语言表达式在具体语境中的语用涵义,这正是自然语言逻辑所要完成的任务之一,它将在21世纪取得进展。
还要的可以找我,下面提供一些论文的结构。优秀论文的要素正确的选题、合适的切入点、简洁明了、说清自己的贡献、可靠的/可重现的结果、可重复的过程、好的文章结构和逻辑流程、精选的参考文献。误区Idea越多越好、一味追求革命性的、突破性的成果、数学、理论和公式越复杂越好、显示自己的聪明、追求最好,史无前例显示权威性、引文中大量引用自己的论文。优秀论文结构范例一、Abstract – 对自己工作及其贡献的总结1、阐述问题。2、说明自己的解决方案和结果。二、Introduction – 背景,以及文章的大纲1、题X是重要的。2、前人的工作A、B曾经研究过这个问题。3、A、B有一些缺陷。4、我们提出了方法D。5、D的基本特征,和A、B进行比较。6、实验证明D比A、B优越。7、文章的基本结构,大纲。三、Previous Work – 说明自己与前人的不同1、将历史上前人的工作分成类别。2、对每项重要的历史工作进行简短的回顾(一到几句),注意要回顾正确,抓住要点,避免歧义。3、和自己提出的工作进行比较。4、不要忽略前人的重要工作,要公正评价前人的工作,不要过于苛刻。5、强调自己的工作和前人工作的不同,最好举出各自适用例子。四、Our Work – 描述自己的工作,可以分成多个部分1、从读者的角度,阐明定义和表示法。2、提供算法的伪码,图解和相应解释。3、用设问的方式回答读者可能提出的潜在问题。4、复杂的冗长的证明和细节可以放在附录中,这里关键是把问题阐述清楚。5、特例和例外应该在脚注中给予说明。五、Experiments – 验证提出的方法和思路1、合理地设计实验(简洁的实验和详尽的实验步骤)。2、必要的比较,突出科学性。3、讨论,说明结果的意义。4、给出结论。六、Conclusion – 总结和前景展望,结文1、快速简短的总结。2、未来工作的展望。3、结束全文。七、References – 对相关重要背景文献的全面应用1、选择引文(众所周知的结论不必引用,其他人的工作要引用)。2、与前文保持一致。八、Others – 致谢、附录、脚注技巧有了,范例也有了,那还在等什么,赶快行动起来吧。如果你在写作过程中还有其它的问题,随时联系
从民法的基本原则来认识公法与私法的划分 关键词] 公法;私法;法律规范体系 [摘要] 很长一段时间来,我国法学界不承认在我国法律规范体系中有公法和私法的划分,过多 强调民事关系的国家意志性,忽视对公民和法人意志的尊重。近年来,随着我国法制的不断健全完善,我 们不得不修正原有的观点,承认公法与私法的划分。本文主要从民法的平等、自愿、公平等基本原则的角 度来讨论公法与私法的划分。 近年来,随着市场经济的发展,政治与经济高度一体化格局开始分解,民事方面和商事方面的立法 逐渐增多,我国法学理论中的否认公法与私法划分已不能适应社会主义市场经济的本质和要求。我国的 法学家们不得不重新审视和修正原有的观点,接受公法与私法相对独立的事实以及私法优先的观点。 一般认为,公法主要调整国家与公民之间的关系,由此而形成的权利称为公权。公法通常包括宪法、 行政法、诉讼法、刑法、税收法和军事法等。私法主要调整公民个人之间的关系,由此而形成的权利称为 私权。私法通常特指民法。没有哪一个国家的立法中明文规定“公法”或“私法”概念。最早提出公法与 私法的划分是古罗马的法学家马尔比安。他认为,有关罗马国家的法为公法;有关罗马人的法为私法[1]。 而最初的划分意义只在于使研习法律的人们便于认识法律、了解法律规范体系,后来法学家们认识到, 更重要的是这种划分有利于研究法律的价值导向。由于《罗马法》成了世界上第一个商品经济的法律 ——《拿破仑法典》的基础,因而,它的很多原理又为后世的许多民法系国家所普遍效法。 为什么从罗马法学家开始,几乎所有的资本主义国家的法学家们都十分推崇公法与私法的划分?笔 者认为其根本原因在于:一方面是为了防止体现每一个法律部门的固有本质或它的相对独立性“异化”; 另一方面也是为了防止体现国家与公民之间的公权关系的法律对体现公民与公民之间的私权关系的法 律侵扰,以便建立起泾渭分明的部门法体系。那么,为什么公有制国家建立后,要极力摒弃公法与私法的 划分呢?究其原因,正像列宁所说是为了扩大国家干预私权关系的范围,包括国家拥有废除私人合同的 权力,以便形成苏维埃国家赖以存在的公有制基础。从客观上看,列宁不承认公法与私法的划分,与布尔 什维克党消灭私有制,实行土地、银行、矿产、运输等企业逐渐国有化的纲领和实践是一致的。因为不这 样,社会主义经济基础难以在没有现成的社会主义经济萌芽的空地上建立起来。而我国法学理论在相当 长时期内也否认公法与私法的划分,这与两个原因不可分:其一,马列主义经典之理论对我国约束太深; 其二,列宁的这一理论恰恰符合我国长期以来高度集中的计划经济体制需要对社会经济生活进行全面 干预的法律要求。其实,恩格斯早就有公法与私法的观点,在论述法律产生时就指出:“在社会发展某个 很早的阶段,产生了这样的一种需要:把每天重复着的生产、分配和交换产品的行为用一个共同规则概 括起来,设法使个人服从生产和交换的一般条件。这个规则首先表现为习惯,后来便成了法律。随着法 律的产生,就必然产生出以维护法律为职责的机关——公共权力,即国家。”[2]这一体现历史和逻辑统一 的论述,不仅充分说明了在法律的进程中私法先于公法,更蕴含着一个深刻的观点,即公法、公共权力是 为私法而设立的。而我们过去却恰恰忽略了这一论述对法律分类的意义。 在现代法律体系中,公法与私法的划分是现代法秩序的基础,是建立法治国家的前提,在现代国家 一切法律规范,无不属于公法或私法的一方,而且因其所属不同而各有不同的效果。如何确立公法和私 法的划分标准,大致有三种学说,其一为利益说,即以规定国家利益者为公法,以规定私人利益者为私 法;其二为意思说,即规定国家与公民之间的权力服从关系的意思为公法,规定有关公民相互间平等关 系的意思为私法(这也是以法律关系的内容和性质为区分标准的法律关系说);其三为主体说,即公法主 体至少有一方为国家或国家授予公权者,私法主体法律地位平等。其中第三种学说为法学家们普遍认 同。要正确认识公法和私法的划分,笔者认为还得从民法的有关基本原则上加以考证。 一、民事主体地位平等原则。平等是一个具有多种不同含义的概念。我们在此讨论的是私法主体所 涉及的法律地位平等。《中华人民共和国民法通则》第3条规定:“当事人在民事活动中的地位平等。”平 等原则是指民事主体享有独立的法律人格,能够独立地表达自己的意志。作为民事主体当事人,是财产 在静态中的所有者,在动态中的交换者,而不是国家行政管理关系中的上级下级。即使是国家作为民事 主体,也必须受民事规范的约束,与其他民事主体保持平等地位。民事主体所享有的民事权利在受到侵 害时,平等地位受到法律保护。自然人生而平等;法人不论行业、性质、财产状况,人格也一律平等(法人 的人格平等是法人地位平等的依据)。从平等原则中就能让我们领悟到,私法的法律关系是法律地位平 等的市场主体之间的关系,它与公法的法律关系即国家凭藉公共权力对市场进行干预的关系是截然不 同的。 不过,民事主体在人格上的平等,不等于在实际的民事法律关系中,每个当事人所享有的具体民事 权利和民事义务都是一样的。在具体的民事法律关系中,各个当事人根据法律和自身的意志享有不同有 权利,承担不同的义务,尤其是对法人而言,在权利的享有和义务的承担上,还要受法人本身性质、法律 和行政命令以及法人的目的范围等限制。 二、自愿原则。《民法通则》第4条规定,民事活动应当遵循自愿原则,它是指民事主体在从民事活动 时,应当充分表达自己的真实意志,根据自己的意愿设立、变更和终止某种民事关系。该原则的确立就是 要赋予民事主体在法定范围内享有广泛的行为自由,实际上也是私法所奉行的意思自治原则的充分体 现。通过对传统法学理论的学习和认识,可以概括出意思自治在三个层面上的内涵:第一,从法哲学和 法律社会学的角度看[3],意思自治是个人主义、自由主义哲学思潮的直接产物,这大致可定义为,每个社 会成员依自己的理性判断,管理自己的事务,自主地选择,自主地参与。黑格尔曾在《权利哲学》里指出, 国家应当赋予其公民以拥有私人财产的权利的同时给予个人以自由缔结契约的权利[4]。第二,从公法与 私法划分角度来看,意思自治是私法自治,其基本含义是私法主体有权自主实施私法行为,他人不得非 法干预;私法主体仅对基于自由表达的真实意思而实施的私法行为负责;在不违反强行法的前提下,私 法主体自愿达到的协议优先于私法的适用,即私人间协议中变通私法。意思自治是罗马法时期公法与私 法划分理论的直接产物,它以承认民法是私法为理论前提,成为民法的精髓。随着现代民法的发展,私法 自治分演为所有权绝对,契约自由和过失责任三大民法基本原则。第三,从冲突法角度来看[5],意思自治 是指为当事人协商选择处理纠纷所适用的准据法的权利。意思自治原则是社会发展到一定阶段商品经 济的客观要求在民法上的必然反映,由于该原则恰恰符合欧洲资本主义发展时期个人本位和自由主义 的思想,所以被《拿破仑法典》以来的近现代民法始终奉为一项神圣的法律准则。但随着现代国家干预主 义的兴起,哲学上个人主义和经济上自由主义的衰落,也必然导致意思自治原则的削弱。从本世纪开始, 民法上的契约自由原则受到冲击,民事主体之间的交易自由不得与公共利益、道德规范和占支配地位的 公共政策相矛盾、相抵触,许多国家的法律对以损害或侵扰社会其他成员的方式使用私人财产的行为作 出较为严厉的处罚规定,按照被其他商人或整个社会认为是完全不公正的惯例而进行的商业活动则受 到法律的限制。这样,就使得意思自治原则因注入新的内容而所改变。 三、公平、等价有偿原则。法律的一个理念是追求正义的实现。正义所蕴含的公平、公正、平等等价 值内涵,是政治社会中所有价值体系追求的最高目标。私法自然也将公平和正义作为其最终的理想。 《民法通则》第4条还规定,民事活动应当遵循公平原则,公平原则是道德规范的法律化。该原则要求民 事主体应以公平的观念从事民事活动,正当地行使权利和履行义务,在民事活动中兼顾他人利益和社会 公共利益,同时,司法机关在处理民事纠纷时,应根据公平原则,使案件的处理既符合法律又公平合理。 公平正义是一个极其复杂的问题,但就从事民事活动的主体来说,公平正义理念的要求体现在:第 一,一个社会的经济结构必须为其每个成员的自由发展提供公平平等的机会,为其每个成员利益的获取 和合理分配提供手段及程序规则,并且在利益分配和公平的实现出现不均衡时能够予以有效补正及救 济;第二,社会关系主体即社会成员的交易活动应当遵循普遍公认的行为准则,主体实现经济目的的手 段应当是正当的、合理的,必须充分考虑社会利益并且自觉接受社会义务的约束。 根据《民法通则》第4条的规定,民事活动还应当遵循等价有偿的原则。该原则在要求民事主体在从 事移转财产等民事活动中要实行等价交换。任何一方不得无偿占有、剥夺他方的财产和侵害他方的权 益,如果构成对他方的损害,应负损害赔偿的责任。笔者认为,该原则已涉及到交换对等之平等领域的有 关问题。例如在交换的交易中,人的正义感在某些情形下要求在允诺与对应允诺之间、在履行与对应履 行之间达到某种程度的平等。一般说来,合同当事人是通过行使其私人自治权来确定他们各自履行行为 的价值的,这与公法通过行使国家权力来确定公民行为价值是显然不同的。 虽然公法与私法的划分是以其不同的性质、内容来进行的,但从以上所讨论到的民法有关原则上考 证,法律确实有公与私之分。不能把公法领域的强制性原则适用于平等、自愿、互利的私法领域,换言之, 要收缩行政权力在私人或民间领域不适当的延伸和干预。在我国市场经济体制下,强调公法与私法的分 离,有利于明确私人的独立地位,私人权利义务的协商性以及民事权利不可侵犯性,尊重公民和法人在 民事交往中的意志;也有利于树立私法是公法及整个法治的法律基础的观念。 [参考文献 ] [1] 潘念之.法学总论——国外法学知识译外[M].北京:知识出版社,1982. [2] 马克思,恩格斯.马克思恩格斯选集第8卷[C].第538-539页. [3] 姚辉.民法的精神[M].北京:法律出版社,1999,36. [4] 〔德〕黑格尔.权利哲学[M].北京:商务印书馆,1995. [5] 江平,张礼洪.市场与意思自治[J].载法学研究,1993,(6)
3000字太短了,写不出来什么有深度的东西,下面这篇还可以,你参考下一、引言 大数据技术的发展给科技进步、信息共享、商业发展带来了巨大的变革,社会活动网络化的发展趋势更给予了个人信息丰富的社会价值和经济价值,使它成为对于国家、社会、组织乃至个人都具有重要意义的战略资源。与此同时,与个人信息相关的犯罪活动也呈现出高发态势。2009年《刑法修正案(七)》增设“出售、非法提供公民个人信息罪”和“非法获取公民个人信息罪”。2015年《刑法修正案(九)》将两个罪名整合为“侵犯公民个人信息罪”,并扩大了主体范围,加大了处罚力度。2017年3月20日最高人民法院、最高人民检察院《关于办理侵犯公民个人信息刑事案件适用法律若干问题的解释》(以下简称《2017年解释》)对侵犯公民个人信息罪的司法适用做出了具体规定。笔者在中国裁判文书网,对判决结果包含“公民个人信息”的刑事一审判决逐年进行检索,2009-2019年间各年份相关判决数如图表 1所示。我国侵犯公民个人信息犯罪的发展可为四个阶段:2009~2012年,此类判决数为零,与个人信息相关的犯罪案件在实践中鲜有发生;2012~2016年,判决数量开始缓速增长,总量尚较少;2016~2017 年判决数量激增 214.6%,呈现出高发态势;2016~2019年,犯罪数量增速放缓。 图表 1作为侵犯公民个人信息犯罪的行为对象,公民个人信息的内涵、范围、判断标准对立法和司法适用具有重要意义。《2017年解释》第1条对其概念做了明确的规定,但实践中对公民个人信息的界定仍存在一些模糊的地方。如,如何把握行踪轨迹信息的范围、如何把握财产信息的范围和如何认定公民个人信息的可识别性等。由此观之,要实现对侵犯公民个人信息罪的准确认定,我们应该对其行为对象的内涵、外延进行深入研究。本文拟对《刑法》二百五十三条“公民个人信息”的界定进行深入分析,希望能对司法实践中该罪的认定提供有益参考。 二、刑法上公民个人信息合理保护限度的设定原则 信息网络时代,我们要在推动信息科技的发展应用和保护公民个人信息安全之间寻求适度的平衡。刑法对公民个人信息的保护力度过小或者过大,都不利于社会的正常发展。笔者认为,应当基于以下三项原则设定公民个人信息刑法保护的合理限度。(一)刑法的谦抑性原则刑法的谦抑性,是指刑法应合理设置处罚的范围与程度,当适用其他法律足以打击某种违法行为、保护相应合法权益时,就不应把该行为规定为犯罪;当适用较轻的制裁方式足以打击某种犯罪、保护相应合法权益时,就不应规定更重的制裁方式。此原则同样是刑法在对侵犯公民个人信息犯罪进行规制时应遵循的首要原则。在我国个人信息保护法律体系尚未健全、前置法缺失的当下,刑法作为最后保障法首先介入个人信息保护领域对侵犯公民个人信息行为进行规制时,要格外注意秉持刑法的谦抑性原则,严格控制打击范围和力度。对于公民个人信息的认定,范围过窄,会导致公民的合法权益得不到应有的保护,不能对侵犯公民个人信息的行为进行有效的打击;范围过宽,则会使刑法打击面过大,导致国家刑罚资源的浪费、刑罚在实践中可操作性的降低,阻碍信息正常的自由流通有违刑法的谦抑性原则。在实践中,较常见的是认定范围过宽的问题,如公民的姓名、性别等基础性个人信息,虽能够在一定程度上识别个人身份,但大多数人并不介意此类个人信息被公开,且即便造成了一定的危害结果,也不必动用刑罚手段,完全可以利用民法、行政法等前置法予以救济。(二)权利保护与信息流通相平衡原则大数据时代,随着信息价值的凸显,个人信息保护与信息流通之间的价值冲突也逐渐凸显。一方面,信息的自由流通给国家、社会、个人都带来了多方面的便利,另一方面,也不可避免地对个人生命和财产安全、社会正常秩序甚至国家安全带来了一定的威胁。科技的进步和社会的需要使得数据的自由流通成为不可逆转的趋势,如何平衡好其与个人权益保护的关系,是运用刑法对侵犯公民个人信息行为进行规制时必须要考虑的问题。个人信息保护不足,则会导致信息流通的过度自由,使公民的人身、财产安全处于危险境地、社会的正常经济秩序遭到破坏;保护过度,则又走入了另一个极端,妨碍了信息正常的自由流通,使社会成员成为一座座“信息孤岛”,全社会也将成为一盘散沙,也将信息化可以带来的巨大经济效益拒之门外。刑法要保护的应当仅仅是具有刑法保护的价值和必要,并且信息主体主动要求保护的个人信息。法的功能之一便是协调各种相互矛盾的利益关系,通过立法和司法,平衡好个人信息权利保护与信息自由流通,才可以实现双赢。应努力构建完备的个人信息保护体系,既做到保障公民人身、财产权利不受侵犯,又可促进信息应有的自由流动,进而推动整个社会的发展与进步。(三)个人利益与公共利益相协调原则个人利益对公共利益做出适当让渡是合理的且必须,因为公共利益往往涉及公共安全与社会秩序,同时也是实现个人利益的保障。但是这种让渡的前提是所换取的公共利益是合法、正当的,并且不会对个人隐私和安全造成不应有的侵害。公共安全是限制公民个人信息的典型事由。政府和司法部门因为社会管理的需要往往会进行一定程度的信息公开,信息网络的发展也使得大数据技术在社会安全管理活动中发挥着越来越重要的作用,但同时也不可避免地涉及到对于公民个人利益边界的触碰,由此产生公共管理需要与个人权益维护之间的冲突。相对于有国家机器做后盾的公权力,公民个人信息安全处于弱势地位,让个人信息的保护跟得上信息化的发展,是我们应该努力的方向。公众人物的个人信息保护是此原则的另一重要体现,王利明教授将公众人物划分为政治性公众人物和社会性公众人物两类。对于前者,可将其个人信息分为两类:一类是与公民监督权或公共利益相关的个人信息,此类个人信息对公共利益做出适当的让步是必须的;另一类是与工作无关的纯个人隐私类信息,由于这部分个人信息与其政治性职务完全无关,所以应受与普通人一样的完全的保护。对于社会性公众人物,其部分个人信息是自己主动或是希望曝光的,其因此可获得相应的交换利益,对于这部分信息,刑法不需要进行保护;也有部分信息,如身高、生日、喜好等虽然被公开,但符合人们对其职业的合理期待,且不会有损信息主体的利益,对于此类信息,也不在刑法保护范围内;但对于这类信息主体的住址、行踪轨迹等个人信息,因实践中有很多狂热的粉丝通过人肉搜索获得明星的住址、行程信息,对明星的个人隐私进行偷窥、偷拍,此类严重影响个人生活安宁和基本权益的行为应当受到刑法的规制。 三、刑法上公民个人信息的概念、特征及相关范畴 (一)公民个人信息的概念“概念是解决法律问题必不可少的工具”。1.“公民”的含义中华人民共和国公民,是指具有我国国籍的人。侵犯公民个人信息犯罪的罪名和罪状中都使用了“公民”一词,对于其含义的一些争议问题,笔者持以下观点:(1)应包括外国籍人和无国籍人从字面上和常理来看,中国刑法中的“公民”似乎应专门指代“中国的公民”。但笔者认为,任何人的个人信息都可以成为该罪的犯罪对象,而不应当把我国刑法对公民个人信息的保护局限于中国公民。第一,刑法一百五十三条采用的并非“中华人民共和国公民个人信息”的表述,而是了“公民个人信息”,对于刑法规范用语的理解和适用,我们不应人为地对其范围进行不必要的限缩,在没有明确指明是中华人民共和国公民的情况下,不应将“公民”限定为中国公民。第二,全球互联互通的信息化时代,将大量外国人、无国籍人的个人信息保护排除在我国刑法之外,会放纵犯罪,造成对外国籍人、无国籍人刑法保护的缺失,这既不合理,也使得实践中同时涉及侵犯中国人和非中国人的个人信息的案件的处理难以操作。第三,刑法分则第三章“侵犯公民人身权利、民主权利罪”并不限于仅对“中国公民”的保护,也同等地对外国籍人和无国籍人的此类权利进行保护。因此,处于我国刑法第三章的侵犯公民个人信息犯罪的保护对象,也包括外国籍人和无国籍人的个人信息,“我国对中国公民、处在中国境内的外国人和无国 籍人以及遭受中国领域内危害行为侵犯的外国人和无国籍人,一视同仁地提供刑法的保护,不主张有例外。”(2)不应包括死者和法人对于死者,由于其不再具有人格权,所以不能成为刑法上的主体。刑法领域上,正如对尸体的破坏不能构成故意杀人罪一样,对于死者个人信息的侵犯,不应成立侵犯个人信息罪。对死者的个人信息可能涉及的名誉权、财产权,可以由死者的近亲属主张民法上的精神损害赔偿或继承财产来进行保护。对于法人,同样不能成为刑法上公民个人信息的信息主体。一方面,自然人具有人格权,而法人不具有人格权,其只是法律拟制概念,不会受到精神上的损害。另一方面,法人的信息虽然可能具有很大的商业价值和经济效益,但是已有商业秘密等商法领域的规定对其进行保护。因此,法人的信息不适用公民个人信息的保护。2.“个人信息”的含义法学理论上对于公民个人信息的界定主要识别说、关联说和隐私说。识别说,是指将可以识别特定自然人身份或者反映特定自然人活动情况作为公民个人信息的关键属性。可识别性根据识别的程度又可以分为两种方式,即通过单个信息就能够直接确认某人身份的直接识别,和通过与其他信息相结合或者通过信息对比分析来识别特定个人的间接识别。学界支持识别说观点的学者大多指的是广义的识别性,既包括直接识别,又包括间接识别。关联说认为所有与特定自然人有关的信息都属于个人信息,包括“个人身份信息、个人财产情况、家庭基本情况、动态行为和个人观点及他人对信息主体的相关评价”。根据关联说的理论,信息只要与主体存在一定的关联性,就属于刑法意义上的公民个人信息。隐私说认为,只有体现个人隐私的才属于法律保障的个人信息内容。隐私说主要由美国学者提倡,主张个人信息是不愿向他人公开,并对他人的知晓有排斥心理的信息。笔者认为,通过识别说对刑法意义上的公民个人信息进行界定最为可取。关联说导致了刑法保护个人信息的范围过分扩大,而隐私说则只将个人信息局限在个人隐私信息的范围内,忽略了不属于个人隐私但同样具有刑法保护价值的个人信息,同时由于对隐私的定义受个人主观影响,所以在实践中难以形成明确的界定标准。相比之下,识别说更为可取,不仅能反应需刑法保护的公民个人信息的根本属性,又具有延展性,能更好的适应随着信息技术的发展而导致的公民个人信息类型的不断增多。且通过梳理我国关于个人信息的立法、司法,识别说的观点贯穿其中。名称 生效年份 对“个人信息”核心属性的界定《全国人大常委会关于加强网络信息保护的决定》 2012年 可识别性、隐私性《关于依惩处侵害公民个人信息犯罪活动的通知》 2013年 可识别性、隐私性《关于审理利用信息网络侵害人身权益民事纠纷案件适用法律若干问题的规定》 2014年 隐私性《网络安全法》 2016年 可识别性《关于办理侵犯公民个人信息刑事案件适用法律若干问题的解释》 2017年 可识别性、可反映活动情况图表 2《网络安全法》和《2017年解释》中关于公民个人信息的界定无疑最具权威性。《网络安全法》采用了识别说的观点,将可识别性规定为公民个人信息的核心属性。而后者采用了广义的“可识别性”的概念,既包括狭义可识别性 (识别出特定自然人身份) , 也包括体现特定自然人活动情况。两者之所以采用了不同的表述,是因为《网络安全法》对公民个人信息做了整体而基础性的保护,而《2017年解释》考虑到,作为高度敏感信息的活动情况信息,随着定位技术的不断进步逐渐成为本罪保护的一个重点,因此在采用了狭义的身份识别信息概念的基础之上,增加了对活动情况信息的强调性规定,但其本质仍是应涵括在身份识别信息之内的。所以,应以可识别性作为判断标准对公民个人信息进行界定。(二)公民个人信息的特征刑法意义上的“公民个人信息”体现了其区别于广义上的“公民个人信息”的刑法保护价值。明确刑法领域个人信息的特征,有助于在司法中更好的对个人信息进行认定。1.可识别性这是公民个人信息的本质属性。可识别是指可以通过信息确定特定的自然人的身份,具体包括直接识别和间接识别。直接识别,是指通过单一的信息即可直接指向特定的自然人,如身份证号、指纹、DNA等信息均可与特定自然人一一对应。间接识别,是指需要将某信息与其他信息相结合或者进行对比分析才能确定特定自然人,比如学习经历、工作经历、兴趣爱好等信息均需要与其他信息相结合才能识别出特定的信息主体。2.客观真实性客观真实性是指公民个人信息必须是对信息主体的客观真实的反映,。一方面,主观上的个人信息对特定个人的识别难度极大;另一方面,现行刑法关于侮辱罪或诽谤罪的相关规定足以对此类主观信息进行规制。司法实践中,如何判断信息的客观真实性也是一个重要的问题,如何实现科学、高效鉴别个人信息客观真实性,是司法机关应努力的方向。现有的随机抽样的方法有一定可取性,但不够严谨。笔者认为,可以考虑采取举证责任倒置的方式,若嫌疑人能证明其所侵犯的个人信息不具有客观真实性,则不构成本罪。3.价值性刑法的两大机能是保护法益和保障人权。从保护法益的机能出发,对于侵犯公民个人信息罪这一自然犯,只有侵犯到公民法益的行为,才能纳入刑法规制的范围。而判断是否侵犯公民法益的关键就在于该信息是否具有价值。价值性不仅包括公民个人信息能够产生的经济利益,还包括公民的人身权利。从个人信息的人格权属性角度分析,个人隐私类信息的公开,会侵犯公民的隐私权、名誉权,行踪轨迹类信息的公开,会对公民人身安全带来威胁。从个人信息的财产权属性角度分析,信息化时代,信息就是社会的主要财产形式,能够给人们带来越来越大的经济利益。“信息价值仅在当行为人主张其个人价值时才被考虑”,只有具有刑法保护价值的信息,才值得国家动用刑事司法资源对其进行保护。(三)个人信息与相关概念的区分很多国家和地区制定了专门的法律保护个人信息,但部分国家和地区没有采用“个人信息”的概念,美国多采用“个人隐私”的概念,欧洲多采用“个人数据”的概念,而“个人信息”的表述则在亚洲较为常见。对于这三个概念是可以等同,存在观点分歧。有观点认为,个人信息与个人隐私有重合,但不能完全混同,也有观点认为个人信息包含个人隐私,以个人数据为载体。笔者认为,有必要对三个概念进行明确区分。1.个人信息与个人隐私关于这两个概念的关系,有学者主张前者包含后者,有学者主张后者包含前者,还有学者认为两者并不是简单的包含关系。笔者认为,个人信息与个人隐私相互交叉,个人信息包括一般信息和隐私信息,个人隐私包括隐私信息、私人活动和私人空间,所以两者的交叉在于隐私信息。两者制建有很大的区别,不能混淆。首先,私密程度不同,个人信息中除隐私信息以外的一般信息在一定程度上是需要信息主体进行公开的,如姓名、手机号、邮箱地址等,而个人隐私则具有高度的私密性,个人不愿将其公开;其次,判断标准不同,个人信息的判断标准是完全客观的,根据其是否具有识别性、真实性、价值性来进行判断即可,而个人隐私在判断上具有更多的主观色彩,不同主体对个人隐私的界定是不同的;最后,个人信息既具有消极防御侵犯的一面,也具有主动对外展示的一面,信息主体通过主动公开其部分个人信息,可能会获得一定的利益,而个人隐私则侧重消极防御,主体的隐私信息和隐私活动不希望被公开,隐私空间不希望被侵犯。2.个人信息与个人数据笔者认为,个人信息(personal information)和个人数据(personal Data)的区别在于,个人数据是以电子信息系统为载体的对信息主体的客观、未经过处理的原始记录,如个人在医院体检后从自助机取出的血液化验报告单;后者是指,数据中可对接收者产生一定影响、指导其决策的内容,或是数据经过处理和分析后可得到的上述内容,如血液化验报告数据经系统或医生的分析,形成的具有健康指导作用的结果报告,换言之,个人信息=个人数据+分析处理。 四、刑法上公民个人信息的司法认定 在司法实践中,对于概念和原则的把握必然有一定的差异性,需要具体情况具体讨论。在本部分,笔者对一般个人信息的认定进行总结归纳,并对一些存在争议的情况进行分析。 (一)公民个人信息可识别性的认定“可识别性是指个人信息能够直接或者间接地指向确定的主体。”经过上文中的讨论,根据《网络安全法》和《2017年解释》对公民个人信息的定义,我们能够得出,“识别性”是公民个人信息的核心属性,解释第3条第2款印证了这一观点。对于能够单独识别特定自然人的个人信息,往往比较容易判断,而对于需要与其他信息结合来间接识别特定自然人身份或反映特定自然人活动情况的信息,往往是个案中控辩双方争议的焦点,也是本罪的认定中最为复杂的问题。面对实践中的具体案情,对于部分关联信息是否可以认定为“公民个人信息”时,可从行为人主观目、信息对特定自然人的人身和财产安全的重要程度和信息需要结合的其他信息的程度三个方面综合分析加以判断。以此案为例:某地一医药代表为了对医生给予用药回扣,非法获取了某医院某科室有关病床的病床号、病情和药品使用情况。此案中所涉及的非法获取的信息不宜纳入刑法中“公民个人信息”的范畴。首先,从行为人主观目的上看,并没有识别到特定自然人的目的,而仅仅是为了获取用药情况;其次,从以上信息对病人的人身安全、财产安全以及生活安宁的重要性上来看,行为人获取以上信息并不会对病人权益造成侵犯;最后,从这些信息需要与其他信息结合的程度来看,病床号、用药情况等信息并不能直接识别到个人,需要结合病人的身份证号等才能起到直接识别的作用。所以,此案中的涉案信息不属于刑法所保护的“公民个人信息”。(二)敏感个人信息的认定《2017年解释》第五条根据信息的重要程度、敏感程度,即信息对公民人身、财产安全的影响程度,将“公民个人信息”分为三类,并设置了不同的定罪量刑标准。类别列举 “情节严重”标准(非法获取、出售或提供) “情节特别严重“标准(非法获取、出售或提供)特别敏感信息 踪轨迹信息、通信内容、征信信息、财产信息五十条以上五百条以上敏感信息 住宿记录、通信记录、健康生理信息、交易信息五百条以上五千条以上其他信息五千条以上 五万条以上图表 3但是在司法实践中,仍存在对标准适用的争议,主要表现在对敏感个人信息的认定。1.如何把握“行踪轨迹信息”的范围行踪轨迹信息敏感程度极高,一旦信息主体的行踪轨迹信息被非法利用,可能会对权利人的人身安全造成紧迫的威胁。《2017年解释》中对于行踪轨迹信息入罪标准的规定是最低的:“非法获取、出售或者提供行踪轨迹信息50以上”的,即构成犯罪。由于《2017年解释》中对行踪轨迹信息规定了极低的入罪标准,所以司法认定时应对其范围做严格把控,应将其范围限制在能直接定位特定自然人具体位置的信息,如车辆轨迹信息和GPS定位信息等。实践中,信息的交易价格也可以作为判定其是否属于“行踪轨迹信息”的参考,因为行踪轨迹信息的价格通常最为昂贵。对于行为人获取他人车票信息后判断出他人的行踪的情况,载于车票的信息不宜被认定为《2017年解释》所规定的“行踪轨迹信息”,因为该信息只能让行为人知道信息主体大概的活动轨迹,并不能对其进行准确定位。2.如何把握“财产信息”的范围财产信息是指房产、存款等能够反映公民个人财产状况的信息。对于财产信息的判断,可以从两方面进行把握:一是要综合考量主客观因素,因为犯罪应是主客观相统一的结果;而是考虑到敏感个人信息的入罪门槛已经极低,实践中应严格把握其范围。以此案为例:行为人为了推销车辆保险,从车辆管理机构非法获取了车主姓名、电话、车型等信息。此案中的信息不宜认定为“财产信息”。因为行为人的主观目的不是侵犯信息主体的人身、财产安全,最多只会对行为人的生活安宁带来一定的影响,因而应适用非敏感公民个人信息的入罪标准。(三)不宜纳入本罪保护对象的公开的个人信息的认定 信息主体已经公开的个人信息是否属于 “公民个人信息”的范畴,理论界存在观点分歧。笔者认为,“公民个人信息”不以隐私性为必要特征,因为《2017年解释》第1条并为采用“涉及个人隐私信息”的表述,而是以识别性作为判断标准。因此,信息的公开与否并不影响其是否可以被认定为“公民个人信息”。对于权利人主动公开的个人信息,行为人获取相关信息的行为显然合法,且其后出售、提供的行为,当前也不宜认定为犯罪。理由如下:第一,在我国的立法和司法中,曾以“隐私性”作为界定公民个人信息的核心属性,可见公民个人信息在一定程度上是从隐私权中分离出来的权利,所以侵犯公民个人信息罪侧重于对公民隐私和生活安宁的保护。权利人之所以自愿甚至主动公开其个人信息,说明这部分信息即便被获取、出售,也通常不会对其个人隐私和生活安宁造成侵犯,因此不应纳入刑法保护范围内;第二,根据刑法第253条之一的规定,向他人出售或提供公民个人信息,只有在违反国家有关规定的前提下才构成犯罪。对于已经公开的公民个人信息,行为人获取后向他人出售或提供的行为在我国缺乏相关法律规定的情况下,应推定为存在权利人的概括同意,不需要二次授权,也就是说不应认定行为人对获取的已经由权利人公开的个人信息的出售和提供行为系“违法国家有关规定”。第三,在我国个人信息保护机制尚未健全、侵犯公民个人信息犯罪高发的背景下,应将实践中较为多发的侵犯权利人未公开的个人信息的案件作为打击的重点。对于权利人被动公开的个人信息,行为人获取相关信息的行为可以认定为合法,但如果后续的出售或提供行为违背了权利人意愿,侵犯到了其个人隐私和生活安宁,或是对权利人人身安全、财产安全造成了威胁,则应根据实际情况以侵犯公民个人信息罪论处。对于权利人被动公开的个人信息,行为人对相关信息的获取一般来说是合法的,但是获取信息之后的出售、提供行为如果对信息主体的人身安全、财产安全或是私生活安宁造成了侵犯,且信息主体对其相关个人信息有强烈保护意愿,则应据其情节认定为侵犯公民个人信息犯罪。 五、结语 大数据时代,个人信息对个人、组织、社会乃至国家均具有重要价值,由此也滋生了越来越多的侵犯个人信息犯罪。“公民个人信息”作为侵犯公民个人信息罪的犯罪对象,其概念界定、特征分析、与相关概念的区分以及司法认定对于打击相关犯罪、保护公民个人信息具有重要意义。通过本文的研究,形成以下结论性的认识:第一,界定公民个人信息的原则。一是应遵循刑法的谦抑性原则,保证打击范围既不过宽而导致国家刑罚资源的浪费和可操作性的降低,也不过窄而使公民个人信息权益得不到应有的保障。二是应遵循权利保护与信息流通相平衡原则,在保障公民人身、财产权利不受侵犯的同时不妨碍信息正常的流通。三是应遵个人利益与公众利益相协调原则,允许个人利益对公共利益做出适当让步,但杜绝对个人利益的侵害和过度限制。第二,公民个人信息之“公民”应包括外国籍人和无国籍人,不应包括死者和法人。公民个人信息之“个人信息”应采取“识别说”进行界定,可以识别特定自然人是刑法上公民个人信息的根本属性。除了可识别性,刑法意义上的公民个人信息还应具有客观真实性、价值性等特征可作为辅助判断标准。还应注意个人信息与个人隐私、个人数据等相关概念的区分,避免在司法实践中出现混淆。第三,一般个人信息的认定。“可识别性”是其判断的难点,可以从行为人主观目的、信息对其主体人身和财产安全的重要程度和信息需与其他信息的结合程度这三个方面综合分析判断;对于行踪轨迹信息、财产信息等敏感个人信息,由于其入罪门槛低、处罚力度大,应严格把控其范围并结合行为人主观心理态度进行考量;对于信息主体已经公开的个人信息,应分情况讨论,对于信息主体主动公开的个人信息,行为人对其获取、出售和提供,不应认定为侵犯公民个人信息罪,对于信息主体被动公开的个人信息,行为人对信息的获取是合法的,但其后出售、提供的行为,可以依实际情况以侵犯公民个人信息犯罪论处。希望本文的论述能够对我国个人信息保护体系的完善贡献微小的力量。
基本内容结构论文一般由 题名、 作者、 摘要、 关键词、 正文、 参考文献和附录等部分组成,其中部分组成(例如 附录)可有可无。论文题目要求准确、简练、醒目、新颖。目录目录是论文中主要段落的简表。(短篇论文不必列目录)内容提要是文章主要内容的摘录,要求短、精、完整。定义论文关键词是从论文的题名、提要和正文中选取出来的,是对表述论文的中心内容有实质意义的词汇。关键词是用作计算机系统标引论文内容特征的词语,便于信息系统汇集,以供读者检索。每篇论文一般选取3-8个词汇作为关键词,另起一行,排在“提要”的左下方。主题词是经过规范化的词,在确定主题词时,要对论文进行主题分析,依照标引和组配规则转换成主题词表中的规范词语。(参见《汉语主题词表》和《世界汉语主题词表》)。论文正文(1) 引言:引言又称前言、序言和导言,用在论文的开头。引言一般要概括地写出作者意图,说明选题的目的和意义, 并指出论文写作的范围。引言要短小精悍、紧扣主题。(2)论文正文:正文是论文的主体,正文应包括论点、 论据、论证过程和结论。主体部分包括以下内容:a.提出问题-论点;b.分析问题-论据和论证;c.解决问题-论证方法与步骤;d.结论。参考文献一篇论文的 参考文献是将论文在研究和写作中可参考或引证的主要文献资料,列于论文的末尾。参考文献应另起一页,标注方式按《GB7714-87文后参考文献著录规则》进行。论文装订论文的有关部分全部抄清完了,经过检查,再没有什么问题,把它装成册,再加上封面。论文的封面要朴素大方,要写出论文的题目、学校、科系、指导教师姓名、作者姓名、完成年月日。论文的题目的作者姓名一定要写在表皮上,不要写里面的补页上
数学教学论文参考文献
教学论文就是“讨论”和“研究”有关教学问题的文章,属于议论文,具有议论文的一般特点。下面是我收集整理的数学教学论文参考文献范文,希望对您有所帮助!
参考文献一
[1]杜威着,许崇清译:《哲学的改造》[M],商务印书馆.1958 年,P46
[2]阮忠英.初中几何教学策略浅谈[J].理科爱好者,2009(2)
[3]胡蓉.利用信息技术优化几何教学[J].信息技术与应用,2008(4).
[4]吕月霞.杜威的“从做中学”之我见[J] .教育新论,2009.5
[5]陈琦,刘儒德.当代教育心理学[M].北京师范大学出版社,2007,P185
[6]袁振国.当代教育学[M].教育科学出版社,2004,P184
[7]尚晓青.DGS 技术与初中几何教学整合研究[D].重庆:西南大学博士学位论文,2008.
[8]周军.教学策略[M].北京:教育科学出版社,2007,P11
[9]中华人民共和国教育部.义务教育数学课程标准 [S].北京:北京师范大学出版社,2011
[10]左晓明等.基于 GeoGebra 的数学教学全过程优化研究[J],2010,P101
[11]杨庆余.小学数学课程与教学[M].北京:高等教育出版社.2004,P102
[12]李伯黍,燕国材.教育心理学[M].上海:华东师范大学出版社.2010.P132
参考文献二
[1]王汉澜.教育评价学 [M].开封:河南大学出版社,1995.
[2]吴钢.现代教育评价基础[M].上海:学林出版社,2004.
[3] 黎世法.异步教育学[M].北京:当代中国出版社,1994.
[4]虞应连.采用复合评分法 注重个体内差异评价[J].中小学管理,2001(1).
[5](美) Carol Ann Tomlinson,刘颂译.多元能力课堂中的差异教学[M].北京:中国轻工业出版社, 2003.
[6]茹建文.关于构建小学数学发展性评价体系的'思考[J].现代教育科学,2005(2).
[7]曾继耘.差异发展教学研究[M].北京:首都师范大学出版社,2006.
[8]顾泠沅等.寻找中间地带--国际数学教育改革的大趋势[M].上海:上海教育出版社, 2003.
[9]马艳云.评价应注意学生的心理需求[J].人民教育,2005(17).
[10]陈小菊.给自己一个支点超越自己-“个体内差异评价策略”探微[J].福建教育,2005(7).
[11](美)Diane Heacox ,杨希洁译.差异教学-帮助每个学生获得成功[M]. 北京:中国轻工业出版社,2004.
[12]陈泳超.差异评价“ 实施因材施教”[J].福建教育,2001(7、8).
[13]安艳.差异性学生评价研究--以济南市三所初中为例[D],济南.山东师范大学,2007.
[14]王俭.教育评价发展历史的哲学考察[J].教师教育研究,2008(3).
参考1邓小荣.高中数学的体验教学法〔J〕.广西师范学院学报,2003(8)2黄红.浅谈高中数学概念的教学方法〔J〕.广西右江民族师专学报,2003(6)3胡中双.浅谈高中数学教学中创造性思维能力的培养〔J〕.湖南教育学院学报,2001(7)4竺仕芳.激发兴趣,走出误区———综合高中数学教学探索〔J〕.宁波教育学院学报,2003(4)5杨培谊,于鸿.高中数学解题方法与技巧〔M〕.北京:北京学院出版社,19931、《计算机教育应用与教育革新——’97全球华人计算机教育应用大会论文集》李克东何克抗主编北京师范大学出版社19972、《教育中的计算机》全国中小学计算机教育研究中心(北京部)19983、林建详编:《CAI的理论与实践——迎接21世纪的挑战》全国CBE学会第六次学术会议论文集1993北京北京大学出版社。[1]参见D.A.Drennen,ed.,AModernIntroductiontoMetaphysics,NewYork:FreePressofGlencoe,1962。此书是一本从巴门尼德到怀特海的著作选集,按形而上学中的问题分类。[2]参见R.G.Collingwood,AnEssayonMetaphysics,Oxford:ClarendonPress,1940。此书正文的第一句话是:“要讨论形而上学,唯一正派的、当然也是聪明的方式就是从亚里士多德开始。”[3]《形而上学》,982b14-28。[4]引自《古希腊悲剧经典》,罗念生译,北京:作家出版社,1998年,49页。[5]亚里士多德:《形而上学》,985b-986a,昊寿彭译,北京:商务印书馆,1981年,12-13页。[6]参见若-弗·马泰伊:《毕达哥拉斯和毕达哥拉斯学派》,管震湖译,北京:商务印书馆,1997年,90页以下;《古希腊哲学》,苗力田主编,中国人民大学出版社,1989年,78页;汪子嵩等:《希腊哲学史》第1卷,人民出版社,1997年,290页以下。[7]《古希腊哲学》,78页。[8]《毕达哥拉斯和毕达哥拉斯学派》,115页以下。[9]同上书,125页。译文稍有改动。[10]《希腊哲学史》第1卷,290页。[11]亚里士多德:《论天》,引自〈希腊哲学史〉第1卷,283页。[12]《毕达哥拉斯与毕达哥拉斯学派》,107页以下。[13]巴门尼德的话可以简略地表述为:“是是,它不能不是”,因为“存在”与“是”在古希腊和大多数西方语言中从根子上是一个词,如英文之“being”与“be”。相关性:毕业论文,免费毕业论文,大学毕业论文,毕业论文模板够不够我在给你找
人工智能与现今逻辑学的发展-.〔摘要〕 本文认为,计算机科学和人工智能将是21世纪逻辑学发展的主要动力源泉,并且在很大程度上将决定21世纪逻辑学的面貌。至少在21世纪早期,逻辑学将重点关注下列论题:(1)如何在逻辑中处理常识推理的弗协调、非单调和容错性因素?(2)如何使机器人具有人的创造性智能,如从经验证据中建立用于指导以后行动的可错的归纳判断?(3)如何进行知识表示和知识推理,特别是基于已有的知识库以及各认知主体相互之间的知识而进行的推理?(4)如何结合各种语境因素进行自然语言理解和推理,使智能机器人能够用人的自然语言与人进行成功的交际?等等。 〔关键词〕 人工智能,常识推理,归纳逻辑,广义内涵逻辑,认知逻辑,自然语言逻辑 现代逻辑创始于19世纪末叶和20世纪早期,其发展动力主要来自于数学中的公理化运动。当时的数学家们试图即从少数公理根据明确给出的演绎规则推导出其他的数学定理,从而把整个数学构造成为一个严格的演绎大厦,然后用某种程序和方法一劳永逸地证明数学体系的可靠性。为此需要发明和锻造严格、精确、适用的逻辑工具。这是现代逻辑诞生的主要动力。由此造成的后果就是20世纪逻辑研究的严重数学化,其表现在于:一是逻辑专注于在数学的形式化过程中提出的问题;二是逻辑采纳了数学的方法论,从事逻辑研究就意味着象数学那样用严格的形式证明去解决问题。由此发展出来的逻辑被恰当地称为“数理逻辑”,它增强了逻辑研究的深度,使逻辑学的发展继古希腊逻辑、欧洲中世纪逻辑之后进入第三个高峰期,并且对整个现代科学特别是数学、哲学、语言学和计算机科学产生了非常重要的影响。 本文所要探讨的问题是:21世纪逻辑发展的主要动力将来自何处?大致说来将如何发展?我个人的看法是:计算机科学和人工智能将至少是21世纪早期逻辑学发展的主要动力源泉,并将由此决定21世纪逻辑学的另一幅面貌。由于人工智能要模拟人的智能,它的难点不在于人脑所进行的各种必然性推理(这一点在20世纪基本上已经做到了,如用计算机去进行高难度和高强度的数学证明,“深蓝”通过高速、大量的计算去与世界冠军下棋),而是最能体现人的智能特征的能动性、创造性思维,这种思维活动中包括学习、抉择、尝试、修正、推理诸因素,例如选择性地搜集相关的经验证据,在不充分信息的基础上作出尝试性的判断或抉择,不断根据环境反馈调整、修正自己的行为,……由此达到实践的成功。于是,逻辑学将不得不比较全面地研究人的思维活动,并着重研究人的思维中最能体现其能动性特征的各种不确定性推理,由此发展出的逻辑理论也将具有更强的可应用性。 实际上,在20世纪中后期,就已经开始了现代逻辑与人工智能(记为AI)之间的相互融合和渗透。例如,哲学逻辑所研究的许多课题在理论计算机和人工智能中具有重要的应用价值。AI从认知心理学、社会科学以及决策科学中获得了许多资源,但逻辑(包括哲学逻辑)在AI中发挥了特别突出的作用。某些原因促使哲学逻辑家去发展关于非数学推理 的理论;基于几乎同样的理由,AI研究者也在进行类似的探索,这两方面的研究正在相互接近、相互借鉴,甚至在逐渐融合在一起。例如,AI特别关心下述课题: ·效率和资源有限的推理; ·感知; ·做计划和计划再认; ·关于他人的知识和信念的推理; ·各认知主体之间相互的知识; ·自然语言理解; ·知识表示; ·常识的精确处理; ·对不确定性的处理,容错推理; ·关于时间和因果性的推理; ·解释或说明; ·对归纳概括以及概念的学习。[①] 21世纪的逻辑学也应该关注这些问题,并对之进行研究。为了做到这一点,逻辑学家们有必要熟悉AI的要求及其相关进展,使其研究成果在AI中具有可应用性。 我认为,至少是21世纪早期,逻辑学将会重点关注下述几个领域,并且有可能在这些领域出现具有重大意义的成果:(1)如何在逻辑中处理常识推理中的弗协调、非单调和容错性因素?(2)如何使机器人具有人的创造性智能,如从经验证据中建立用于指导以后行动的归纳判断?(3)如何进行知识表示和知识推理,特别是基于已有的知识库以及各认知主体相互之间的知识而进行的推理?(4)如何结合各种语境因素进行自然语言理解和推理,使智能机器人能够用人的自然语言与人进行成功的交际?等等。 1.常识推理中的某些弗协调、非单调和容错性因素 AI研究的一个目标就是用机器智能模拟人的智能,它选择各种能反映人的智能特征的问题进行实践,希望能做出各种具有智能特征的软件系统。AI研究基于计算途径,因此要建立具有可操作性的符号模型。一般而言,AI关于智能系统的符号模型可描述为:由一个知识载体(称为知识库KB)和一组加载在KB上的足以产生智能行为的过程(称为问题求解器PS)构成。经过20世纪70年代包括专家系统的发展,AI研究者逐步取得共识,认识到知识在智能系统中力量,即一般的智能系统事实上是一种基于知识的系统,而知识包括专门性知识和常识性知识,前者亦可看做是某一领域内专家的常识。于是,常识问题就成为AI研究的一个核心问题,它包括两个方面:常识表示和常识推理,即如何在人工智能中清晰地表示人类的常识,并运用这些常识去进行符合人类行为的推理。显然,如此建立的常识知识库可能包含矛盾,是不协调的,但这种矛盾或不协调应不至于影响到进行合理的推理行为;常识推理还是一种非单调推理,即人们基于不完全的信息推出某些结论,当人们得到更完全的信息后,可以改变甚至收回原来的结论;常识推理也是一种可能出错的不精确的推理模式,是在容许有错误知识的情况下进行的推理,简称容错推理。而经典逻辑拒斥任何矛盾,容许从矛盾推出一切命题;并且它是单调的,即承认如下的推理模式:如果p?r,则pùq?r;或者说,任一理论的定理属于该理论之任一扩张的定理集。因此,在处理常识表示和常识推理时,经典逻辑应该受到限制和修正,并发展出某些非经典的逻辑,如次协调逻辑、非单调逻辑、容错推理等。有人指出,常识推理的逻辑是次协调逻辑和非单调逻辑的某种结合物,而后者又可看做是对容错推理的简单且基本的情形的一种形式化。[②] “次协调逻辑”(Paraconsistent Logic)是由普里斯特、达·科斯塔等人在对悖论的研究中发展出来的,其基本想法是:当在一个理论中发现难以克服的矛盾或悖论时,与其徒劳地想尽各种办法去排除 或防范它们,不如干脆让它们留在理论体系内,但把它们“圈禁”起来,不让它们任意扩散,以免使我们所创立或研究的理论成为“不足道”的。于是,在次协调逻辑中,能够容纳有意义、有价值的“真矛盾”,但这些矛盾并不能使系统推出一切,导致自毁。因此,这一新逻辑具有一种次于经典逻辑但又远远高于完全不协调系统的协调性。次协调逻辑家们认为,如果在一理论T中,一语句A及其否定?A都是定理,则T是不协调的;否则,称T是协调的。如果T所使用的逻辑含有从互相否定的两公式可推出一切公式的规则或推理,则不协调的T也是不足道的(trivial)。因此,通常以经典逻辑为基础的理论,如果它是不协调的,那它一定也是不足道的。这一现象表明,经典逻辑虽可用于研究协调的理论,但不适用于研究不协调但又足道的理论。达·科斯塔在20世纪60年代构造了一系列次协调逻辑系统Cn(1≤n≤w),以用作不协调而又足道的理论的逻辑工具。对次协调逻辑系统Cn的特征性描述包括下述命题:(i)矛盾律?(Aù?A)不普遍有效;(ii)从两个相互否定的公式A和?A推不出任意公式;即是说,矛盾不会在系统中任意扩散,矛盾不等于灾难。(iii)应当容纳与(i)和(ii)相容的大多数经典逻辑的推理模式和规则。这里,(i)和(ii)表明了对矛盾的一种相对宽容的态度,(iii)则表明次协调逻辑对于经典逻辑仍有一定的继承性。 在任一次协调逻辑系统Cn(1≤n≤w)中,下述经典逻辑的定理或推理模式都不成立: ?(Aù?A) Aù?A→B A→(?A→B) (AA)→B (AA)→?B A→A (?Aù(AúB))→B (A→B)→(?B→?A) 若以C0为经典逻辑,则系列C0, C1, C2,… Cn,… Cw使得对任正整数i有Ci弱于Ci-1,Cw是这系列中最弱的演算。已经为Cn设计出了合适的语义学,并已经证明Cn相对于此种语义是可靠的和完全的,并且次协调命题逻辑系统Cn还是可判定的。现在,已经有人把次协调逻辑扩展到模态逻辑、时态逻辑、道义逻辑、多值逻辑、集合论等领域的研究中,发展了这些领域内的次协调理论。显然,次协调逻辑将会得到更进一步的发展。[③] 非单调逻辑是关于非单调推理的逻辑,它的研究开始于20世纪80年代。1980年,D·麦克多莫特和J·多伊尔初步尝试着系统发展一种关于非单调推理的逻辑。他们在经典谓词演算中引入一个算子M,表示某种“一致性”断言,并将其看做是模态概念,通过一定程序把模态逻辑系统T、S4和S5翻译成非单调逻辑。B·摩尔的论文《非单调逻辑的语义思考》(1983)据认为在非单调逻辑方面作出了令人注目的贡献。他在“缺省推理”和“自动认知推理”之间做了区分,并把前者看作是在没有任何相反信息和缺少证据的条件下进行推理的过程,这种推理的特征是试探性的:根据新信息,它们很可能会被撤消。自动认知推理则不是这种类型,它是与人们自身的信念或知识相关的推理,可用它模拟一个理想的具有信念的有理性的代理人的推理。对于在计算机和人工智能中获得成功的应用而言,非单调逻辑尚需进一步发展。 2.归纳以及其他不确定性推理 人类智能的本质特征和最高表现是创造。在人类创造的过程中,具有必然性的演绎推理固然起重要作用,但更为重要的是具有某种不确定性的归纳、类比推理以及模糊推理等。因此,计算机要成功地模拟人的智能,真正体现出人的智能品质,就必须对各种具有不确定性的推理模式进行研究。 首先是对归纳推理和归纳逻辑的研究。这里所说的“归纳推理”是广义的,指一切扩展性推理,它们的结论所断定的超出了其前提所断定的范围,因而前提的真无法保证结论的真,整个推理因此缺乏必然性。具体说来,这种意义的“归纳”包括下述内容:简单枚举法;排除归纳法,指这样一些操作:预先通过观察或实验列出被研究现象的可能的原因,然后有选择地安排某些事例或实验,根据某些标准排除不相干假设,最后得到比较可靠的结论;统计概括:从关于有穷数目样本的构成的知识到关于未知总体分布构成的结论的推理;类比论证和假说演绎法,等等。尽管休谟提出着名的“归纳问题”,对归纳推理的合理性和归纳逻辑的可能性提出了深刻的质疑,但我认为,(1)归纳是在茫茫宇宙中生存的人类必须采取也只能采取的认知策略,对于人类来说具有实践的必然性。(2)人类有理由从经验的重复中建立某种确实性和规律性,其依据就是确信宇宙中存在某种类似于自然齐一律和客观因果律之类的东西。这一确信是合理的,而用纯逻辑的理由去怀疑一个关于世界的事实性断言则是不合理的,除非这个断言是逻辑矛盾。(3)人类有可能建立起局部合理的归纳逻辑和归纳方法论。并且,归纳逻辑的这种可能性正在计算机科学和人工智能的研究推动下慢慢地演变成现实。恩格斯早就指出,“社会一旦有技术上的需要,则这种需要比十所大学更能把科学推向前进。”[④] 有人通过指责现有的归纳逻辑不成熟,得出“归纳逻辑不可能”的结论,他们的推理本身与归纳推理一样,不具有演绎的必然性。(4)人类实践的成功在一定程度上证明了相应的经验知识的真理性,也就在一定程度上证明了归纳逻辑和归纳方法论的力量。毋庸否认,归纳逻辑目前还很不成熟。有的学者指出,为了在机器的智能模拟中克服对归纳模拟的困难而有所突破,应该将归纳逻辑等有关的基础理论研究与机器学习、不确定推理和神经网络学习模型与归纳学习中已有的成果结合起来。只有这样,才能在已有的归纳学习成果上,在机器归纳和机器发现上取得新的突破和进展。[⑤] 这是一个极有价值且极富挑战性的课题,无疑在21世纪将得到重视并取得进展。 再谈模糊逻辑。现实世界中充满了模糊现象,这些现象反映到人的思维中形成了模糊概念和模糊命题,如“矮个子”、“美人”、“甲地在乙地附近”、“他很年轻”等。研究模糊概念、模糊命题和模糊推理的逻辑理论叫做“模糊逻辑”。对它的研究始于20世纪20年代,其代表性人物是L·A·查德和P·N·马林诺斯。模糊逻辑为精确逻辑(二值逻辑)解决不了的问题提供了解决的可能,它目前在医疗诊断、故障检测、气象预报、自动控制以及人工智能研究中获得重要应用。显然,它在21世纪将继续得到更大的发展。 3.广义内涵逻辑 经典逻辑只是对命题联结词、个体词、谓词、量词和等词进行了研究,但在自然语言中,除了这些语言成分之外,显然还存在许多其他的语言成分,如各种各样的副词,包括模态词“必然”、“可能”和“不可能” 、时态词“过去”、“现在”和“未来”、道义词“应该”、“允许”、“禁止”等等,以及各种认知动词,如“思考”、“希望”、“相信”、“判断”、“猜测”、“考虑”、“怀疑”,这些认知动词在逻辑和哲学文献中被叫做“命题态度词”。对这些副词以及命题态度词的逻辑研究可以归类为“广义内涵逻辑”。 大多数副词以及几乎所有命题态度词都是内涵性的,造成内涵语境,后者与外延语境构成对照。外延语境又叫透明语境,是经典逻辑的组合性原则、等值置换规则、同一性替换规则在其中适用的语境;内涵语境又称晦暗语境,是上述规则在其中不适用的语境。相应于外延语境和内涵语境的区别,一切语言表达式(包括自然语言的名词、动词、形容词直至语句)都可以区分为外延性的和内涵性的,前者是提供外延语境的表达式,后者是提供内涵性语境的表达式。例如,杀死、见到、拥抱、吻、砍、踢、打、与…下棋等都是外延性表达式,而知道、相信、认识、必然、可能、允许、禁止、过去、现在、未来等都是内涵性表达式。 在内涵语境中会出现一些复杂的情况。首先,对于个体词项来说,关键性的东西是我们不仅必须考虑它们在现实世界中的外延,而且要考虑它们在其他可能世界中的外延。例如,由于“必然”是内涵性表达式,它提供内涵语境,因而下述推理是非有效的: 晨星必然是晨星, 晨星就是暮星, 所以,晨星必然是暮星。 这是因为:这个推理只考虑到“晨星”和“暮星”在现实世界中的外延,并没有考虑到它们在每一个可能世界中的外延,我们完全可以设想一个可能世界,在其中“晨星”的外延不同于“暮星”的外延。因此,我们就不能利用同一性替换规则,由该推理的前提得出它的结论:“晨星必然是暮星”。其次,在内涵语境中,语言表达式不再以通常是它们的外延的东西作为外延,而以通常是它们的内涵的东西作为外延。以“达尔文相信人是从猿猴进化而来的”这个语句为例。这里,达尔文所相信的是“人是从猿猴进化而来的”所表达的思想,而不是它所指称的真值,于是在这种情况下,“人是从猿猴进化而来的”所表达的思想(命题)就构成它的外延。再次,在内涵语境中,虽然适用于外延的函项性原则不再成立,但并不是非要抛弃不可,可以把它改述为新的形式:一复合表达式的外延是它出现于外延语境中的部分表达式的外延加上出现于内涵语境中的部分表达式的内涵的函项。这个新的组合性或函项性原则在内涵逻辑中成立。 一般而言,一个好的内涵逻辑至少应满足两个条件:(i)它必须能够处理外延逻辑所能处理的问题;(ii)它还必须能够处理外延逻辑所不能处理的难题。这就是说,它既不能与外延逻辑相矛盾,又要克服外延逻辑的局限。这样的内涵逻辑目前正在发展中,并且已有初步轮廓。从术语上说,内涵逻辑除需要真、假、语句真值的同一和不同、集合或类、谓词的同范围或不同范围等外延逻辑的术语之外,还需要同义、内涵的同一和差异、命题、属性或概念这样一些术语。广而言之,可以把内涵逻辑看作是关于象“必然”、“可能”、“知道”、“相信”,“允许”、“禁止”等提供内涵语境的语句算子的一般逻辑。在这种广义之下,模态逻辑、时态逻辑、道义逻辑、认知逻辑、问题逻辑等都是内涵逻辑。不过,还有一种狭义的内涵逻辑,它可以粗略定义一个内涵逻辑是一个形式语言,其中包括(1)谓词逻辑的算子、量词和变元,这里的谓词逻辑不必局限于一阶谓词逻辑,也可以是高阶谓词逻辑;(2)合式的λ—表达式,例如(λx)A,这里A是任一类型的表达式,x是任一类型的变元,(λx)A本身是一函项,它把变元x在其中取值的那种类型的对象映射到A所属的那种类型上;(3)其他需要的模态的或内涵的算子,例如�,ù、ú。而一个内涵逻辑的解释,则由下列要素组成:(1)一个可能世界的非空集W;(2)一个可能个体的非空集D;(3)一个赋值,它给系统内的表达式指派它们在每w∈W中的外延。对于任一的解释Q和任一的世界w∈W,判定内涵逻辑系统中的任一表达式X相对于解释Q在w∈W中的外延总是可能的。这样的内涵逻辑系统有丘奇的LSD系统,R·蒙塔古的IL系统,以及E·N·扎尔塔的FIL系统等。[⑥] 在各种内涵逻辑中,认识论逻辑(epistemic logic)具有重要意义。它有广义和狭义之分。广义的认识论逻辑研究与感知(perception)、知道、相信、断定、理解、怀疑、问题和回答等相关的逻辑问题,包括问题逻辑、知道逻辑、相信逻辑、断定逻辑等;狭义的认识论逻辑仅指知道和相信的逻辑,简称“认知逻辑”。冯·赖特在1951年提出了对“认知模态”的逻辑分析,这对建立认知逻辑具有极大的启发作用。J·麦金西首先给出了一个关于“知道”的模态逻辑。A·帕普于1957年建立了一个基于6条规则的相信逻辑系统。J·亨迪卡于60年代出版的《知识和信念》一书是认知逻辑史上的重要着作,其中提出了一些认知逻辑的系统,并为其建立了基于“模型集”的语义学,后者是可能世界语义学的先导之一。当今的认知逻辑纷繁复杂,既不成熟也面临许多难题。由于认知逻辑涉及认识论、心理学、语言学、计算机科学和人工智能等诸多领域,并且认知逻辑的应用技术,又称关于知识的推理技术,正在成为计算机科学和人工智能的重要分支之一,因此认知逻辑在20世纪中后期成为国际逻辑学界的一个热门研究方向。这一状况在21世纪将得到继续并进一步强化,在这方面有可能出现突破性的重要结果。 4.对自然语言的逻辑研究 对自然语言的逻辑研究有来自几个不同领域的推动力。首先是计算机和人工智能的研究,人机对话和通讯、计算机的自然语言理解、知识表示和知识推理等课题,都需要对自然语言进行精细的逻辑分析,并且这种分析不能仅停留在句法层面,而且要深入到语义层面。其次是哲学特别是语言哲学,在20世纪哲学家们对语言表达式的意义问题倾注了异乎寻常的精力,发展了各种各样的意义理论,如观念论、指称论、使用论、言语行为理论、真值条件论等等,以致有人说,关注意义成了20世纪哲学家的职业病。再次是语言学自身发展的需要,例如在研究自然语言的意义问题时,不能仅仅停留在脱离语境的抽象研究上面,而要结合使用语言的特定环境去研究,这导致了语义学、语用学、新修辞学等等发展。各个方面发展的成果可以总称为“自然语言逻辑”,它力图综合后期维特根斯坦提倡的使用论 ,J·L·奥斯汀、J·L·塞尔等人发展的言语行为理论,以及P·格赖斯所创立的会话含义学说等成果,透过自然语言的指谓性和交际性去研究自然语言中的推理。 自然语言具有表达和交际两种职能,其中交际职能是自然语言最重要的职能,是它的生命力之所在。而言语交际总是在一定的语言环境(简称语境)中进行的,语境有广义和狭义之分。狭义的语境仅指一个语词、一个句子出现的上下文。广义的语境除了上下文之外,还包括该语词或语句出现的整个社会历史条件,如该语词或语句出现的时间、地点、条件、讲话的人(作者)、听话的人(读者)以及交际双方所共同具有的背景知识,这里的背景知识包括交际双方共同的信念和心理习惯,以及共同的知识和假定等等。这些语境因素对于自然语言的表达式(语词、语句)的意义有着极其重要的影响,这具体表现在:(i)语境具有消除自然语言语词的多义性、歧义性和模糊性的能力,具有严格规定语言表达式意义的能力。(ii)自然语言的句子常常包含指示代词、人称代词、时间副词等,要弄清楚这些句子的意义和内容,就要弄清楚这句话是谁说的、对谁说的、什么时候说的、什么地点说的、针对什么说的,等等,这只有在一定的语境中才能进行。依赖语境的其他类型的语句还有:包含着象“有些”和“每一个”这类量化表达式的句子的意义取决于依语境而定的论域,包含着象“大的”、“冷的”这类形容词的句子的意义取决于依语境而定的相比较的对象类;模态语句和条件语句的意义取决于因语境而变化的语义决定因素,如此等等。(iii)语言表达式的意义在语境中会出现一些重要的变化,以至偏离它通常所具有的意义(抽象意义),而产生一种新的意义即语用涵义。有人认为,一个语言表达式在它的具体语境中的意义,才是它的完全的真正的意义,一旦脱离开语境,它就只具有抽象的意义。语言的抽象意义和它的具体意义的关系,正象解剖了的死人肢体与活人肢体的关系一样。逻辑应该去研究、理解、把握自然语言的具体意义,当然不是去研究某一个(或一组)特定的语句在某个特定语境中唯一无二的意义,而是专门研究确定自然语言具体意义的普遍原则。[⑦] 美国语言学家保罗·格赖斯把语言表达式在一定的交际语境中产生的一种不同于字面意义的特殊涵义,叫做“语用涵义”、“会话涵义”或“隐涵”(implicature),并于1975年提出了一组“交际合作原则”,包括一个总则和四组准则。总则的内容是:在你参与会话时,你要依据你所参与的谈话交流的公认目的或方向,使你的会话贡献符合这种需要。仿照康德把范畴区分为量、质、关系和方式四类,格赖斯提出了如下四组准则: (1)数量准则:在交际过程中给出的信息量要适中。 a.给出所要求的信息量; b.给出的信息量不要多于所要求的信息量。 (2)质量准则:力求讲真话。 a.不说你认为假的东西。 b.不说你缺少适当证据的东西。 (3)关联准则:说话要与已定的交际目的相关联。 (4)方式准则:说话要意思明确,表达清晰。 a.避免晦涩生僻的表达方式; b.避免有歧义的表达方式; c.说话要简洁; d.说话要有顺序性。[⑧] 后来对这些原则提出了不少修正和补充,例如有人还提出了交际过程中所要遵守的“礼貌原则”。只要把交际双方遵守交际合作原则之类的语用规则作为基本前提,这些原则就可以用来确定和把握自然语言的具体意义(语用涵义)。实际上,一个语句p的语用涵义,就是听话人在具体语境中根据语用规则由p得到的那个或那些语句。更具体地说,从说话人S说的话语p推出语用涵义q的一般过程是: (i)S说了p; (ii)没有理由认为S不遵守准则,或至少S会遵守总的合作原则; (iii)S说了p而又要遵守准则或总的合作原则,S必定想表达q; (iv)S必然知道,谈话双方都清楚:如果S是合作的,必须假设q; (v)S无法阻止听话人H考虑q; (vi)因此,S意图让H考虑q,并在说p时意味着q。 试举二例: (1)a站在熄火的汽车旁,b向a走来。a说:“我没有汽油了。”b说:“前面拐角处有一个修车铺。”这里a与b谈话的目的是:a想得到汽油。根据关系准则,b说这句话是与a想得到汽油相关的,由此可知:b说这句话时隐涵着:“前面的修车铺还在营业并且卖汽油。” (2)某教授写信推荐他的学生任某项哲学方面的工作,信中写到:“亲爱的先生:我的学生c的英语很好,并且准时上我的课。”根据量的准则,应该提供所需要的信息量;作为教授,他对自己的学生的情况显然十分熟悉,也可以提供所需要的信息量,但他有意违反量的准则,在信中只用一句话来介绍学生的情况,任用人一旦接到这封信,自然明白:教授认为c不宜从事这项哲学工作。 并且,语用涵义还具有如下5个特点:(i)可取消性:在给原话语附加上某些话语之后,它原有的语用涵义可被取消。在例(1)中,若b在说“前面拐角处有一个修车铺”之后又补上一句:“不过它这时已经关门了”,则原有的语用涵义“你可从那里得到汽油”就被取消了。(ii)不可分离性:如果某话语在特定的语境中产生了语用涵义,则无论采用什么样的同义结构,该含义始终存在,因为它所依附的是话语的内容,而不是话语的形式。(iii)可推导性,前面已说明这一点。(iv)非规约性:语用涵义不能单独从话语本身推出来,除要考虑交际合作原则之类的语用规则之外,也需要假定通常的逻辑推理规则,并需要把上文语句、交际双方所共有的背景知识作为附加前提考虑在内。(v)不确定性:同一句话语在不同的语境中可以产生不同的语用涵义。显然,确定某个话语的语用涵义是一个极其复杂的过程,需要综合和分析、归纳和演绎的统一应用,因此具有一定的或然性。研究如何迅速有效地把握自然语言表达式在具体语境中的语用涵义,这正是自然语言逻辑所要完成的任务之一,它将在21世纪取得进展。
逻辑学的意义小论文如下:
逻辑学是研究思维、思维的规定和规律的科学,学习逻辑学有助于人们正确的认识客观事物,获取新的知识,学习逻辑学有助于人们准确的表达思想,严格的论证思想,学习逻辑学,有助于人们揭露和纠正谬误,批驳诡辩论。
逻辑是指思维的规律,逻辑学就是关于思维规律的学说,又称理则学。逻辑学是一个哲学分支学科。其是对思维规律的研究。逻辑和逻辑学的发展,经过了具象逻辑到抽象逻辑到具象逻辑与抽象逻辑相统一的对称逻辑三大阶段。
逻辑学是研究思维的学科。所有思维都有内容和形式两个方面。思维内容是指思维所反映的对象及其属性。思维形式是指用以反映对象及其属性的不同方式,即表达思维内容的不同方式。从逻辑学角度看,抽象思维的三种基本形式是概念,命题和推理。
逻辑学,具体来说形式逻辑,是建立现代自然科学的基石,没有古希腊的逻辑学,就不会产生始于西方的现代自然科学。由于大家每天在习惯性的使用逻辑规则,而感觉不到逻辑学的重要性,这是十分遗憾的,中国高中或大学忽视这种教育也是十分遗憾的。