论应用逻辑新发展.docVIP

论应用逻辑新发展 　　摘要:逻辑可以分为纯逻辑和应用逻辑两大类。纯逻辑研究的是只涉及形式的、抽象的推理结构;应用逻辑研究的是还涉及实质内容的、某一特殊领域的推理结构。应用逻辑所涉及的具体学科领域非常广泛,包括哲学,经验科学甚至科学常识;应用逻辑是某一具体领域推理规律的系统化的理论形式。充分重视应用逻辑研究是我国逻辑学发展的一个重要契机。 　　关键词:应用逻辑;纯逻辑;问题逻辑;判例类比推理 　　 　　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是一个法律语言,这意味着,从法律角度看,两个案件的事实是相同的。在此基础上,得出判例类比推理的结论。 　　还有来自山东大学威海分校哲学与社会发展研究所得夏卫国老师对司法论证做了重要的逻辑学分析。 　　单调逻辑是司法论证的必要基础,因而对司法论证的把握有一个层次递进问题