有两窝老鼠，一窝城市老鼠，一窝乡村老鼠。

乡村老鼠没有受过教育，城市老鼠受到了正宗的形式逻辑教育。

智慧节到了，他们一起去远方旅行。飞机失事，他们落到一个荒岛上。

碰到一条蛇。

他们没见过蛇，所以不怕。

蛇一口吃掉了一个老鼠。

乡村老鼠说这家伙吃老鼠，快跑。就跑了。

城市老鼠没跑，还嘲笑说，没用三段论，说得肯定不对。等我用三段论研究一下。这个家伙吃老鼠这个论断对不对呢？大前提是。。。

蛇又吃了一只。

小前提是。。。

蛇又吃了一只。

三段论还没研究完，城市老鼠被吃光了，上了天堂。
恰好他们的形式逻辑神也在，正跟上帝聊天呢。

他们看到形式逻辑神，感到很委屈：神啊，你说了学得形式逻辑，常为鼠上之鼠。为啥反而不如那些没学的命大呐？

形式逻辑神有点儿无奈：我只是告诉你们，逻辑的机制可以通过三段论来理解，有些论述用三段论的形式更简洁，更高效。没告诉你所有的判断都要用三段论的形式啊。

城市老鼠困惑了：神啊，为啥你说三段论时不讲清楚啊？

逻辑神说：我已经把这种机制注入你们的本能了，不需要讲啊。

城市老鼠说：啥本能？我们咋不知道啊？

逻辑神说：你闻到奶酪时流口水时三段论了吗？看到猫逃跑的时候三段论了吗？

城市老鼠说：。。。没有。

逻辑神说：唉，你们这些机械教条的鼠辈啊。。。。

城市老鼠不解：神啊您息怒。请您细说。

逻辑神说：我已经在你们的下意识中定下了三段论，它已经发挥作用了，你们却不知道。今天落到如此下场，也是合该！

城市老鼠说：？？？您的子民愚昧，请您怜悯，仔细讲讲吧。

逻辑神说：你们的父母拿回奶酪喂饱你们，你们的潜意识中就建立了大前提：奶酪可以吃饱。你们自己找到奶酪，就建立了小前提：这是奶酪。你们把它吃了，饱了。这就是结论。实实在在，清清楚楚，明明白白。你还要什么三段论？写出来的三段论能比意识中的三段论还真实吗？

城市老鼠：可是形式逻辑，难道不是要有形式吗？

逻辑神说：真是偶像崇拜害死鼠啊。哪尊神告诉你一切判断都必须写成三段论形式？哪尊神告诉你写成三段论形式的就一定对？哪尊神告诉你不写成三段论形式的就一定不对？

城市老鼠：形式逻辑。。。

逻辑神说：形式逻辑和逻辑形式，你能分清吗？

城市老鼠：#￥%&#*#%

逻辑神说：形式逻辑是把逻辑的工作机制概括为鼠类语言，是知识，已经不是逻辑本身了；而逻辑形式，比如三段论，就只是一种格式。对有的研究来说，这种格式十分有用。但对多数领域和判断来说，都不需要这种格式。

城市老鼠：4￥@#……￥￥@#

逻辑神说：这样说吧：逻辑能力是神给你们的，你学不学知识都有这种能力。形式逻辑，作为学问，是我派的大先知给你们的。逻辑形式，是我派的小先知的研究的格式；要求所有的学问都用逻辑形式（格式）来阐述，则是你们自以为是的发明，也是你们的死因。

城市老鼠大哭：太冤了。重生之后，我等再也不追求逻辑格式普泛化了。

逻辑神说：知错就好，来生还有机会。先下去吃点儿东西吧。

城市老鼠鱼贯而出，到了厨房。一位鼠天使一打响指，变出一盘花生。

城市老鼠从来没见过，不知能不能吃，于是互相商量起来：咱们看看大前提。。。。

空中传来逻辑神的一声叹息：上帝说吃了知识树的果子就难免下火湖，看来还是上帝才是真神啊。