邏輯學期末復習

形式邏輯期末復習課形式邏輯學知識系統(tǒng)判斷概念推理簡單判斷推理知識方法簡單判斷復合判斷模態(tài)判斷復合判斷推理演繹推理歸納推理模態(tài)推理概念的特征概念的分類概念間關系定義劃分限制與概括性質(zhì)判斷關系判斷聯(lián)言判斷選言判斷假言判斷負判斷真值模態(tài)判斷規(guī)范模態(tài)判斷對當關系推理判斷變形推理聯(lián)言推理選言推理假言推理負判斷等值推理內(nèi)涵外延三段論推理1、邏輯形式的組成：

由邏輯常項和邏輯變項兩部分組成的。練習:“只有P，才q”與“如果p，那么q”這兩個判斷形式，它們含有（）A：相同的邏輯常項，相同的邏輯變項B：相同的邏輯常項，不同的邏輯變項C：不同的邏輯常項，相同的邏輯變項D：不同的邏輯常項，不同的邏輯變項2、概念的種類單獨概念：只有一個分子對象的概念；普遍概念：具有兩個或兩個以上分子對象的概念。判斷是單獨概念還是普遍概念取決于其外延中分子對象數(shù)量的多少，僅僅包含一個分子對象就是單獨概念，包含兩個或兩個以上分子對象就是普遍概念。集合概念：把對象作為集合體來反映的概念非集合概念：不把對象作為集合體來反映的概念判斷是集合概念還是非集合概念取決于語句中所規(guī)定的對象的屬性是整體具有還是其中的分子對象也具有。正概念：也叫肯定概念。反映對象具有某種屬性的概念。負概念：也叫否定概念，反映對象不具有某種屬性的概念，練習、下列句子中的概念，是集合概念，還是非集合概念？1、魯迅的小說是一天讀不完的。2、抗日英雄有民族氣節(jié)。3、我們的干部來自五湖四海。3、概念間的關系全同關系（同一關系）：設a,b兩個概念,外延全部重合。即所有的a都是b，同時所有的b都是a真包含于關系（種屬關系）：設a,b兩個概念a概念的全部外延包含于b概念的外延之中，并且a概念的全部外延僅僅是b概念外延的一部分,即所有的a都是b,但有的b不是a真包含關系（屬種關系）如果a概念的外延包含著b概念的全部外延，并且b概念的全部外延僅僅是a概念外延的一部分，即所有的b都是a，但有的a不是b.

交叉關系：設a,b兩個概念,a概念的外延與b概念的外延相互只有一部分相重合，即有的a是b，有的a不是b,并且有的b是a，有的b不是a全異關系：設a,b兩個概念,a概念與b概念的全部外延沒有任何部分相重合即所有的a都不是b并且所有的b也都不是a矛盾關系：a,b兩個概念外延全異，并且二者外延之和等于其鄰近屬概念的外延反對關系：a,b兩個概念,外延全異，并且二者外延之和小于其鄰近屬概念的外延

（1）．全同關系：ab

（2）．真包含于關系：ab

（3）．真包含關系：

ba

（4）.交叉關系：

ab

（5）．全異關系：

ab4、定義的規(guī)則：（1）定義項外延與被定義項外延之間必須是全同關系。

違犯規(guī)則所犯錯誤：

定義過寬：定義項的外延大于被定義項的外延。

定義過窄：定義項的外延小于被定義項的外延。（2）被定義項不得直接或間接出現(xiàn)在定義項中。違犯規(guī)則所犯錯誤：同語反復：在定義項中直接出現(xiàn)了被定義項。

循環(huán)定義：在定義項中間接出現(xiàn)了被定義項。（3）定義項必須用清楚確切的概念。違犯規(guī)則所犯錯誤：

定義含混:在定義項中使用了含混不清的概念。以比喻代定義：定義項用了形象比喻。（4）定義聯(lián)項不能是否定的。違犯規(guī)則所犯錯誤：

定義用否定聯(lián)項

練習、

“北京是歷史悠久的城市”作為定義，則（）A：犯了“定義過寬”的邏輯錯誤B：犯了“定義過窄”的邏輯錯誤C：犯了“同語反復”的邏輯錯誤D：沒犯邏輯錯誤

5、劃分的規(guī)則（1）劃分必須是相應相稱的（劃分子項的外延之和等于劃分母項的外延）

