逻辑当然有很多涵义。一般意义上来说，逻辑就是推理的规则，或者对推理规则的遵守。例如，“你这个人讲话没有逻辑”，意思是你说话不遵守推理的规则。

推理规则就是前提和结论应该有的必然联系。例如，亚里士多德的三段论就是一种推理规则：
所有的人是要死的，（大前提）
贪官是人，（小前提）
贪官是要死的。（结论）

形式逻辑特指用符号化的方法来表示推理的系统。形式逻辑往往对我们的日常推理作了一个抽象，把推理规律用非常概括的方法表示出来。比如，上面的例子我们可以发现，大前提中的“人”和小前提中的“人”是有关联的，而且它们在结论中消失了，所以我们可以叫它们中项，用M来表示。大前提中的谓词“是要死的”出现在结论中，都用P表示；小前提的主词出现在结论中，都用S表示。所有用A表示，存在用I表示，这样我们就可以把上面的规则用符号化的方法表示出来：
A M-P
I S-M
I S-P
这就是逻辑规律。两千多年前的前辈亚里士多德就发明了这套系统。当然后面还有更多的发展，这里就不具体阐述了。

说上面《大学》中的这段话没有逻辑，是很有道理的。