前言
美國(guó)作家海勒(J.Heller)在小說《第二十二條軍規(guī)》中講述了一個(gè)有趣而又荒誕的故事。約翰·尤薩林上尉忍受不了永無(wú)休止的戰(zhàn)斗飛行任務(wù)，于是裝瘋躲進(jìn)了醫(yī)院。他以為這樣就可以名正言順地停飛，因?yàn)樵陲w行員中流傳著這樣一條軍規(guī)：瘋子可以獲準(zhǔn)免于飛行。但他很快發(fā)現(xiàn)，自己打錯(cuò)了算盤。按照要求，他必須親自提出申請(qǐng)，可這條該死的軍規(guī)還宣稱：凡能夠意識(shí)到飛行有危險(xiǎn)而提出申請(qǐng)的，屬于頭腦清醒者，應(yīng)當(dāng)繼續(xù)執(zhí)行飛行任務(wù)。假如上尉真的提出申請(qǐng)，這就等于向人們宣告：我證明自己是個(gè)瘋子。證明是一個(gè)理性思維活動(dòng)，要理性地證明自己此時(shí)是不理性的，何其難也。若明知如此而為之，又是多么不理性的行為！這是一個(gè)離奇的糾纏，思維中的自我相悖。在這樣的悖亂中，如何能夠保持清醒的頭腦，這正是本書研究的對(duì)象亞相容解悖方案(paraconsistent solution to paradoxes，簡(jiǎn)稱亞相容方案)所關(guān)心的問題。
悖論（paradox）有著悠久的歷史，它一經(jīng)在我們的思維中出現(xiàn)，就再也揮之不去，關(guān)于它產(chǎn)生的根源與解決之道的爭(zhēng)論也從未停止過。從邏輯的觀點(diǎn)看，不論何種解悖的主張，都一定包含了對(duì)某種邏輯的承諾。此時(shí)，為解悖提供合法的邏輯基礎(chǔ)，便成了邏輯學(xué)研究的一項(xiàng)重要任務(wù)。在邏輯學(xué)的大家族中，亞相容邏輯(paraconsistent logic)無(wú)疑是有革命性的，它毫無(wú)顧忌地向我們的思維大法(不)矛盾律（law of non-contradiction）發(fā)出了挑戰(zhàn)。在它的立場(chǎng)上，矛盾(contradiction)并不是那樣可憎，含有矛盾的理論和思維也并非如此不堪；相反，由于我們以往把矛盾律當(dāng)作教條，一味地拒絕矛盾，我們應(yīng)當(dāng)為此自我檢討。既然如此，當(dāng)悖論出現(xiàn)的時(shí)候，正確的態(tài)度應(yīng)該是面對(duì)，把其中的矛盾當(dāng)作真命題接受下來(lái)，并在邏輯系統(tǒng)中對(duì)它的真提供精確的刻畫。唯有這樣，我......