劃分不全：子項的外延之和小于母項的外延。多出子項：子項的外延之和大于母項的外延。（2）劃分的子項互相排斥（子項之間是全異關系）（3）每次劃分的根據(jù)必須同一（每次劃分按照同一個標準進行）所犯錯誤：

混淆根據(jù)注意劃分和分解的區(qū)別：劃分——把屬概念分成種概念分解——把整體分成部分、把集合體分成個體例如：A.把國家分為發(fā)達國家、發(fā)展中國家B.把國家分為省、市、自治區(qū)練習、下列句子作為劃分，正確的是（）1、性質(zhì)判斷分為：主項、謂項、聯(lián)項、量項2、定義分為被定義項、定義項、定義聯(lián)項3、歸納推理分為：完全歸納推理和不完全歸納推理6、限制遵守的規(guī)則：

（1）必須是由屬概念推演到種概念（2）對于單獨概念不能限制。7、概括遵守的規(guī)則：

（1）每一次概括必須是由種概念推演到屬概念。（2）哲學范疇不能概括8、性質(zhì)判斷由四部分組成：

主項、謂項、聯(lián)項、量項主項：表示性質(zhì)判斷中所斷定的對象的概念（S）謂項：表示性質(zhì)判斷中所斷定的對象具有或不具有的性質(zhì)的概念（P）聯(lián)項：表示性質(zhì)判斷中主項和謂項之間聯(lián)系的概念（肯定和否定）量項：表示性質(zhì)判斷中主項數(shù)量的概念（全稱、特稱、單稱）9、性質(zhì)判斷的種類：決定性質(zhì)判斷不同種類的詞項是(量項)和(聯(lián)項).全稱肯定判斷:標準形式:所有S都是P記為:SAP簡稱A判斷全稱否定判斷:標準形式:所有S不是P記為:SEP簡稱E判斷特稱肯定判斷:標準形式:有S是P記為:SIP簡稱I判斷特稱否定判斷:標準形式:有S不是P記為:SOP簡稱O判斷單稱肯定判斷:標準形式:某個S是P記為:SaP簡稱a判斷單稱否定判斷:標準形式:某個S不是P記為:SeP簡稱e判斷10、同一素材的性質(zhì)判斷之間的真假關系即對當關系第一、矛盾關系：具有矛盾關系的兩個判斷，二者不能同真，也不能同假，一個真則另一個必假，一個假則另一個必真。A與O，和E與I是矛盾關系第二：反對關系：具有反對關系的兩個判斷，二者不能同真，但可以同假。即其中一個判斷為真則另一個判斷一定為假，如果其中一個為假則另一個真假不定A與E第三：下反對關系：具有下反對關系的兩個判斷，二者可以同真，但不能同假。即其中一個判斷為真則另一個判斷真假不定，如果其中一個判斷為假則另一個判斷一定真I與O第四：真包含關系：在同質(zhì)的條件下，全稱判斷真，則特稱判斷必真，全稱判斷假，則特稱判斷真假不定，反之特稱判斷假。則全稱判斷必假特稱判斷真，則全稱判斷真假不定。A與I和E與O11、性質(zhì)判斷主謂項的周延性（1）全稱判斷和單稱判斷的主項都是周延的（2）特稱判斷的主項是不周延的（3）肯定判斷的謂項都是不周延的（4）否定判斷的謂項都是周延的（5）全稱否定判斷的主、謂項都是周延的（6）特稱肯定判斷的主謂項都是不周延的注：項的周延性指的是在性質(zhì)判斷中對主項、謂項外延數(shù)量的斷定情況。一個概念的外延自身并沒有周延與否的問題。只有當一個概念充當了性質(zhì)判斷的主項或謂項才產(chǎn)生周延與否的問題。12、性質(zhì)判斷對當關系的直接推理（1）根據(jù)性質(zhì)判斷矛盾關系的直接推理（8種有效推理形式）

