逻辑学发展过程中的曲折

《逻辑学发展过程中的曲折》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、逻辑学发展过程中的曲折对于逻辑学发展史的研究，应该有一个正确的逻辑观，应该明确什么是逻辑。我们还是先来查阅一下比较权威的《牛津高阶英汉双解词典》吧:logic1.scienceofreasoning(逻辑学，论理学）2.particularmethodorsystemofreasoning(推理的方法或体系1Ue1711一1776)对归纳原则的有效性提出质疑。首先，休谟认为，关于实际事情的推论，即由经验出发的归纳推论并不属于“解证的论证”(即形式逻辑的演绎证明）。其次，休谟指出，一切经验(归纳)的结论依据的是“将来定和过

2、去相契”的假设。如果试图用经验的办法来证明归纳的原则，那就要先证明上述假设。这在实际上是把待证明的归纳原则看成是不成问题的前提，因而休谟认为这是一种循环证明。应该说，休谟的这一思想是深刻的，因为它确实切中了问题的要害，因为休谟至少是看到了归纳的结论不必然是真。休谟的这一归纳问题(后世称之为“休谟问题”）提出后，长期以来一直成为哲学家、科学哲学家、逻辑学家共同感兴趣的问题。此后，康德提出的“普遍必然性的知识如何可能”(即先天综合判断如何可能）的问题实际上是休谟归纳问题研究的继续，有关内容在此不详述。近代最大的逻辑成果，是由

3、莱布尼茨（GottfriedLeibniz1646一1716)提出的改革逻辑、建立一种表意的普遍符号语言以及进行思维推理演算的构想。作为数理逻辑的创始人之一，莱布尼茨的设想大多数为以后的逻辑学家实现。由于他的设想，形式逻辑改变了传统的发展方向，因此，“人们提到莱布尼茨的名字就好象谈到日出一样。他使亚里士多德逻辑开始了新生’，……这种新东西是什么呢？它就是把逻辑加以数学化的伟大思想后来的现代逻辑学家伯特兰。罗素（BertrandRussell1872一1970)甚至认为数学可以从逻辑中推导出来，数学和逻辑是一门科学。除了建

4、立数理逻辑的构想(在逻辑史上，一般认为，莱布尼茨是数理逻辑的奠基者)，莱氏还提出了“可能世界”的概念和区别两种真理的思想。莱氏认为，由逻辑上不矛盾的可能事件构成了逻辑上的可能世界。在众多的可能世界中，上帝选择最完美的一个使之成为现实。同可能世界与现实世界的区别相对应，他还提出了理性真理与事实真理的区别。根据形式逻辑的矛盾律所得到的必然真理是理性真理;根据充足理由律所得到的偶然真理是事实真理。无论从逻辑学还是从哲学方面来考察，“可能世界”是一个非常重要的概念，它涉及到必然性、偶然性、蕴涵关系、7永真性等逻辑概念的定义;也涉

5、及到事实(物理的)必然性与逻辑必然性的区别、本质属性与偶然属性的区别;还涉及到认识论、伦理学中的众多问题。很显然，莱布尼茨的逻辑思想虽然非常精彩，但是，由于他仍旧保留对逻辑内涵的解释，因此他在应用数学方法的过程中，不断遇到难以克服的困难，[9(K69)这最终使他很难建立符号逻辑的完整思想体系。尽管如此，他所指明的建立“通用语言”和“逻辑演算”的目标对逻辑学的发展产生了深远的影响:布尔克服了莱布尼茨的一些缺陷，完全采用了外延的解释，在逻辑学中应用数学方法成功地建立了逻辑代数，罗素和怀特海合著《数学原理》三大本巨著，基本上完

6、成了莱布尼茨提出的建立“通用语言”和“逻辑演算”的天才的构想。伊曼努尔。康德（famnauelKant1724一1804)把逻辑分为一般(普泛)逻辑与先验逻辑从而把逻辑扩大到先验逻辑的范围。实际上，康德所谓的先验逻辑(区分为先验分析论及先验辩证论)就是哲学认识论，而他所谓的一般(普泛)逻辑(区分为分析论与辩证论)是指形式逻辑。。10P72~79)前者既研究形式又研究内容，是哲学;后者虽然仅研究形式，但他的形式包括了感性、知性和理性等所谓先天认识的“纯粹理性”的形式，如时间、空间是先天认识形式，这不免又蕴涵了一些具有浓厚哲

7、学、心理学色彩的成分和内容，因为我们现在知道，逻辑学是研究推理并且主要是研究推理有效性的科学，所以康德所谓的“形式逻辑”也不是真正意义上的研究推理有效性的形式逻辑准确地来讲它基本属于i人识论问题康德出于建构其庞大的批判哲学体系的需要，把判断区分为分析判断与综合判断。他从二元论、先验论与不可知论的哲学观点出发，对上述两种判断作了进一步的分析，其中有些分析是独创的、有意义的，例如他以量、质关系和模态作为标准对判断所作的区分就不乏真理的颗粒，并且这些真理的颗粒对于形式逻辑的发展有着某种重要的启迪性的意义，当然上述分析本质上还是

8、属于哲学的思考。康德的认识论即先验逻辑中的真知灼见，对于黑格尔形成唯心辩证法，其影响是很大的，但由于康德认为一般(普泛)逻辑是研究感性、知性、理性形式的一般的学说，不免将逻辑学泛化成一般的抽象形式的东西而模糊了逻辑学作为研究推理论证形式有效性的特点，混淆了形式逻辑同认识论的界限，所以，在一定的意义上，我们可以说，康德