邏輯是與確定推理正確性相關的,因此在應用邏輯方法之前,首先必須能夠識別推理。
一般地說,一個推理包含一個以上的前提和一個結論。識別前提和結論的一個主要線索,有時是由推理標誌詞的使用提供的。雖然不是所有推理都包含有推理標誌詞,但是如果有的話我們就能夠根據它們來識別推理的結構。前麵的三個推理包含的推理標誌詞是“所以”、“因而”和“因此”。這些語詞每一個都是推理斷定詞。並且它們一般指示出跟在它後麵的是結論,而在它之前的是前提。下麵是推理標誌詞的一些例子(A表示前提,B表示結論):
A故B
B因為A
A因此B
A因而B
A故此B
B由於A
A所以B
由於A,B
因為A,B
在某些例子中,推理的結論有可能不是推理的最後一個判斷。例如:
在作案現場的不都是作案者。因為有些在作案現場的沒有作案動機,而作案者都是有作案動機的。
這個推理的結論是第二句的頭一個判斷,即:在作案現場的不都是作案者。上述示例中就有“A所以B”這一項。而在這個例子中,“所以”前麵的是前提,而結論跟在“所以”之後。上例中還顯示有“B因為A”。在這個例子中“因為”前麵的是結論,“因為”後麵的是這一推理的第二個前提。這個例子還通過實例表明了在一個簡單句中如何能包含有一個或更多個的判斷。該推理的第二個語句就包含有結論和一個前提。一個完整的推理實際上可包含在一個簡單語句中。例如:
蘇格拉底,作為一個人,是要死的,因為所有人都是要死的。
語詞“因為”指示了一個推理。“因為”後麵的是一個前提。緊靠它之前的“蘇格拉底是要死的”是結論。剩餘的是另一個前提。因而,包含在這一簡單語句中的推理就是:
所有人是要死的。
蘇格拉底是人。
因此蘇格拉底是要死的。
一般地說,前提的次序並不重要,但是,在一個三段論推理中,卻要認真分析前提的次序,因為相同的兩個前提,如果前提的次序不同,所得出的結論往往不同。