科学研究的逻辑范例(3篇)
科学研究的逻辑范文
一、逻辑学的价值
(一)逻辑学对科学研究的价值
科学方法是科学的灵魂,科学本身本质上就是方法,它不局限于把已知的知识总汇起来,还教人们如何去获取新知识。近代科学方法论巨匠F培根融合逻辑理性和实验理性,建立了系统的科学归纳法;笛卡尔继承并发展古希腊以来的理性演绎方法而得以开启近代科学大门;伽利略采用抽象的方法,想象的方法,逻辑推论的方法,弥补了实验条件的限制。今天,逻辑学已发展为一个纷繁而系统的科学体系,尤其是现代逻辑,已发展为一门与现代数学相通相融的精确性科学,形成符号数学、逻辑代数、模糊逻辑等多门数学分支,且与计算机科学、物理学、生物学等结合起来。数理逻辑,尤其是布尔逻辑,X打十算机科学的产生与发展的巨大作用。布尔逻辑是设计电子计算机开关电路不可少的逻辑理论和方法,是电子计算机硬件的基础设计方法,随后诞生的属于逻辑学范畴的人工表意的符号语言、形式化公理系统的方法,以及由哥德尔不完全性定理的证明所发展而来的递归算法,都是研制计算机语言、发展软件和扩大硬件功能不可缺少的逻辑理论和方法。
(二)逻辑学对提高国民素质的价值逻辑学有助于培养耐心细致、客观公正、求真务实的品质。逻辑学的严格的规范性,有助于人们自觉遵守和运用逻辑规则进行思想和行动,使思想严密、表达准确,杜绝偏见,摈弃恶习;逻辑学的精确性要求对同一问题不可能存在多种解释,有助于培养科学意识和科学精神。逻辑学方法有助于提高辨别是非和处理问题的能力,在侦查破案、诉讼、行政等方面,作用尤为突出。熟练掌握逻辑学,有助于成为一个思维敏捷的人,可以提高学习、工作与生活中的逻辑推理能力,在形形色色纷繁复杂的现象中,快速准确抓住重点与要点,辨别是非,果断处理问题,也有助于提高个人的道德修养水平。逻辑素养有助于提升人的客观公证、坚持真理、坚持科学的品质,减少盲从与非理性的成分。印度有七成国民是文盲,但其IT产业和生物制药业却位于世界尖端地位。印度药物美价廉,已占有美国20%的市场份额,在IT产业和IT人才方面,它抢下了美国五成的高科技人才工作签证。何以如此?有学者指出,印度国民中的受教育者由于深受其严格的逻辑思维训练,故而在抽象思维领域特别突出。
(三)逻辑学对于民主法治方面的价值国家民主法治、社会经济各方面的发展,客观上要求公民普遍具有较高的逻辑素养。如果公民的逻辑素养普遍偏低,会制约一个国家和民族的创新水平,制约综合国力的提升,也制约民主法治化的进程。在立法环节,要特别讲究逻辑。⑴在司法领域,逻辑为法律工作提供分析工具。在执法与行政领域,系统、熟练地掌握逻辑方法,对提高工作人员的责任意识与行政能力,都具有十分重要的作用,有助于推动依法行政。“法律推理是一种创造性的法律实践活动,无论是立法,还是执法、司法,甚至守法,都离不开法律推理。特别是在法律适用阶段,法律推理几乎成为法官审判活动的全部内容。”从整个社会来看,一个人人讲究逻辑、自觉逻辑地思维的社会,必然是一个民主的社会。在逻辑水平高的社会里,人们在思考问题时,依据的不是领导的个人权威或意志,更不是神、上帝、上天等超自然地精神意志,而是完全根据自己的逻辑判断与推理,服从的只是逻辑地“必然得出”的结论。正如张建军教授所言,“逻辑学是社会理性化的支柱型学科,逻辑的缺位意味着理性的缺位,这是逻辑学最根本的人文性质。‘逻辑精神’既是科学精神的基本要素,也是民主法治精神的基本要素。建立在逻辑基础之上的形式理性是科学体系与民主政治的共同基石。”
二、当前我国逻辑学教育的误区
(一)逻辑孤立主义倾向明显改革开放以来,在举国轰轰烈烈进行现代化建设的热潮中,逻辑学界好象比教冷静超脱,恍惚置身于现实之外,也极少对社会现实问题从专业的角度予以研究或讨论,这是一个不太正常的现象。当前很多学者、教师依然无视社会现实,无视近些年国家公务员招录考试、MPA、MBA、GCT、GRE等大型社会考试中非常强调考察逻辑思维能力的现实,一味躲在象牙塔里从事着“精神贵族的游戏”,未能有效实现逻辑教学研究与促进社会进步的有效对接。这种现象可以称作“逻辑孤立主义”。“逻辑学界的孤立主义根源于逻辑形式主义,认为逻辑研究的是一种与事实真理或思维内容绝对无关的纯粹形式。逻辑形式主义使逻辑学界安于与中国当代文化思潮绝缘的状态,因为从这种观点出发,必然得出逻辑与思想文化无关的结论。”逻辑孤立主义对现实社会持漠不关心的态度,不能对社会经济文化建设作出应有的贡献,反过来也严重制约了逻辑学本身的发展,使逻辑的生命力萎缩,后果非常严重。
(二)逻辑学教育已步入边缘化境地一是逻辑学课程不被重视。在国外,逻辑教育一直被作为一种面向全体受教育者的素质教育。在我国,逻辑教育基本没有得到应有的重视。中小学教育中基本没有逻辑知识与方法的传授。大学教育中,无论培养专门逻辑学人才还是作为通识课,逻辑学都面临边缘化的困境,逻辑学的地位在高等教育中不断滑坡,不少高校将逻辑课由必修课改为选修课,学分数也在减少,有的甚至干脆取消逻辑学。受课程地位下降的影响,高校逻辑学教师的师资队伍不断减少,造成逻辑学专业研究生毕业后就业难,直接影响了逻辑学专业的普及和深层发展。十分明显,逻辑学没有受到应有的重视。
学专业学位点的部分教师没有受过高深的逻辑学专业训练,仅靠发表几篇相关论文,或者是数学基础较好,就半路出家转行做逻辑学硕导甚至博导,有的是数学或计算机专业的教师兼职做逻辑学教师。在逻辑学通识课教育方面,不少教师只是在本科期间学过一点传统逻辑,或者是参加过逻辑短期培训班,逻辑专业知识与素养贫乏,不成系统,缺乏进行高层次逻辑研究的专业基础。
三是逻辑学研究困难重重。一是科研项目方面。从近年国家社科基金和自然科学基金这两大权威科研资助基金的立项课题来看,逻辑学方面的项目少之又少。教育部课题以及其他各级各类科研资助项目中,逻辑学课题获得立项的比例非常低,造成逻辑学教师因为得不到高级别课题支撑而生存危艰,不少教师不得不转行另谋出路。二是科研文章发表方面。至今,我国还没有一个专业性的逻辑学专业杂志,逻辑学文章不得不挤到《哲学研究》、《自然辩证法研究》等哲学类杂志去发表,因而每年的文章录用数量相当有限。三是科研获奖方面,从部级、省部级、地厅级的科研奖项来看,逻辑学很难谋取一席之地,绝大部分奖项都放在经济学、法学、管理学等与社会现实问题联系较密切的“显学”上去了。四是逻辑学学位点方面,硕士学位和博士学位点比较少,而且招生普遍比较困难。
(三)教材内容与社会需求脱节一是逻辑学教材数量较少且应用性不够强。目前,国内约有几十种版本的逻辑教材,“虽然缩短了与发达国家同类教材的差距,却仍然不尽如人意”。—是逻辑学教材数量偏少,二是质量总体不够高,三是应用性不够强。近10年来最成功的本科逻辑学教材当数高教社的“面向二十一世纪”教材《逻辑学教程》,迄今已发行逾三十万册。该教材有很多优点,但在重视理论性的同时稍微有点忽视了应用性,特别是作为通识课教材,对于帮助学生参加公务员招录考试、工程硕士人学考试、公共管理与工商管理人学考试、美国GRE考试的现实针对性显得不够强。
逻辑学教材在编排体例上、内容论述上都存在理论性丨顷向明显,而对实践领域很少涉及。比如对侦探、法律、医疗、商务、管理等领域的应用逻辑研究不够,因而没有开发出比较具有针对性和专业特色的应用逻辑学教材,造成很多不同专业都用同样的逻辑学教材,缺乏专业针对性与实用性。
三是逻辑学教材与各种社会考试对接不够。美国三大著名的考试“GRE、GMAT、LSAT等的综合能力测试最应当引起关注的两个理念是:第一,具有一般可比性的逻辑思维能力是存在的,在评价一个人的综合素质时,此种能力的差异比知识的差异更有意义;第二,不仅知识的差异可测试,而且此种能力的差异也可测试。”我国20世纪90年代末期开始尝试在MBA招录考试中借鉴引用美国的考试模式,试题中包括50道测试考生逻辑思维的题目。后来,在MPA和GCT联考、公务员(含事业编制、领导干部选拔)招录考试中都包含几十道测试逻辑思维水平的题目,这对于我们高校逻辑学教育应该是一个重要信号与导向。遗憾的是,大部分逻辑学教师都没有去深入研究这些大型考试中的逻辑考题,也很少有逻辑学教材在这方面予以充分的关注。
(四)专业教育与通识教育混淆国内逻辑学界对于逻辑学教育的内容上争论剧烈,比较典型的有“取代论”和“吸取论”。“取代论”又有两派,一派认为应该取消传统逻辑和普通逻辑,用现代逻辑取代传统逻辑,时下刚兴起的另一派主张用“批判性思维”课程来取代普通逻辑和现代逻辑。“吸收论者”主张在传统逻辑的基础上吸收现代逻辑的一些内容,有些调和或折衷的取向。
其实,以上争论是混淆了专业教育与通识教育的结果。“逻辑学专业教育的对象是对口专业的本科生与研究生,重点是研究生;而逻辑学通识教育的对象是不同专业(至少是一个大学科群不同专业)的本科生。逻辑专业课与逻辑通识课有着不同的教学目标。逻辑学专业课的主体是现代逻辑课程群,其中最重要的基础课程是一阶逻辑与模态逻辑。”[7]逻辑专业课的主要目标是培养逻辑学专业领域的专门人才,以承担逻辑学的前沿研究与高等教育工作。而逻辑学通识课的目标是提升学生的基本逻辑素养,让学生掌握一些基本的逻辑方法,以便在今后的学习工作与生活中能够自觉地运用这些方法提高效率与品质。
对于绝大多数人来讲,需要掌握的绝对不是高深晦涩的逻辑理论知识或符号系统,而是基本的逻辑思维方法,对于这些方法的载体是形式化的还是非形式化的关系不是很大。明白了这一点,就不难发现,所谓“取代论”主要是在专业教育方面应予强调,而在通识教育方面,应有多种载体来达到逻辑方法的大众化。
三、改造我国逻辑学教育
(一)摆正逻辑学的地位和功能联合国教科文组织的学科分类中,逻辑是与数学、物理、化学、天文、地理、生物并列的七大基础学科之一(属于一级学科),在其“科学技术领域的国际标准命名法建议”中,更将逻辑列于众学科之首。英国“大不列颠百科全书”更是将逻辑学列在五大学科之首。从古希腊逻辑学创立以来,西方国家一直普遍重视逻辑学的研究与教学。当务之急,国家应该正确认识逻辑学的地位和功能,在“十二五”教育规划中应该进一步提升逻辑学的地位。第一,把逻辑学作为独立的一级学科,改变目前隶属于哲学学科的繼尬局面,并加大经费资助力度,在一级学科层面建设学位点;第二,高校文科类专业应该普遍开设逻辑学通识课程,哲学与理工医农类专业应该普遍开设数理逻辑等现代逻辑课程。第三,进一步改革考试制度,加大逻辑思维水平测试在研究生人学考试与各类社会考试中的权重。长期以来,我国研究生招录考试中,总是着重考查具体专业知识,而对于逻辑思维能力却疏于考查。这方面应借鉴美国、加拿大等国家的研究生招生考试办法,全国统考科目重点考察语言(母语、外语)表达能力、逻辑思维能力、数学运算能力。在公务员、事业编制招录考试中,应该继续保持近几年比较重视考査应试者的逻辑思维水平的做法,让选拔出来从事国家与政府管理工作的人员具有比较高效的逻辑思维能力,从而促进其行政职业能力的提升。
(二)加强专血研究与交流合作首先,要消除孤立主义,树立大逻辑观。有些学者傲慢地坚持自己某些偏执的观点,一味否定普通逻辑的价值,是值得商榷的。“普通逻辑一直是被作为陈旧、肤浅、落后与保守的代名词使用的,但问题在于,普通逻辑与逻辑通识教育有密不可分的‘血缘’关系,这使得要实施和推进中国逻辑通识教育,不得不时时为普通逻辑辩护。”我们当前不仅要重视现代逻辑的前沿高端研究,也要加强逻辑基本原理与方法的大众化普及,培养公民的基本逻辑思维理念。“现代逻辑为哲学不仅提供了一系列重要的理论和成果,同时也为其研究提供了一系列重要和必要的方法”。其实,不仅哲学,而且在语言学、伦理学、美学、法学、计算机科学和其他一系列学科领域的研究中,现代逻辑手段都显得日益重要。“如果逻辑学要获得更大的社会价值,就应该放弃片面性的做法,坚持‘两条腿走路’,既重视形式化研究,也要注重非形式化研究,并把逻辑研究与实践结合起来。”[9]
其次,加强专业的前沿研究。改革开放以来,中国逻辑学研究取得了较大的进步,但其整体水平与国际逻辑学界相比仍有不小差距。针对目前国内高校逻辑学师资队伍普遍比较薄弱的现状,应该加大专业逻辑学师资的培养力度,扩大逻辑学学位点本科生、研究生的培养规模;加大“请进来、走出去”步伐,让更多的逻辑学教师有机会走出国门去访问交流,调研国外经验,同时尽可能地引进国外专家学者前来给学生授课讲学,使国内的逻辑学研究与教学与国际高水平接轨。“在逻辑学研究中,要采取拿来主义,大量吸收国外现代逻辑研究的前沿成果,学习发达国家将逻辑与现代文化接轨的先进经验,真正学会把逻辑作为哲学以及其他科学研究的方法和工具,使之向其他学科渗透。”
第三,更加强调各级逻辑学研究会的功能,举办逻辑学研讨会,同时促成尽快出版逻辑学专业杂志,建设专业性的逻辑学网站,促进逻辑学的前沿研究、交流与协作。
(三)促进逻辑学普及与应用,强化逻辑学的社会功能
第一,要把逻辑学同中外现代文化接轨。我们要在逻辑学同中国现代文化接轨中,进行跨学科研究,不仅研究与逻辑学有关的自然科学问题,也要研究与逻辑学有关的人文社会科学问题,特别是与中国当代文化建设关系重大的问题,从而建立逻辑与其他学科的交叉关系,以扩张逻辑的生命力,使逻辑的分支得以丰富和发展,使逻辑应用于更广阔的范围。
第二,针对不同的教学对象加强逻辑学教学。要分层次进行逻辑教学。普通高校、成人高校、中等学校分别讲授不同层次、不同内容的逻辑学。在专科学校可只讲传统形式逻辑,在非重点高校开设国外目前比较盛行的更具实用性的批判性思维课程,在重点高校则应该开设《逻辑导论》课程,这种课程应该教给学生关于逻辑学的一般观念,逻辑学发展到目前为止的大致整体形象,一些基本的逻辑技术和技巧,及逻辑技术背后的思想和精神。
第三,进一步做好逻辑学的传播和普及工作。一是抓住当前国家公务员招录考试、MBA、MPA、GCT等大型考试中普遍重视考察逻辑思维水平这个大好时机,有针对性地举办各种培训、辅导班,提升逻辑学在社会上的影响力。二是出版普及性趣味性的逻辑学通俗杂志与通俗读物,让广大社会成员有机会、有兴趣了解或学习逻辑学的基本方法。三是各级社联应该加大逻辑学基础知识与方法的普及工作,通过设立科普性逻辑学课题、科普性逻辑思维讲座等扎实有效的工作,让逻辑学走进社会公众,改善公众的思维品质,提升文化软实力。
四、结语
科学研究的逻辑范文
哲学逻辑这一术语最初是由罗素引入的,透过这个术语罗素意在传递人工语言对于自然语言和思想的研究是充分的这样一种想法。本质上这是一种对语言加以形式化处理的哲学纲领[1]。在当代,大多数哲学家认为哲学逻辑是更具体的逻辑的哲学问题的研究。例如关于论证、意义和真理的研究;关于同一性、存在和断定、必然性的研究[2]。逻辑哲学家伍德(JohnWoods)认为逻辑哲学研究自然语言中的真理、意义和指称等问题。他认为弗雷格的《概念文字》是典型的逻辑研究,而他的《涵义和指称》则属于典型的哲学逻辑研究[3]。哲学逻辑的另一种涵义是它主要涉及经典逻辑的扩展和替代系统,即所谓的非经典逻辑。在这种意义上哲学逻辑是一个技术性科目。如J.伯吉斯(J.Burgess)的教科书《哲学逻辑》,布莱克威尔的《哲学逻辑指南》和多卷本的《逻辑哲学手册》就是在术语的这种意义上使用的。在这种情况下,经典逻辑作为一个核心部分包括在非经典逻辑之中。按照伯吉斯的说法,这种逻辑对理论计算机科学具有极大的重要性,因为许多非经典逻辑在该领域中发现了它的应用。斯普林格出版的《哲学逻辑杂志》主要涉及的就是哲学逻辑的这种涵义。但是在这里我们最好不要一般地假定“哲学逻辑”必然地比“数理逻辑”一定有着更强的哲学关联。尽管在现代的早期阶段逻辑被作为哲学的一个分支看待,但今天的情况已经完全不同了,只有少数专业逻辑学家仍然在哲学系编制之内,不仅大多数“数理逻辑”专业工作者,而且大多数的“哲学逻辑”专业工作者的编制是在数学系或者计算机科学系。大多数非经典逻辑最初是由哲学家引入的,而且是基于一种哲学的动机,但是随着研究的发展它们很快就被纳入逻辑的“数学”研究范围之内。尽管我们对逻辑哲学的涵义做了仔细的分析,但逻辑哲学和哲学逻辑这对范畴之间的关系并没有一种普遍接受的表述方式,有些作者宁可将二者混为一体,把两个短语或多或少视为同义词来看。例如,哈克(SusanHaack)认为逻辑哲学和哲学逻辑之间没有实质性的区别[4]。杰奎特(DaleJacquette)也承认二者之间并没有显著的区别,不管是把它们作为两个不同的概念看待,还是不加区别地使用都没有特别充分的理由。如果一定要在二者之间做出一种划分的话,杰奎特的观点是哲学逻辑涉及到任何一种公认的逻辑方法对哲学问题或者以推进哲学讨论为目的的应用,反之逻辑哲学是对出现于和任何公认的逻辑分支的研究有关的哲学问题的思考[5]。格雷林(Grayling,A.C.)认为,当人们在从事哲学的逻辑研究时他是在做关于逻辑的哲学化的工作,而当人们在从事逻辑哲学研究时他是在做哲学工作[6]。作者认为,在二者的划界问题上应当将方法论的特征作为一个主要的因素来看待。凡是对论题的处理使用或者采取了逻辑的方法,那么它所处理的问题应当归属于哲学逻辑的范围,而凡是对论题的处理采用了哲学化的方法,那么它所处理的问题就应当归属于逻辑哲学。这一基于方法论划分的优点是有一个同一的标准。例如,按照这一标准,罗素的摹状词理论研究以及他的逻辑主义的数学哲学研究就是典型的哲学逻辑的研究,而他的关于(自然语言表层结构)误导形式的论题研究则属于逻辑哲学的研究。基于这一方法的划分当然有某些相互重叠交叉的论题,但这并不影响人们从不同的角度对它们做出不同的划分。例如,尽管罗素的摹状词理论是哲学逻辑的研究,但后来引发的施特劳斯和唐纳兰的更富语用学色彩的批评则属于哲学逻辑的范畴。按照本文提出的划分标准,大多逻辑哲学的论题事实上属于哲学逻辑的论题。作者认为真正属于纯粹的无争议的逻辑哲学的论题包括:真值的负荷者是句子类型,或者句子标记,还是命题?如果是命题,这些命题是无结构的还是有结构的?如果是有结构的,是粗糙结构的或罗素式的,还是细腻结构的或弗雷格式的?逻辑形式是与语言的语法形式相一致的,还是与语言的“表层形式”相对应的“深层形式”相一致。逻辑形式是心理实在的,或者是被表达在推理者意识中的或者大脑中的?抑或它们仅仅是在评价推理的过程中被分析者所强加的。逻辑真理或者逻辑知识是存在于逻辑小品词的意义中还是在其他地方?意义是由真值条件所构造还是体现于使用的规则中?等等问题。逻辑哲学和语言哲学是一种什么关系?逻辑和语言哲学被认为是20世纪哲学家们在哲学上做出最无可置疑的进步的少数领域中的两个。其中语言哲学的进步主要获益于逻辑的极大发展。例如,起源于中世纪哲学的从言模态(dedicto)和从物模态(dere)之间的区别直到当代模态逻辑诞生并为其提供了精确的语义刻画之后,这个问题才获得了一种较好的解决(尽管在认知语境的条件下,它们之间的区别仍有待于进一步澄清)。其他那些可以按照这种方式加以分类的论题包括存在、同一性、陈述条件句、本质主义、模态算子、量词和模糊性等。在逻辑和语言哲学中的进步已经正面地影响到相邻的哲学学科,如形而上学和元伦理学。基于上述理由,一些哲学家认为语言哲学是当代“第一哲学”,就像当年笛卡尔将“认识论”称为第一哲学那样。但事实上,语言哲学已经取得的巨大进步并不意味着它为我们提供了一种“第一哲学”。人们认识到一个学科比其他的学科进步得更快并不意味着这个学科掌握着所有其他学科进步的关键。二十世纪是语言哲学的世纪不是因为所有甚至大多数哲学问题已经通过诉诸于语言而使问题得到解决,而是由于哲学的那些涉及意义和内容的问题由此变得更加的复杂。如果说逻辑对语言哲学有一种方法论的在先性的话,逻辑哲学与语言哲学则是一种相互交叉,相互依存的互动关系。由于逻辑涉及推理,而推理如果不是全部也是绝大部分与语言有关的,因此逻辑哲学也必然涉及语言、语言哲学问题。一方面逻辑哲学家总能在自然语言那里找到新问题和新思路的灵感,语言哲学探讨的问题激发了逻辑哲学的思考和发展;另一方面逻辑哲学仍慷慨地向语言哲学提供自己的研究成果。二者也有一些研究主题是交叉的,如预设、隐含、模态性、条件句和内涵性。但二者仍有它们特有的可辨识的主题,语言哲学的核心论题是语言的意义,而按照斯特劳斯的表述,逻辑哲学的核心论题是“关于命题的观念,即关于什么是真什么是假的观念,和关于可能性的观念。”[7](P211)
二、怎样理解逻辑的扩展?逻辑依然被定格为传统的推理理论吗?
许多哲学家和逻辑学家发现给出一个适合于当代逻辑现状的定义并不容易,一个很重要的原因在于当代逻辑具有很强的多元性和异质性。的确,在罗素谈及逻辑是哲学的本质时,他所指的“逻辑”还是一种单一的逻辑。而当代哲学家在谈论逻辑时一般指的是能够系统地表述语言的形式推理结构的特定方面的逻辑,特别指的是经典逻辑之后的各种替代逻辑系统,或者超经典逻辑(extraclassicallogic),如广义模态逻辑和各种反经典逻辑(anticlassicallog-ic),如自由逻辑、相干逻辑、多值逻辑、非单调性逻辑、概率逻辑、条件句逻辑、内涵逻辑、模糊逻辑、省缺信息逻辑、偏好逻辑、描述逻辑等。怎样理解逻辑的扩展和增生?其实这个问题除了有学科自身内部发展的原因之外,还可以从逻辑与科学关系的角度加以分析。从科学与逻辑的关系看,科学中的证据和假设之间的关系是科学进步的基础,这种关系涉及逻辑前提和结论之间联系,而这正是逻辑的核心概念。在这种核心意义上,逻辑是正确推理的研究。它是证据和假设、理由和信念或者前提和结论的形式结构和非形式关系的研究。是一种推定式(单调)和非推定式(非单调或扩展)的推理研究,或者人们通常也称之为蕴涵和归纳。特别是,逻辑涉及被详加设计,以展示这种蕴涵和归纳的形式系统。更一般地说,它是一种证据、证明、蕴涵、支持、证实、确证或者证伪一结论的条件的研究。有这样一个与科学相联系的背景,我们也就不难理解20世纪的逻辑不仅包括形式蕴涵理论,而且包括非形式逻辑、概率理论,确证理论、决策论、博弈论、可计算性和认知模型。在过去的一个世纪里,逻辑的研究不仅从诸如哲学和数学这些传统学科,而且也从诸如计算机和经济学众多其他学科受益匪浅。反过来,逻辑开辟了关于数学推理研究的新的可能性,因而促进了诸如集合论和范畴理论等与数学基础研究相关的新的逻辑研究分支的发展。同样,20世纪许多哲学分支如形而上学、认识论、数学哲学、科学哲学、语言哲学和形式语义学的发展与逻辑学的发展相向而行,相互渗透,相互影响。这些进步已经导致逻辑范围进一步地拓宽,对逻辑的应用和范围的更深入的理解。与逻辑系统的扩张相适应,逻辑的论题也由传统的推理理论、悖论、谬误和定义的研究扩展到广义模态家族概念分析、概率、概率自然语言模型、精确概率推理、博弈分析、语义解释、意向性结构、动态性、不确定推理、因果性论证、信息更新、信念修正、逻辑编程、因特网智能体、学习推理、甚至交往互动、认知表征、语言翻译等方面的研究。可以说逻辑的触角已经渗透到人类理性过程的各个方面,逻辑也由哲学和数学扩展到诸如语言学、计算机科学、人工智能、认知科学甚至经济学等领域。新旧论题在这种新配置之下重新组合(如真性模态逻辑和时态逻辑、认知逻辑和道义逻辑的组合,相干逻辑和直觉主义逻辑的组合)产生出各种组合逻辑。在这种背景下逻辑事实上已经从关于正确推理这一单一主题的研究扩展到包括推理、(语言)分析和计算这三大主题。分析传统上就属于逻辑的范畴。逻辑必然要涉及语言分析,尤其是语言中的语义分析。语义分析既是逻辑应用的必要条件也是逻辑研究的内容之一。现代逻辑赋予分析以更为重要的地位,并且日渐成为逻辑学家实践活动的主要部分。例如,哲学逻辑中的各个分支的主要问题来源是语言的分析。特别是像蒙太格形式语义学或者内涵逻辑,以及各种基于语言的逻辑分析的广义语言逻辑的整个发展,只有在语言分析的背景下才能得到清楚而准确的理解。在这些分支中语义分析往往处在问题的核心的位置。更进一步地说,逻辑与演绎、分析、演算和计算乃至自动化(automation)的概念有密切的联系。亚里士多德是第一个将推理作为演算来处理的并取得成功的逻辑学家。在当代继演算的代数处理和符号算法的发展之后,演算已经变成了一种普遍的工具,以至于人们期待最终的自动逻辑推理将像演算一样被广泛的应用。这就把我们带入到逻辑、计算机科学、人工智能和认知科学相互交汇的广阔领域。当代逻辑的主要灵感也来自于这些领域。最后,这也是莱布尼茨普遍演算逻辑理想的一种现代扩展。
三、逻辑语言、心智和形而上学的在先性问题
逻辑哲学的一个重要问题是逻辑成分与世界成分的联系。逻辑作为一种形式符号的语言,通过一种语义解释可以表达思想,进而可以谈论这个世界,表达世界的结构。这样,逻辑语言、思想和世界构成了一个三角形,在逻辑哲学、心智哲学和形而上学中我们围绕着这个三角形运动。例如,现实世界的某些区别———如物体和性质或一般与特殊之间的区别在逻辑系统中根据谓词和个体词,以及高阶谓词和低阶谓词的差别,或语义解释(思想领域)的差别而有所区别。但这种差别之所以能够做出,需要某些关于我们对逻辑语言和思想方面的差别有一种形而上学的假设。这就有一个逻辑(或逻辑哲学)和形而上学何者相对优先的问题。在逻辑哲学和心智哲学之间也存在何者优先的问题。例如,对逻辑语言的意义的解释的任何方法,总会涉及语言和思想的优先顺序的问题。首先,我们应搞清楚这里的优先是个什么概念。
四、逻辑哲学是如何产生的?
科学研究的逻辑范文篇3
关键词:逻辑学;计算机科学;谓词逻辑;人工智能
中图分类号:B812
随着社会的不断进步,计算机科学也在不断发展和完善。而在计算机科学不断取得进步的背后,逻辑学则是促使计算机科学不断前进的关键因素。逻辑学是人类认识和改造世界的有效武器,用于对形成的学说进行推理和判断。目前,逻辑学已被应用于社会科学和自然科学等学科中,而对于逻辑学的研究则是学术界的热门研究对象,它是人类永恒的主题。对于一些比较复杂的内容就要用更复杂的推理方法进行逻辑推理。逻辑学目前的学生分支有以下几个:传统逻辑;经典逻辑;扩展的逻辑;变异的逻辑以及归纳逻辑等等。
随着计算机技术的不断发展,逻辑学与其关系也更加紧密,在实际运用过程中,通过将人类的推理简单化,使得计算机技术能够代替人的推理成为可能,而目前,一些可能已经实现。数学逻辑在计算机方面的应用,尤其是硬件设计方面的应用使得逻辑学成为计算机科学的一个关键的理论,而且与命题与谓词演算关系密切。在计算机方面,对程序进行设计时,要将所有的推理和计算过程都编入程序里,计算机进行运行。如果程序出现一点点问题,都会对结果产生很大的影响。因此,对于逻辑学在计算机方面的研究就变得非常重要,逻辑学中的一些逻辑问题以及各种逻辑之间的联系对于逻辑学在计算机科学的研究来说,也显得至关重要。本文主要通过命题逻辑、谓词逻辑以及人工智能为例来说明逻辑学在计算机科学中的应用。
1命题逻辑和谓词逻辑在关系数据库中的应用
首先介绍一下数据库,数据库是计算机数据处理的核心部分,同时也是当代计算机技术的重要组成部分。而数据库管理系统是关系数据库中用于向用户提供使用数据库的语言,也被成为数据子语言。谓词逻辑也是一种语言研究,它是计算机中的数学基础,而对于数据子语言的改进和优化也成为谓词逻辑的化简问题。
命题逻辑是逻辑系统中最基本的一种逻辑,它可以将命题逻辑的推理归纳成简单的代数演算-命题演算,而命题演算又是命题逻辑能够在电路设计等得到应用的重要原因,命题演算由于推理局限和表达问题不能很好的应用于知识表示和知识推理。命题演算里的原子命题,顾名思义,它是不能再被分解的,可用于研究命题间的关系,但其应用又是很不充分的。
符号逻辑系统中比较关键的是一阶谓词逻辑。由于一阶谓词逻辑的研究比较完善和成熟,同时可以用来表示种类众多的语句,还可以用旧知识直接求得新知识,因此,符号逻辑系统中的一阶谓词逻辑是一种很有效的推理方法。一阶谓词逻辑既能对众多非古典逻辑奠定基础,又能找出新语句的导出来源。一阶谓词逻辑可以为“归结反演原理”提供求解方法。因此,谓词逻辑在逻辑程序设计和人工智能系统中得到很好的推广和应用。
2逻辑学在人工智能中的应用
人工智能作为计算机科学的一个重要分支,是解决计算机如何能表现出人类智能的问题。而人工智能的知识表示方法、归纳推理方法等对于计算机如何表现出人工智能来说至关重要。在对人工智能进行研究的同时,要重视知识表示、知识推理和知识运用等基本问题。谓词逻辑语言的演绎过程的形式化能帮助研究者更好的理解人工智能知识表示及推理中的某些子命题。其中,逻辑学中的经典逻辑在人工智能研究知识表示、知识推理,应用逻辑规则等方面也起到关键的作用,能为数学语句准确定义,经典逻辑是人工智能研究领域的数学基础。PROLOG,是基于逻辑的程序设计语言,同时也是建立在逻辑学的理论基础之上的,PROLOG是逻辑学家开发的一种描述式语言。PROLOG语言以谓词逻辑为其表现形式,以消解原理为其实现基础。
3逻辑学在计算机科学中的作用及意义
对着科学技术的不断发展,计算机科学的发展也在不断进步和完善。计算机科学之所以能有这么快的发展和提升,逻辑学是主要原因,逻辑学是推动计算机科学前进的主要动力,对于计算机科学来说,逻辑学从硬件设计和软件处理两方面都起到很大作用。同时,逻辑学对于计算机的产生和发展也起到很大的促进作用。首先,从硬件设计来讲,命题逻辑和逻辑代数主要应用在计算机的电路设计中,同时在命题逻辑的基础上又发展了组合逻辑和时序逻辑等新的逻辑学。其次,从软件如理来讲,逻辑学对于计算机语言和程序的应用和发展又有很大的贡献。二值逻辑为现代计算机的发展奠定了理论基础,逻辑学在计算机的整个发展过程中都要用到,也就是说,计算机科学的发展离不开逻辑学,反过来,计算机科学和数字技术的不断发展,对逻辑学提出更大挑战,同时推动逻辑学的不断发展。由于起初的计算机只是对数字进行计算,之后,随着计算机科学的不断发展,计算机对文字进行处理,现在多媒体也在不断发展中,而计算机的这些发展,都是以逻辑学的应用为前提的,因此,计算机科学在智能化革命中瓶颈问题的解决和突破都依赖于逻辑学的不断完善和突破,学者对于逻辑学的研究在计算机科学中的应用有重要的意义,理应受到关注和重视。
4结语
对于数学逻辑来说,其最大优势就是将复杂的人类推理化解成简单而又原始的机械操作,正是因为有了逻辑学,人类才能制造出机器和计算机这些高科技来替代人的推理,而到目前为止,一些设想也已成为现实。在计算机中,要先设定程序,之后才能进行推理等过程,机器才能运算和操作。随着社会的不断进步,人们对于时间的把握,要求快速、正确的编写出程序,且要将程序的错误降到最低,这对于逻辑学也是一个重大挑战,因此,逻辑学在计算机科学中的地位日益重要。而对于科学技术来说,它要求人类有对科学技术的认识和实践过程,而对于科学技术来说,在科技上的每次理论或实践上的突破,同时也都是科学方法和方法论上的一种创新。作为计算机科学的研究者和使用者,人类应该充分重视和应用科学技术方法,用科学的方法去探索逻辑学在计算机科学中的应用。不仅要重视科学方法的理论和应用,更要将两者有效结合,让逻辑学在计算机科学中发挥最大效用,反过来,也能利用计算机科学丰富科学方法论。
参考文献:
[1]王岚,乐毓俊.计算机智能推理与智能教学[M].北京:北京邮电大学出版社,2005.
[2]布勒斯.可计算性与数理逻辑[M].北京:电子工业出版社,2005.
[3]王国俊.数理逻辑引论与归结原理[M].北京:科学出版社,2006.
[4]胡思.面向计算机科学的数理逻辑系统建模与推理[J].机械工业出版社,2005.
