推理形式及其有效性

　　如果將例(1) 或例(2) 這兩個(gè)具體的推理內(nèi)容抽出，就可以分別得到下面兩個(gè)推理形式：

　　推理形式(1) ： 如果p ，那么q

　　非q

　　所以，非p

　　推理形式(2) ： S1是P

　　S2是P

　　S3是P

　　S1、S2、S3都是S

　　所以，所有的S 是P

　　在推理形式(1) 中，我們用“p ”、“q ”這兩個(gè)判斷變項(xiàng)，分別代替兩個(gè)具體判斷;在推理形式(2) 中，我們用“S1”、“S2”、“S3”、“S ”與“P ”這些概念變項(xiàng)，分別代替五個(gè)具體概念。

　　推理形式是包括概念變項(xiàng)或判斷變項(xiàng)的一組判斷形式。

　　人們通常從兩個(gè)方面來(lái)考察推理：

　　(1) 前提是否真實(shí)，也就是前提判斷的內(nèi)容是否符合事實(shí)，這是由實(shí)踐和各門具體科學(xué)解決的問(wèn)題。

　　(2) 推理形式是否正確，也就是推理的邏輯形式即推理的形式結(jié)構(gòu)是否符合思維的規(guī)律和規(guī)則。這是邏輯學(xué)著重研究的問(wèn)題。

　　邏輯學(xué)制定出一系列規(guī)則，保證推理形式正確，以便從既定的前提出發(fā)，合乎邏輯地推出一定的結(jié)論。一個(gè)推理，只有在形式上是正確的，即合乎邏輯地推出結(jié)論，才是有效的。這里所說(shuō)的推理的有效性、正確性和合乎邏輯性是一致的。