zhxf115的个人资料

辩证逻辑是逻辑吗？辩证逻辑是逻辑吗？这个问题猛一看，就象是一个“白马非马”的问题。其实，不是。肯定的人可能认为就是一个“白马非马”的问题，可是在反对的人的意识中应该就是一个“海马非马”的问题。清华大学的王路教授在《逻辑的观念》一书中说了：“除了研究辩证逻辑的人以外，研究逻辑的人一般都不认为辩证逻辑是逻辑，即使在我国也是如此。”（P155）但是辩证逻辑的拥趸者却不这样认为，武汉大学桂起权教授在《对我国辩证逻辑的历史发展之浅见----在纪念中国逻辑学会成立30周年大会上的报告》中讲到：“回顾整个研究史，半个多世纪过去，真有‘弹指一挥间’之感!时至今日，尽管否定派的‘“辩证逻辑”算是真正的逻辑吗’的质疑仍然呼声不绝，然而无可否认，‘辩证逻辑的研究工作’毕竟是大踏步地向前推进了。” 辩证逻辑究竟是不是逻辑呢？这样的一个问题在我国辩论了好多年。逻辑学的鼻祖公认是亚里士多德，大家也都知道，亚里士多德的逻辑学著作其实不叫做逻辑而是叫做《工具论》，培根著写的关于归纳逻辑的逻辑学著作其实也不叫逻辑，而是响应亚里士多德叫做《新工具论》。而黑格尔被称作是辩证法著作的书名就叫做是《逻辑学》。这样，就有意思了，原本叫做逻辑的不能是逻辑，原本不叫逻辑的反倒是逻辑了。那么什么是逻辑呢？在宋文坚教授主编的《逻辑学》中是这样讲的：逻辑即规律，这是“逻辑”一词的最初涵义，也可以说，是其最基本的涵义。“逻辑”一词由英文logic音译而来，logic又来源于希腊文λογοσ(逻各斯)。“逻各斯”一词有多种涵义，其中一种指的是事物的普遍规律。所谓规律是事物之间的必然联系或事物发展的必然趋势。这种必然性的联系或趋势就是“逻辑”一词所表达的最底层的意思。在这个意义上，逻辑就是规律。在后来的演变中，“逻辑”被更多地用于表示思维和理论中的必然联系以及论辩中的说服力。因此，“逻辑”也被更多地用于表示思维中的规律，即思维中的某种必然联系。这种必然联系主要是指命题或判断之间的推理、推导过程中的必然性。（P6-7）从宋文坚教授的分析中，我们可以看到逻辑的概念是有一个发展和嬗变的过程。最早逻辑就是规律，后来更多地表示思维的规律，再后来被专指推理的必然性了。辩证逻辑不是逻辑，究竟是个什么意思呢？王路教授在《逻辑的观念》中讲到：逻辑是研究必然性推理的科学。所谓必然性是指：一个推理的正确性是由这个推理的形式的有效性决定的。所以逻辑素有“形式”逻辑之称。就是说，逻辑只与形式有关，而与内容没有关系。但是，逻辑的这种性质或特征也遭到了一些人的批判，他们认为，只研究形式不研究内容，这是逻辑的局限性。他们企图发展一种能够即研究形式也研究内容的逻辑，并把这种逻辑称为思辨逻辑或辩证逻辑。持这种观点的人不少，其最主要的代表就是黑格尔。（《逻辑的观念》P161）黑格尔写的两卷本的《逻辑学》，被研究辩证逻辑的人称之为“第一个辩证逻辑体系” （《逻辑的观念》P353）。但是王路教授认为“除了少数研究辩证逻辑的以外，大概没有什么人会认为黑格尔的《逻辑学》是一部逻辑著作。相反，人们一般认为他这部著作是哲学著作，而且是思辨哲学的经典之作。但是，如果我们仔细阅读黑格尔的《逻辑学》，我们就会发现，这个书名并不是随便乱起的，黑格尔确实是把它当作一部逻辑著作来写的。”“黑格尔是在亚里士多德，康德所说的逻辑意义上谈论逻辑，而且他想改造逻辑，发展逻辑。”（《逻辑的观念》P156）王路教授在《逻辑的观念》中对 “研究辩证逻辑的人”的观点介绍得也更透彻。 “1662年，出了一本很出名的书《逻辑或思维的艺术》，也叫《波尔·罗亚尔逻辑》或《王港逻辑》。我们之所以要提到这本书，不是因为它对逻辑的发展做出了多么大的贡献，而是因为它给逻辑带来了很坏的后果。‘它是以后混淆逻辑和认识论这种坏方式的根源’。这本书把逻辑定义为‘一种正确地控制人们理性在事物的认识中的技巧，既为了教导自己，也为了教导别人’。”（P79） “大概是从这本书以后，‘逻辑是关于思维的科学’这种认识和说法开始出现和流行起来。既然是研究思维，显然仅仅限于‘必然性地得出’是不够的。如果我们看到，当培根提出他的《新工具》的时候，当他批评亚里士多德逻辑不够用的时候，他谈论的也是科学发现的活动和人类理解力的问题，我们就会明白，自培根以后，把归纳法纳入逻辑的内容是顺理成章的，但是根本原因还是在‘思维’。如果我们还看到，当黑格尔提出他的辩证逻辑的时候，当他批评形式逻辑只研究思维的形式而不研究思维的内容的时候，我们就会明白，辩证逻辑的产生似乎是有道理的，但根本原因还是在‘思维’。”（《逻辑的观念》P81）在研究逻辑的王路教授看来，辩证逻辑虽然也是研究思维，但是辩证逻辑和归纳逻辑都不是“必然性地得出”，因此他们都不能算是逻辑。为什么“研究逻辑的人都不认为辩证逻辑是逻辑”呢？其实这有一定的历史的根由。由于种种历史原因，苏联学界在20世纪20年代末30年代初形成了一股强劲的“反形式逻辑”思潮，形式逻辑与辩证法相互拒斥的思想成为整个20世纪30年代的主流思潮，《自然辩证法》(于20年代末被编辑出版)中的上述论述被看做是马克思、恩格斯拒斥形式逻辑的根据，而他们在公开发表的文字中对相反观点的明确宣示与说明却遭到了冷遇。直到40年代末期，“形式逻辑”才获得艰难的“平反”，但作为现代形式逻辑的数理逻辑仍然被批判，这种局面在苏联直到60年代才得到根本改观。历史的不幸在于，唯物辩证法与辩证逻辑恰恰是在20世纪30年代第一次较大规模地从苏联传入我国的，其所携带的“彻底地反形式逻辑”的外貌，对我国逻辑学和哲学的发展都产生了重大的负面作用，其影响一直延续至今，这是我们不得不面对的一个历史背景。[1] 20世纪50年代初期，由于受到前苏联逻辑问题讨论的影响，中国逻辑界也开始关注辩证逻辑，并随之开展了一场关于形式逻辑与辩证逻辑关系的持久论战。这场论战是由周谷城于1956年发表在《新建设》杂志上的《形式逻辑与辩证法》一文引起的。论战一直持续到60年代初。周谷城不提辩证逻辑术语而只提辩证法，他虽不否认辩证逻辑，但却不赞成恩格斯把辩证逻辑与形式逻辑的关系比作“高等数学”与“初等数学”的关系，认为它们的关系是“主从”关系。当时哲学界和逻辑界普遍认为辩证逻辑就是唯物辩证法。学者对辩证逻辑的研究，主要还是根据马列主义经典作家的论述来进行的。可以这么说，“辩证逻辑”这一术语，是由恩格斯首先提出来的。然而，他在自己的著作中并没有明确区别辩证逻辑与辩证法，而常常把辩证法当做辩证逻辑来使用。列宁则直接说了“逻辑、辩证法和认识论是同一个东西”的话。国内学者深受经典作家上述思想的影响。[2] 恩格斯把辩证逻辑与形式逻辑的关系比作“高等数学”与“初等数学”的关系，认为它们的关系是“主从”关系，但是“研究逻辑的人”对于这个观点却很是不以为然。形式逻辑经过了两千多年的发展和研究，现在已经获得了很多堪称完美的成果，确定了一系列的形式化的方法以及规则，特别地是得到了几个兼具可靠性和完备性的形式逻辑系统。因为形式化的无歧义性，以及它能精确地揭示各种逻辑规律，制定相应的逻辑规则，并使各种理论体系更加严密等一系列的优点，赵总宽教授在《数理辩证逻辑导论》一书中谈到了“形式化是当代辩证逻辑的发展方向”。在八十年代，赵总宽、桂起权等人对辩证逻辑做了形式化的相关研究。虽然辩证逻辑也在向形式逻辑的研究方向上靠拢，但是从“研究逻辑的人”来看只是达到了形式化的初步目的，距离完备性和可靠性还有一些距离。因此，王路教授在批评数理辩证命题演算公理系统DPA的时候就讲到： “因此，无须具体地去考察这个公理系统有没有其他问题，比如是不是可靠，是不是完全，等等，仅从它的句法部分我们就可以看出，它是有很大问题的。我们知道，构造形式语言的目的是为了使一个符号和它的涵义可以一一对应，从而使语言没有歧义，而且构造形式语言的主要目的是为建立形式系统服务的。如果在形式语言部分就出了问题，那么形式系统的可靠性就更无从谈起。”(《逻辑的观念》P192) 从上面我们看到的对辩证逻辑的批评中，严格的逻辑标准大略就是上面讲到的：推理的必然性，系统的形式化以及系统需要具有的可靠性和完备性。研究逻辑的人可以肆意地去批评辩证逻辑达不到逻辑的这个标准，但是对于形式逻辑自身，却也有一个过不去的坎，这就是著名的哥德尔不完备定理。这个定理的发现，一度让研究数学的人发出了无尽的哀叹：《数学：确定性的丧失》。哥德尔不完备定理在网上看的一篇介绍哥德尔不完备定理的博文，写的正是作者想找的内容。以下内容来自于“慧小田哲思学的博客”----《如何理解哥德尔「不完备性定理」？为何它能冲击20世纪哲学》希尔伯特是一位名副其实的数学大师，有人将他称为“数学界最后的一位全才”。希尔伯特希望为整个数学寻求一个坚实的基础，他的目标是将整个数学体系严格公理化（就像欧几里得的平面几何学一样），然后运用元数学（证明数学的数学）来证明整个数学体系是建立在牢不可破的坚实的基础之上的。首先，他计划要将所有数学形式化，让每一个数学陈述都能用符号表达出来，让每一个数学家都能用定义好的规则来处理这些已经变成符号的陈述。这样就可以使数学家们在思考任何数学问题的时候能够彻底摆脱自然语言的模糊性，取而代之的是毫无含糊之处的符号语言。然后，证明数学是完整的，也就是说所有为真的陈述都能够被证明，这被称之为数学的完备性；再来证明数学是一致的，也就是说不会推出自相矛盾的陈述，这被称为数学的一致性。完备性保证了我们能够证明所有的真理，只要是真的命题就可以被证明；一致性确保我们在不违背逻辑的前提下获得的结果是有意义的，不会出现某一个陈述，它既是真的又是假的。最后，期望可以找到一个算法，用此算法可以机械化地判定数学陈述的对错，这被称为数学的可判定性。一致性保证了自相矛盾的情况不会出现。「在保证数学一致性这个前提之下，如果又有了数学的完备性，也就是说任何一个数学命题都可以被证明或者被证伪」。这其实就是说，对于任意一个数学猜想，不管它有多难，只要假以时日，通过一代又一代人的努力，总是可以知道这个猜想对不对，并且证明或证伪它。换句话说，在数学中，通过逻辑，我们必定能够知道我们想要知道的东西，这只不过是个时间问题。希尔伯特提出，先计划在基础的数学系统中进行这样的形式化，然后再将其推广到更广阔的数学系统中，最后实现整个计划。于是，整个计划便归结为在算术系统中进行这样的形式化，并且在算术系统的内部证明它的完备性、一致性和可判定性。算术系统可以说是非常基础的系统，我们做算术，对自然数做加法、乘法和数学归纳法，就都用到了这个系统。但我们平时只是凭直觉来理解这个系统，而数学家追求的是用逻辑的方法来定义它，因为只有这样做才会使他们觉得安心。这似乎不是一个十分困难的任务，因为算术系统并不是一个很复杂的系统。在希尔伯特提出这个雄心勃勃的计划以后，许多数学家都投入了对于这个问题的研究，其中就包括哥德尔。在完成自己的博士论文以后，哥德尔就着手研究更为一般的数学系统。 1931年，他对算术系统的探索宣告胜利，然而他的这个胜利也就意味着希尔伯特计划的失败。哥德尔的结论后来被称为哥德尔不完备性定理。哥德尔不完备性定理包含两个：第一，他证明了，对于任意的数学系统，如果其中包含了算术系统的话，那么这个系统不可能同时满足完备性和一致性。也就是说，要是我们能在一个数学系统中做算术的话，那么要么这个系统是自相矛盾的，要么有那么一些结论，它们是真的，但是我们却无法证明。第二，他证明了，对于任意的数学系统，如果其中包含了算术系统的话，那么我们不能在这个系统的内部来证明它的一致性。

