城市老鼠上天堂

有兩窩老鼠，一窩城市老鼠，一窩鄉村老鼠。

鄉村老鼠沒有受過教育，城市老鼠受到了正宗的形式邏輯教育。

智慧節到了，他們一起去遠方旅行。飛機失事，他們落到一個荒島上。

碰到一條蛇。

他們沒見過蛇，所以不怕。

蛇一口吃掉了一個老鼠。

鄉村老鼠說這家夥吃老鼠，快跑。就跑了。

城市老鼠沒跑，還嘲笑說，沒用三段論，說得肯定不對。等我用三段論研究一下。這個家夥吃老鼠這個論斷對不對呢？大前提是。。。

蛇又吃了一隻。

小前提是。。。

蛇又吃了一隻。

三段還沒論完，城市老鼠被吃光了。

城市老鼠上了天堂。恰好他們的形式邏輯神也在，正跟上帝聊天呢。

他們看到形式邏輯神，感到很委屈：神啊，你說了學得形式邏輯，常為鼠上之鼠，永得真理保佑，為啥反而不如那些沒學的命大呐？

形式邏輯神有點兒無奈：我隻是告訴你們，邏輯的機製可以通過三段論來理解，有些論述用三段論的形式更簡潔，更高效。沒告訴你所有的判斷都要用三段論的形式啊。

城市老鼠困惑了：神啊，為啥你說三段論時不講清楚啊？

邏輯神說：我已經把這種機製注入你們的本能了，不需要講啊。

城市老鼠說：啥本能？我們咋不知道啊？

邏輯神說：你聞到奶酪時流口水時三段論了嗎？看到貓逃跑的時候三段論了嗎？

城市老鼠說：。。。沒有。

邏輯神說：唉，你們這些機械教條的鼠輩啊，你嘴巴上沒論心裏沒論，難道意識中也沒有論嗎？

城市老鼠不解：神啊您息怒。請您細說。

邏輯神說：我已經在你們的下意識中定下了三段論，它已經發揮作用了，你們卻不知道。非要執著鼠為造作的三段論。今天落到如此下場，也是合該！

城市老鼠說：？？？您的子民愚昧，請您憐憫，仔細講講吧。

邏輯神說：你們的父母拿回奶酪喂飽你們，你們的潛意識中就建立了大前提：奶酪可以吃飽。你們自己找到奶酪，就建立了小前提：這是奶酪。你們把它吃了，飽了。這就是結論。實實在在，清清楚楚，明明白白。你還要什麽三段論？寫出來的三段論能比我加在你們意識中的三段論還真實嗎？蛇已經吃了一隻你的“同類”，大前提是蛇吃鼠，小前提你是鼠，結論就是它會吃你。你的潛意識已經論證完畢發出強烈預警，您還裝作鎮定的樣子賣弄知識，不是該死嗎？

城市老鼠：可是形式邏輯，難道不是要有形式嗎？

邏輯神說：真是偶像崇拜害死鼠啊。哪尊神告訴你一切判斷都必須寫成三段論形式？哪尊神告訴你寫成三段論形式的就一定對？哪尊神告訴你不寫成三段論形式的就一定不對？

城市老鼠：形式邏輯。。。

邏輯神說：形式邏輯和邏輯形式，你能分清嗎？

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

邏輯神說：形式邏輯是把邏輯的工作機製概括為鼠類語言，是知識，已經不是邏輯本身了；而邏輯形式，比如三段論，就隻是一種格式。對有的研究來說，這種格式十分有用。但對多數領域和判斷來說，都不需要這種格式。

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

邏輯神說：這樣說吧：邏輯能力是神給你們的，你學不學知識都有這種能力。形式邏輯，作為學問，是我派的大先知給你們的。邏輯形式，是我派的小先知的研究的格式；要求所有的學問都用邏輯形式（格式）來闡述，則是你們自以為是的發明，也是你們的死因。

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

邏輯神說：知錯就好，來生還有機會。先下去吃點兒東西吧。

城市老鼠魚貫而出，到了廚房。一位鼠天使一打響指，變出一盤花生。

城市老鼠從來沒見過，不知能不能吃，於是互相商量起來：咱們看看大前提。。。。

空中傳來邏輯神的一聲歎息：上帝說吃了知識樹的果子就難免下火湖，看來還是上帝才是真神啊。