包邮新书--科学逻辑

**节??科学逻辑的划界 什么是科学逻辑？哪些是属于科学逻辑所要研究的？哪些不是属于科学逻辑所要研究的？这就是关于科学逻辑的划界问题。 逻辑这个词源于希腊语词“λoros”（逻各斯），含有“思维”“理性”“言语”“规则”等意思。逻辑作为一门科学，已发展成为多支，即存在着不同类型的逻辑。科学逻辑以科学的认识活动为研究对象，论述科学研究活动的模式及其规则，作为评判科学活动合理性的标准。 人们曾经把那种以科学理论作为研究对象的学问，叫作“元科学”（或称为“元理论”）。对此需要说明两点：首先，元科学（或元理论）并不是研究一切门类的科学，它仅仅是研究经验的自然科学。经验自然科学总是与观察、实验联系在一起，它既解释经验事实，又有待于通过经验事实给予验证。元科学与元逻辑不同，前者研究的对象是经验自然科学，后者研究的对象是演绎科学（数学和逻辑）。其次，元科学并不研究经验自然科学中的任何问题，它所探讨的只是经验自然科学中的认识论与逻辑问题。人们也把这种经验自然科学的认识论与逻辑问题，通称为“自然科学中的哲学问题”。科学逻辑从属于元科学。 究竟元科学研究些什么呢？元科学的研究课题从总体上来说，包括以下两个方面： **，科学知识是什么？这是有关科学知识性质方面的问题。对这一方面的问题作出回答就形成了科学观。比如说，有人认为，科学知识具有客观性，它不依赖于个人或集团的主观信仰；而有人则认为，科学知识是科学家集团的共同信仰，具有约定的纯工具性质；还有人认为，科学知识不过是科学家的个人信念，并无客观的意义。无疑，自然科学中具有头等重要意义的是认识论问题，即：科学知识是什么？科学知识的性质如何？应当说，科学观历来就是作为认识论的主要内容之一，不同的科学观构成不同的认识论。 第二，科学方法是什么？这是有关科学研究活动的合理性问题。换句话说，科学的认识活动是依照怎样的模式、程序、途径、手段进行的呢？如何从事科学活动才是有效、正确、合理的呢？科学活动的合理性标准（规则）是什么呢？对这一方面的问题作出回答就形成了经验科学的逻辑方法论（简称为“科学逻辑”）。 这里需要明确，关于经验科学的方法问题既不全是逻辑的问题，也不全是认识论的问题。经验科学的方法论总是作为逻辑与认识论相互渗透的统一体。不存在什么排除认识论的“纯粹的”经验科学逻辑，也不存在什么排除逻辑的“纯粹的”经验科学哲学。 既然科学逻辑是探讨经验科学的方法的学科，是关于科学活动的模式、程序、途径、手段及其合理性标准的理论，那么，是不是说经验科学中的任何一种研究活动的模式或手段——比如光谱分析法、远缘杂交法、气象预报法，以至算术的加、减、乘、除法等——都是属于科学逻辑的研究课题呢？不！并不是这样的。因而，必须进一步明确科学逻辑的划界原则。 作为科学逻辑研究课题的科学认识活动的模式和手段，它们具有以下这些特点： **，科学逻辑所研究的是一切经验自然科学所共有的研究活动模式和手段，而且这些模式和手段仅仅是经验自然科学所共有的。也就是说，凡是某一学科（或少数学科）所特有的研究活动模式和手段，都不属于科学逻辑的研究课题。比如说远缘杂交法，这是遗传学、育种学所特有的研究方式，并不是一切经验科学所共有的，因而就不属于科学逻辑的研究范围。此外，科学逻辑也不研究适用于全科学的方法，比如演绎推理和归纳推理，这是任何科学活动以及日常生活活动都普遍应用的。如果是一般地研究演绎推理和归纳推理，那么这是普通逻辑的课题，并不是科学逻辑的课题。科学逻辑所要研究的是作为经验科学活动的模式和手段的演绎推理和归纳推理，目的在于解决科学活动的合理性问题。 第二，科学逻辑的研究课题是经验科学中的认识论与逻辑的课题，并不是数学的或工程技术的课题，甚至也不是科学社会学的课题。比如说，系统论、控制论和信息论，它们如同数学方法一样重要，也是极为普遍地被应用的。然而，它们并不作为经验科学的认识论与逻辑。它们主要是作为解决工程技术问题而兴起的学科，因而，它们就不是科学逻辑所要论述的内容。大家知道，科学是人类社会的事业，科学活动涉及社会人才的培养状况、研究机构的发展状况、资金的使用状况等。总之，人类的科学活动存在着许许多多社会学方面的研究课题。但是，科学逻辑只限于研究科学的认识论与逻辑的课题，并不研究科学的社会学方面的课题。 第三，科学逻辑所阐明的科学活动模式及其合理性标准，并不都是些严格而精确的形式规则，还有些启发性的指导原则。如果科学逻辑的内容仅仅是形式规则所构成的系统，而排除那些不具有机械固定程序的指导原则，那就根本无法解决科学活动的合理性问题。比如说，为了检验一个假说，就必须从被检验的假说引申（演绎）出关于事实的命题，然后，通过观察或实验判定从假说引申出来的事实命题的真伪，再从引申出来的事实命题的真伪去评估被检验假说的真伪。人们常用“H”来表示被检验的假说，用“E”来表示引申出来的关于事实的命题，那么，从被检验假说H引申（演绎）出关于事实的命题E，被简化地表示为“如果H，那么E”。无疑，事实命题E，也许是真的，也许是假的。