拥护中国共产党，相信唯物辩证法信仰马克思主义。

唯物辩证法真的正确这种正确性是可以用数学证明的。

辩证集合是完备的辩证集合是完备的

请问一下这个死活怎么解？谢谢了！

求助：我想章节标题上加上“第节”，或 § 这个标志。请问怎么办使用\subsction后，标题前都自动编了号，但是我还想加上“第节”，或 § 这个标志。请问怎么办呀？求助各位大侠给予解答，谢谢了！

如何改变文章标题及各个章节的标题字体及大小？我总觉得标题的字体太大了，想改小点。求助各位大侠，怎么改? 谢谢了！

求助：对不齐的问题 \begin{eqnarray*} =\{\,&&(a_1,(a_2,a_3)),((a_1,a_2),a_3), (a_1,(a_3,a_2)),((a_1,a_3),a_2),\\ &&(a_2,(a_1,a_3)),((a_2,a_1),a_3), (a_2,(a_3,a_1)),((a_2,a_3),a_1),\\ &&(a_3,(a_2,a_1)),((a_3,a_2),a_1), (a_3,(a_1,a_2)),((a_3,a_1),a_2)\} \end{eqnarray*} 出现的左边大夸号旁有一大段空白，怎么消除呀？求助各位大侠指点，谢谢了！

求助：参考文献中出现的问题 And a ternary (3-ary) relation on \emph{A} is a subset of $(\emph{A}\times \emph{A})\times \emph{A}$."\cite{Herbert B. Enderton,{1977}} …… \begin{thebibliography}{0} \bibitem{Herbert B. Enderton,{1977}} Herbert B. Enderton, 《Elements of Set Theory》, Academic Press, 1977 (Page 41-42) \end{thebibliography} 后来出现的是两个问号。请问怎么解决这个问题？谢谢了！

集合{a，b}^n上标打不成功。求助，感谢了！ {\{}a,b{\}}^{n} 总是不能通过

一模一样的代码，怎么有的能生成PDF，有的不能？真是见了鬼了，一模一样的代码，怎么有的能生成PDF，有的不能？

求教：如何给一个字母带一个方框就是这样的带一个方框字母，请教怎么在LaTeX中显示出来。

数学与统计学院是哪几个教授呀？数学与统计学院是哪几个教授呀？