形式逻辑三大定律
第一，同一律：对于概念精确定义，不能过分的，遇到了先验的东西，比如时间和空间这种量的范畴属性的限定，遇到了绝对的质的同一性，这
样的苛刻限制，遇到了普遍关系范畴的限制，都要考虑不能太过分，水至
清则无鱼。

则无有用的概念。

所以同一律主要是是有关概念同一性设定的的逻辑律。

第二，矛盾律，两个对立的命题要求必有一假，为什么呢？因为既要
判定一个东西是它，就必须要判定那个不是它的东西不是它，否则这个判
断本身就失去了判断的价值，等于没有进行判断。

所以逻辑的矛盾律必须
被遵守。

所以矛盾律是由来体系逻辑判断的存在价值的一种逻辑律。

第三，排中律，排中律要求两个相互对立的命题必有一真，如果两个
对立的命题都是假的，那请问，我们思维的和交流目的到底是为了求假还
是求真，我们说话是为了说假话还是说真话呢？
同时，正是由于具有排中律的要求，才能保证任何一个三段论的逻辑
推理才会有一个正确的大前提，否则大前提都是错的，如何保证结论是正
确的呢？
所以，排中律应当是逻辑的将判断连接起来形成正当的推理的不可缺
少的条件。

所以排中律是用来保证推理正确的逻辑律。

以上对弈一般形式逻辑的三大基本定律的这种通俗的解说，我不认为
这是一种证明，因为证明本身是通过逻辑的严密性来保证结论的正确的，
而以上对于逻辑三大定律的必要性如果也采用逻辑证明的方式来完成，那
又需要通过什么方式来证明这种证明的合法性呢？所以，这就是逻辑本身缺陷，而逻辑本身的这种缺陷，就必须通过康德的理性批判，才能获得。

所以以上这种说明的合法性或者正确性，是依据康德哲学的纯粹理性批判的原理，最终通过人对于逻辑的立法来实现的。