同理，还可以证明主观事物遵守排中律和不矛盾律。过去大家都认为同一律、排中律和不矛盾律是客观规律，通过上面的论证可以发现它们原来都是主观世界的规则，是对主观世界当中的逻辑构造进行处理的方法，而不是对客观世界当中真实的事物进行处理的方法。

定理：同一律、排中律和不矛盾律是主观事物的规则，客观事物不遵守同一律、排中律和不矛盾律。

3.2从简单到复杂的认识过程

每种游戏都有自己的规则，国际象棋规定卒每次只能走一个格，只能前进，不能后退；车只能走直线，相只能走斜线，等等。这些规则都与客观现实不同，现实当中的车不可能只走直线。但要玩游戏就必须遵守这样的规则，否则就不好玩，不能满足人的需要。

形式逻辑是理性思维的规则，这种规则是简单有用但不真实的规则，就像国际象棋的规则一样。对任何客观事物的认识都需要一个从简单到复杂的过程。形式逻辑的规则，包括同一律、排中律、不矛盾律等都是人造的逻辑构造。客观世界里不存在这样的逻辑构造，人类建构这样的逻辑构造的目的是为了让思维简单化。简单化的目的是让语句之间不包含矛盾，便于思维处理、运算和预测。客观事物很复杂，无法遵守形式逻辑。要想让客观事物遵守形式逻辑，就必须对客观事物进行简化。

例如，我想知道潮白河今年是否有洪涝灾害。我先调查潮白河往年泛滥的资料，然后进行统计分析。但这条河是具体的复杂的，每年都在变。包括河堤的高度和强度，河底淤泥的数量，水生植物的数量等很多情况都在变化。甚至每天都在变化，你不可能两次踏入同一条河。这样的话我就无法使用过去十年的水文资料预测这条河今年的情况，那怎么办？必须简化抽象，假设各种条件都不变，也就是规定过去十年的潮白河等于今天的潮白河。在这个前提下，预测今年汛期发生洪涝灾害的可能性，得到一个初步结论。然后有时间有条件的情况下再根据河堤高度和强度，河底淤泥数量，水生植物数量等具体情况一步一步地深入研究。这些深入研究应该能得出更准确真实的结论，但往往因为情况太复杂很难有结果。这时那个初步结论就显得很有用很重要了。

在简化抽象的时候我使用了形式逻辑的同一律，我认为今年的潮白河与往年的潮白河是同一条河。这是一个假设，这个假设是简单有用但不客观真实的。这个假设的作用是把一个真实具体的事物简化为一个抽象的逻辑构造。我研究的是一条被简单化的河流，我在对这个逻辑构造进行逻辑处理，这种逻辑处理是主观世界内部的一种思想游戏。

3.3形式逻辑和辩证逻辑的定义

客观世界的关系很复杂，有些符合形式逻辑的规则，有些不符合。这些关系是客观真实存在的，但是因为很复杂，所以我们无法准确认识，无法进行逻辑推导和预测，无法得到我们想要的结论。要想进行逻辑推导和预测，就必须对这些真实的关系进行简化，简化之后才能对观察、测量、化验的现象进行归纳、计算、统计和预测，这样就有了形式逻辑。所以形式逻辑的特征是简单有用但不客观真实。这是一个重要的定理。

定理：形式逻辑是简单有用但不客观真实的规则。

科学技术的所有推理几乎都使用形式逻辑，所以科学技术的所有结论都不是绝对客观准确的。我们在实践中使用这些结论经常会遭遇失败，但随着科技的发展，成功率会逐渐提高。如果形式逻辑是客观真实的，那么科学技术应该能保证我们实践成功，但科学技术从来不能保证我们一定成功，只能让我们不断提高成功率。

让客观事物遵守形式逻辑完全是人为的规则。因为只有遵守这些规则才能推导出有用的结论。我们每天都需要使用同一律、排中律、不矛盾律，每天都用形式逻辑推导出很多简单有用但不真实的结论。因为每天使用，习以为常，于是就不注意了，似乎没有做过任何简化，似乎所有的推理都是客观真实准确的。哲学家的主要任务就是发现这些被人忽视的东西。

对复杂内容进行简化早已变成了我们的思维定式，变成了先验的东西，似乎这种思维定式不需要检验。所谓先验的意思就是不需要检验。很多人认为形式逻辑一定是正确的，是人获取知识的先验能力，这种观点是错误的，任何思想产品都需要在实践中检验，看它是否真的有价值。把真实具体的东西简单化的过程，不是我们的认识符合客观世界，而是让客观世界符合我们的认识，这就是康德所说的哥白尼式的革命。但康德没有用这种革命理论说明形式逻辑的本质。

狗听到铃声就想到食物，它认为昨天的铃声和今天的铃声是相同的。它不知道听起来相同的铃声可能来自不同的人，或者同一个人的不同目的。如果设铃声是a，动物会认为a永远等于a。如果这种思维能让它每天吃饱，那么它就认为这是真理。

人来自于动物，人的思维来自于动物的思维。动物的思维方式是条件反射，人的思维的基本定式（思维的本能形式）也是条件反射。因为形式逻辑能解决生活中的多数问题，所以这种条件反射被加强，成为人的固定思维。后来人们发现有些事情不符合形式逻辑，必须修改这种思维方式，于是才有了辩证逻辑。辩证逻辑否定了形式逻辑的规则，让语句之间包含矛盾，以便符合客观事物的特点。客观的关系是包含矛盾的。但是形式逻辑有用，能推理，能得出有用的结论，于是形式逻辑似乎是客观的。

定义：形式逻辑是语句之间不包含矛盾的理性关系规则。辩证逻辑是语句之间包含矛盾的理性关系规则。