1．SAP→SOP 5.SEP→SIP2．SAP→SOP 6.SEP→SIP3．SOP→SAP 7.SIP→SEP4．SOP→SAP8.SIP→SEP（2）反對關系的直接推理（2個有效推理形式）1.SAP→SEP2.SEP→SAP（3）下反對關系直接推理（2個有效推理形式）1．SIP→SOP2．SOP→SIP（4）差等關系直接推理：（4個有效推理形式）1．SAP→SIP 2．SEP→SOP3.SIP→SAP4.SOP→SEP全稱判斷真,特稱判斷必真全稱判斷假,特稱判斷真假不定特稱判斷真,全稱判斷真假不定特稱判斷假,全稱判斷必假13、性質(zhì)判斷變形的直接推理（1）換質(zhì)法推理遵守的兩條規(guī)則（a）結論改變前提的聯(lián)項（b）結論中的謂項變?yōu)榍疤嶂兄^項的矛盾概念（2）換位法推理遵守的兩條規(guī)則：a、前提中的主項在結論中換為謂項，前提中謂項在結論中換為主項b、前提中不周延的項在結論中不得周延，前提中周延的項在結論中可以周延也可以不周延c、前提和結論的質(zhì)相同（3）換質(zhì)位與換位質(zhì)連續(xù)交替法推理即可以換質(zhì)—換位-----再換質(zhì)---再換位也可以換位-----換質(zhì)---再換位---再換質(zhì)13、任何一個三段論都包含大前提、小前提和結論三個不同的判斷同時任何一個三段論都包含大項、小項、中項三個不同的詞項14、三段論的規(guī)則：六條基本規(guī)則：1、中項在前提中必須至少周延一次。違犯此項規(guī)則犯：“中項不周延”錯誤2、前提中不周延的大項或小項，在結論中也不得周延大項在前提中不周延，在結論中是周延的。犯“大項不當周延”的邏輯錯誤小項在前提中不周延，在結論中是周延的。犯“小項不當周延”的邏輯錯誤3、兩個否定的前提不能必然推出結論犯“兩否定推結論”邏輯錯誤4、前提中有一個是否定的，則結論只能是否定的，結論是否定的，則前提中必有一個是否定的。

否則犯”由否定推肯定的邏輯錯誤”5、兩個特稱的前提不能必然推出結論6、前提中有一個是特稱的，則結論只能是特稱的15、三段論的格(1)三段論的格第一格：中項在大前提中處于主項位置，在小前提中處于謂項位置第二格：中項在大小前提中都是謂項位置第三格：中項在大小前提中都是主項的位置第四格：中項在大前提中是謂項位置小前提中是主項的位置16、對稱關系，反對稱關系，非對稱關系對稱關系：在對象a與對象b之間，如果a對b有R關系，反之b對a也必定有R關系,即當aRb真bRa必真，那么關系R就是對稱關系.全同關系，交叉關系，全異關系反對稱關系：在對象a與對象b之間，如果a對b有R關系，反之b對a必定沒有R關系,即當aRb真bRa必假，那么關系R就是反對稱關系.真包含于和包含于非對稱關系：在對象a與對象b之間，如果a對b有R關系，反之b對a可能有也可能沒有R關系,即當aRb真，bRa可能真也可能假，那么關系R就是非對稱關系。17、傳遞關系，反傳遞關系，非傳遞關系傳遞關系：在a，b，c三個對象之間，如果a對b有R關系，并且b對c也有R關系，則a對c必定有R關系，即aRb真并且bRc真，則aRc必真的時候，則關系R就是傳遞關系。全同關系真包含于關系真包含關系反傳遞關系：在a，b，c三個對象之間，如果a對b有R關系，并且b對c也有R關系，那么a對c一定沒有R關系，即aRb真并且bRc真，則aRc必假的時候，則關系R就是反傳遞關系。非傳遞關系：在a，b，c三個對象之間，如果a對b有R關系，并且b對c也有R關系，則a對c可能有也可能沒有R關系，即aRb真并且bRc真，則aRc可能真也可能假的時候，關系R就是非傳遞關系。18、聯(lián)言判斷的真假值一個聯(lián)言判斷的真假是由聯(lián)言支的真假來確定的.當且僅當聯(lián)言判斷的各個聯(lián)言支都真時,該聯(lián)言判斷才是真的,只要有一個聯(lián)言支是假的,那么該聯(lián)言判斷就是假的19、相容選言判斷：是斷定幾個選言支中至少有一個為真，并且可以同真的選言判斷。邏輯形式：P或者q數(shù)理邏輯符號：P∨q（相容析?。┱嬷担合嗳葸x言判斷的真假,取決于組成它的各個選言支的真假,當且僅當一個相容選言判斷的各個選言支中至少有一個是真的,該相容選言判斷才是真的,如果所有選言支都是假的,則該相容選言判斷就是假的。20、不相容選言判斷及其真值：是斷定幾個選言支中至少有一個并且只能有一個為真，而不可同真，也不可同假的選言判斷。邏輯形式：P要么q數(shù)理邏輯符號：P∨q（不相容析取）真值：當且僅當只有一個選言支是真的時候，該不相容選言判斷才是真的。21、相容選言推理：規(guī)則：否定一部分選言肢，就必須要肯定另一部分選言肢肯定一部分選言肢則不能否定另一部分選言肢。有效形式：否定肯定式：或者P，或者q非P（或非q）所以，q（或P）22、不相容選言推理規(guī)則：肯定一部分選言肢就必然要否定其余的選言肢否定除一個以外的其余選言肢，就必然要肯定哪個未被否定的選言肢。有效形式：１、肯定否定式：前提中肯定一個選言肢，結論就必然要否定其余選言肢要么Ｐ，要么q或要么Ｐ，要么qＰq所以，非q所以，非Ｐ2、否定肯定式：前提中否定一部分選言肢，結論中必然肯定另一部分選言肢。邏輯形式：要么Ｐ，要么q非Ｐ（或非q）所以，q（或Ｐ）23、充分條件假言判斷及其真值充分條件的含義：有P就有q，沒有P是否有q不一定，這樣P就是q的充分條件前后件的關系是：有前件必然有后件，沒有后件必然沒有前件24、必要條件假言判斷及其真值必要條件：如果沒有P就必然沒有q，如果有P則是否有q不確定，則P就是q的必要條件必要條件假言判斷前后件關系的內(nèi)容：沒有前件必然沒有后件，有后件必然有前件

