形式邏輯參考復(fù)習(xí)筆記new

1、邏輯學(xué)形式邏輯辯證邏輯傳統(tǒng)邏輯現(xiàn)代邏輯演繹邏輯歸納邏輯1、 邏輯：表示事物發(fā)展的客觀規(guī)律；觀察處理問(wèn)題時(shí)特殊的理論、觀點(diǎn)或方法 人類思維的規(guī)律、規(guī)則；研究思維形式和思維規(guī)律的學(xué)問(wèn)（邏輯學(xué)）。2、普通邏輯：傳統(tǒng)的形式邏輯，是研究思維的邏輯形式及其基本規(guī)律和人們認(rèn)識(shí)現(xiàn)實(shí)時(shí)所使用的簡(jiǎn)單邏輯方法的科學(xué)。普通邏輯思維思維的基本規(guī)律簡(jiǎn)單的邏輯方法思維的邏輯形式邏輯思維形象思維靈感思維同一律、矛盾律排中律、充足理由律邏輯常項(xiàng)邏輯變項(xiàng)3、思維的邏輯形式：概念、判斷和推理是思維的形式。反映在概念、判斷、和推理中的特定對(duì)象及其屬性叫做思維的具體內(nèi)容。思維內(nèi)容各部分之間的聯(lián)系方式或形式結(jié)構(gòu)，叫做思維的邏輯形式。概念

2、4、概念：反映特定事物對(duì)象特有屬性或本質(zhì)屬性的思維形式。5、概念的內(nèi)涵：反映在概念中的對(duì)象的特有屬性或本質(zhì)屬性。6、概念的外延：是指具有概念所反映的特有屬性或本質(zhì)屬性的對(duì)象。根據(jù)概念外延的大小分類7、單獨(dú)概念：是反映獨(dú)一無(wú)二的對(duì)象的概念。外延為一8、普遍概念：是反映一個(gè)以上對(duì)象的概念。外延過(guò)一根據(jù)概念所反映的對(duì)象是否為集合體分類9、集合概念：外延為集合體。集合體由許多個(gè)體組成的統(tǒng)一整體，集合體所具有的屬性，只為該集合體所具有，而不必為這個(gè)集合體中的某一個(gè)體所具有。10、非集合概念：外延為非集合體。根據(jù)概念所反映的對(duì)象是否具有某屬性分類11、正概念：內(nèi)涵具有某種屬性。12、負(fù)概念：內(nèi)涵不具有某種

3、屬性根據(jù)概念外延是否為零分類13、實(shí)概念：外延為非零14、虛概念：外延為零概念關(guān)系內(nèi)涵不同外延關(guān)系同一關(guān)系a=b內(nèi)涵不同外延相同真包含關(guān)系a>b屬種關(guān)系真包含于關(guān)系a<b種屬關(guān)系交叉關(guān)系a部分等于bb部分等于a全異關(guān)系外延沒(méi)有任何部分重合矛盾關(guān)系a+b=c反對(duì)關(guān)系a+b<c15、概念的內(nèi)涵與外延之間的反變關(guān)系：一個(gè)概念的外延愈大，則它的內(nèi)涵愈少，一個(gè)概念的外延愈小，則它的內(nèi)涵愈多。一個(gè)概念的內(nèi)涵愈少，則它的外延愈少；一個(gè)概念的內(nèi)涵愈多，則它的外延愈小。16、概念的限制：是通過(guò)增加概念的內(nèi)涵以縮小概念的外延來(lái)明確概念的一種邏輯方法。（是縮小概念外延的方法，即由外延較大的概念過(guò)渡

4、到外延較小的概念，限制是由屬概念過(guò)渡到種概念）單獨(dú)概念是外延最小的概念，無(wú)法限制。17、概念的概括：是通過(guò)減少概念的內(nèi)涵以擴(kuò)大概念的外延來(lái)明確概念的一種邏輯方法。（是擴(kuò)大概念外延的方法，即由外延較小的概念過(guò)渡到外延較大的概念，概括是由種概念過(guò)渡到屬概念）概括也是有限度的，概括的極限是范疇。18、定義：是用簡(jiǎn)短的語(yǔ)句揭示概念內(nèi)涵的邏輯方法。由被定義項(xiàng)、定義項(xiàng)、定義聯(lián)項(xiàng)三部分組成。定義的方法屬加種差定義：被定義項(xiàng)=種差+臨近屬概念e.g.人就是能制造和使用生產(chǎn)工具的動(dòng)物。發(fā)生定義：e.g. 水關(guān)系定義：e.g. 伯父功用定義：e.g. 縫紉機(jī)語(yǔ)詞定義 說(shuō)明的語(yǔ)詞定義：e.g.“單方”也稱“丹方”，

