寻觅赛先生： 是的，形式逻辑只负责在进行归纳演绎下定义做基础假设是把这个假设做得规范，不要自相矛盾，或推导出自相矛盾的推论出来。但这个假设是不是正确就不是形式逻辑负责的了。我们有唯物论的基础假设，也有唯心论的基础假设，这些假设都是符合形式逻辑要求的，在逻辑是都是自洽的。（其实逻辑自洽很简单，自洽不了时增加假设就行。）而最终要验证理论对不对，还是要实践。 负山蚊： 形式逻辑只是思维和交流的工具，不复杂，好理解，没学过其实也在用，但不反映客观规律。有的人夸大了形式逻辑的作用，似乎掌握了形式逻辑就可以包打天下了。客观世界充满矛盾，而形式逻辑不允许矛盾。比如我说，既然你早上要起来，晩上何必要睡下。这话一点不违背逻辑，然而却是错的。再比如形式逻辑认为A不能既等于A，又不等于A。然而一个正多边形的边无限多时，既是一个圆又不是一个圆。 “其实逻辑自洽很简单，自洽不了时增加假设就行。” “客观世界充满矛盾，而形式逻辑不允许矛盾。” 这两句话很有水平，不是谁都说得出来的。佩服！ 事实就是这样：如果不强调真假是非需要实践来检验，则无论是形式逻辑还是辩证逻辑，都可以用来进行诡辩。逻辑只是工具，一定要认清这一点。 2024,10,27