推理推理(inference)●推理是由若干命題得出一個命題的思維過程，是從已有知識得出新的知識，進行思維創新的重要方式。推理形式

(formofinference)●推理的一般結構：前提(premise)：已有的知識。結論(conclusion)：新的知識。推理形式：前提與結論的形式。推出關系：前提和結論之間的關系，用“所以”、“因此”、“可見”等標志。推理形式

(formofinference)(2)和尚(S)也是公民(M),(所有公民（M）都應當依法納稅(P))。所以，和尚(S)也應當依法納稅(P)，

這兩個推理的內容不同，但它們的推理形式是相同的:

▲(A)所有M是P，MAP

所有S是M，SAM所有S是P。SAP推理形式

(formofinference)（3）(如果賊是從窗戶進來的，那么，花壇上會有腳印。)花壇上沒有腳印，所以，賊不是從窗戶進來的。

（4）(如果李某患肺炎，那么李某發高燒。)李某沒有發高燒，所以，李某沒有患肺炎。

▲這兩個推理的形式可以表示為：

如果p，則q，

并非q，并非p。

邏輯常項和變項▲邏輯常項(logicalconstant）：

在命題形式以及在推理形式中意義固定不變的語詞（邏輯詞）。例如，“所有”、“有的”、“是”、“不是”“如果，就”、“并非”、“并且”、“或者”等。邏輯常項和變項▲變元(variable)，也稱變項

：★S、P等可以表示任何具體的語詞或詞項(term），它們稱為以詞項為變域(range）的“詞項變項（變元）”；★p、q等可以表示任何具體的命題，它們是以命題為變域的“命題變項（變元）”。符號學

(Semiotics)語言是符號系統。符號學可分為：語法學（Syntax），也稱句法學、語形學：研究符號與符號之間關系的學科；語義學（Semantics）：研究符號與其意義之間關系的學科；語用學(Pragmatics)：研究符號與其使用者之間關系的學科。推理形式的正確性

和推出關系如果能夠，則稱該推理的形式是正確的(correct)，該推理的前提和結論之間具有推出關系,前提能推出結論，否則，稱該推理的形式是不正確的（incorrect），前提和結論之間沒有推出關系，前提不能推出結論。推理形式的正確性

和推出關系推理（1）、（2）和（3）、（4）都是形式正確的推理，前提能必然地推出結論。因此，它們分別表示了兩種正確的推理形式或兩種推出關系：（A）所有M是P，所有S是M├所有S是P；MAP，SAM├SAP。（B）如果p，就q，并非q├并非p；p→q，┐q├┐p。形式不正確的推理

(incorrectformofinference)有的推理不是形式正確的推理。例如:(1)絕大多數絕癥是可以通過醫學途徑解決的(A1)；滋病是絕癥（A2）,所以，艾滋病是可以通過醫學途徑解決的(B)。是形式不正確的推理，A1、A2這兩個前提推不出結論B：（C）有M是P，所有S是ME所有S是P。形式不正確的推理（2）如果李某患肺炎，那么，李某發高燒(A1)，李某發高燒(A2)；所以，李某患肺炎（B）。是前提A1、A2和結論B沒有推出關系的不正確的推理，其推理形式可表示為：（D）如果p，那么q，qEp真命題(trueproposition)

和假命題(falseproposition)從思維方面講，前提和結論都是命題。真命題：如實反映事物情況的命題；假命題：沒有如實反映事物情況的命題；真和假是現代邏輯中最重要的概念。從語言方面講，命題可以視為或真或假的語句。推理的有效性（validity）▲有效的推理（validinference）：凡是能從真前提必然得出真結論的推理是有效的推理，▲非有效的推理(invalidinference)：不能從真前提必然得出真結論的推理是非有效的推理。形式邏輯的特點形式的（formal）：從前提和結論的形式方面對推理的研究：構造人工語言，從形式方面研究由詞項、命題構成的正確推理。保真的（truth-preservation）：

從前提的真假方面對推理研究：從真前提必然得出真結論的有效推理。

形式邏輯的對象★國際上普遍認可的定義；形式邏輯學(Formallogic)主要是研究推出關系或推理的有效性的科學，目的在于提供一系列可操作的原理和方法，把有效推理跟非有效推理區別開來

。

非演繹推理

（non-deductiveinference）

歸納推理（inductiveinference）回溯推理（reductiveinference）類比推理（

inferenceby

analogy）非演繹推理的前提（證據）對結論（假設）只提供了一定程度的支持。作為課程的邏輯學也包含這些推理。演繹推理與非演繹推理▲演繹推理(deductiveinference)：前提和結論之間的推出關系具有必然性的推理。▲非演繹推理(non-deductiveinference)：前提和結論之間的推出關系不具有