逻辑学和数学逻辑的关系篇1
海德格尔是20世纪最伟大的哲学家之一，存在主义的创始人和主要代表之一，被誉为当代最有创见的思想家、最杰出的本体论学者、技术社会的批判者。他的思想在哲学的很多领域都有重要的影响，他在存在主义、现象学、解构主义、美学及神学等方面都有不少精辟的论述。但到目前为止，学界很少论述他的逻辑思想。事实上，海德格尔的逻辑思想是很丰富的，他对逻辑有着深入的思考，他的思想对于我们进行逻辑学、逻辑哲学的研究以及认识逻辑和哲学的关系具有重要的启发意义。本文拟从海德格尔对逻辑的定义、数理逻辑以及哲学逻辑的认识来探讨其逻辑思想，并进一步考察哲学逻辑兴起、逻辑在哲学中的应用以及逻辑多元发展的意义。
一、逻辑的定义和研究对象
海德格尔关于逻辑的定义是对我们传统观点的挑战。传统的观点认为，逻辑就是关于思想的一门规范科学，这门科学的主要目的是为人们的思维制定应该遵循的规则，每一个追求真的人都应当遵守这样的规则。但是我们都知道，这样的观点有很多缺陷。首先，“思想”一词是具有歧义的，它既指称思维的过程，又指称思维的内容，而思维的过程属于心理学研究的范围。当然，确实有一些逻辑规律在起作用。例如，“如果p蕴涵q，并且p，那么q”(p和q是命题变项)，那么，如果某个人相信命题“a蕴涵b”，并且也相信a(a和b是命题的名称)，那么他应该相信b。但是，对于人的理性的规范要求并不是逻辑学研究的领域。最后，“真”这个词也具有歧义。它既指称内容的真(陈述句“现在罗马在下雨”为真，当且仅当罗马事实上在下雨)，也指称形式的真或有效性(推理“所有的男人是永生的，所有的希腊人是男人，因此，所有希腊人是永生的”有效。作为逻辑规律的替换例子，即使前提或结论中有一个事实上为假)。考虑到这些缺陷，传统观点对逻辑的研究对象作了如下修正：逻辑是研究有效性而不是关于真的理解。如果按照这种对于逻辑研究对象的修正的话，逻辑的定义可以修改成下面的定义：逻辑是关于有效的意义结构的科学。根据这一定义，逻辑的任务就是制定意义结构有效性的规则或规律。
然而，海德格尔不同意上述观点。他认为：“逻辑学家研究的目的必须是提出关于语句的准确的意义，并且根据意义和意义的简单结构或复合结构的客观差异决定判断的形式，在这个基础上进一步将这样的形式纳入一个系统。”这一论述并没有明确提及有效性的概念，尽管将这样的简单意义和复合意义纳入一个系统必须展示它们之间的蕴涵关系，而它们之间的蕴涵规律将产生意义结构的有效性规则。在海德格尔看来，正确的逻辑研究对象既不是思维的过程，也不是一个思维的事实(无论是物理的或是形而上学的)，逻辑是关于存在(sinn)的，亦即关于一个命题或语句的意义和判断内容的。海德格尔认为，逻辑是提问中对存在的基础的检阅，它必须解决生活世界和哲学中所关注的重要问题，尤其是那些原则性的意义问题。基于这一立场。海德格尔深刻地洞察到数理逻辑的局限性或盲区。
二、数理逻辑的盲区
随着近代科学技术特别是变量数学的产生和发展，数理逻辑也开始萌芽。莱布尼兹首先提出了改造逻辑，并建立一种表意的普遍符号语言以及思维推理演算的构想。这一构想改变了逻辑学的传统发展方向。19世纪40年代，布尔和德摩根分别建立了逻辑史上第一个逻辑代数系统和关系逻辑理论。1879年，弗雷格构造了一个谓词逻辑演算系统。20世纪初，罗索和怀特海完成了一个初步自足的二值逻辑演算系统。至此，数理逻辑的基础基本形成。对于像海德格尔这样醉心于传统逻辑的哲学家而言，数理逻辑的兴起无疑是一个挑战。虽然海德格尔对弗雷格关于概念和客体的涵义及指称的论述兴趣很浓，但是对弗雷格的欣赏却未能同样置于数理逻辑之上。海德格尔认为，逻辑斯蒂或数理逻辑并不能经由数学而获得解放，因此，它也不能真正解决逻辑的基础问题。海德格尔认为数理逻辑主要的缺陷在于将数学符号和概念应用到逻辑中，这样做的结果是使逻辑原则的重要性大为减低。数理逻辑并没有解决传统逻辑所关注的重要问题，尤其是那些原则性的意义问题。
海德格尔指出了数理逻辑的盲区，数理逻辑是形式化的，因此，它不能研究诸如判断的意义的动态变化及判断的结构和认知等的重要性问题。逻辑斯蒂将判断分解到翻译机器系统中，判断变成了计算的对象，因此不能成为本体论解释的论题。因为判断总是与客体关联而且客观上是有效的，逻辑不能触及判断的本质。在我们看来，尽管海德格尔在一定程度上指出了数理逻辑研究的盲区，但他对于由弗雷格奠定基础的数理逻辑的理解有一定片面性。在海德格尔撰写文章时，罗素和怀特海在他们的历史性巨著《数学原理》中建立了形式系统，促使这一新创立的逻辑展现出勃勃生机和活力。这种新逻辑极大地扩展了逻辑的研究领域，对过去不能定义的命题、概念进行了严格的定义和证明。不过，海德格尔批评数理逻辑的观点仍然有启发意义。罗素也曾经看到了数理逻辑的盲区。他写道：“数理逻辑——除了在其初始阶段，它并
转贴于
不直接具有哲学上的重要意义；在初始阶段以后，毋宁说它属于科学，不如说它属于数学。”
弗雷格在批判布尔等人的观点时曾明确指出，数理逻辑过分地具有数学的意味而丧失了逻辑的意义。弗雷格批判的焦点在于布尔等人使用了数学的概念(如和、积的概念)和数学符号来发展他们的逻辑，他认为这对于逻辑是不公正的，更为根本的是，逻辑学不能也不应该从其他学科中借用概念。因此，弗雷格没有将逻辑还原为数学，而是将算术还原为逻辑。他致力于创立逻辑的分支而不是数学的分支。弗雷格在其逻辑中至少使用了两个重要概念，即量词和函数。虽然量词和函数看起来是数学的概念，但实际上并非如此。弗雷格发现数学概念是令人迷惑的、无益的。他所使用的逻辑概念对于任何实体而言是“非饱和的”，即在其内部中留有余地。因此，在弗雷格的理论之中，“x是聪明的”是一个不完全实体。对于弗雷格而言，它们是正确的逻辑概念，而非数学概念。因此，我们可以看出海德格尔对数理逻辑过分数学化的担心是有道理的，但他对于弗雷格的指责是不成立的，因为弗雷格也同样在努力避免陷入数理逻辑的盲区。
海德格尔紧接着批判了包含命题演算的数理逻辑，他认为这样的逻辑不能够像传统逻辑和哲学形而上学那样回答关于判断的问题，例如肯定与否定的本质问题、系词和谓词的本质问题、真理转贴于
的问题等等。事实上，《数学原理》中提出的命题演算同样探讨了这些问题，只不过这些“新式逻辑学家”提供的解决方法不够完善。出于反对心理主义的需要，弗雷格区分了断定与被断定的思想。在他看来，思维就是掌握思想，判断是识别已经掌握的思想的真值，断定表达了这种识别和确认。断定这个概念无疑是一个心理行为，它与思想的关系是神秘的，明确和澄清这种关系对弗雷格来说是相当困难的。在海德格尔看来，这些困难表明，弗雷格对于断定问题的解决方法是难以令人满意的。
海德格尔认为，数理逻辑的创立者仅仅将判断还原到解释机器的系统之中，没有从本体论角度对判断加以解释。尽管这种批评并不那么中肯，但他认为数理逻辑的发展使逻辑丧失其重要性并且远离了本体论的讨论的观点，以及重视逻辑的哲学基础的研究的做法，客观上使后来的哲学家更加注重逻辑在哲学中的应用，促使了哲学逻辑的兴起和逻辑的多元化发展。
三、哲学逻辑的兴起
在英语文献中，与哲学逻辑相关的主要有两个表达：一个是哲学逻辑(philosophicallogic)，另一个是逻辑哲学(philosophyoflogic)。虽然也有人认为它们应该区分开来，但这两个名称并不是非常严格地区别使用的，它们所涉及的内容有许多是一样的。从一般文献尤其是近年的文献来看，哲学逻辑的用法更多一些。相对而言，国内文献反而区分得比较清楚。“哲学逻辑方面的分支一般都以命题逻辑、谓词逻辑为基础，与传统哲学中的概念、范畴和问题有直接或间接的联系”，哲学逻辑“是各种非经典逻辑分支的统称”。这样的看法得到比较普遍的认同。
在马堡讲演中，海德格尔就提出了哲学逻辑的概念，不过，他对于哲学逻辑的理解与我们所理解的逻辑哲学大体一致。哲学逻辑的发展历史悠久，在亚里士多德、莱布尼兹、康德和黑格尔那里分别达到了高峰。在当代，海德格尔最为推崇的是拉斯克(lask)，拉斯克有意识地致力于逻辑的哲学理解，并努力扩展哲学逻辑的领域。海德格尔认为胡塞尔的现象学有可能促进逻辑学的发展，但是它没有成功提出逻辑的哲学化方面的构想，而只是强化了将逻辑发展为一门独立科学的趋势，即使逻辑从哲学中分化出来成为形式科学。范德尔(p.fander)的《逻辑》一书被广泛地认为是关于这一主题的现象学教科书。
下面讨论一下海德格尔所关注的关于哲学逻辑的几个问题。首先，依据海德格尔所构想的哲学逻辑，哲学逻辑并不是一门新科学，而只是实现了从一开始就在进行的对传统逻辑的刻画。海德格尔认为，关于哲学逻辑的思想首先应当是使逻辑的历史充满意义。这种首先明确什么是哲学，然后将哲学应用到逻辑中从而提出哲学逻辑的观点得到了一些哲学家的赞同。但问题在于，我们从哪里以及如何开始探讨哲学的思想呢?海德格尔另辟蹊径。他认为我们应该从能够将我们引入哲学的传统逻辑开始来研究它的核心问题。按照这一进路，我们首先应该对哲学具有一定的历史上的理解，在此基础之上，研究逻辑的哲学潜力。那么，什么样的问题在海德格尔看来可以使传统逻辑的论域与哲学发生关联呢?概括起来大致有以下十个方面：(1)判断问题。这是逻辑一直关注的问题。判断的特征是意向性，它是关于一个对象，即一个存在物的。那么，如何理解这样的意向性结构呢?(2)系词的存在与本体论的存在之间的关系是什么?系词的本体论意味有多大?(3)什么是预测?它与判断所发挥的作用是什么?(4)什么是意义?它与判断的关系可能是什么?(5)属于判断的真的可能性与假的可能性的结构是什么?(6)真理如何与判断相联系?它是判断的属性吗?(7)为什么传统逻辑具有两个真理概念：命题真理和自明的真理?这两个概念之间的关系是什么?这两个概念具有合理的证据吗?如果它们有共同的假定的话，那么这个共同假定是什么?(8)既然存在着理论真理和实践真理，那么哪一个是真理的初始涵义呢?(9)人类的思维如何与人类的存在相联系?(10)逻辑的形而上学基础是什么?
总的说来，海德格尔对于逻辑的认识更多的是从一种哲学的角度来思考的，他的观点对于我们理解逻转贴于
辑和哲学的关系有很大的价值。他对于传统逻辑的关注为我们揭示出逻辑哲学很多深层次问题，他提出的一些哲学逻辑的问题也是现在逻辑哲学研究的一些核心问题。虽然他的一些观点还值得商榷，但是我们通过研究海德格尔的哲学和逻辑思想可以得到有益的启示，最基本的一点就是，我们在进行逻辑以及逻辑哲学研究的时候，一定要有一个理念，即逻辑是需要哲学来为其辩护的，逻辑的研究要有一个哲学的基础。
四、逻辑在哲学中的应用和逻辑多元发展的意义
海德格尔和我们都认为，探究逻辑和哲学之间的关系无疑具有重要的意义，其中一个很重要的方面就是，通过这样的研究可以帮助我们认识逻辑的本质以及多个逻辑系统之间的关系；另一方面，哲学逻辑是一种不同于数理逻辑的变异逻辑，这就引出了逻辑是一个还是多个的问题。人们通常要问：为什么存在这么多不同的逻辑系统呢?是否存在唯一的基础逻辑(例如数理逻辑)，其他不同的系统都是这一基础逻辑的可择性部分的表述?是否存在多种不同的逻辑?这些逻辑之间是不是通过类似家族的方式而互相联系的?
实际上，当代的理论逻辑似乎有无穷多个，呈现出百家争鸣的局面。模态逻辑关注必然性和可能性的问题；信念的逻辑用来解释信念状态的逻辑结构；认知逻辑是将知识的有效推理加以形式化；量子逻辑是关于量子物理现象的逻辑；道义逻辑是关于责任和允许的逻辑，如此等等。产生这种局面的一个很重要的原因就在于，经典逻辑在处理科学和日常推理的特定方面不能够令人满意，从而导致了许多哲学问题。而回应这些问题是多值逻辑、自由逻辑、相干逻辑、条件句逻辑以及自由逻辑的基本任务。这些逻辑构成了哲学逻辑的主体，从而使应用于当代哲学中的逻辑系统得到了很大的发展。
逻辑学和数学逻辑的关系篇2
一、逻辑哲学不是逻辑学
大多数学者认为，逻辑哲学从学科性质来分是逻辑学与哲学的交叉学科，是两者相互渗透的产物，是哲学的新分支之一，因此，逻辑哲学不是逻辑学，而是哲学。一般认为逻辑学是研究纯粹理念的科学，所谓纯粹理念就是思维的最抽象的要素所形成的理念。逻辑学的研究对象是真理，是认知思维，是人的思想。根据英国著名哲学家哈克的理解，从研究的范围来看，逻辑是关于形式逻辑系统的形式特性的学科。它通常包括形式逻辑系统的一致性、完全性或可判定性的证明或证伪）。逻辑哲学也同形式逻辑系统的问题有关，然而是同哲学问题有关，而不是同纯形式问题有关。逻辑哲学并非完全从事于形式逻辑的问题；非形式推论，形式系统与非形式推论二者间的关系也包括在逻辑哲学所研究的范围之内。形式系统的发展确实极大地增加了逻辑研究的深度与精确度；但是，非形式推论的研究对形式系统的发展往往是不可缺少的前提，同时，系统化的非形式推论的成就也是检验形式系统有用性的试金石。
从逻辑学发展的历史和现实来看，学者们对逻辑的涵义仍有不同的理解。首先，逻辑指经典逻辑，即二值的命题演算与谓项演算，在某种意义上也可以叫数理逻辑，这是最“标准”、最“正统”的逻辑，也是最狭义的逻辑。其次，逻辑还包括现代非经典逻辑，也就是所谓的哲学逻辑，即哈克所讲的扩的逻辑与异常的逻辑。再次，逻辑还包括传统演绎逻辑，它是以亚里士多德逻辑为基础的关于非模态的直言命题及其演绎推理的直观理论，其主要内容一般包括概念、命题、推理、证明，特别是三段论等。尽管关于逻辑的涵义和研究对表述不一，存在争议，但基本上可以从广义的和狭义的两类概念去理解。广义的逻辑是指研究思维形式、逻辑基本规律及简单的逻辑方法的科学。而狭义的逻辑是指研究推理有效性的科学，即如何将有效的推理形式从无效的推理形式中区分开来的科学，其中心问题是区别有效论证和无效论证，“逻辑的形式系统则为论证的有效性提供严格的工具和纯形式的标准”。狭义逻辑的形式系统力图把“非形式论证”形式化，力图用精确、严格和概括的名称来表述它们。“逻辑学家总在逻辑论著中直接提出他的公理系统，而决不告诉你他是怎么得出这套公理系统的。然而，逻辑哲学则要研究形式体系如何创立的问题，创建、调整过程的一般特征，直觉在这一过程中的定向、引导作用等。”
二、逻辑哲学不是哲学逻辑
从概念产生时间看，哲学逻辑要远远早于逻辑哲学，而且两者在研究的内容上多有重叠之处。因此，经常有人将两者等同，认为哲学逻辑就是逻辑哲学。但从目前国内外学者的研究情况来看，大多数学者认为应当将逻辑哲学和哲学逻辑区分开来，逻辑哲学并不是哲学逻辑。二者不能同等对。哲学逻辑主要是由逻辑学发展中相关的哲学探讨而引起的现代逻辑的一些分支，这方面的研究实质上预示着一个新的逻辑学科群体的产生，其特征是以某些传统的哲学理论、概念、范畴和方法为对象所进行的现代逻辑的研究，它是关于某些传统哲学范畴的形式理论，因而，它本质上属于逻辑学。最早明确使用“哲学逻辑”一词的是罗素，他在《我们关于外在世界的知识》一书中指出：“数理逻辑，除了它的初创形式之外，就连最现代的形式也不直接具有哲学上的重要意义。
在初创以后，它就属于数学而不属于哲学了。我将要扼要论述的，是数理逻辑的初创形式，只有这个部分才真正称得上哲学逻辑。往后的发展，尽管没有直接的哲学意义，但是对哲学研究有很大的间接用处。”但罗素并没有给哲逻辑学以明确的定义，逻辑哲学和哲学逻辑的关系如何，一直是学者所争论的问题，部分学者认为逻辑哲学就是哲学逻辑，英国牛津大学讲师a.C.格雷林（Grayling）在其出版的《哲学逻辑导论》一书中指出，哲学逻辑的研究是围绕语言问题展开的，它的基本概念为命题、分析性、必然性、存在性、真理性、意义和指称等，而其目的则在于通过语言的分析更好地理解思维和世界。虽然逻辑哲学有时候在一定的场合也被理解或者说涉及到哲学逻辑，但是它实际上是指与解决哲学范畴和方法相关的现代逻辑的一个学科群，大概可以包括：模态逻辑、时态逻辑、道义逻辑、多值逻辑、概率逻辑、自由逻辑、相干逻辑、直觉主义逻辑、存在逻辑、问句逻辑、问题逻辑、对话逻辑、认识论逻辑、命令逻辑、优先逻辑、行动逻辑、部分与整体逻辑、本体论逻辑、信息与信息过程逻辑、量子逻辑、归纳逻辑等。
北京大学哲学系陈波教授在其相关论著中，也明确主张严格区分哲学逻辑与逻辑哲学。他认为哲学逻辑是20世纪20-40年代开始兴起，50-70年代蓬勃发展的一个新兴逻辑学科群体。它们以数理逻辑为直接基础，以传统的哲学概念、范畴以及逻辑在各门具体学科中的应用为研究对象，构造出各种具有直接哲学意义的逻辑系统。逻辑哲学则是哲学。然而，哲学逻辑作为逻辑的形式系统，本身也提出了许多哲学问题，成为逻辑哲学的研究对象，因而，哲学逻辑与逻辑哲学又有着密切的联系。
逻辑学和数学逻辑的关系篇3
一、简易逻辑进入中学数学教材的理由简析
1.符合数学新课程教育理念．
这次数学课程改革是在分析我国建国以来数学教育的历史及现状，分析国外数学课程情况的基础上，根据国外数学课程改革趋势，结合我国的实际和数学课程的特点提出了一些新的数学课程理念．其中之一是数学教学要适应学生的可持续发展，简易逻辑进入中学教材正是实现这个课程理念的有效途径．逻辑是研究思维形式、思维规律和思维方法的科学，是一门帮助人们正确思维、带有工具性质的科学，所以逻辑对学生来说既是未来社会所需要的，又是个体发展所必需的；既对学生走向社会适应未来生活有帮助；又对学生智力训练有价值．由于社会经济的发展，人人必须掌握一些关于数学语言的数学知识，而数理逻辑是应用数学语言的典范，所以逻辑知识进入数学教材也是社会经济发展和个人发展的需要．
2.逻辑知识的掌握是一个人成才的必要条件．
人们在社会中，时时刻刻都离不开推理和判断，而推理和判断属于逻辑学范畴，所以思维形式、思维规律及一些简单的逻辑方法对一般人是必需的，更是一个人成才离不了的．
⑴可以帮助人们正确地认识世界．
认识世界离不开思维，从而离不开对思维规律的运用．如果我们有正确的前提，并且把思维规律正确地运用于这个前提，那么结果必定与现实相符，正如同解析几何的演算必定与几何作图相符一样．形式逻辑虽然只从特定角度研究一部分思维规律，其作用有一定的限度，但是它的适用范围却非常广泛，给人们提供了一个从已知到未知的认识方法．科学中许
多定理、真命题、规律都是运用逻辑知识得来的，如欧氏几何、罗氏几何、黎曼几何、牛顿定律等等．
⑵可以帮助人们正确地论证和说明自己的观点．
生活在现实中的人，都有一定的思想，对任何一件事都有他自己的观点．思想离不开表达，观点离不开论证，不论是表达，还是论证，都是一个运用概念进行推理、作出判断的过程，只有学习和运用形式逻辑，才能明确表达概念作出恰当判断得出合乎逻辑的结论．并且论证有力，首尾一贯，前后关联，这样，别人才能了解你的思想，接受你的观点．
⑶在接受和领会别人的思想（如听课、听报告、听别人谈话、看书）时，可以做到完整、准确、提纲挈领，抓住要点、领会其精神实质．
（4）在现实生活中，有些人违背客观规律、逻辑规律而得出一些结论即谬论，为论证谬论，他们采取各种手法进行诡辩，而逻辑知识是推翻这些谬论、揭穿这些诡辩的有力工具．
3.逻辑是学习数学必备的知识．
由以上叙述可知，日常生活、工作都离不开基本的逻辑知识，学习更是如此．其实逻辑是一门公共课程，学习各门功课的过程，实质上是逻辑知识的应用过程，对数学的学习尤为重要（1）可以培养学生进行简单推理的技能，发展学生的思维能力．（2）有利于学生的数学学习．其一有利于学生对数学基本知识的学习．数学基础知识就是用逻辑来阐明的，要全面理解概念、掌握规律和运算法则，就离不开对逻辑知识的掌握和运用，如数学分析中的函数极限概念，在中学，由于学生逻辑知识的贫乏，只能用自然语言来形象地给出，而这样给出的概念不确切，学生只能定性理解，不能定量把握，若用数理逻辑中的谓词演算公式给出则美观大方，简单明了．其二有利于基本技能的掌握，基本技能就是逻辑方法在解决数学问题中的应用，如证明，就是使用某些已知的真命题，判定另一个命题的真实性的逻辑方法．通俗来说，证明就是应用逻辑知识讲道理．
二、逻辑和数学的关系
逻辑与数学既相互联系，又相互独立，既相互作用，又相互促进，相互渗透，共同发展．
1.数理逻辑是数学的一个分支．
首先数学起源于公元前3000年，数理逻辑是近300年产生的，特别是近100年才发展起来的一门科学．16世纪30年代莱布尼茨对当时数学界广泛关注的求切线和求面积问题进行了研究，取得了划时代的成果即创立了微积分，但很不完善，还需要将大量的思想表达成具体的内容，使之内容系统化、符号化．当时数学在这一方面有点欠缺，很难解决这个问题，于是莱布尼茨对数学符号化继续进行研究，再经过布尔等人的努力，产生了数理逻辑，所以数理逻辑是数学发展到一定阶段的必然结果，是把数学上的形式化方法，应用到逻辑领域的结果．其次，数理逻辑被广泛应用于数学领域．例如，数学的支柱学科即数学标准分析，它是在从数学中彻底赶出无穷小后，在柯西建立极限论的基础上建立起来的．但是，数学家没有忘记无穷小，因为它在数学中做出过杰出贡献，为了使无穷小重新回到数学中，不少数学家一直奋斗不息，直到20世纪，由逻辑学家用数理逻辑的一支模型论的方法严格论证了起源于莱布尼茨的转移原则，是无穷小得到合法地位，从而在R上建立了微积分，称为非标准分析．再次，数理逻辑的研究方法，是数学上的形式化方法，研究的对象相当一部分是数学中的逻辑问题，综合以上三点可以看出，数理逻辑是数学的一个分支．
2.数学是数理逻辑的一部分．
数理逻辑是用数学方法来研究数学中演绎思维和数学基础问题的，数学是研究数量关系和空间图形的一门科学，数学是数理逻辑的一部分，其原因有二：（1）数量关系和空间形式是以数理逻辑提供的思维形式为工具，并按照数理逻辑提供的思维规律进行研究，如公理集合论，证明论等．（2）数学可以由逻辑推导出来，也可以用逻辑的方法和概念来规定数学的概念，证明数学的命题．因此，数学是一种应用逻辑的特殊形式的演算，即数学是逻辑的特例如，非标准分析．
3.数学与逻辑是相互渗透，相互作用，共同发展．
数学学科正式创立于公元前6世纪，逻辑起源于公元前4世纪，这二者差不多是同时产生的，在发展过程中，既有交叉又有分离，它们是在交叉与分离不断转化过程中生长的．如数理逻辑是数学和逻辑发展到一定阶段共同作用的产物，并且，随着对数理逻辑的深入研究，使逻辑和数学都得到了很大发展，所以数学与逻辑是相互作用、相互渗透、共同发展的关系．
三、教材中的简易逻辑
1.对教材中简易逻辑的一些认识．
简易逻辑的教学，既要使学生掌握简单的逻辑知识，又要为学生学习更深、更多的逻辑知识打下基础．通过教学实践，对本单元内容有三点认识：
（1）命题是数理逻辑中最基本、最重要的概念，其他理论都是围绕命题展开的，学生对命题概念掌握的程度直接影响后面其他内容的学习，所以在教学中对命题概念的教学不宜过简．
命题概念教材上是用一句话和几个正面的例子给出的，在教学时还应指出，命题是用句子给出的，而句子有陈述句、疑问句、祈使句、感叹句等．表达命题的语句是陈述句，需要注意的是能够判断命题的真假与是否知道它的真假是两回事．
（2）教材第一章讲了三部分内容：集合、不等式、简易逻辑，它们的安排顺序是先讲集合，再讲不等式，最后讲简单逻辑．以前教材中没有简易逻辑，学生对集合、不等式中的有关知识都是不自觉应用简易逻辑而学习的，教学中，集合中交集、并集、补集的概念及集合相等的证明，不等式中的“或”、“且”的应用是教学上的难点，难的原因正是由于学生对简易逻辑中逻辑连接词没有深刻理解造成的，所以，教学时若能先让学生系统学习简易逻辑知识，再学习集合与不等式效果更好．
⑶ 简易逻辑的编排是按三部分编排的，简易逻辑的教学要考虑到它是非纯数学内容，要从逻辑本身的特点和规律出发，既要使学生掌握简单的逻辑知识，又要为学生继续学习逻辑打下基础，所以本单元若按命题与逻辑连接词两大部分进行教学，在四种命题及充要条件上适当予以加强，可以使学生整体把握，理解深刻．
2.教学上的疑点
（1）命题．
命题是从思维形式方面对客观现实的反映，它具有表述、报道的作用，而且通过表述、报道显示出一种肯定与否定功能，指明对某事物的认识和理解是对的或错的．它涉及两个问题，第一，一个句子是不是命题，对简单命题，前面已有叙述，要补充的是，悖论不是命题．看一个命题是不是复合命题，不能仅从自然语言意义上看，更重要的是分析语句所表达的逻辑思想，逻辑内容，不能仅看命题中是否含有“或”、“且”、“非”、“如果……那么……”、“当且仅当”等逻辑连接词，有些语句中含有逻辑连接词，这个语句是不是命题还要看这些逻辑连接词是否连接两个命题或开语句，若是就是命题，否则就不是命题．另有些语句虽然不含逻辑连接词，但意思关联中含有逻辑连接词的意思，那么它们也是复合命题，在具体运用时，要将它们改写成含逻辑连接词的形式．需要注意的是在复合命题中，用逻辑连接词连接的命题，有时有某种内在联系．
（2）逻辑连接词．
逻辑连接词是经历了漫长的岁月才总结得到的．它是对自然语言进行分析，从中把带有逻辑成分的连接词提取出来形成的，可以看作是自然语言的一种模式．它有两种意义：一是结构意义，是由逻辑系统所决定的；二是语义意义，是由逻辑系统投射于某个客体域之上而赋予的，即是逻辑系统经过解释而取得．所以逻辑连接词的意义与自然语言中连接词的意义不完全相同，前者决定于逻辑系统，后者决定于语言系统．例如：“且”在自然语言中表示两种同类事物的并列关系，在数理逻辑中，两种事物在意义上可以毫不相干．如：他可能是100米或400米赛跑的冠军，它属于“可兼或”，是含“或”的复合命题．有一些句子虽然含“或”但它不是命题，如：他昨天做了二十道或三十道习题，这只表示了习题的近似数目，教材中所讲的逻辑连接词共有五个：“或”、“且”、“非”、“如果……那么……”、“当且仅当”.
（3）真值表．
真值表是逻辑系统对逻辑连接词的解释，也是命题演算的法则．从教学实践得知，学生学习简易逻辑的难点是复合命题真假的判别与对复合命题的否定，只要学生深刻理解真值表，掌握真值表的应用，这个难点就可以得到突破．
逻辑学和数学逻辑的关系篇4
关键词：数字逻辑课程体系计算机构建教学质量
中图分类号：G642.4文献标识码：a文章编号：1673-9795（2014）02（b）-0155-02
在20世纪80年代，内蒙古自治区的高等院校计算机科学与技术专业都相继开设了“数字逻辑”这门课程，至今开设的有《数字逻辑基础》、《数字逻辑设计》、《数字逻辑与数字电路》、《数字逻辑与数字系统》专科及高职是以选修课的形式开设，本科是以必修课的形式开设；讲授的内容也相同，有的则侧重于数字逻辑理论知识的介绍，有的则侧重于数字逻辑实验及电路设计的介绍，有的则兼顾两者。虽然各院校讲授的内容各不相同，但是他们对该课程的性质、地位、作用及重要性都有了一定的认识。由于“数字逻辑”课程已开设二十多年，而且其覆盖的专业门类较多，涉及的学校类型各异，因此各校在进行“数字逻辑”教学时在一些问题上还存在不同的认识，其中的有些问题还需要进一步研究与探索。
1“数字逻辑”课程的地位及作用
学生对“数字逻辑”课程的掌握程度，将直接影响到其自身以后的学习、工作及其职业发展方向。他是计算机科学与应用技术及相关专业的一门重要课程。
2“数字逻辑”课程体系的构建
我们在分析和研究部分高等院校“数字逻辑”课程教学实践的基础上，结合民族学院教育的特点，构建了民族学院“数字逻辑”课程的课程体系。
2.1“数字逻辑”课程概述
“数字逻辑”课程作为高等院校计算机科学与应用技术及相关专业一门重要的课程，其目的是使学生了解和掌握计算机技术的发展历史、现状、未来及研究方法，为学生今后从事相关的技术研究及相关工作奠定基础。
2.2“数字逻辑”课程性质
适用专业类：计算机科学与技术应用及相关专业。
授课时数：54学时；
实践时数：36学时；
实训时数：10学时；
先修课程：计算机组成原理、逻辑学、数字电子技术、计算机语言（其一）。
2.3“数字逻辑”课程内容
“数字逻辑”课程体系应由数字逻辑理论知识、实验及实训三大部分组成。
2.3.1理论知识
通过对理论知识的学习使学生系统了解数字逻辑的发展历史、现状、未来及研究方法，从而全面了解掌握数字逻辑概貌。
从学科特点、学科形态、历史渊源、发展变化及知识组织结构考虑，“数字逻辑”课程理论知识应涵盖以下几方面内容。
（1）数字逻辑基本概念；
（2）数字逻辑发展简史；
（3）数字逻辑硬件技术与软件技术介绍。
具体学时分配如表1所示。
2.3.2实验
数字逻辑技术和电路设计方法是实验环节需要学生掌握的主要内容。具体内容如下。
（1）ttL集成电路的逻辑功能及参数测试；
（2）集成逻辑门的连接和驱动；
（3）组合逻辑电路的设计-采用小规模集成器件；
（4）数据选择器的应用；
（5）触发器的逻辑功能测试；
（6）计数器及其应用；
（7）移位寄存器及其应用；
（8）555定时器电路及其应用；
（9）计数译码显示电路的设计（如表1）。
2.3.3实训“自动电子钟”
实训环节的主要目的是训练学生掌握本系统利用8254定时/计数器产生的固定频率的脉冲作为8255可编程芯片的中断信号，来控制数码管的显示及小键盘的按键处理，实现电子钟的计时、按键控制等功能。具体内容如下。
（1）电子钟基本功能的实现；
（2）电子钟按键功能的实验；
（3）显示的实现。
3结语
该课程体系是在分析和研究部分高等院校“数字逻辑”等课程教学实践基础上构建的，但是由于各院校开设“数字逻辑”、《数字逻辑基础》、《数字逻辑设计》、《数字逻辑与数字电路》、《数字逻辑与数字系统》等课程时间不同，并且各个环节的教学都还处于探索研究的阶段，因此，该课程的合理性、科学性及其实用性还需要我们进一步的检验和不断的完善。
参考文献
[1]袁东明，史晓东，陈凌霄.现代数字电路与逻辑设计实验教程[m].北京：北京邮电大学出版社，2013.
[2]李景宏.数字逻辑与数字系统[m].4版.北京：电子工业出版社出版社，2012.
[3]何建新.数字逻辑设计基础[m].北京：高等教育出版社，2012.
[4]徐尚中，崔仲远.高校《数字逻辑》课程教学改革的思考与探讨[J].现代计算机：专业版，2010（9）.
[5]陶黄林，帅晓勇.虚拟现实技术在《数字逻辑》实验教学中的应用探究[J].科技经济市场，2007（12）.
[6]孙怀东，饶连周.基于eDa技术的电子技术教学研究[J].机电技术，2011（2）：143-146.
[7]孙建国，武俊鹏，张国印，等.数字逻辑虚拟实验教学研究[J].计算机教育，2009（8）.
[8]胡芳，赵亮方.多媒体在电工电子基础实验教学中的应用[J].中国现代教育装备，2009（5）：21-22.
逻辑学和数学逻辑的关系篇5
一、逻辑学与素质培养
素质不仅表现在知识面广的层次，更为深刻的是表现在对问题的处理能力，既对问题的意识、思考、分析和批判等，一句话，就是能力。因此，素质教育就不仅仅是掌握几门知识、技艺，更为深刻的是有没有处理问题的能力。由此，可以说逻辑学与素质教育应该是最为密切的。但是，事实上，我们比数学方法更早的培养逻辑思维能力的是语言，从学舌起就进行这种逻辑思维能力的培养。相对于数学，这种思维能力更为抽象，只是我们日用而不知。我们知道，数学学得好的逻辑学也容易学得好，相反，则不易。在教学中也明显体会到这点，可能正是这点认识，让我们的专业培养方案对逻辑学的偏重不一样，而与专业对逻辑学的要求有偏差。
逻辑学比数学更抽象，这点可能超出日常常识，通过分析就可以明白。逻辑学也用符号来表示，逻辑符号有一定意义，因此，逻辑学抽象的难度是既要理解符号的意义，又要在此基础上理解符号之间的运算，并且这种运算规则所包含的意义也要理解。数学与逻辑学的对比关系，我们还可以从我们的日程生活来理解，我们日常生活使用的都是文字符号，而不是数学符号，因此，逻辑学与我们日常生活更为相关。正因为如此本文由论文联盟收集整理，我们进入大学开始接触逻辑学就不感到陌生。也正是如此，我们的逻辑学教学也以以语言为主的传统逻辑为主要内容，而这一点已不足满足现代高等教育的培养的要求了。
传统逻辑是现在高校逻辑教学的主要内容，也是作为培养逻辑思维能力的基础，这一情况也体现在目前的逻辑学教学实践中。但现代形式逻辑发展以来，其所具有的基础性、应用性和培养能力远远超于传统形式逻辑。就其基础性而言，现代逻辑是对传统逻辑的扬弃，其基础性远比传统逻辑更为广泛。作为现代科学的基础意义更为深刻，而传统逻辑远不能作为现代科学的基础。就其应用性而言，现代逻辑不仅可以作为日程生活中的思维工具，具有传统逻辑的作用，更是作为解决传统逻辑所不能解决问题的思维工具。就其对人的思维能力培养而言，现代科学的发展和高等教育的发展对思维能力的需求早已经超出传统逻辑所能提供的要求了。而现代逻辑是与现代科学发展相适应的基础。因此，现代逻辑更好地适应现代科学发展对素质的扩展要求。
正是如此，逻辑学与素质教育的关系不仅停留在对传统逻辑的要求上，而是两者相向发展的需要。现代逻辑的性质、意义和作用可以做为适应现代科学发展需要的素质要求，成为素质教育中的核心课程。因此，有学者建议把传统逻辑教育改为逻辑思维训练，而现代逻辑作为延伸的内容教育，根据各专业的要求开设不同的内容，不能只停留在传统逻辑上，这样，才能更好地发挥逻辑学的基础性学科的意义和作用，体现逻辑学的对素质培养的地位。
二、逻辑学课程教学展望
高校文科非哲学专业在逻辑学课程教学中一直以来存在诸多问题。这些诸多的问题可以归结为两个方面：一是认识观念上的，一是教学体系上的。其实这两个方面是前后相继、互为表渗的。认识观念上表现为对逻辑学的意义和作用认识不足，观念上不与重视，从开课专业、开课课时就可以反映这一问题。教学体系上的问题，承继上一个问题，对逻辑学的发展给与的关注不够，跟不上国内外的逻辑学研究。相应在教学内容、体系上就表现为仍然以传统的形式逻辑为教学的主要内容，而现代逻辑则很少作为教学的内容或者根本就不列入教学内容。因此，现在仍然有不包含现代逻辑内容的逻辑学教材。
逻辑学课程教学的现状让人堪忧，尤其是在地方性大学，其师资和观念更是受到限制。这种状况的原因有几方面：一是教育的大背景；一是对逻辑学作用的认识；一是对逻辑学的发展的认识。
逻辑学的作用和目的，可以引用王路先生的观点高度概括：一是通过学习逻辑，掌握一些专门的技术和方法，从而使我们能够应用这些技术和方法解决一些具体的问题；一是通过学习逻辑，培养一种逻辑的眼界和意识，从而使这种逻辑眼界和意识成为我们知识结构中的构成要素，在我们的工作和生活中潜移默化地起作用；第三则是通过学习逻辑知识形成一种逻辑观念。三个目的中最为重要的是树立逻辑观念，任何的学习都是为了树立某种观念、具备相应的素质，从而为我们的生活和工作提供指导。我们现在的逻辑学教育现状还停留在第一个目的上，第二和第三个目的根本都还没有意识到。可以看出，相对第一个目的，第二、第三个目的更具深层意味，也最能体现逻辑学的意义，当然也最难达到。达到后两者，可以说逻辑学就融入你的知识结构中、成为你的素质的一部分，成为你处理问题、思考问题、分析问题、发现问题的一种能力。大学的教育除了培养一定的专门技能外，更为重要的是培养人的思考的能力，而这也是国民素质的一种强的体现。
为此，不少从事多年逻辑学教学的人士不遗余力地提倡逻辑学教学改革，并提出自己的见解。有代表性的如袁正校先生。袁正校先生不仅编写了比较经典的教材，更是发表自己的观点，如在《关于现代逻辑学教学中的若干问题的思考》一文中提出：坚定不移地走逻辑教学现代化之路；树立正确的逻辑教学观，促进逻辑教学的改革；构造简明易学的逻辑教学系统，普及现代逻辑的基本知识。
结合自己的逻辑学教学经验和体会，当前迫切的任务是形成一套完善的逻辑学教学体系，这一完善的逻辑学教学体系包括适应各不同专业的逻辑学教学内容、经典的逻辑学教材，相对完备的逻辑学师资，以及逻辑学教学的方法和手段等。目前，这一体系的核心或当前的紧迫任务是确立经典的逻辑学教材，并且得到推广、普及。现有的逻辑学教学困境和混乱的一个关键因素是教材不统一。逻辑学应该如高等数学一样，有自己的经典统一的教材，这是逻辑学课程本身的性质决定的，但是由于传统和观念的影响，这一问题至今仍然存在，并且制约了逻辑学教学的发展。目前国内的逻辑学教材基本落后，仍然是传统的那一套，好像逻辑学只要知道概念的含义、几个基本的逻辑规律以及一些基本的推理就可以了，就可以提高人的逻辑思维能力了。
三、结语
逻辑学和数学逻辑的关系篇6
【关键词】逻辑/范围与性质/广义与狭义/一元论/多元论/工具主义
【正文】
一、广义的逻辑与狭义的逻辑
什么是逻辑？要清楚明确地回答这一问题，要将各种各样冠以“逻辑”的学科都统一在一个明确清晰的“逻辑”的定义之下，这是很困难的，甚至是不可能的。
不妨先对逻辑发展史作一简单考察。
在西方，公元前4世纪，古希腊哲学家亚里士多德集其前人研究之大成，写成了逻辑巨著《工具论》（由亚氏的六部著作编排而成：《范畴篇》、《解释篇》、《前分析篇》、《后分析篇》、《论辩篇》、《辨谬篇》）。虽然在亚氏的著作中他并没有明确地使用“逻辑”这一名称，也没有明确地以“逻辑”这一术语命名其学说，但是，历史事实是，亚氏使形式逻辑从哲学、认识论中分化出来，形成了一门以推理为中心，特别是以三段论为中心的独立的科学。因此，可以说，亚里士多德是形式逻辑的创始人。
亚氏之后，亚里士多德学派即逍遥学派和斯多葛学派都以不同形式发展了亚氏的形式逻辑理论——逍遥学派的德奥弗拉斯特和欧德慕给亚里士多德逻辑的推理形式增补了一些新的形式与内容，提出了命题逻辑问题，斯多葛学派克里西普斯等人则构造了一个与亚里士多德词项逻辑不同的命题逻辑理论。
弗兰西斯·培根是英国近代唯物主义哲学家，也是近代归纳逻辑的创始人，他在总结前人归纳法的基础上，在批判了经院逻辑和亚里士多德逻辑之后，以其古典归纳逻辑名著《新工具》为标志，奠定了归纳逻辑的基础。
18-19世纪，德国古典哲学家康德、黑格尔等，对人类思维的辩证运动与发展进行了深入研究，建立了另一种新的思辩逻辑——辩证逻辑。
与此同时，以亚里士多德逻辑为基础的形式逻辑在发展与变化中也进入了新的阶段——数理逻辑阶段。数理逻辑也称符号逻辑，或谓狭义的现代逻辑，奠基人是德国哲学家、数学家莱布尼兹。他主张建立“表意的、普遍的语言”来研究思维问题，使推理的有效性可以用数学方法来进行。莱布尼兹的这些设想虽然在许多方面并未实现，但他提出的“把逻辑加以数学化”的伟大构想，对逻辑学发展的贡献却是意义深远的，正如逻辑史家肖尔兹所说，“人们提起莱布尼兹的名字就好象在谈到日出一样。他使亚里士多德逻辑开始了‘新生’，这种新生的逻辑在今天的最完美的表现就是采作逻辑斯蒂形式的现代精确逻辑。”（注：肖尔兹著，张家龙译：《简明逻辑史》，商务印书馆1997年版，第50页。）莱氏之后，经过英国数学家、哲学家、逻辑学家哈米尔顿、德摩根的研究，英国数学家布尔于1847年建立了逻辑代数，这是第一个成功的数理逻辑系统。1879年，德国数学家、逻辑学家弗雷格在《概念文字——一种模仿算术语言构造的纯思维的形式语言》这部88页的著作中发表了历史上第一个初步自足的、包括命题演算在内的谓词演算公理系统，从而创建了现代数理逻辑。之后，英国哲学家、逻辑学家罗素和怀特海于1910年发表了三大卷的《数学原理》，建立了带等词的一阶谓词系统，从而使得数理逻辑成熟与发展起来。
上述数理逻辑，以两个演算——命题演算与谓词演算作为核心，被称之为现代形式逻辑或狭义的现代逻辑。在当代，以现代逻辑为基础，将现代逻辑应用于各个领域、各个学科，从而出现了广义的各种各样的现代逻辑分支。
从以上对古代、近代、现当代逻辑学说发展的简单考察可以看出，逻辑的范围是十分广泛的。它至少包括了以亚里士多德逻辑为基础的传统演绎逻辑、以数理逻辑为核心及基础的现代逻辑及其分支、归纳逻辑、辩证逻辑等等，而这些逻辑相互之间的特性又是十分不同甚至十分对立的。所以，要用一个明确的定义把这些历史上所谓的逻辑都包含进去，确实是很难的。事实上，“逻辑”一词是可以有不同的涵义的，逻辑可以有广义与狭义之分。
英国逻辑学家哈克在谈到逻辑的范围时，认为逻辑是一个十分庞大的学科群，其分支主要包括如下：
1.传统逻辑：亚里士多德的三段论
2.经典逻辑：二值的命题演算与谓词演算
3.扩展的逻辑：模态逻辑、时态逻辑、道义逻辑、认识论逻辑、优选逻辑、命令句逻辑、问题逻辑
4.异常的逻辑：多值逻辑、直觉主义逻辑、量子逻辑、自由逻辑
5.归纳逻辑（注：S.Haack:philosophyoflogics,CambridgeUniversitypress,1978,p.4,221-231.）
在这里，哈克所谓的“扩展的逻辑”，是指在经典的命题演算与谓词演算中增加一些相应的公理、规则及其新的逻辑算子，使其形式系统扩展到一些原为非形式的推演，由此而形成的不同于经典逻辑的现代逻辑分支；至于“异常的逻辑”，则是指其形成过程一方面使用与经典逻辑相同的词汇，但另一方面，这些系统又对经典逻辑的公理与规则进行了限制甚至根本性的修改，从而使之脱离了经典逻辑的轨道的那些现代逻辑分支。“扩展的逻辑”与“异常的逻辑”统称为“非经典逻辑”。
以哈克的上述分类为基础，从逻辑学发展的历史与现实来看，逻辑是有不同的涵义的，因此，逻辑的范围是有宽有窄的：首先，逻辑指经典逻辑，即二值的命题演算与谓词演算，不严格地，也可以叫数理逻辑，这是最“标准”、最“正统”的逻辑，也是最狭义的逻辑；其次，逻辑还包括现代非经典逻辑，不严格地，也可以叫哲学逻辑，即哈克所讲的扩展的逻辑与异常的逻辑；再次，逻辑还包括传统演绎逻辑，它是以亚里士多德逻辑为基础的关于非模态的直言命题及其演绎推理的直观理论，其主要内容一般包括词项（概念）、命题、推理、证明特别是三段论等。此外，逻辑还可以包括归纳逻辑（包括现代归纳逻辑与传统归纳法）、辩证逻辑。将逻辑局限于经典逻辑、非经典逻辑，这就是狭义的逻辑，而将逻辑包括传统逻辑、归纳逻辑与辩证逻辑，则是广义的逻辑。以这一取向为标准，狭义的逻辑基本上可以对应于“逻辑是研究推理有效性的科学，即如何将有效的推理形式从无效的推理形式中区分开来的科学”这一定义，而广义的逻辑则可以基本上对应于“逻辑是研究思维形式、逻辑基本规律及简单的逻辑方法的科学”这一定义。
由此可见，逻辑学的发展是多层面的，站在不同的角度，就可以从不同的方面来考察逻辑学的不同层面及不同涵义：
(1)从现代逻辑的视野看，逻辑学的发展从古到今的过程是从传统逻辑到经典逻辑再到非经典逻辑的过程。这一点上面已有论述，此不多说。
(2)从逻辑学兼具理论科学与应用科学的角度，可以确切地把逻辑分成纯逻辑与应用逻辑两大层面。可以说，纯逻辑制定出一系列完全抽象的机械性装置（例如公理与推导规则），它们只展示推理论证的结构而不与某一具体领域或学科挂钩，是“通论”性的，而应用逻辑则是将纯逻辑理论应用于某一领域或某一主题，从而将这一具体主题与纯逻辑理论相结合而形成的特定的逻辑系统，它相当于逻辑的某一“分论”。在纯逻辑这一层面，还可以分成理论逻辑与元逻辑，所谓元逻辑，是以逻辑本身为研究对象的元理论，是刻划、研究逻辑系统形式面貌与形式性质的逻辑学科，它研究诸如逻辑系统的一致性、可满足性、完全性等等。不言而喻，元逻辑之外的纯逻辑部分，统称为理论逻辑。以这种分法为基础，如果说纯逻辑是狭义的逻辑的话，则应用逻辑就是广义的逻辑。
(3)从逻辑学对表达式意义的不同研究层次，可以把逻辑分成外延逻辑、内涵逻辑与语言逻辑。传统逻辑与经典逻辑对语言表达式（词或句子）意义的研究基本上停留在表达式的外延上，认为表达式的外延就是其意义（如认为词的意义就是其所指，句子的意义就是其真值），因此，它们是外延逻辑。对表达式意义的研究不只是停留在其外延上，认为不仅要研究表达式的外延，也要研究表达式的内涵，这样的逻辑就是内涵逻辑。可以看出，外延逻辑与内涵逻辑对表达式意义的研究都只是停留在语形或语义层面，而实际上，表达式总是在具体的语言环境下使用的，因此，逻辑对语言表达式意义的研究还可以也应该深入到语言表达式的具体的使用中去，对其进行语用研究，这一考虑，就促成了所谓的自然语言逻辑或语言逻辑的研究。所谓自然语言逻辑，按我的理解，就是通过对自然语言的语形、语义与语用分析来研究自然语言中的推理的科学。因此，如果说狭义的逻辑是一种语形或语义逻辑、它们只研究语形或语义推理的话，则广义的逻辑则是一种语用逻辑，它还要研究语用推理。
二、现代逻辑背景下的逻辑一元论、多元论与工具论
从上面的论述可以看出，在当代，现代逻辑的发展呈现出多层次、全方位发展的态势，逻辑学正在从单一学科逐步形成为由既相对独立又有内在联系的诸多学科组成的科学体系的逻辑科学。现代逻辑发展的这一趋势，就使得一方面大量的、各种各样的现代逻辑分支、各种各样的逻辑系统不断涌现，比如，既有作为经典逻辑的命题演算与谓词演算，也有作为对经典逻辑的扩展或背离的非经典逻辑。另一方面，不同于传统逻辑或经典逻辑所具有的直观性，非经典逻辑系统越来越远离直观甚至在某些意义上与直观相背。在这种背景下，逻辑学家就必然面临如下需要回答的问题：
(1)逻辑系统有无正确与不正确之分？说一个逻辑系统是正确的或不正确的是什么意思？
(2)是否一定要期望一个逻辑系统成为总体应用的即可以应用于代表任何主题的推理的？或者说，逻辑可以是局部地正确，即在一个特定的讨论区域内正确的吗？
(3)经典逻辑与非经典逻辑特别是其中的异常逻辑之间的关系如何？它们是否是相互对立的？
对上述问题的不同回答，就区分出了关于逻辑的一元论、多元论与工具主义。
不管是一元论还是多元论，都认为逻辑系统有正确与不正确之分，逻辑系统的正确与否依赖于“相对于系统本身的有效性或逻辑真理”与“系统外的有效性或逻辑真理”是否一致。如果某一逻辑系统中的有效的形式论证与那些在系统外的意义上有效的非形式论证相一致，并且那些在某一系统中逻辑地真的合式公式与那些在系统外的意义上也逻辑地真的陈述相一致，则该逻辑系统就是正确的，反之则为不正确的。以这一认识为基础，一元论认为只有一个唯一地在此意义下正确的逻辑系统，而多元论则认为存在多个如此的逻辑系统。
工具主义则认为，谈论一个逻辑系统是否正确或不正确是没有意义的，不存在所谓正确或不正确的逻辑系统，“正确的”这个词是不合适的。就工具主义来说，他们只允许这样一个“内部”问题：一个逻辑系统是否是“完善的”(Sound)？即是说，逻辑系统的定理或语法地有效的论证是否全部地并且唯一地是在该系统内逻辑地真或有效的？（注：S.Haack:philosophyoflogics,CambridgeUniversitypress,1978,p.4,221-231.）
多元论又可以分为总体多元论与局部多元论。局部多元论认为，不同的逻辑系统是由于应用于讨论的不同领域而形成的，因此，局部多元论把系统外的有效性和逻辑真理从而也把逻辑系统的正确性看作是讨论的一个特定领域，认为一个论证并不是无条件地有效的，而是在讨论中有效的，所以，逻辑可以是局部地正确的，即在某一特定的讨论区域内正确的。而总体多元论则持有与一元论相同的假定：逻辑原理可以应用于任何主题，因此，一个逻辑系统应该是总体应用的即可以应用于代表任何主题的推理的。
就经典逻辑与非经典逻辑特别是异常逻辑之间的关系而言，一元论者强迫人们在经典系统与异常系统中二者择一，而多元论者则认为经典逻辑与扩展的逻辑都是正确的。因此，一元论者断言经典逻辑与异常逻辑在是否正确地代表了系统外的有效论证或逻辑真理的形式上是相互对立的，而多元论者则认为经典逻辑与异常逻辑两者在某一或其他途径下的对立只是表面的。
就逻辑科学发展的现实而言，从传统逻辑到经典逻辑再到非经典逻辑的道路，也是逻辑科学特别是逻辑系统发展由比较单一走向丰富多样的过程。以传统逻辑来说，它来自于人们的日常思维和推理的实际，可以说是对人们的日常思维特别是推理活动的概括和总结，因此，传统逻辑的内容是比较直观的，与现实也是比较吻合的。而经典逻辑是传统逻辑的现展阶段，是以形式化的方法对传统逻辑理论特别是推理理论的新的研究，因此，与传统逻辑一样，经典逻辑的内容仍是具有直观基础的——经典逻辑的公理与定理大都可以在日常思维中找到相对应的思维与推理的实例予以佐证，人们对它们的理解与解释也不会感到与日常思维特别是推理的实际过于异常。所以，在传统逻辑与经典逻辑的层面，用“系统内的有效性”与“系统外的有效性”的一致来说明一个逻辑系统的正确性是合适的，这种说明的实质就是要求逻辑系统这种“主观”的产物与思维的客观实际相一致。
相对而言，在经典逻辑基础上发展起来的各种非经典逻辑，它的直观性、与人们日常思维特别是推理的吻合性就大大不如经典逻辑，甚至与经典逻辑背道而驰。以模态命题系统为例（应该说，相对而言，模态命题逻辑在非经典逻辑中是较为直观的），如果说系统t满足对模态逻辑系统的直观要求，它所断定的是没有争论的一些结论的话，则系统S4、S5就难以说具有直观性以及与人们日常思维特别是推理的吻合性了：在系统S4和S5中都出现了模态算子的重叠，因而象pp、pp这样的公式大量出现，而这些公式几乎没有什么直观性。至于非经典逻辑中的直觉主义逻辑、多值逻辑，它们离人们的日常思维特别是推理的实际更远，更显得“反常”。同时，同一个领域比如模态逻辑或时态逻辑，由于方法和着眼点不同，可以构造出各种不同的系统。在这种情况下，一些学者作出逻辑系统无正确性可言、逻辑系统纯粹只是人们思考的工具的工具主义结论也就不足为怪了。应该说，工具主义的观点是有一定的可取之处的：它看到了逻辑系统特别是各种非经典逻辑系统远离日常思维与推理和作为“纯思维产物”的高度抽象性，看到了逻辑学家在建构各种逻辑系统时的高度的创造性或“主观能动性”。但是，另一方面，从本质来看，工具主义的这种观点是不正确的，也是不可取的。它完全抹杀了逻辑系统建构的客观基础，否定了逻辑系统最终是人们特别是逻辑学家的主观对思维实际、推理实际的反映。这种观点最终的结果就是导致逻辑无用论，最终取消逻辑。这显然是不符合逻辑科学发展的实际和逻辑科学的学科性质的。
而一元论对逻辑系统的“正确性”的理解过于狭窄，也过于严厉，这种观点难以解释在今天各种不同的逻辑系统之间相互并存、互为补充的现实。从本质上讲，尽管任何逻辑系统都是逻辑学家构造出来的，但是，它们是有客观基础的——它总是在一定程度上反映了人类思维特别是推理实际的某一方面或某一领域（否则，它就是没有实际意义的，最终难以存在下去），所以，逻辑系统是有“正确”与“不正确”之分的——正确地反映了人类思维特别是推理实际的逻辑系统就是正确的，反之则是不正确的。应该说，这一点是一元论与多元论都可以同意的，但是，在承认这一说法的同时，还应该看到，“正确地反映人类思维特别是推理的实际”是可以有不同的程度、不同的层次的：逻辑系统对人类思维特别是推理实际的反映可以是比较普遍、一般的（比如传统逻辑与经典逻辑），也可以是比较特殊、具体的（比如某些非经典逻辑系统，它所反映的就是相对于某一特定主题或领域的特定的思维与推理）；逻辑系统对人类思维特别是推理实际的反映可以是比较直观、与日常较为吻合的，也可以是相对来说较为抽象、远离现实的。从这个意义上来讲，逻辑系统的“正确性”是多样的，不可绝对化和唯一化。所以，我认为，一元论坚持“只有一个正确的、唯一的逻辑”是不妥的，相反，多元论的观点则是可以接受的。
如果按哈克的分析把非经典逻辑分成“扩展的逻辑”与“异常的逻辑”的话，那么，很显然，扩展的逻辑是以经典逻辑为基础，将经典逻辑理论应用于某一领域或学科而形成的对经典逻辑的扩充，它们之间并不存在互斥、对立的情况，它们都可以是“正确的”。至于“异常的逻辑”，它的某些性质与特征确实可能与经典逻辑不同甚至相矛盾（例如在直觉主义逻辑、多值逻辑中排中律的失效等等），因此，它们有“对立”的地方，但就经典逻辑与某一异常逻辑分支相比而言，它们的对立或不一致只是在某些方面，而从整个系统的性质来看，它们的互通之处更多，因此，经典逻辑与某一异常逻辑分支之间的所谓“对立”之处，恰恰是该异常逻辑分支的独特之处，也是它对某一问题的不同于经典逻辑的处理和解决之处，所以，从这个意义上讲，它对经典逻辑的意义不在于“否定”了经典逻辑的某些定理或规则，而在于对经典逻辑忽略了的或无法处理的地方进行了自己的独特的处理。所以，经典逻辑与异常逻辑之间的“对立”是表面上的，其实质是它们之间的互补。
【参考文献】
[1]陈波.逻辑哲学导论[m].北京：中国人民大学出版社，2000.
[2]冯棉，等.哲学逻辑与逻辑哲学[m].上海：华东师范大学出版社，1991.
[3]桂起权.当代数学哲学与逻辑哲学入门[m].上海：华东师范大学出版社，1991.
[4]杨百顺.西方逻辑史[m].成都：四川人民出版社，1984.
[5]江天骥，等.西方逻辑史研究[m].北京：人民出版社，1984.
逻辑学和数学逻辑的关系篇7
关键词：数理逻辑；命题逻辑；一阶逻辑；推理理论
离散数学是现代数学的重要分支，是研究离散量的结构及相互关系的学科，它在计算机理论研究及软、硬件开发的各个领域都有着广泛的应用。其内容大致包含数理逻辑、集合论、代数结构、组合数学、图论和初等数论6部分，这6部分从不同的角度出发，研究各种离散量之间数与形的关系。本文主要研究数理逻辑部分在计算机科学领域中的应用。
1.为计算机的可计算性研究提供依据
数理逻辑分为命题逻辑和一阶逻辑两部分，命题逻辑是一阶逻辑的特例。在研究某些推理问题时，一阶逻辑比命题逻辑更准确。数理逻辑中的可计算谓词和计算模型中的可计算函数是等价的,互相可以转化，计算可以用函数演算来表达，也可以用逻辑系统来表达。
某些自然语言的论证看上去很简单，直接就可以得出结论，但是通过数理逻辑中的两种符号化表达的结果却截然不同，让人们很难理解，这就为计算机的可计算性研究埋下伏笔。下面举一个简单例子加以说明。
例1 凡是偶数都能被2整除。6是偶数，所以6能被2整除。
可见，一个复杂的命题或者公式可以利用符号的形式来说明含义，来判断正确性，这使得计算机科学中的通过复杂文字验证的推理过程变得简单、明了了。
2.为计算机硬件系统的设计提供依据
数理逻辑部分在计算机硬件设计中的应用尤为突出，数字逻辑作为计算机科学的一个重要理论，在很大程度上起源于数理逻辑中的布尔运算。计算机的各种运算是通过数字逻辑技术实现的，而代数和布尔代数是数字逻辑的理论基础，布尔代数在形式演算方面虽然使用了代数的方法，但其内容的实质仍然是逻辑。范式正是基于布尔运算和真值表给出的一个典型公式。
下面以计算机科学中比较典型的开关电路的设计为实例说明数理逻辑中布尔代数和范式的应用。整个开关电路从功能上可以看做是一个开关，把电路接通的状态记为1（即结果为真），把电路断开的状态记为0（即结果为假），开关电路中的开关也要么处于接通状态，要么处于断开状态，这两种状态也可以用二值布尔代数来描述，对应的函数为布尔函数，也叫线路的布尔表达式。接通条件相同的线路称为等效线路，找等效线路的目的是化简线路，使线路中包含的节点尽可能地少。利用布尔代数可设计一些具有指定的节点线路，数学上既是按给定的真值表构造相应的布尔表达式，理论上涉及到的是范式理论，但形式上并不难构造。
例2 关于选派参赛选手，赵，钱，孙三人的意见分别是：赵：如果不选派甲，那么不选派乙。钱：如果不选派乙，那么选派甲；孙：要么选甲，要么选乙。以下诸项中，同时满足赵，钱，孙三人意见的方案是什么？
解答：把赵，钱，孙三个人的意见看做三条不同的线路，对三条线路化简得到接通状态（既使公式结果为1）。
可见，这类选择问题应用数理逻辑来解决，不但思路清晰、运算结果准确，而且省时、省力。
3.为计算机程序设计语言提供主要思想
专家系统和知识工程的出现使人们认识到仅仅研究那些从真前提得出真结果的那种古典逻辑推理方法是不够的，因为人类生活在一个充满不确定信息的环境里，进行着有效的推理。因此，为了建立真正的智能系统，研究那些更接近人类思维方式的非单调推理、模糊推理等就变得越来越必要了，非经典逻辑应运而生。非经典逻辑一般指直觉逻辑、模糊逻辑、多值逻辑等。这些也可以用计算机程序设计语言来实现。计算机程序设计语言的理论基础是形式语言、自动机与形式语义学，数理逻辑的推理理论为二者提供了主要思想和方法，程序设计语言中的许多机制和方法，如子程序调用中的参数代换、赋值等都出自数理逻辑的方法。推理是人工智能研究的主要工作。逻辑的思想就是通过一些已知的前提推理出未知的结论。
例3著名的n皇后问题是：是否可以将n(n为正整数)个皇后放在的棋盘上，使得每行每列都有且仅有一个皇后，并且每条对角线上如果有皇后且仅有一个。
通过上述几个实例的验证，会发现数理逻辑在计算机科学中的应用非常广泛，可以把计算机科学中表面上看似不相干的内容通过找出其内在的联系作为前提，利用数理逻辑中的推理理论得到结论。
参考文献：
逻辑学和数学逻辑的关系篇8
关键词：法律逻辑；形式逻辑；辨证逻辑；
作者简介：司献英(1970-)，女，河南内黄人，山东大学威海分校馆员，研究生，法理学研究。
法律逻辑学作为法学和逻辑学交叉而形成的边缘学科，它的发展和成熟有赖于法治现实需要的推动和法学、逻辑学理论的基础。由于我国长期以来并没有形成一个法治的环境，所以，无论是理论研究还是现实实践的需要既没有为法律逻辑研究提供必备的社会条件和理论基础，也没有为发展法律逻辑学提供足够的发展动力。我国法律逻辑学主要是基于扩大逻辑学应用的动因而形成和发展的，这就使得我国的法律逻辑学研究逻辑色彩浓厚而法学色彩不足，甚至脱离法律实际，更需要注意的是作为法律逻辑学基础的逻辑学主要是以普通思维为研究对象、以形式化为主要特点的的普通逻辑学，而法律逻辑形式化是有很大局限性的。
一、缺乏法治基础是我国法律逻辑研究脱离法律实践的根本原因
法治社会的需要和较成熟的逻辑学理论是法律逻辑学形成和发展的两个必要条件。在西方国家较早的时候便形成了他们的法治传统。在古希腊和古罗马时代，法治与民主已有很大发展，中世纪的西欧虽然也实行封建专制，“但西方法文化中的神学传统和自然法思想影响深远，上帝是一个象征着正义的抽象的神，世俗的皇帝对上帝也不得不产生敬畏。这种神学文化削弱了人治的权威。法官们认为忠于法律和上帝要胜过忠于他们的国王。此外，王室法院通过强调一致适用法律的必要性增强了司法判决的客观性，对同类案件作同样的判决的原则为法律推理的施展手段提供了条件。”[1]
1.怎样明确法律概念、形成法律命题，按照逻辑要求正确进行法律推理成为法治运行的必要手段和工具，所以，在较早的时候便产生了对法律逻辑进行研究的需要，法律逻辑较早地被纳入人们关注的视野，并且，西方较丰富的哲学、逻辑学思想为法律逻辑的形成和发展提供了锐利的思想工具。与此相反，我国却有着长期的人治社会传统，法律成为当政者专横的工具，正像一句民谣所说：“说你行，你就行，不行也行；说不行，就不行，行也不行。横批：不服不行。”法律对政治强权的依附使法律判决不需要充分的理由，更没有进行法律推理的必要。另一方面，我国传统的重体悟、轻逻辑，重综合、轻分析的思维特点，使得我国虽然在春秋战国时期就产生了较丰富的逻辑思想，但并没有发展成为严密、完整的学科体系，导致我国的逻辑学并不发达，很难为法律推理及其研究提供合适的理论武器。以上这些原因决定了我国长期以来法律逻辑的运用和理论研究的落后局面。
二、我国法律逻辑的逻辑理论基础主要是普通逻辑学
由于缺乏现实的需要和推动，法学家极少将目光投向属法理学范畴的法律逻辑的研究领域，倒是一些逻辑学家出于加强逻辑学应用的意愿，从逻辑学的角度对法律推理进行了一定的研究。70年代末期，一些学者基于逻辑学的发展必须着眼于它的应用这样的角度，明确提出“我们不仅要研究一般的具有现代化内容的逻辑学，还要研究为法律工作者用的逻辑学，为军事工作者用的逻辑学，为教育工作者用的逻辑学，以及结合自然语言的逻辑学等，以满足各类人员对于逻辑学的需要。”[2]这时期的法律逻辑研究主要是“从如何应用形式逻辑知识的角度出发的：表现在成果的内容上，基本上是应用形式逻辑的原理、原则来解说司法实例；表现在有关逻辑知识在法学领域作用的评价上，也只是在最一般意义上，从逻辑知识与正确思维的关系、特别是与办案过程中正确思维的关系方面给以说明的。”[3]国内的第一本以“法律逻辑学”命名的教材中，更是清楚明白地把法律逻辑看作就是形式逻辑知识在法学领域的应用，说：“法律逻辑学是一门应用性质的形式逻辑分支学科，它的任务在于把形式逻辑一般原理应用于法学和法学工作的实际，探索在法律领域应用形式逻辑的具体特点，因此，法律逻辑学并没有与传统形式逻辑不同的特殊对象，研究的还是属于思维领域的现象。”[4]更由于一些人“由于自己的逻辑视野不够广大，只承认自己熟悉的某一种逻辑。”[5]更使得对法律逻辑的研究束手束脚，唯恐不和这些人头脑中的“逻辑”标准而被指责为“非逻辑的逻辑”。这种过于狭窄的定位一直影响到今天人们对法律推理的认识，束缚了对法律逻辑研究视野的拓展。甚至这种套用固有的逻辑模式解说法律实例的研究方式已经引起了人们对法律逻辑、法律推理研究的反感，近年来在许多法律院系原来开设的法律逻辑课纷纷下马，和这种对法律逻辑、法律推理的定位不无关系。[6]
这就形成了我国法律逻辑研究的一个普遍现象：对法律逻辑的研究脱离司法实践，不是从司法实践本身的逻辑要求和规律出发研究法律思维的本质和特征。而为法律逻辑研究提供理论基础的逻辑学主要是普通逻辑学，我国近现代在翻译介绍西方逻辑学的过程中，由于受当时时代背景的影响，由西方传入，音译为“逻辑学”的逻辑学实际上是在当时占主导地位的近代形式逻辑学。在我国传播普及的逻辑学也主要是这种以传统逻辑学为主导的形式逻辑学，辩证逻辑学虽然也产生了一定的影响，但由于自身理论的不成熟，很难为法律推理的应用提供成熟的理论支持。
三、形式化的法律逻辑理论在司法实践中有很大的局限性
逻辑学和数学逻辑的关系篇9
关键词：peirce；科学家；逻辑学家；科学；指号学；化学概念
CharlesSanderspeirce（1839-1914），其一生曾作为“一个美国人的悲剧”〔1〕，现在已经越来越多地被认为是他那个时代、也是美国至今产生的最有创造性、最具多才多艺的伟大思想家。他广博的研究涉及非常不同的知识领域：天文学、物理学、度量衡学、测地学、数学、逻辑学、哲学、科学理论和科学史、指号学、语言学、经济计量学和实验心理学等等。而且这里的许多领域，peirce在不同程度上被视为倡导者、先驱甚至是“鼻祖”。Russell早就做出评价：“毫无疑问，他是十九世纪末叶最有创见的伟人之一，当然是美国前所未有的最伟大的思想家。”〔2〕而当代在世哲学家H.putnam称他为“所有美国哲学家中高耸的巨人”〔3〕。
虽然peirce的思想具有极为广阔的视野，但当今学者所公认、peirce本人也承认的他的两个主要研究领域却是科学和逻辑学。科学和逻辑学是peirce毕生付出精力最多的两个领域，也是他在大学毕业后决定他一生将做什么时曾犹豫不决的两种选择。但在其学术兴趣上它们是他的孪生子，二者在理论联系上常常是融为一体，成为peirce最倾心关注的焦点。而且，作为科学家和逻辑学家的经验是peirce整个哲学系统构建的基础与出发点，是贯穿他一生思想发展变化的重要影响因素。实际上，科学和逻辑学的共同追求正是peirce为自己所界定的生活目标。把握他的这一显著特征，我们可考察作为科学家的peirce与作为逻辑学家的peirce之间的某些联系。
1科学家职业、逻辑学家志向
从实际从事职业来看，peirce是位科学家，包括化学家、大地测量员、物理学家、天文学家、工程师、发明家、实验心理学家等等；同时这也是他谋生的门路，是他最早获得学术名声的领域。
成为一名科学家，peirce具有非常优越的条件；同时这也是他的亲戚朋友尤其是父亲所期望的。peirce出生于具有良好科学氛围的家庭，特别是其父亲Benjaminpeirce是哈佛大学天文学和数学perkins教授，也是当时美国最有影响的数学家。peirce从小由其父亲教授数学、物理学和天文学等学科；其聪颖智慧深得父亲欣赏。而peirce本人也深受父亲影响，尤其是在父亲1880年去世之后，他极想遵照父亲遗愿而继承父亲的事业，从此专注于科学研究。
在peirce十几岁时，他已经在家中建立了私人化学实验室，并写出了《化学史》；其叔叔去世后，他又继承了他叔叔的化学和医学图书馆。1859年从哈佛大学毕业后，他父亲安排他在美国海岸测量局（后来改名为海岸和地质测量局）野地考察队作为临时助手学习锻炼了一年；而同时他私下跟随哈佛动物学家Louisagassiz学习分类学方法。1862年进入哈佛的Lawrence科学研究所，并于1863年毕业获得化学理学士。其间于1861年他再次进入海岸测量局，但这次是作为长期助手；1884年10月至1885年2月主管度量衡办公室；1867年父亲成为海岸地质测量局的第三任主管，peirce于同年7月1日由助手(aide)提为副手（assistant），职位仅次于主管；他的这一职位上一直持续到1891年12月31日，时间达24年半之久。从1872年11月开始，他又负责钟摆实验；在1873—1886年间他在欧洲、美国以及其他地方的站点进行钟摆实验。晚年（1896年直到1902年）主要为圣劳伦斯能量公司做顾问化学工程师。
同时，peirce在1867年被安排在气象台从事观测工作，并于1869年被任命为副手。他曾是一次日环食和两次日全食现象的观测者，还负责使用气象台新获得的天体光度计。1871年其父亲获得国会授权进行横跨大陆的地质测量，peirce由此又成了职业的大地测量员和度量衡学家。
peirce生前虽只出版过一本科学方面的书（《光测研究》(1878)），为《thenation》杂志撰写的短评、书评现多收集在由Ketner和Cook编辑出版的《Contributionstothenation》中；但他在海岸地测局和哈佛气象台的诸多贡献已经为他（也为这两机构）在很年轻时就赢得了国际（特别是在欧洲）声誉（peirce1870年、1875年、1877年、1880年和1883年先后五次接受测量局任务到欧洲考察，同欧洲的许多科学家建立了联系，并极力主张扩大科学界的国际联系）。peirce于1867年成为美国文理学院的常驻会员，1877被选为国家科学院的成员，1880年被选为伦敦数学学会成员，1881年被选进入美国科学进步协会。而且值得一提的是，现在peirce已被认为是采用光波长来测定米制长的先驱。
然而，尽管他原本可以很好地专职于科学职业，并有广阔的前景；并且事实上，他也是由化学进入了各种各样的科学部门，并投入了极大的兴趣和精力，成为美国当时杰出的科学家。但与逻辑学相比，它们只是他生命的第二焦点。
从理想志向来看，peirce视逻辑学为其天职。早年在父亲指导下学习《纯粹理性批判》时就认为康德的失败主要在于其“平庸的逻辑”，要超越康德体系，必须发展一种崭新的逻辑。他声称在12岁时已经除了逻辑别无其他追求；甚至在生活潦倒、疾病缠身的困境中他依然坚持这一工作。他建有自己的私人逻辑史图书馆，他是近代以来少有的精通古代和中世纪逻辑的一位逻辑学家。他自己说，他是自中世纪以来唯一全身心贡献于逻辑学的人，并声称他是终生的逻辑推理学习者。1906年他在美国《wHo’SwHo》中把自己命名为一名逻辑学家，这在当时是绝无仅有的现象。晚年在milford的arisbe，他形容自己为田园逻辑学家、逻辑学隐士。与具有美好前程的科学职业相比，peirce之所以热中于当时不可能成为谋生手段的逻辑学，更多的是出于对自己既定学术目标的追求：要发展一种有前途的逻辑。他对于逻辑的执著和热情，使得他在逻辑学上的贡献并不亚于科学。
年仅二十几岁时，peirce就开始在哈佛和Lowell学院作关于逻辑学的演讲；从1879年直到1884年，在保持海岸地质测量局职位的同时，他作为JohnsHopkins大学（美国历史上第一所研究生学院）的兼职逻辑学讲师（这是他一生唯一一次获得的大学职位），并在这期间出版了他第二本书（也是最后一本）《逻辑研究》(1883年，pei
rce主编)。这本书在当时的美国乃至整个欧洲都有较大影响。在1901年，他为Baldwin的《哲学心理学辞典》撰写了大部分的逻辑学词条。
虽然peirce只有短暂的学院生活来传播他的逻辑理论，但在他那个时代，peirce已经是一位国际性人物。在五次访问欧洲期间，虽然他是作为科学家去考察，但不仅碰到了许多著名科学家，也会见了当时知名的数学家与逻辑学家，包括Demorgan、mcColl、Jevons、Clifford、Spencer等，还与Cantor、Kempe、Jourdain、Victoria夫人等保持着通信关系。1877年英国数学家和哲学家w.K.Clifford评价“Charlespeirce...是最伟大的在世逻辑学家，是自aristotle以来已经为这一学科增加实质内容的第二个人，那另一个是GeorgeBoole，《思维规律》的作者。”〔4〕
而在今天，peirce学者不断发掘出的peirce的逻辑尤其是现代逻辑贡献更是值得重视。一般认为，他早期主要是作为一名布尔主义者（Boolean）从事代数逻辑方面的研究，而晚年他的贡献主要集中于图表逻辑方面，主要包括存在图表系统和价分析法。1870年peirce的“描述一种关系逻辑记法，源于对Boole逻辑演算的扩充”是现代逻辑史上最重要的著作之一，因为它第一次试图把Boole逻辑代数扩充到关系逻辑，并在历史上第一次引入（比Frege的Begriffschrift早两年）多元关系逻辑的句法。在1883年之前他已经发展了量化逻辑的完全的句法，与直到1910年才出现的标准的Russell-whitehed句法仅仅在特殊符号上有点不同。
在对于数理逻辑贡献的广泛性和独创性方面，peirce几乎是无与伦比。与逻辑主义学派的Frege相比，peirce的特殊贡献不在定理证明方面上，而更多的是在新颖的逻辑句法系统和基本逻辑概念的精制化发展上。他创造了十多个包括二维句法系统在内的不同逻辑句法系统。把实质条件句算子（在他那里的形式为“—<”）引入了逻辑学，比Shaffer早40年发展了Shaffer竖并仅仅基于这一算子发展了一完全的逻辑系统。还独立地系统采用了真值表方法和归谬赋值法，过早地意识到Skolem前束范式的技术。在JohnsHopkins大学教书期间，peirce开始研究四色图猜想并发展了逻辑和拓扑学特别是拓扑图论之间的广泛联系。
我们看到，peirce不仅是有着突出贡献的科学家，同时也是著名的逻辑学家。然而在二者关系上，首要的一点是：他承认自己热爱科学，但坦言对于科学的研究只是为了他的逻辑；因为逻辑的研究需要从各种特殊科学（还有数学）的实际推理方法中概括出一般的逻辑推理方法，而决不是仅仅从逻辑书籍或讲课中背诵、记忆和解题；多样化的科学研究正是为了逻辑之全面概括，由它们获得的材料形成了逻辑学的基础和工具。实际上，这种前后的“从属关系”最突出地表现在他晚年常常是以作为科学家的收入来维持从事逻辑学研究的时间。
2逻辑学作为科学
虽然上文表明逻辑学家peirce与科学家peirce之间有近乎目的与手段间的主从关系，但事实上并非如此简单，它们还有更为深刻的一层关系，那就是：逻辑学也是科学。很显然，这是peirce长期的实验室经历已经使得他以科学的方法处理所有问题（他有时的确称自己为“实验室哲学家”）包括逻辑学了。
我们首先看，科学在peirce那里意味着什么？peirce看到大多数人包括科学界之外的人都习惯于把科学视为特殊种类的（主要是指系统化的）知识，而他更愿意像古希腊人那样把科学作为认知的方法，但他强调这种方法一定要是科学探究（inquiry）的方法。知识开始于怀疑，为了寻求确定的信念我们必须要解决（settle）怀疑，一般解决怀疑的方法主要有情感方法（求助于自己的感觉倾向）、信忠团体的方法（选择那些最适合其社会团体的那一信念）和尊重的方法（求助于自己对于某特别个人或机构的尊重之感情）等；但这些方法本质上都是自我中心的非客观的方法，它们往往只通过怀疑者自己的行为、意愿来选择信念，缺乏足够的证据。而真正客观的方法只有科学探究的方法，在这种方法指引之下，探究者从经验出发基于科学共同体(community)的合作去寻求真理（tRUtH）或实在（Reality），这也正是科学活动；最终的真理性认识可能并不是由某一实际的探究者所发现，但只要是遵循这种方法、运用先前的结果，最后都必定会一致达到真理的。这正是peirce在《通俗科学月刊》上发表的两篇经典性论文《信念的确定》和《如何使我们的观念清楚明白》中所阐述的实用主义（与后来James版本的实用主义有很大不同）方法相一致的，事实上如peirce所指出的，实用主义不是什么世界观，本质上是一种方法，一种科学探究的方法。而与此同时，我们看到，peirce把逻辑学视为设计研究方法的艺术，是方法之方法，它告诉我们如何进行才能形成一个实验计划；逻辑就是对于解决怀疑的客观方法的研究，是对于达到真理之方式的研究，其目的就是要帮助我们成为“科学人”。现代科学之优于古代之处也正在于一个好的逻辑，健全的逻辑理论在实践上能缩短我们获知真理的等待时间，使得预定结果加速到来。
但是我们发现，他在思想更为成熟的阶段是把逻辑学的科学属性放置于指号学（Semiotics或更多的是Semieotics）的语境中来考察的，虽然这种处理与以上把逻辑学视为科学方法之研究存在着根本上的一致性。
peirce不止一次指出，在最广泛的意义上的逻辑学就是指号学或关于指号的理论，仅仅是指号学的另一个名字。〔5〕它包括三个部门：批判逻辑学（CriticalLogic），或狭义上的逻辑学，是指号指称其对象的一般条件的理论，也即我们一般所谓逻辑学；理论语法（SpeculativeGrammar），是指号具有有意义特征的一般条件的学说；理论修辞（SpeculativeRhetoric），又叫方法论（methodeutic），是指号指称其解释项的一般条件的学说。〔6〕这种划分可能受中世纪大学三学科：语法、辩证法（或逻辑学）和修辞的课程设置的影响，指号学在某种程度上可视为对于中世纪后期所理解的逻辑的现代化版本。而我们在此需要强调的是，peirce把指号学视为经验科学、观察科学。推理就是对于指号的操作，观察在其中发挥着重要作用；指号学同其它经验科学的不同在于它们实验操作对象不一样，在于其它科学的目的仅仅是发现“实际上是什么”而逻辑科学要探明“必定是什么”。但既然是经验科学，根据经验学习的科学人进行逻辑推理所得到的结论就是可错的即准必然的（事实上，任何逻辑必然都只是相对于特定
推理前提而产生必然的特定结论）。
更进一步，peirce把狭义上的逻辑学(logicexact)分成假设逻辑（abductivelogic）、演绎逻辑和归纳逻辑三部分。显然这比传统逻辑上演绎（必然的）、归纳（可能的）二分的做法多出了内容。peirce得出这样的结论是对于aristotle三段论基本格研究的结果，他认为Barbara集中表现了演绎推理的本质，而作为特殊的演绎三段论Baroco（把Barbara中结论的否定作前提、小前提的否定作结论）和Bocardo（把Barbara中的结论的否定作前提、大前提的否定作结论），如果把它们的结论考虑为或然性的，则分别相应于假设推理(abductivereasoning)和归纳推理。但更重要的是，peirce在此显示出了逻辑学与科学的最合理的紧密联系。在他看来，演绎逻辑也即数学的逻辑，而假设逻辑和归纳逻辑主要就是科学的逻辑。在演绎逻辑已经得到普遍承认的情况下，他终生的愿望就是要把归纳和假设（abduction）同演绎一起坚固地和永久地确立在逻辑概念之中。在科学探究过程中，假设、演绎和归纳先后组成了三个不同阶段的科学方法，它们的共同作用使得科学探究能自我修正。
peirce把假设放在首位，作为科学探究程序的第一步，目的在于发现和形成假说。假设是为解释违反规律（或习惯）的意外事实而产生假说的过程，它能产生新信息，peirce把它视为所有科学研究甚至是所有普通人的活动的中心。但这种假设并没有提供安全可靠的结论，假说必须要经过检验。于是，还需要演绎来解释（explicate）和演示（demonstrate）假说即得出预言；再后由归纳回归到经验，旨在通过观察被演绎出的结果是否成立来证实或否证那些假说，即决定假说的可信赖度。在这连续的三种推理形式中，假设是从意外事实（surprisingfacts）推到对事实的可能性解释，演绎是从假说前提推到相应结论，归纳则是从实例到一般化概括。经过这样的科学探究，我们在科学共同体中将能不断接近真理。
3逻辑学中的化学概念移植
为更具体地论述peirce的科学研究与逻辑学研究之间的紧密联系，我们在此可谈到peirce对科学中的许多概念向逻辑学研究的成功应用，这突出表现在化学上。因为化学是peirce的大学专业，也是他进入整个经验科学的入口。
逻辑学作为一门特殊的学科领域，事实上从近代以来，就从数学（包括代数和几何）理论那里找到了非常有力的发展动力和理论技术。我们在此谈到的化学概念应用作为整个自然科学概念推广中的一例其实也是peirce为发展逻辑学而提出的。
首先，peirce晚年极为倾心的存在图表逻辑构想正是基于化学图表原理（可能还有拓扑学方法的启发）。存在图表是peirce在其指号学背景下对euler图和Venn图的重大发展，具有极强的表现力。其在自然、直观、易操作上要远胜于代数方法（包括标准的peano-Russell记法），因为我们心灵的思想过程被同构地展现在推理者面前，对于图表的操作代替了在化学（和物理）实验中对于实物的操作。化学家把这样的实验描述为向自然（nature）的质疑，而现在逻辑学家对于图表的实验就是向所关涉逻辑关系之本性（nature）的置疑。〔7〕
第二个例子，现代逻辑（可能从《数学原理》开始）中的一对基本概念:命题和命题函项（或有时称为闭语句和开语句）原本就是来自化学中的“饱和”（Saturation或Gesättigkeit）和“未饱和”概念。peirce用黑点或短线来代替语句中的“指示代词”（即逻辑中的自变元），得到形如“——大于——”、“a大于——”这样的形式，它们分别被称为关系述位（relativerhema）（区别于像系词一样的关系词项）和非关系述位，也即他那里的谓词（谓词是几元的取决于我们到底如何选择去分析命题）。他指出，述位不是命题，并坦言“述位在某种程度上与带有未饱和键（unsaturatedbonds）的化学原子或化学基极为相似。”〔8〕然而不无意外，我们发现同时期欧洲大陆的Frege也正在独立地从化学概念得到逻辑研究的灵感。他把诸如“……的父亲”的函项记号称为“未饱和的”或“不完全的”表达式，以与专有名词相区别。〔9〕
另外一个例子是peirce提出的价分析（Valencyanalysis）法。正如名字所显示出的，它同化学中的化合价概念密切相关，peirce所使用的词语Valency直接源于化学中的术语Valence即化合价。价分析是peirce在图表化逻辑思想指引下于存在图表（existentialGraphs）之外创设的另一种二维表现法。其中，显然他是把思想中概念的组合与“化学离子”的组合相比拟，如他采用类似“——”这样的结构表示带有“开放端（looseend）”(即黑点后面的横线)的实体，即谓词；这就是化学中离子结构的简单变形。由于它们的开放端导致的“不稳定”（正像离子本身不稳定一样），开放端之间就可能连接起来形成共同“键”（bond）。如“——”同“——”可形成“——”样式的新结构〔10〕。正是利用这样的离子组键技术，peirce成功证明了其著名的化归论题，即对于三元以上关系都可化归到三元和三元以下的关系，但一元、二元和三元关系却不能化归。这一论题是他哲学思想体系中所坚持的三分法原则的逻辑证明。
综观peirce的科学家经历和逻辑学家志向，peirce把逻辑学视为对于各种科学推理方法的概括，同时又把逻辑学理论指导、应用于科学研究过程。二者紧密相连，互为作用。而更为突出的，他的逻辑贡献大都可追溯到其多样化的科学研究，他的逻辑独创往往也是其科学研究经验的启发性建议。笔者以为，研究peirce的这些方面，我们至少可得出以下启示：逻辑学应从数学和科学推理实践中概括推理的一般本质；逻辑学家应尽可能学习、掌握科学（传统逻辑就因为没有这样做而失败，科学家非逻辑学家或逻辑学家非科学家都不能胜任于对科学推理的分析工作），因为拓宽自己的科学研究领域必将能加强逻辑学家对于逻辑科学的贡献能力；同时科学家要想更为一般地把握住推理方法也应了解逻辑学，但是前者在当前学术界值得特别注意。当前处于被冷落地位的逻辑学要想摆脱这种局面，必须加快发展自己；而经验科学（不再仅仅是数学）必能使得逻辑学发展获得新的生命力，这已经是被现代逻辑的发展史（特别是初创时期）所证实的。
参考文献：
〔1〕库克.现代数学史〔m〕.呼和浩特：内蒙古人民出版社，1982年.61.
〔2〕罗素.西方的智慧〔m〕.北京：商务印书馆，1999年.276.
〔3〕Hilaryputnam.peircetheLogician〔J〕.Historiamathematica,9（1982）.292.
〔4〕maxFisch.theDecisiveYearanditsearlyConsequences〔m〕.writingsofCharlesS.peirce:aChronologicaledition(Vol.2).Bloomington,indiana.indianaUniversitypress.1984.introduction.
〔5〕〔6〕〔7〕〔8〕CharlesSanderspeirce.CollectedpapersofC.S.peirce(Vol.1-8)〔C〕.Cambridge,massachusetts.HarvardUniversitypress.1931-58.2.227，2.93，4.530，3.421.（按照peirce文献的通常标注法，这里如“2.227”的记法，小圆点前面的数字为卷数，后面的数字为节数）
〔9〕威廉·涅尔，玛莎·涅尔.逻辑学的发展〔m〕.北京：商务印书馆，1985年.624.
〔10〕RobertBurch.ValentalaspectsofpeirceanalgebraicLogic〔J〕,Computersmath.applic,Vol.23,no.6-9,1992.665-677.
peirce：theScientistandLogician
逻辑学和数学逻辑的关系篇10
关键词：peirce；科学家；逻辑学家；科学；指号学；化学概念
中图分类号：B81-095文献标识码：a
CharlesSanderspeirce（1839-1914），其一生曾作为“一个美国人的悲剧”〔1〕，现在已经越来越多地被认为是他那个时代、也是美国至今产生的最有创造性、最具多才多艺的伟大思想家。他广博的研究涉及非常不同的知识领域：天文学、物理学、度量衡学、测地学、数学、逻辑学、哲学、科学理论和科学史、指号学、语言学、经济计量学和实验心理学等等。而且这里的许多领域，peirce在不同程度上被视为倡导者、先驱甚至是“鼻祖”。Russell早就做出评价：“毫无疑问，他是十九世纪末叶最有创见的伟人之一，当然是美国前所未有的最伟大的思想家。”〔2〕而当代在世哲学家H.putnam称他为“所有美国哲学家中高耸的巨人”〔3〕。
虽然peirce的思想具有极为广阔的视野，但当今学者所公认、peirce本人也承认的他的两个主要研究领域却是科学和逻辑学。科学和逻辑学是peirce毕生付出精力最多的两个领域，也是他在大学毕业后决定他一生将做什么时曾犹豫不决的两种选择。但在其学术兴趣上它们是他的孪生子，二者在理论联系上常常是融为一体，成为peirce最倾心关注的焦点。而且，作为科学家和逻辑学家的经验是peirce整个哲学系统构建的基础与出发点，是贯穿他一生思想发展变化的重要影响因素。实际上，科学和逻辑学的共同追求正是peirce为自己所界定的生活目标。把握他的这一显著特征，我们可考察作为科学家的peirce与作为逻辑学家的peirce之间的某些联系。
1科学家职业、逻辑学家志向
从实际从事职业来看，peirce是位科学家，包括化学家、大地测量员、物理学家、天文学家、工程师、发明家、实验心理学家等等；同时这也是他谋生的门路，是他最早获得学术名声的领域。
成为一名科学家，peirce具有非常优越的条件；同时这也是他的亲戚朋友尤其是父亲所期望的。peirce出生于具有良好科学氛围的家庭，特别是其父亲Benjaminpeirce是哈佛大学天文学和数学perkins教授，也是当时美国最有影响的数学家。peirce从小由其父亲教授数学、物理学和天文学等学科；其聪颖智慧深得父亲欣赏。而peirce本人也深受父亲影响，尤其是在父亲1880年去世之后，他极想遵照父亲遗愿而继承父亲的事业，从此专注于科学研究。
在peirce十几岁时，他已经在家中建立了私人化学实验室，并写出了《化学史》；其叔叔去世后，他又继承了他叔叔的化学和医学图书馆。1859年从哈佛大学毕业后，他父亲安排他在美国海岸测量局（后来改名为海岸和地质测量局）野地考察队作为临时助手学习锻炼了一年；而同时他私下跟随哈佛动物学家Louisagassiz学习分类学方法。1862年进入哈佛的Lawrence科学研究所，并于1863年毕业获得化学理学士。其间于1861年他再次进入海岸测量局，但这次是作为长期助手；1884年10月至1885年2月主管度量衡办公室；1867年父亲成为海岸地质测量局的第三任主管，peirce于同年7月1日由助手(aide)提为副手（assistant），职位仅次于主管；他的这一职位上一直持续到1891年12月31日，时间达24年半之久。从1872年11月开始，他又负责钟摆实验；在1873—1886年间他在欧洲、美国以及其他地方的站点进行钟摆实验。晚年（1896年直到1902年）主要为圣劳伦斯能量公司做顾问化学工程师。
同时，peirce在1867年被安排在气象台从事观测工作，并于1869年被任命为副手。他曾是一次日环食和两次日全食现象的观测者，还负责使用气象台新获得的天体光度计。1871年其父亲获得国会授权进行横跨大陆的地质测量，peirce由此又成了职业的大地测量员和度量衡学家。
peirce生前虽只出版过一本科学方面的书（《光测研究》(1878)），为《thenation》杂志撰写的短评、书评现多收集在由Ketner和Cook编辑出版的《Contributionstothenation》中；但他在海岸地测局和哈佛气象台的诸多贡献已经为他（也为这两机构）在很年轻时就赢得了国际（特别是在欧洲）声誉（peirce1870年、1875年、1877年、1880年和1883年先后五次接受测量局任务到欧洲考察，同欧洲的许多科学家建立了联系，并极力主张扩大科学界的国际联系）。peirce于1867年成为美国文理学院的常驻会员，1877被选为国家科学院的成员，1880年被选为伦敦数学学会成员，1881年被选进入美国科学进步协会。而且值得一提的是，现在peirce已被认为是采用光波长来测定米制长的先驱。
然而，尽管他原本可以很好地专职于科学职业，并有广阔的前景；并且事实上，他也是由化学进入了各种各样的科学部门，并投入了极大的兴趣和精力，成为美国当时杰出的科学家。但与逻辑学相比，它们只是他生命的第二焦点。
从理想志向来看，peirce视逻辑学为其天职。早年在父亲指导下学习《纯粹理性批判》时就认为康德的失败主要在于其“平庸的逻辑”，要超越康德体系，必须发展一种崭新的逻辑。他声称在12岁时已经除了逻辑别无其他追求；甚至在生活潦倒、疾病缠身的困境中他依然坚持这一工作。他建有自己的私人逻辑史图书馆，他是近代以来少有的精通古代和中世纪逻辑的一位逻辑学家。他自己说，他是自中世纪以来唯一全身心贡献于逻辑学的人，并声称他是终生的逻辑推理学习者。1906年他在美国《wHo’SwHo》中把自己命名为一名逻辑学家，这在当时是绝无仅有的现象。晚年在milford的arisbe，他形容自己为田园逻辑学家、逻辑学隐士。与具有美好前程的科学职业相比，peirce之所以热中于当时不可能成为谋生手段的逻辑学，更多的是出于对自己既定学术目标的追求：要发展一种有前途的逻辑。他对于逻辑的执著和热情，使得他在逻辑学上的贡献并不亚于科学。
年仅二十几岁时，peirce就开始在哈佛和Lowell学院作关于逻辑学的演讲；从1879年直到1884年，在保持海岸地质测量局职位的同时，他作为JohnsHopkins大学（美国历史上第一所研究生学院）的兼职逻辑学讲师（这是他一生唯一一次获得的大学职位），并在这期间出版了他第二本书（也是最后一本）《逻辑研究》(1883年，peirce主编)。这本书在当时的美国乃至整个欧洲都有较大影响。在1901年，他为Baldwin的《哲学心理学辞典》撰写了大部分的逻辑学词条。
虽然peirce只有短暂的学院生活来传播他的逻辑理论，但在他那个时代，peirce已经是一位国际性人物。在五次访问欧洲期间，虽然他是作为科学家去考察，但不仅碰到了许多著名科学家，也会见了当时知名的数学家与逻辑学家，包括Demorgan、mcColl、Jevons、Clifford、Spencer等，还与Cantor、Kempe、Jourdain、Victoria夫人等保持着通信关系。1877年英国数学家和哲学家w.K.Clifford评价“Charlespeirce...是最伟大的在世逻辑学家，是自aristotle以来已经为这一学科增加实质内容的第二个人，那另一个是GeorgeBoole，《思维规律》的作者。”〔4〕
而在今天，peirce学者不断发掘出的peirce的逻辑尤其是现代逻辑贡献更是值得重视。一般认为，他早期主要是作为一名布尔主义者（Boolean）从事代数逻辑方面的研究，而晚年他的贡献主要集中于图表逻辑方面，主要包括存在图表系统和价分析法。1870年peirce的“描述一种关系逻辑记法，源于对Boole逻辑演算的扩充”是现代逻辑史上最重要的著作之一，因为它第一次试图把Boole逻辑代数扩充到关系逻辑，并在历史上第一次引入（比Frege的Begriffschrift早两年）多元关系逻辑的句法。在1883年之前他已经发展了量化逻辑的完全的句法，与直到1910年才出现的标准的Russell-whitehed句法仅仅在特殊符号上有点不同。
在对于数理逻辑贡献的广泛性和独创性方面，peirce几乎是无与伦比。与逻辑主义学派的Frege相比，peirce的特殊贡献不在定理证明方面上，而更多的是在新颖的逻辑句法系统和基本逻辑概念的精制化发展上。他创造了十多个包括二维句法系统在内的不同逻辑句法系统。把实质条件句算子（在他那里的形式为“—<”）引入了逻辑学，比Shaffer早40年发展了Shaffer竖并仅仅基于这一算子发展了一完全的逻辑系统。还独立地系统采用了真值表方法和归谬赋值法，过早地意识到Skolem前束范式的技术。在JohnsHopkins大学教书期间，peirce开始研究四色图猜想并发展了逻辑和拓扑学特别是拓扑图论之间的广泛联系。
我们看到，peirce不仅是有着突出贡献的科学家，同时也是著名的逻辑学家。然而在二者关系上，首要的一点是：他承认自己热爱科学，但坦言对于科学的研究只是为了他的逻辑；因为逻辑的研究需要从各种特殊科学（还有数学）的实际推理方法中概括出一般的逻辑推理方法，而决不是仅仅从逻辑书籍或讲课中背诵、记忆和解题；多样化的科学研究正是为了逻辑之全面概括，由它们获得的材料形成了逻辑学的基础和工具。实际上，这种前后的“从属关系”最突出地表现在他晚年常常是以作为科学家的收入来维持从事逻辑学研究的时间。
2逻辑学作为科学
虽然上文表明逻辑学家peirce与科学家peirce之间有近乎目的与手段间的主从关系，但事实上并非如此简单，它们还有更为深刻的一层关系，那就是：逻辑学也是科学。很显然，这是peirce长期的实验室经历已经使得他以科学的方法处理所有问题（他有时的确称自己为“实验室哲学家”）包括逻辑学了。
我们首先看，科学在peirce那里意味着什么？peirce看到大多数人包括科学界之外的人都习惯于把科学视为特殊种类的（主要是指系统化的）知识，而他更愿意像古希腊人那样把科学作为认知的方法，但他强调这种方法一定要是科学探究（inquiry）的方法。知识开始于怀疑，为了寻求确定的信念我们必须要解决（settle）怀疑，一般解决怀疑的方法主要有情感方法（求助于自己的感觉倾向）、信忠团体的方法（选择那些最适合其社会团体的那一信念）和尊重的方法（求助于自己对于某特别个人或机构的尊重之感情）等；但这些方法本质上都是自我中心的非客观的方法，它们往往只通过怀疑者自己的行为、意愿来选择信念，缺乏足够的证据。而真正客观的方法只有科学探究的方法，在这种方法指引之下，探究者从经验出发基于科学共同体(community)的合作去寻求真理（tRUtH）或实在（Reality），这也正是科学活动；最终的真理性认识可能并不是由某一实际的探究者所发现，但只要是遵循这种方法、运用先前的结果，最后都必定会一致达到真理的。这正是peirce在《通俗科学月刊》上发表的两篇经典性论文《信念的确定》和《如何使我们的观念清楚明白》中所阐述的实用主义（与后来James版本的实用主义有很大不同）方法相一致的，事实上如peirce所指出的，实用主义不是什么世界观，本质上是一种方法，一种科学探究的方法。而与此同时，我们看到，peirce把逻辑学视为设计研究方法的艺术，是方法之方法，它告诉我们如何进行才能形成一个实验计划；逻辑就是对于解决怀疑的客观方法的研究，是对于达到真理之方式的研究，其目的就是要帮助我们成为“科学人”。现代科学之优于古代之处也正在于一个好的逻辑，健全的逻辑理论在实践上能缩短我们获知真理的等待时间，使得预定结果加速到来。
但是我们发现，他在思想更为成熟的阶段是把逻辑学的科学属性放置于指号学（Semiotics或更多的是Semieotics）的语境中来考察的，虽然这种处理与以上把逻辑学视为科学方法之研究存在着根本上的一致性。
peirce不止一次指出，在最广泛的意义上的逻辑学就是指号学或关于指号的理论，仅仅是指号学的另一个名字。〔5〕它包括三个部门：批判逻辑学（CriticalLogic），或狭义上的逻辑学，是指号指称其对象的一般条件的理论，也即我们一般所谓逻辑学；理论语法（SpeculativeGrammar），是指号具有有意义特征的一般条件的学说；理论修辞（SpeculativeRhetoric），又叫方法论（methodeutic），是指号指称其解释项的一般条件的学说。〔6〕这种划分可能受中世纪大学三学科：语法、辩证法（或逻辑学）和修辞的课程设置的影响，指号学在某种程度上可视为对于中世纪后期所理解的逻辑的现代化版本。而我们在此需要强调的是，peirce把指号学视为经验科学、观察科学。推理就是对于指号的操作，观察在其中发挥着重要作用；指号学同其它经验科学的不同在于它们实验操作对象不一样，在于其它科学的目的仅仅是发现“实际上是什么”而逻辑科学要探明“必定是什么”。但既然是经验科学，根据经验学习的科学人进行逻辑推理所得到的结论就是可错的即准必然的（事实上，任何逻辑必然都只是相对于特定推理前提而产生必然的特定结论）。
更进一步，peirce把狭义上的逻辑学(logicexact)分成假设逻辑（abductivelogic）、演绎逻辑和归纳逻辑三部分。显然这比传统逻辑上演绎（必然的）、归纳（可能的）二分的做法多出了内容。peirce得出这样的结论是对于aristotle三段论基本格研究的结果，他认为Barbara集中表现了演绎推理的本质，而作为特殊的演绎三段论Baroco（把Barbara中结论的否定作前提、小前提的否定作结论）和Bocardo（把Barbara中的结论的否定作前提、大前提的否定作结论），如果把它们的结论考虑为或然性的，则分别相应于假设推理(abductivereasoning)和归纳推理。但更重要的是，peirce在此显示出了逻辑学与科学的最合理的紧密联系。在他看来，演绎逻辑也即数学的逻辑，而假设逻辑和归纳逻辑主要就是科学的逻辑。在演绎逻辑已经得到普遍承认的情况下，他终生的愿望就是要把归纳和假设（abduction）同演绎一起坚固地和永久地确立在逻辑概念之中。在科学探究过程中，假设、演绎和归纳先后组成了三个不同阶段的科学方法，它们的共同作用使得科学探究能自我修正。
peirce把假设放在首位，作为科学探究程序的第一步，目的在于发现和形成假说。假设是为解释违反规律（或习惯）的意外事实而产生假说的过程，它能产生新信息，peirce把它视为所有科学研究甚至是所有普通人的活动的中心。但这种假设并没有提供安全可靠的结论，假说必须要经过检验。于是，还需要演绎来解释（explicate）和演示（demonstrate）假说即得出预言；再后由归纳回归到经验，旨在通过观察被演绎出的结果是否成立来证实或否证那些假说，即决定假说的可信赖度。在这连续的三种推理形式中，假设是从意外事实（surprisingfacts）推到对事实的可能性解释，演绎是从假说前提推到相应结论，归纳则是从实例到一般化概括。经过这样的科学探究，我们在科学共同体中将能不断接近真理。
3逻辑学中的化学概念移植
为更具体地论述peirce的科学研究与逻辑学研究之间的紧密联系，我们在此可谈到peirce对科学中的许多概念向逻辑学研究的成功应用，这突出表现在化学上。因为化学是peirce的大学专业，也是他进入整个经验科学的入口。
逻辑学作为一门特殊的学科领域，事实上从近代以来，就从数学（包括代数和几何）理论那里找到了非常有力的发展动力和理论技术。我们在此谈到的化学概念应用作为整个自然科学概念推广中的一例其实也是peirce为发展逻辑学而提出的。
首先，peirce晚年极为倾心的存在图表逻辑构想正是基于化学图表原理（可能还有拓扑学方法的启发）。存在图表是peirce在其指号学背景下对euler图和Venn图的重大发展，具有极强的表现力。其在自然、直观、易操作上要远胜于代数方法（包括标准的peano-Russell记法），因为我们心灵的思想过程被同构地展现在推理者面前，对于图表的操作代替了在化学（和物理）实验中对于实物的操作。化学家把这样的实验描述为向自然（nature）的质疑，而现在逻辑学家对于图表的实验就是向所关涉逻辑关系之本性（nature）的置疑。〔7〕
第二个例子，现代逻辑（可能从《数学原理》开始）中的一对基本概念:命题和命题函项（或有时称为闭语句和开语句）原本就是来自化学中的“饱和”（Saturation或Gesättigkeit）和“未饱和”概念。peirce用黑点或短线来代替语句中的“指示代词”（即逻辑中的自变元），得到形如“——大于——”、“a大于——”这样的形式，它们分别被称为关系述位（relativerhema）（区别于像系词一样的关系词项）和非关系述位，也即他那里的谓词（谓词是几元的取决于我们到底如何选择去分析命题）。他指出，述位不是命题，并坦言“述位在某种程度上与带有未饱和键（unsaturatedbonds）的化学原子或化学基极为相似。”〔8〕然而不无意外，我们发现同时期欧洲大陆的Frege也正在独立地从化学概念得到逻辑研究的灵感。他把诸如“……的父亲”的函项记号称为“未饱和的”或“不完全的”表达式，以与专有名词相区别。〔9〕
另外一个例子是peirce提出的价分析（Valencyanalysis）法。正如名字所显示出的，它同化学中的化合价概念密切相关，peirce所使用的词语Valency直接源于化学中的术语Valence即化合价。价分析是peirce在图表化逻辑思想指引下于存在图表（existentialGraphs）之外创设的另一种二维表现法。其中，显然他是把思想中概念的组合与“化学离子”的组合相比拟，如他采用类似“——”这样的结构表示带有“开放端（looseend）”(即黑点后面的横线)的实体，即谓词；这就是化学中离子结构的简单变形。由于它们的开放端导致的“不稳定”（正像离子本身不稳定一样），开放端之间就可能连接起来形成共同“键”（bond）。如“——”同“——”可形成“——”样式的新结构〔10〕。正是利用这样的离子组键技术，peirce成功证明了其著名的化归论题，即对于三元以上关系都可化归到三元和三元以下的关系，但一元、二元和三元关系却不能化归。这一论题是他哲学思想体系中所坚持的三分法原则的逻辑证明。综观peirce的科学家经历和逻辑学家志向，peirce把逻辑学视为对于各种科学推理方法的概括，同时又把逻辑学理论指导、应用于科学研究过程。二者紧密相连，互为作用。而更为突出的，他的逻辑贡献大都可追溯到其多样化的科学研究，他的逻辑独创往往也是其科学研究经验的启发性建议。笔者以为，研究peirce的这些方面，我们至少可得出以下启示：逻辑学应从数学和科学推理实践中概括推理的一般本质；逻辑学家应尽可能学习、掌握科学（传统逻辑就因为没有这样做而失败，科学家非逻辑学家或逻辑学家非科学家都不能胜任于对科学推理的分析工作），因为拓宽自己的科学研究领域必将能加强逻辑学家对于逻辑科学的贡献能力；同时科学家要想更为一般地把握住推理方法也应了解逻辑学，但是前者在当前学术界值得特别注意。当前处于被冷落地位的逻辑学要想摆脱这种局面，必须加快发展自己；而经验科学（不再仅仅是数学）必能使得逻辑学发展获得新的生命力，这已经是被现代逻辑的发展史（特别是初创时期）所证实的。
参考文献：
〔1〕库克.现代数学史〔m〕.呼和浩特：内蒙古人民出版社，1982年.61.
〔2〕罗素.西方的智慧〔m〕.北京：商务印书馆，1999年.276.
〔3〕Hilaryputnam.peircetheLogician〔J〕.Historiamathematica,9（1982）.292.
〔4〕maxFisch.theDecisiveYearanditsearlyConsequences〔m〕.writingsofCharlesS.peirce:aChronologicaledition(Vol.2).Bloomington,indiana.indianaUniversitypress.1984.introduction.
〔5〕〔6〕〔7〕〔8〕CharlesSanderspeirce.CollectedpapersofC.S.peirce(Vol.1-8)〔C〕.Cambridge,massachusetts.HarvardUniversitypress.1931-58.2.227，2.93，4.530，3.421.（按照peirce文献的通常标注法，这里如“2.227”的记法，小圆点前面的数字为卷数，后面的数字为节数）
〔9〕威廉·涅尔，玛莎·涅尔.逻辑学的发展〔m〕.北京：商务印书馆，1985年.624.
〔10〕RobertBurch.ValentalaspectsofpeirceanalgebraicLogic〔J〕,Computersmath.applic,Vol.23,no.6-9,1992.665-677.
peirce：theScientistandLogician
“有”版权所