第1章 什麼是邏輯思維？我們為什麼要關心它
推理的研究
邏輯思維或者非形式邏輯思維，是致力於推理研究的哲學分支。雖然在這一點上它與其他哲學和科學學科相同，但還是有一些不同的地方。例如，認知心理學和神經科學也研究推理，但它們主要關注處於推理底層的心理和生理過程。相反，邏輯思維側重於此類過程的結果，即推理過程中信念以及構成信念的要件之間的某種邏輯關係。它也關注陳述之間的邏輯關係：當說話者真誠且稱職時，這些陳述就表達信念之間的邏輯關係。
推論或論證
就邏輯思維而言，推理（reasoning）由邏輯關係構成。最突出的一種關係是：一個或多個信念被用來支持另一個信念。這種關係被稱為推論（inference）或論證（argument），當推理或論證主體使用一個或更多信念支持另一信念時才會獲得。推論可以是強的、弱的或者不成立的。一個強推論就如：
例1-1 所有鯨魚都是哺乳動物，並且莫比?迪克是鯨魚，因此，莫比?迪克是哺乳動物。
例1-1是一個強推論，這是因為：如果作為依據的信念（「所有鯨魚都是哺乳動物」，並且「莫比?迪克是鯨魚」）是真實的，那麼它們要支持的信念（「莫比?迪克是哺乳動物」）也一定是真實的。但是請看例1-2：
例1-2 沒有來自佛羅里達的橘子是小的，因此，沒有來自美國的橘子是小的。
在例1-2中，信念之間的推論是弱邏輯關係，因為被提供的這個原因（「沒有來自佛羅里達的橘子是小的」）可能是真實的，但是它要支持的信念（「沒有來自美國的橘子是小的」）是虛假的。不過，例1-2還不是最糟的情況。在一些嘗試性的推論中，用來支持另一個信念的某個信念或多個信念可能並不能達到目的。如：
例1-3 沒有橘子是蘋果，因此，所有榆木都是樹。
在例1-3中，因為「因此」出現在兩個信念之間，所以很明顯「橘子不是蘋果」被用作「所有榆木都是樹」的一個原因。但它實際上卻不是。雖然這兩個信念恰好都是真的，但它們之間的推論關係不成立。再來看一個不成立的推論，這次涉及虛假的信念：
例1-4 所有律師都是瘦的，因此，現任教皇是中國人。
因為在例1-4中，兩個信念之間毫無關係，因此它們都不能支持對方。和例1-3一樣，推論不成立。
推論的成立和不成立是邏輯思維的主題。現在讓我們更具體地看看邏輯思維是如何展開這個主題的。