25、充分必要條件假言判斷及其真值

充分必要條件：如果有P就必然有q，如果沒有P就必然沒有q，這樣P就是q的充分必要條件。充分必要條件假言判斷：邏輯形式：當且僅當P，則q什么叫有充分必要條件聯(lián)系：

前件真，后件必真；前件假后件就必假26、假言易位推理遵守的規(guī)則:1、對調(diào)假言前后件的位置2、改變假言前提的邏輯聯(lián)結項邏輯形式：如果P，那么q只有P，才q所以，只有q，才P所以，如果q，那么P27、假言換質(zhì)推理規(guī)則：1、改變假言前提前、后件的真值2、改變假言前提的邏輯聯(lián)結項（前提是充分條件假言聯(lián)結項，結論變?yōu)楸匾獥l件假言聯(lián)結項，前提是必要條件假言聯(lián)結項結論是充分條件假言聯(lián)結項）邏輯形式：如果P，那么q或只有P，才q所以，只有非P，才非q所以，如果非P，28、假言易位換質(zhì)推理即改變假言判斷前\后件的位置，又改變假言判斷前\后件的真值的假言直接推理規(guī)則：1、對調(diào)假言前提前后件的位置2、改變假言前提前后件的真值

如果P，那么q或只有P，才q所以，如果非q，那么非P所以，只有非q，才非P29、充分條件假言三段論推理兩條規(guī)則：肯定前件就要肯定后件，否定后件就要否定前件否定前件不能否定后件，肯定后件不能肯定前件兩種有效推理形式：肯定前件式：如果P，那么q

P所以，q否定后件式：在前提中，非假言前提否定充分條件假言前提的后件，而結論否定它的前件。邏輯形式：如果P，那么q非q所以，非P

30、必要條件假言三段論推理遵守的兩條規(guī)則：肯定后件就要肯定前件，否定前件就要否定后件肯定前件不能肯定后件，否定后件不能否定前件有效的推理形式：肯定后件式：在前提中，非假言前提肯定必要條件的假言前提的后件。而結論肯定它的前件。邏輯形式：只有P，才q數(shù)理邏輯符號：（P←q）∧q→P

q所以，P否定前件式：在前提中，非假言前提否定必要條件的假言前提的前件。而結論否定它的后件。邏輯形式：只有P，才q數(shù)理邏輯符號：（P←q）∧非P→非q

非P所以，非q

31、充分必要條件假言三段論推理

遵守的兩條規(guī)則

肯定前件就要肯定后件，肯定后件就要肯定前件

否定前件就要否定后件，否定后件就要否定前件

有效形式

肯定前件式：在前提中，非假言前提肯定充分必要條件假言前提的前件，而結論肯定它的后件。

邏輯形式：當且僅當P，則q