（1）什么是逻辑？
逻辑成为一门科学，那是从
亚里士多德开始的，这恐怕怀疑的人很少。我们知道亚氏并没有把他的研究叫做逻辑，但他明确指出他的研究对象是三段论，而这是关于从一个真的前提必然地推出一些结论的科学。他的三段论有两种，一是蕴涵三段论，二是归纳三段论。前者我们不必说，后者实际上是一种完全归纳，因而也是演绎性的。因此，亚里士多德意义上的逻辑，就是关于必然推理规则，或必然证明或论证规则的科学。他尽管提到过简单枚举归纳，但并不是从逻辑意义上来说的，只是为了和逻辑进行对比而从论辩的意义上而言的。
从词源来说：赫拉克利特最早使用logos也是指语言中体现的客观次序，也是在必然意义上讲的。因此，逻辑的本义不仅仅是指推理规则，而且是指必然推理规则。逻辑学和其它学科分科的意义，实际上就在这里。如同当今中国许多人指责经济学没有研究生产力一样，硬要逻辑学去研究它的内容是否为真，本来就不合分科的原理。如果逻辑学什么都可以研究，就应该叫知识学。
（2）什么是归纳逻辑？
培根提出科学的归纳法的时候，并没有说这就是逻辑；而是到了穆勒才把归纳法写进了他的《逻辑体系》中。但是，他不是在必然推理的角度来使用逻辑概念的，他的逻辑是指建立在一套程序化规则的推理，至于使用这个规则是否得出必然的结论，那是无关紧要的。他认为，凡是推理都有权叫逻辑。可见，就是穆勒自己也认为，根据本来的逻辑定义，研究归纳其实不能算逻辑学。
值得注意的是许多现代归纳逻辑的大家，如卡尔纳普等根本不认为培根、穆勒的归纳法是什么逻辑而只认为它是一种方法，也不认为现代归纳逻辑起源于他们两个，而是起源于概率论；而最先研究的概率的目的，根本不是为了反对什么唯理主义，而是为了解决赌博的问题。概率论创始人帕斯卡本人就是唯理主义者。
但是，现代归纳逻辑之所以叫逻辑，也不是因为它已经变成了一门关于必然性规则的科学，而是因为它本身已经演绎化。但是，这并不能改变归纳逻辑是关于概然性的学科。它和逻辑学要研究的领域根本不同。一个演绎化的体系能否就是逻辑学？现代的一些科学，如博弈论内部也是演绎化的，能够因此就叫做逻辑学吗？
楼主一方面指责辩证逻辑把本来不是逻辑的问题泛逻辑化了，一方面自己又说要用归纳法而不用归纳逻辑，这难道不是泛逻辑化吗？因此，所谓归纳...演绎...之类的东西，并不必实践...理论...具有更多逻辑学的东西。
（3）什么是辩证逻辑？
我们说，现代逻辑一般是把归纳法和归纳逻辑严格区分。同样，辩证法和辩证逻辑也不一样。在黑格尔之前的应该叫辩证方法（而不是姚大志说的是什么逻辑），而在黑格尔这里的确是要用辩证法这种思维方式，来建立新的逻辑学。因此，他所谓的辩证法就是指辩证逻辑。他的思路主要有两个：一、解决逻辑学的基础问题，即是用逻辑学来自己证明自己的前提为真（注意，绝不是从外面引一个什么归纳法来证明自己的前提为真），这就是一个圆圈式思维方式，而以前的逻辑则是直线性思维方式，所以无法具有反身性。二、使得逻辑学不是建立在同一律，而是建立在对立统一律上。我们知道，在黑格尔时代，所谓形式逻辑的同一律这个根本前提本身是没有经过证明的规律，所以形式逻辑作为关于必然性规则的科学本身就是不必然的。如果把逻辑学建立在对立统一律上，就可以说明同一律的根据，从而使逻辑学的各规则之间的相互推演真正具有完全性和必然性。就黑格尔说的这点而言，他试图创立的辩证逻辑的确可以说是比传统形式逻辑更高级。
至于黑格尔这种思路是否就真能建立起了他的辩证逻辑，这个可以怀疑、探讨和研究。但是可以肯定，这里的逻辑含义也是从必然性来说的。黑格尔说：辩证法...是在科学内容里由以达到内在联系和必然性的唯一原则。他就是要阐述这一达到内在联系和必然性的唯一原则。
因此，这里提醒一下其他参与讨论的朋友，就是辩证逻辑和形式逻辑的区别不是在所谓内容和形式的区别。而是我们上面说的内容。所谓形式逻辑指的指逻辑学只研究逻辑常项，这点辩证逻辑也一样。作为一门科学不可能去研究那些变动无常、不可把握的东西。黑格尔说：内容不如说是在自身那里就有着形式，甚至可以说惟有通过形式，它才有生气和实质；而且，那仅仅转化为一个内容显现的，就是形式本身。因此，辩证逻辑也只研究辩证逻辑常项，即逻辑的形式。
说黑格尔的辩证逻辑是要研究具体内容的，那是从罗素开始的无稽之谈。
（4）辩证逻辑和归纳的关系
辩证逻辑也是关于必然性规则的科学，因而和培根、穆勒的所谓归纳法没有什么关系。归纳和演绎（逻辑）各有相互不可替代的作用。归纳主要用于搜索发现，逻辑用于证成；归纳研究在不充分条件下的可能过程，逻辑研究充分条件下的必然过程。因此，辩证逻辑恐怕很难建立在归纳1...演绎1...归纳2...演绎2...的基础上。硬要找一个公式，不如说是：分析...综合....。这里的分析和综合都是逻辑学意义上（如亚里士多德把他的三段论就叫作分析），而不是方法意义上的。方法意义上的这个公式其实在柏拉图的辩证法里面就已经有了。
ฟQuieres
aportar una IDEA?