5、是指民間流傳的藥方 規(guī)定的語(yǔ)詞定義：e.g.五講四美定義的規(guī)則：定義項(xiàng)的外延和被定義項(xiàng)的外延應(yīng)是全同的；定義項(xiàng)中不能直接或間接地包括被定義項(xiàng)；定義項(xiàng)中不得包括含混的概念或語(yǔ)詞，不得用比喻；定義一般不用否定形式。19、劃分：是通過(guò)把一個(gè)概念所反映的對(duì)象分為若干個(gè)小類，來(lái)揭示這個(gè)概念的外延的邏輯方法。 由母項(xiàng)、子項(xiàng)、劃分標(biāo)準(zhǔn)（把母項(xiàng)分為若干子項(xiàng)的根據(jù)） 劃分的方法： 一次劃分：根據(jù)劃分標(biāo)準(zhǔn)對(duì)母項(xiàng)一次劃分完畢 連續(xù)劃分：把母項(xiàng)劃分為若干子項(xiàng)之后，再將子項(xiàng)作為母項(xiàng)繼續(xù)進(jìn)行劃分 二分法：以對(duì)象有無(wú)某種屬性作為劃分標(biāo)準(zhǔn)，將一個(gè)屬概念劃分為正、負(fù)概念 劃分的規(guī)則：劃分后的各子項(xiàng)外延之和必須與母項(xiàng)的外延相等（

6、X劃分不全或多出子項(xiàng)）；每次劃分必須按照同一標(biāo)準(zhǔn)進(jìn)行（X劃分標(biāo)準(zhǔn)不同一）；劃分的各子項(xiàng)應(yīng)當(dāng)互不相容（子項(xiàng)相容）；劃分應(yīng)逐層進(jìn)行。 特殊的劃分：分類 按事物對(duì)象本質(zhì)屬性為標(biāo)準(zhǔn)對(duì)屬概念劃分，長(zhǎng)久的穩(wěn)定性 列舉 揭示概念的一部分外延20、分解：是把一個(gè)整體分為若干組成部分。整體與部分間是不相容的關(guān)系，整體的屬性部分并不具備。判斷21、判斷：是對(duì)思維對(duì)象有所斷定的思維形式。22、判斷的邏輯特征：判斷都有所肯定或有所否定。判斷都有真假。23、判斷和語(yǔ)句聯(lián)系：判斷是語(yǔ)句的思想內(nèi)容，語(yǔ)句是判斷的語(yǔ)言形式。判斷和語(yǔ)句區(qū)別：A：范疇不同 精神和物質(zhì) B：對(duì)應(yīng)關(guān)系不同 任何判斷都要用語(yǔ)句表達(dá)并非所有語(yǔ)句都能表達(dá)判

7、斷 同一判斷可以由不同句子表達(dá) 有的語(yǔ)句可以表達(dá)不同的判斷命題：表達(dá)判斷的語(yǔ)句稱作命題。命題的邏輯形式就是命題形式。S、P詞項(xiàng)變項(xiàng)，p、q稱為命題變項(xiàng)。二者統(tǒng)稱邏輯變項(xiàng)。24、判斷的分類&各類判斷的定義依據(jù)判斷中是否出現(xiàn)必然、可能這兩個(gè)模態(tài)詞分類判斷模態(tài)判斷非模態(tài)判斷 模態(tài)判斷：斷定事物可能性或必然性的判斷。即包含“必然”“可能”模態(tài)詞的判斷形式。 非模態(tài)判斷：就使然情況做出斷定的判斷。不包含模態(tài)詞的判斷。依據(jù)判斷內(nèi)部結(jié)構(gòu)分（基本構(gòu)成是概念還是判斷）判斷簡(jiǎn)單判斷復(fù)合判斷性質(zhì)判斷關(guān)系判斷聯(lián)言判斷選言判斷假言判斷負(fù)判斷相容選言判斷不相容選言判斷充分條件假言判斷必要條件假言判斷充分必要條件假

