我們以笑話、幽默為實例來講講關于各種推理的知識，就要培養(yǎng)大家善于辨別隱藏在變化多端的自然語言中的種種推理的能力，培養(yǎng)大家運用靈活多樣的語言形式去準確地表達各種推理的能力。
以下，我們再介紹一個關于推理的邏輯性問題。人人都會推理，但并不一定具有邏輯性。
請看笑話《在公共汽車上》：
“真高，真漂亮！”一位老大爺指著車窗外新建的一幢幢高樓說。
“爺爺。咱們干嘛不住到這兒來！”他身旁的小孫子問。
“等你長大了好好念書。只有念書念得好，才能住這樣漂亮的高樓?！?/span>
“爺爺，你一定沒有好好學習?！?/span>
“哄”的一聲，車上的人都笑了起來。
在這則笑話中，就包含了小孫子的一個推理，將它整理為邏輯語言，就是：
只有好好念書，才能住這樣漂亮的高樓；
爺爺沒有住上這樣漂亮的高樓
所以，爺爺沒有好好念書。
這是一個必要條件假言推理的否定后件式。其推理形式是錯誤的，沒有邏輯性。
所謂推理有邏輯性，就是指推理形式正確，即合乎推理規(guī)則。
但是，推理形式正確，即推理具有邏輯性，并不等于推理正確。
要使一個推理正確，除了要求推理形式正確，即具有邏輯性以外，還要求前提真實。如果推理的前提虛假，盡管其具有邏輯性，也不是一個正確的推理。
例如，在本書第二題所引幽默《五百只鴨子》中，那位女學生的推理，其形式是正確的，符合推理規(guī)則，但由于大前提不真實，故不是一個正確的推理。
可見，使推理正確的條件共有兩個：一是形式正確，二是前提真實。形式正確只是使推理正確的一個必要條件即必不可少的條件，而不是充分條件，即足夠的條件。但是，形式邏輯并不研究前提是否真實的問題，它是各門具體科學和人的實踐所研究或考察的對象。形式邏輯只研究推理的邏輯性。但請注意，雖說形式邏輯不研究前提是否真實的問題，這并不等于說，在推理時，我們根本可以不涉及這個問題。事實上，人們的任何推理總是要在不同程度上，涉及其前提是否真實的問題的。
正如概念和判斷需要分成若干種類來加以研究一樣，推理也需要分成一些種類。
我們這樣來給推理分類：
首先，以推理進程的方向為標準將推理分為演繹推理、歸納推理和類比推理。演繹推理是由一般性前提推出個別性結論的推理；歸納推理是由個別性前提推出一般性結論的推理；類比推理是由個別性前提推出個別性結論的推理。
然后，將演繹推理分為非模態(tài)推理和模態(tài)推理。又將非模態(tài)推理分為簡單判斷推理和復合判斷推理，等等。
歸納推理和類比推理也可以再往下分為若干種類。
本書將著重講述一些主要的和重要的推理形式。
換位法推理屬于簡單判斷推理。簡單判斷推理又可分為性質判斷推理和關系判斷推理。換位法屬于性質判斷推理。性質判斷推理又可分為性質判斷直接推理和性質判斷間接推理（二段論）。換位法屬于性質判斷直接推理。
性質判斷直接推理簡稱直接推理。直接推理是由一個性質判斷前提推出一個性質判斷結論的推理。
直接推理主要有性質判斷變形直接推理和對當關系推理。換位法屬于性質判斷變形直接推理。
性質判斷變形直接推理是通過改變一個性質判斷的形式而得到一個新的性質判斷的直接推理。而改變性質判斷形式的方法有三種，即換質法（變肯定為否定，變否定為肯定）、換位法（交換主謂項的位置）和換質位法（既換質又換位）。
