论文部分内容阅读
摘要:逻辑可以分为纯逻辑和应用逻辑两大类。纯逻辑研究的是只涉及形式的、抽象的推理结构;应用逻辑研究的是还涉及实质内容的、某一特殊领域的推理结构。应用逻辑所涉及的具体学科领域非常广泛,包括哲学,经验科学甚至科学常识;应用逻辑是某一具体领域推理规律的系统化的理论形式。充分重视应用逻辑研究是我国逻辑学发展的一个重要契机。
关键词:应用逻辑;纯逻辑;问题逻辑;判例类比推理
2010年10月29日-31日,第二届全国应用逻辑研讨会在秦皇岛召开。会议由中国逻辑学会应用逻辑专业委员会主办,燕山大学文法学院承办和资助。应用逻辑专业委员会是由党校系统的逻辑工作者团体发展而来的一个全新的队伍,他是中国逻辑学会成立之初最早成立的几个专业委员会之一,是一支蓬勃、有朝气、活力与热情的队伍。应用逻辑是和纯逻辑相对的,它研究某一学科领域的推理规律,他和许多学科相互交叉,如数理逻辑,哲学逻辑等。具有非常广阔的前景。这次大会对于倡导逻辑工作学者拓展自己的研究层次和领域方面做起到了积极的作用,提出了逻辑要面向世界,面向未来,面向现代化的伟大格调,对于推动我国逻辑研究的积极与国际逻辑研究水平接轨的事业做出了不可磨灭的贡献。
在应邀参加的全体大会人员中,燕山大学文法学院的师生超过了20%的比例,可见燕山大学的师生们对此次大会的重视与关注程度。
从全国各地赶来的委员会成员,逻辑学专业学者以及对应用逻辑有着炽热爱好的社会阶层人士,积极就自己的观点参与了本次大会的讨论。中国逻辑学会会长张家龙老师对本次大会作了开幕词,燕山大学文法学院院长刘邦凡教授和哲学系主任刘叶涛老师等应邀在大会上发言。接着由应用逻辑专业委员会资深人士陈述自己的学术观点以及他们最新的研究成果,大致分为以下几个方面:
一、计算机与应用逻辑
来自南京邮电大学,计算机学院的洪龙老师做了中介真值程度量化应用的回顾和展望的学术演讲,中介真值程度的度量(measuring of medium truth degree,MMTD)是一种有别于模糊数学和粗集的量化处理模糊现象的方法。该方法的主要特点是采用逻辑真值定性与数据数值定量有机结合的方式处理模糊现象。由于符合Lorentz不变性原则,普适性的特点和计算机可以处理的定量形式,MMTD已在科学研究和工程技术中得到了有效的应用。在MMTD中采用了超态概念,在现实世界除了有大量的模糊现象存在于真假间之外,往往还有超真超假的现象。目前,MMTD已在数字图像处理,人工智能,管理与决策,语音信号处理,计算机网络,语言研究,数据挖掘,计算机系统结构,车道识别,评价技术和测控等领域得到有效应用。面向应用是MMTD的主要研究目的,在一些领域已得到的有效应用已经表明MMTD具有普适特点,又由于模糊现象无处不在,因此在信息工程,计算机科学与技术,通信工程,控制理论及工程,决策与管理科学,语言学,生物学,医学,心理学,社会学与经济学等领域处理模糊现象方面,MMTD具有广阔的应用前景。特别值得提出的是,在具有广阔应用范围的测控技术,具有巨大潜力的智能算法的研究中,MMTD将大有作为。
二、法律与应用逻辑
来自中国政法大学人文学院的孔红老师就关于判例类比推理做了逻辑分析,基于判例的类比推理简称为判例类比推理,是类比推理在法律中的一种运用。判例类比推理是普通法最重要的一种推理形式。尽管类比推理非常直观、朴素,但是,判例类比推理的逻辑并不像演绎推理那样明确。对于基于指定法规则的演绎推理来说,不论推理的实际过程有多复杂,总可以借助于演绎逻辑的方法进行精确分析。判例类比推理针对的是案件,而案件是没有句法结构可循的。因此,对于判例类比推理的逻辑合理性及其正当性标准问题,特别是案件之间的相似性比较,未曾给过清楚的回答。孔红老师从语义的角度分析了判例类比推理的逻辑。首先,区分了描述案件的两种语言:普通语言和专业的法律语言。从相关的法律语言中提取一组专业语词,将这组语词作为谓词增加到一阶逻辑的基础语言上,得到想要的语言L.同时将案件抽象地看作一个关系结构。由于在判例的判决书中法官用L描述了案件,反过来看,相应的关系结构就为提供了L的一个解释(模型)。两个案件相似,当且仅当对应的模型M1和M2是同构模型。根据同构模型的基本性质,对于任意L的公式€%O来说,M1推出€%O当且仅当M2推出€%O。也就是说,就L的语言表达能力而言,它无法输出M1和M2有什么区别。由于L是一个法律语言,这意味着,从法律角度看,两个案件的事实是相同的。在此基础上,得出判例类比推理的结论。
还有来自山东大学威海分校哲学与社会发展研究所得夏卫国老师对司法论证做了重要的逻辑学分析。
单调逻辑是司法论证的必要基础,因而对司法论证的把握有一个层次递进问题,非单调逻辑是对单调逻辑的补充,而不是对单调逻辑的否定。非单调推理和单调推理在实际的司法推理中共同起作用。司法论证的任务恰恰在于把握其作用机理。基础逻辑是用于重构一个法律规范的形式结构及隐含要素的推导工具。基础逻辑并不提供用以评价司法论证实质向度和程序向度的规范,担当这一任务的逻辑基础应为"非单调应用逻辑"。"应用"的实质就是"符合",所以,形式有效性是合理性的基础,并且只是一个必要条件。
三、问题逻辑
来自浙江大学城市学院中文系的耿志红老师,就从"问域"看初等问句的逻辑形式做了分析。
问题逻辑亦称疑问句逻辑,它既是语言逻辑重要的分支,也是现代逻辑的扩充性研究领域。初等问句是"问题"从结构上划分的一种类型,广泛存在于自然语言中。开展初等问句的形式分析研究,不仅对于建立问题逻辑形式系统,而且对问题的自然语言句法结构分析都具有十分重要的意义。目前,国内外关于"初等问句的形式分析"研究有"逻辑形式分析"与"语言形式分析"两种方法,本文通过对这两种方法进行详细地对比与分析,指出了这两种方法在处理现代汉语中带有"对比焦点"的初等问句上的不足之处。鉴于此种原因,本文首次从"问域"角度对初等问句进行形式分析研究,在一定程度上解决了现代汉语中带有"对比焦点"的初等问句形式分析的难点,同时运用这一分析方法建立起基本问题的形式推理。虽然这种分析方法还待于更深入的探讨,但从目前现有的"问题"研究来看,基于"问域"的初等问句形式分析不仅从内容上还是从方法上都具有一定程度的创新性。
还有来自上海大学社会科学院的李梁博士对问题逻辑的新看法。他指出问题逻辑是一种对于教学活动的开展有正确指导作用的应用逻辑。教学活动是人类认识活动的一个重要组成,几乎所有的教学活动都与各种形式的问题有关。问题逻辑是专门研究问题的一门应用思维科学,对于教学活动的开展具有正确的指导和积极的推动作用。
四、结语
此次全国逻辑应用研讨会举办的非常成功,调动了大家积极学习和深入探讨的积极性,应用逻辑作为一个充满活力的学科,必将带给人们更多实践生活的惊喜和运用。它留给人的意义积极而深远,这次大会推动了逻辑学更大范围和应用的巨大进展,顺应计算机科学,涉及概率推理、模糊推理和常识推理的人工智能,哲学,计算语言学,认知科学,法律推理,数学基础及自动化理论的发展需要,逻辑学进入了其发展过程中的新阶段。
参考文献:
[1]洪龙,肖奚安,朱梧槚.中介真值程度的度量及其应用(I)[J].2006,29(12):2186-2194.
[2]洪龙,肖奚安,朱梧槚.中介真值程度的度量及其应用(II)[J].2007,30(9):1551-1558.
[3]程程.中介调节算法及其在嵌入式系统中的应用[D].南京邮电大学,2010.
[4]师宇.应用逻辑通论[M].南昌:江西高校出版社,2001.
[5]南旭耀.法律应用逻辑教程[M].西安:陕西人民出版社,2005.
作者简介:车付翠(1987-),女,汉族,河北邯郸人,燕山大学文法学院09级硕士研究生,研究方向:逻辑学研究。
关键词:应用逻辑;纯逻辑;问题逻辑;判例类比推理
2010年10月29日-31日,第二届全国应用逻辑研讨会在秦皇岛召开。会议由中国逻辑学会应用逻辑专业委员会主办,燕山大学文法学院承办和资助。应用逻辑专业委员会是由党校系统的逻辑工作者团体发展而来的一个全新的队伍,他是中国逻辑学会成立之初最早成立的几个专业委员会之一,是一支蓬勃、有朝气、活力与热情的队伍。应用逻辑是和纯逻辑相对的,它研究某一学科领域的推理规律,他和许多学科相互交叉,如数理逻辑,哲学逻辑等。具有非常广阔的前景。这次大会对于倡导逻辑工作学者拓展自己的研究层次和领域方面做起到了积极的作用,提出了逻辑要面向世界,面向未来,面向现代化的伟大格调,对于推动我国逻辑研究的积极与国际逻辑研究水平接轨的事业做出了不可磨灭的贡献。
在应邀参加的全体大会人员中,燕山大学文法学院的师生超过了20%的比例,可见燕山大学的师生们对此次大会的重视与关注程度。
从全国各地赶来的委员会成员,逻辑学专业学者以及对应用逻辑有着炽热爱好的社会阶层人士,积极就自己的观点参与了本次大会的讨论。中国逻辑学会会长张家龙老师对本次大会作了开幕词,燕山大学文法学院院长刘邦凡教授和哲学系主任刘叶涛老师等应邀在大会上发言。接着由应用逻辑专业委员会资深人士陈述自己的学术观点以及他们最新的研究成果,大致分为以下几个方面:
一、计算机与应用逻辑
来自南京邮电大学,计算机学院的洪龙老师做了中介真值程度量化应用的回顾和展望的学术演讲,中介真值程度的度量(measuring of medium truth degree,MMTD)是一种有别于模糊数学和粗集的量化处理模糊现象的方法。该方法的主要特点是采用逻辑真值定性与数据数值定量有机结合的方式处理模糊现象。由于符合Lorentz不变性原则,普适性的特点和计算机可以处理的定量形式,MMTD已在科学研究和工程技术中得到了有效的应用。在MMTD中采用了超态概念,在现实世界除了有大量的模糊现象存在于真假间之外,往往还有超真超假的现象。目前,MMTD已在数字图像处理,人工智能,管理与决策,语音信号处理,计算机网络,语言研究,数据挖掘,计算机系统结构,车道识别,评价技术和测控等领域得到有效应用。面向应用是MMTD的主要研究目的,在一些领域已得到的有效应用已经表明MMTD具有普适特点,又由于模糊现象无处不在,因此在信息工程,计算机科学与技术,通信工程,控制理论及工程,决策与管理科学,语言学,生物学,医学,心理学,社会学与经济学等领域处理模糊现象方面,MMTD具有广阔的应用前景。特别值得提出的是,在具有广阔应用范围的测控技术,具有巨大潜力的智能算法的研究中,MMTD将大有作为。
二、法律与应用逻辑
来自中国政法大学人文学院的孔红老师就关于判例类比推理做了逻辑分析,基于判例的类比推理简称为判例类比推理,是类比推理在法律中的一种运用。判例类比推理是普通法最重要的一种推理形式。尽管类比推理非常直观、朴素,但是,判例类比推理的逻辑并不像演绎推理那样明确。对于基于指定法规则的演绎推理来说,不论推理的实际过程有多复杂,总可以借助于演绎逻辑的方法进行精确分析。判例类比推理针对的是案件,而案件是没有句法结构可循的。因此,对于判例类比推理的逻辑合理性及其正当性标准问题,特别是案件之间的相似性比较,未曾给过清楚的回答。孔红老师从语义的角度分析了判例类比推理的逻辑。首先,区分了描述案件的两种语言:普通语言和专业的法律语言。从相关的法律语言中提取一组专业语词,将这组语词作为谓词增加到一阶逻辑的基础语言上,得到想要的语言L.同时将案件抽象地看作一个关系结构。由于在判例的判决书中法官用L描述了案件,反过来看,相应的关系结构就为提供了L的一个解释(模型)。两个案件相似,当且仅当对应的模型M1和M2是同构模型。根据同构模型的基本性质,对于任意L的公式€%O来说,M1推出€%O当且仅当M2推出€%O。也就是说,就L的语言表达能力而言,它无法输出M1和M2有什么区别。由于L是一个法律语言,这意味着,从法律角度看,两个案件的事实是相同的。在此基础上,得出判例类比推理的结论。
还有来自山东大学威海分校哲学与社会发展研究所得夏卫国老师对司法论证做了重要的逻辑学分析。
单调逻辑是司法论证的必要基础,因而对司法论证的把握有一个层次递进问题,非单调逻辑是对单调逻辑的补充,而不是对单调逻辑的否定。非单调推理和单调推理在实际的司法推理中共同起作用。司法论证的任务恰恰在于把握其作用机理。基础逻辑是用于重构一个法律规范的形式结构及隐含要素的推导工具。基础逻辑并不提供用以评价司法论证实质向度和程序向度的规范,担当这一任务的逻辑基础应为"非单调应用逻辑"。"应用"的实质就是"符合",所以,形式有效性是合理性的基础,并且只是一个必要条件。
三、问题逻辑
来自浙江大学城市学院中文系的耿志红老师,就从"问域"看初等问句的逻辑形式做了分析。
问题逻辑亦称疑问句逻辑,它既是语言逻辑重要的分支,也是现代逻辑的扩充性研究领域。初等问句是"问题"从结构上划分的一种类型,广泛存在于自然语言中。开展初等问句的形式分析研究,不仅对于建立问题逻辑形式系统,而且对问题的自然语言句法结构分析都具有十分重要的意义。目前,国内外关于"初等问句的形式分析"研究有"逻辑形式分析"与"语言形式分析"两种方法,本文通过对这两种方法进行详细地对比与分析,指出了这两种方法在处理现代汉语中带有"对比焦点"的初等问句上的不足之处。鉴于此种原因,本文首次从"问域"角度对初等问句进行形式分析研究,在一定程度上解决了现代汉语中带有"对比焦点"的初等问句形式分析的难点,同时运用这一分析方法建立起基本问题的形式推理。虽然这种分析方法还待于更深入的探讨,但从目前现有的"问题"研究来看,基于"问域"的初等问句形式分析不仅从内容上还是从方法上都具有一定程度的创新性。
还有来自上海大学社会科学院的李梁博士对问题逻辑的新看法。他指出问题逻辑是一种对于教学活动的开展有正确指导作用的应用逻辑。教学活动是人类认识活动的一个重要组成,几乎所有的教学活动都与各种形式的问题有关。问题逻辑是专门研究问题的一门应用思维科学,对于教学活动的开展具有正确的指导和积极的推动作用。
四、结语
此次全国逻辑应用研讨会举办的非常成功,调动了大家积极学习和深入探讨的积极性,应用逻辑作为一个充满活力的学科,必将带给人们更多实践生活的惊喜和运用。它留给人的意义积极而深远,这次大会推动了逻辑学更大范围和应用的巨大进展,顺应计算机科学,涉及概率推理、模糊推理和常识推理的人工智能,哲学,计算语言学,认知科学,法律推理,数学基础及自动化理论的发展需要,逻辑学进入了其发展过程中的新阶段。
参考文献:
[1]洪龙,肖奚安,朱梧槚.中介真值程度的度量及其应用(I)[J].2006,29(12):2186-2194.
[2]洪龙,肖奚安,朱梧槚.中介真值程度的度量及其应用(II)[J].2007,30(9):1551-1558.
[3]程程.中介调节算法及其在嵌入式系统中的应用[D].南京邮电大学,2010.
[4]师宇.应用逻辑通论[M].南昌:江西高校出版社,2001.
[5]南旭耀.法律应用逻辑教程[M].西安:陕西人民出版社,2005.
作者简介:车付翠(1987-),女,汉族,河北邯郸人,燕山大学文法学院09级硕士研究生,研究方向:逻辑学研究。