8、言判斷簡(jiǎn)單判斷的負(fù)判斷復(fù)合判斷的負(fù)判斷全稱肯定A（單稱）全稱否定E特稱肯定I特稱否定O 簡(jiǎn)單判斷：自身中不含有其他判斷的判斷。命題形式中，邏輯變項(xiàng)是詞項(xiàng)。 復(fù)合判斷：自身中包含有其他判斷的判斷。命題形式中，邏輯變項(xiàng)是命題。 性質(zhì)判斷：直言判斷。斷定對(duì)象具有或不具有某種性質(zhì)的判斷。構(gòu)成：主項(xiàng)S、謂項(xiàng)P、聯(lián)項(xiàng)（肯、否）和量項(xiàng)（全稱、特稱）。肯定判斷：斷定對(duì)象具有某種性質(zhì)的判斷。否定判斷：-不具有-。 依據(jù)聯(lián)項(xiàng)（性質(zhì)）劃分單稱判斷：斷定單個(gè)對(duì)象具有或不具有某性質(zhì)的判斷。全稱判斷：斷定主項(xiàng)的全體都具有或不具有某種性質(zhì)的判斷。特稱判斷：斷定主項(xiàng)至少有一個(gè)具有或不具有某性質(zhì)的判斷。 依據(jù)量項(xiàng)劃分 全稱肯定

9、判斷A、全稱否定判斷E 特稱肯定判斷I、 特稱否定判斷O 依據(jù)聯(lián)項(xiàng)、量項(xiàng)分 特稱量項(xiàng)“有的”和日常語(yǔ)言中的“有的”含義不完全相同 同一素材的性質(zhì)判斷：性質(zhì)判斷的主、謂項(xiàng)均相同。 對(duì)當(dāng)關(guān)系：同一素材的性質(zhì)判斷之間的真假關(guān)系。矛盾關(guān)系：AO EI 不能同真同假反對(duì)關(guān)系： AE 不能同真，可同假下反對(duì)關(guān)系： IO 可同真，不同假差等關(guān)系：AI EO 全真特真，特假全假，其余真假不定 對(duì)當(dāng)關(guān)系的成立，是以判斷的主項(xiàng)非空為條件的。如果主項(xiàng)為空概念，則只有矛盾關(guān)系成立 對(duì)當(dāng)關(guān)系中，單稱判斷不能作全稱判斷處理。對(duì)當(dāng)關(guān)系邏輯方陣 A 反對(duì)關(guān)系 E差 等 關(guān) 系矛 盾 關(guān) 系差 等 關(guān) 系 I 下反對(duì)關(guān)系 O

10、真值表S、P關(guān)系真假判斷的類型S=P全同S<P真包含于S>P真包含S&P交叉S%P全異A+_E+_+I_+_O_+性質(zhì)判斷主、謂項(xiàng)的周延性周延：在一個(gè)性質(zhì)判斷中，其主項(xiàng)（或謂項(xiàng)）的全部外延都得到形式的斷定。反之，不周延。結(jié)論：第一、 全稱判斷的主項(xiàng)都周延（A、E主周）第二、 特稱判斷的主項(xiàng)都不周延（I、O主不周）第三、 肯定判斷的謂項(xiàng)都不周延（A、I謂不周）第四、 否定判斷的謂項(xiàng)都周延（E、O謂周）周延表（前不周，后不周；后不周，前可周可不周）判斷類型主項(xiàng)謂項(xiàng)全肯A周延不周延全否E周延周延特肯I不周延不周延 特否O不周延周延關(guān)系判斷：斷定對(duì)象之間關(guān)系的判斷 構(gòu)成：關(guān)系者項(xiàng)、

11、關(guān)系項(xiàng)、量項(xiàng) 二元關(guān)系：R（a、b）對(duì)稱性對(duì)稱、反對(duì)稱、非對(duì)稱 傳遞性傳遞、反傳遞、非傳遞聯(lián)言判斷：斷定幾種事物情況同時(shí)存在的判斷。構(gòu)成：聯(lián)言支，聯(lián)結(jié)詞。邏輯形式：p并且q。寫(xiě)作pq （p合取q）。聯(lián)言詞：不但而且；既 又；不僅還；雖然但是選言判斷：斷定幾種可能事物情況至少有一種存在的判斷。構(gòu)成：選言支，聯(lián)結(jié)詞。 相容的選言判斷：斷定幾個(gè)選言支中至少有一個(gè)為真并且可以同真的選言判斷。邏輯形式 p或者q。寫(xiě)作pq （p析取q）。聯(lián)言詞：也許也許等 不相容的選言判斷：斷定幾個(gè)選言判斷就是斷定幾個(gè)選言支中有并且只有一個(gè)為真的選言判斷。邏輯形式：pq （p不相容析取q）。聯(lián)言詞：要么要么假言判斷：條件

