形式逻辑在很大程度上排斥了“发展”，是有明显局限性的。
即便是在数学界，也是在1931年Godel才开始清醒认识的。这连打数学界Hilbert都痛苦的要死。唉！所以Socrates, http://en.wikipedia.org/wiki/Socrates说：
"I know that I know nothing. = I know one thing, that I know nothing."
  
“同一律”：今天的黄河还是去年黄河吗？
一小时之前的您，是您吗？
  
所以才有了更“发展”的逻辑，如辩证法。

辩证法没有什么意思。有点诡辩术的意味。矛盾法则、否定之否定，逻辑学里已经有啦，量变到质变，应该是自然规律，不是思维规律。辩证法不全是思维的东西。只是管见，见笑了。