传统逻辑必然的得出 提出三段论，形式的机械的，不需要思辨，
请你谈一谈传统逻辑与现代逻辑的差异是什么？
现代逻辑与传统逻辑的差异很大程度上在于能量方面，即解决问题的能力。具体说来就是现代逻辑主要特征是构造形式语言和建立演算，这使得他可以刻画个体、谓词和量词，因此可以通过对个体的个数的识别来区别性质和关系，从而刻画和揭示关系; 由于个体总是与量词相联系，这样也就刻画和揭示了量词的一些比较复杂的性质。相比之下，传统逻辑恰恰没有这样的能力，它对专名和类名的处理是一样的，会造成诸如”是“不同含义的混淆这样的问题，在对传统逻辑三段论中”周延“概念的阐释也不够清晰。
如何理解现代逻辑与亚里士多德逻辑一脉相承？
亚里士多德逻辑的初衷是”必然地得出“，这种精神在他那里是通过三段论体现的; 而在现代逻辑中，则是在建立形式语言和构造逻辑演算中体现的。亚里士多德提出逻辑在于必然地得出，揭示了逻辑这门学科的内在机制。但他并没有具体地对其说明，尽管在三段论使我们对其有了一定的体会。而现代逻辑的发展则从句法和语义两个方面的相互联系来认识推理的特征和性质。可靠性定理和完全性定理体现了这两个方面的相互联系的元逻辑的研究，也从这两个方面的相互联系刻画和揭示了逻辑的性质即必然地得出，这一点上，和亚里士多德关于推理的刻画在基本精神方面是一脉相承的。