12、判斷。斷定某一事物情況的存在（或不存在）是另一個(gè)事物情況存在（或不存在）的條件的判斷。p前件，q后件 充分條件假言判斷：斷定事物情況之間具有充分條件關(guān)系的假言判斷。邏輯形式：如果p,那么q。寫(xiě)作pq （p蘊(yùn)涵q）。聯(lián)言詞：如果那么；一旦就 必要條件假言判斷：斷定事物情況之間具有必要條件關(guān)系的假言判斷。邏輯形式：只有p，才有q。寫(xiě)作pq （p逆蘊(yùn)涵q）。聯(lián)言詞：除非才；只有才 充分必要條件假言判斷：斷定事物情況之間具有充分必要條件關(guān)系的假言判斷。邏輯形式：p當(dāng)且僅當(dāng)q。pß>q （p等值q）。聯(lián)言詞：如果那么并且只有才 如果p是q的充分條件，那么q就是p的必要條件；如果q是p的必

13、要條件，那么p就是q的充分條件。充分條件：pq有p必有q，沒(méi)p未必沒(méi)q；沒(méi)q必然沒(méi)p,有q未必有p 必要條件：pq沒(méi)p必沒(méi)q，有p未必有q；有q必有p,沒(méi)q未必沒(méi)p 充分必要條件：pß>q 有p必有q，沒(méi)p必沒(méi)q負(fù)判斷：否定某個(gè)判斷的判斷，又叫判斷的否定。邏輯形式：并非p。寫(xiě)作p 簡(jiǎn)單判斷的負(fù)判斷：并非所有S是P 等值于 有些S不是P (非AO) 并非所有S不是P 等值于 有些S是P (非EI) 并非有些S是P 等值于 所有S不是P（非IE） 并非有些S不是P 等值于 所有S是P （非OA） 并非某個(gè)S是P 等值于 某個(gè)S不是P 并非某個(gè)S不是P 等值于 某個(gè)S是P 復(fù)合判斷的

14、負(fù)判斷：并非（p并且q） 等值于 非p或非q 都真時(shí)真 并非（p或者q） 等值于 非p且非q 都假時(shí)假 并非（要么p，要么q）等值于（p且q）或（非p且非q）一真時(shí)真 并非（如果p，那么q）等值于 p并且非q 前真后假時(shí)假 并非（只有p，才q） 等值于非p并且q 前假后真時(shí)假 并非（p當(dāng)且僅當(dāng)q）等值于（p且非q）或（非p且q）一真一假時(shí)假 并非（并非p） 等值于p雙重否定 聯(lián)言判斷 選言判斷 假言判斷 負(fù)判斷真值表聯(lián)言判斷相容的選言判斷不相容的選言判斷充分條件假言判斷必要條件假言判斷充分必要條件假言負(fù)判斷PqpqpqPqpqpqPß>qp+_+_+_+_+_+_+_+_+合取

15、析取不相容析取蘊(yùn)涵逆蘊(yùn)涵等值非都真時(shí)真都假時(shí)假一真時(shí)真前真后假時(shí)假前假后真時(shí)假一真一假時(shí)假推理25、推理：依據(jù)一個(gè)或幾個(gè)已知的判斷得到另一個(gè)新判斷的思維形式。26、推理的構(gòu)成：前提（推理所依據(jù)的判斷）；結(jié)論（推理所得到的判斷） 推理的有效性：形式有效性。當(dāng)且僅當(dāng)有此推理形式的任一推理都不出現(xiàn)真前提和假結(jié)論。（不能通過(guò)結(jié)論的真假來(lái)看有效無(wú)效）（推理有效，前提真實(shí)）27、推理的種類演繹推理：從一般到個(gè)別歸納推理：從個(gè)別到一般 根據(jù)思維進(jìn)程不同類比推理：從個(gè)別到個(gè)別必然性推理：前提蘊(yùn)涵結(jié)論，前提真，結(jié)論一定真或然性推理：前提不蘊(yùn)涵結(jié)論，前提真，結(jié)論僅僅可能為真 前提結(jié)論是否有必然聯(lián)系直接推理：以一個(gè)

16、判斷為前提推出結(jié)論的推理。前提和結(jié)論都是性質(zhì)判斷 對(duì)當(dāng)關(guān)系的直接推理：在同一素材的各種性質(zhì)判斷之間進(jìn)行的推理。（16個(gè)有效式）矛盾關(guān)系的推理SAPSOP；SEPSIP； SIPSEP；SOPSAP(技術(shù)有限) SAPSOP；SEPSIP ；SIPSEP；SOPSAP.差等關(guān)系的推理SAPSIP；SEPSOP；SIPSAP；SOPSEP反對(duì)關(guān)系的推理SAPSEP；SEPSAP下反對(duì)關(guān)系的推理SIPSOP；SOPSIP 判斷變形的直接推理：通過(guò)改變前提的直言判斷的形式從而推出結(jié)論的直接推理改變前提的質(zhì)?？献兎瘢褡兛?換質(zhì)法：通過(guò)改變前提的質(zhì)，從而得出結(jié)論的直接推理方法 SAPSEP；SEPSAP

17、；SIPSOP；SOPSIP改變前提的主、謂的位置。 質(zhì)相同，主謂換，前不周后不得周 換位法：通過(guò)交換前提中主、謂項(xiàng)的位置從而推出結(jié)論的直接推理方法。SAPPIS； SEPPES； SIPPIS O判斷不能換位間接推理：簡(jiǎn)單判斷的推理：復(fù)合判斷的推理：三段論：由兩個(gè)包含著一個(gè)共同項(xiàng)的性質(zhì)判斷推出一個(gè)新的性質(zhì)判斷的推理。又稱直言三段論。S小項(xiàng)，M中項(xiàng)，P大項(xiàng)；有S的是小前提，有P的是大前提。 三段論的公理：一類對(duì)象的全部是什么或不是什么，那么對(duì)象中的部分是什么或不是什么。 三段論的一般規(guī)則：三個(gè)概念中周延，大項(xiàng)小項(xiàng)莫擴(kuò)展。一特得特否得否，兩特兩否結(jié)論難。1、 一個(gè)正確三段論，有且只有三個(gè)不同的項(xiàng)

18、。違反，則犯“四項(xiàng)錯(cuò)誤”。2、 中項(xiàng)至少要周延一次。違反，則犯“中項(xiàng)兩次不周延錯(cuò)誤”3、 在前提中不周延的項(xiàng)，到結(jié)論中不得周延。違反，則犯“大項(xiàng)或小項(xiàng)不當(dāng)周延”4、 兩個(gè)否定前提推不出結(jié)論。5、 如果前提有一否定，則結(jié)論否定；如果結(jié)論否定，則前提有一否定。6、 兩個(gè)特稱前提不能推出結(jié)論。7、 如果兩個(gè)前提中有一個(gè)是特稱的，那么，結(jié)論也是特稱的。三段論的格（由中項(xiàng)在前提中的不同位置所構(gòu)成的三段論的不同形式） 大前提第一格M PS MS P第二格P MS MS P第三格M PM SS P第四格P MM SS P小前提結(jié)論小前提須是肯定的大前提須是全稱的前提中須有一個(gè)是否定的大前提須是全稱的小前提須

19、是肯定的結(jié)論須是特稱的兩前提有一否定，則大前提全稱若大前提肯定，則小前提全稱如小前提肯定，則結(jié)論特稱任何一個(gè)前提都不能是特稱否定結(jié)論不能是全稱肯定A證明：1、先把某一格的圖畫(huà)出來(lái)2、用反證法，假設(shè)對(duì)立面3、找出不符合規(guī)則的地方4、得出假設(shè)不成立題型：e.g.有效三段論結(jié)論為O，推導(dǎo)具體格三段論的式（前提和結(jié)論的質(zhì)、量組合形式）可能式256個(gè)，有效式24個(gè)，弱式5個(gè)第一格第二格第三格第四格AAAAEEAAIAAIEAEEAEEAOEAOAIIAOOAIIAEEEIOEIOEIOEIO（AAI）（AEO）IAIIAI(EAO)(EAO)OAO(AEO)28、聯(lián)言推理：前提或結(jié)論為聯(lián)言判斷的推理。種類：分解式：由前提中聯(lián)言判斷的真，推出其任一支判斷真的聯(lián)言推理。 pq p 或 pq q組合式：由前提中全部支判斷真，推出聯(lián)言判斷真的聯(lián)言推理。 p ，