形式邏輯筆記-考試必備

形式邏輯筆記-考試必備形式邏輯筆記-考試必備/NUMPAGES25形式邏輯筆記-考試必備形式邏輯筆記-考試必備邏輯：表示事物發(fā)展的客觀規(guī)律；觀察處理問題時(shí)特殊的理論、觀點(diǎn)或方法人類思維的規(guī)律、規(guī)則；研究思維形式和思維規(guī)律的學(xué)問（邏輯學(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)，叫做思維的邏輯形式。概念4、概念：反映特定事物對(duì)象特有屬性或本質(zhì)屬性的思維形式。5、概念的內(nèi)涵：反映在概念中的對(duì)象的特有屬性或本質(zhì)屬性。6、概念的外延：是指具有概念所反映的特有屬性或本質(zhì)屬性的對(duì)象。根據(jù)概念外延的大小分類7、單獨(dú)概念：是反映獨(dú)一無二的對(duì)象的概念。外延為一8、普遍概念：是反映一個(gè)以上對(duì)象的概念。外延過一根據(jù)概念所反映的對(duì)象是否為集合體分類9、集合概念：外延為集合體。集合體由許多個(gè)體組成的統(tǒng)一整體，集合體所具有的屬性，只為該集合體所具有，而不必為這個(gè)集合體中的某一個(gè)體所具有。10、非集合概念：外延為非集合體。根據(jù)概念所反映的對(duì)象是否具有某屬性分類11、正概念：內(nèi)涵具有某種屬性。12、負(fù)概念：內(nèi)涵不具有某種屬性根據(jù)概念外延是否為零分類13、實(shí)概念：外延為非零14、虛概念：外延為零15、概念的內(nèi)涵與外延之間的反變關(guān)系：一個(gè)概念的外延愈大，則它的內(nèi)涵愈少，一個(gè)概念的外延愈小，則它的內(nèi)涵愈多。一個(gè)概念的內(nèi)涵愈少，則它的外延愈少；一個(gè)概念的內(nèi)涵愈多，則它的外延愈小。16、概念的限制：是通過增加概念的內(nèi)涵以縮小概念的外延來明確概念的一種邏輯方法。（是縮小概念外延的方法，即由外延較大的概念過渡到外延較小的概念，限制是由屬概念過渡到種概念）單獨(dú)概念是外延最小的概念，無法限制。17、概念的概括：是通過減少概念的內(nèi)涵以擴(kuò)大概念的外延來明確概念的一種邏輯方法。（是擴(kuò)大概念外延的方法，即由外延較小的概念過渡到外延較大的概念，概括是由種概念過渡到屬概念）概括也是有限度的，概括的極限是范疇。18、定義：是用簡(jiǎn)短的語句揭示概念內(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ī)語詞定義說明的語詞定義：e.g.“單方”也稱“丹方”，是指民間流傳的藥方規(guī)定的語詞定義：e.g.五講四美定義的規(guī)則：定義項(xiàng)的外延和被定義項(xiàng)的外延應(yīng)是全同的；定義項(xiàng)中不能直接或間接地包括被定義項(xiàng)；定義項(xiàng)中不得包括含混的概念或語詞，不得用比喻；定義一般不用否定形式。19、劃分：是通過把一個(gè)概念所反映的對(duì)象分為若干個(gè)小類，來揭示這個(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ì)象有無某種屬性作為劃分標(biāo)準(zhǔn)，將一個(gè)屬概念劃分為正、負(fù)概念劃分的規(guī)則：劃分后的各子項(xiàng)外延之和必須與母項(xiàng)的外延相等（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、判斷和語句聯(lián)系：判斷是語句的思想內(nèi)容，語句是判斷的語言形式。判斷和語句區(qū)別：A：范疇不同精神和物質(zhì)B：對(duì)應(yīng)關(guān)系不同任何判斷都要用語句表達(dá)并非所有語句都能表達(dá)判斷同一判斷可以由不同句子表達(dá)有的語句可以表達(dá)不同的判斷命題：表達(dá)判斷的語句稱作命題。命題的邏輯形式就是命題形式。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ù)判斷相容選言判斷不相容選言判斷充分條件假言判斷必要條件假言判斷充分必要條件假言判斷簡(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)劃分全稱肯定判斷A、全稱否定判斷E特稱肯定判斷I、特稱否定判斷O}依據(jù)聯(lián)項(xiàng)、量項(xiàng)分▲特稱量項(xiàng)“有的”和日常語言中的“有的”含義不完全相同同一素材的性質(zhì)判斷：性質(zhì)判斷的主、謂項(xiàng)均相同。對(duì)當(dāng)關(guān)系：同一素材的性質(zhì)判斷之間的真假關(guān)系?！荜P(guān)系：A—OE—I不能同真同假→反對(duì)關(guān)系：A—E不能同真，可同假→下反對(duì)關(guān)系：I—O可同真，不同假→差等關(guān)系：A—IE—O全真特真，特假全假，其余真假不定對(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真值表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)、關(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。寫作p∧q（p合取q）。聯(lián)言詞：不但……而且……；既……又……；不僅……還……；雖然……但是……⑧選言判斷：斷定幾種可能事物情況至少有一種存在的判斷。構(gòu)成：選言支，聯(lián)結(jié)詞。相容的選言判斷：斷定幾個(gè)選言支中至少有一個(gè)為真并且可以同真的選言判斷。邏輯形式p或者q。寫作p∨q（p析取q）。聯(lián)言詞：也許……也許……等不相容的選言判斷：斷定幾個(gè)選言判斷就是斷定幾個(gè)選言支中有并且只有一個(gè)為真的選言判斷。邏輯形式：p∨q（p不相容析取q）。聯(lián)言詞：要么……要么……⑨假言判斷：條件判斷。斷定某一事物情況的存在（或不存在）是另一個(gè)事物情況存在（或不存在）的條件的判斷。p前件，q后件充分條件假言判斷：斷定事物情況之間具有充分條件關(guān)系的假言判斷。邏輯形式：如果p,那么q。寫作p→q（p蘊(yùn)涵q）。聯(lián)言詞：如果……那么……；一旦……就……必要條件假言判斷：斷定事物情況之間具有必要條件關(guān)系的假言判斷。邏輯形式：只有p，才有q。寫作p←q（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的必要條件，那么p就是q的充分條件。充分條件：p→q有p必有q，沒p未必沒q；沒q必然沒p,有q未必有p必要條件：p←q沒p必沒q，有p未必有q；有q必有p,沒q未必沒p充分必要條件：p>q有p必有q，沒p必沒q⑩負(fù)判斷：否定某個(gè)判斷的判斷，又叫判斷的否定。邏輯形式：并非p。寫作﹁p簡(jiǎn)單判斷的負(fù)判斷：并非所有S是P等值于有些S不是P(非A→O)并非所有S不是P等值于有些S是P(非E→I)并非有些S是P等值于所有S不是P（非I→E）并非有些S不是P等值于所有S是P（非O→A）并非某個(gè)S是P等值于某個(gè)S不是P并非某個(gè)S不是P等值于某個(gè)S是P復(fù)合判斷的負(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ù)判斷Pqp∧qp∨qP∨qp→qp←qP>q﹁p++++_+++_+__++_+___+_+++__+_____++++合取析取不相容析取蘊(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é)論。（不能通過結(jié)論的真假來看有效無效）（推理有效，前提真實(shí)）27、推理的種類演繹推理：從一般到個(gè)別歸納推理：從個(gè)別到一般}根據(jù)思維進(jìn)程不同類比推理：從個(gè)別到個(gè)別必然性推理：前提蘊(yùn)涵結(jié)論，前提真，結(jié)論一定真或然性推理：前提不蘊(yùn)涵結(jié)論，前提真，結(jié)論僅僅可能為真}前提結(jié)論是否有必然聯(lián)系直接推理：以一個(gè)判斷為前提推出結(jié)論的推理。前提和結(jié)論都是性質(zhì)判斷對(duì)當(dāng)關(guān)系的直接推理：在同一素材的各種性質(zhì)判斷之間進(jìn)行的推理。（16個(gè)有效式）→矛盾關(guān)系的推理SAP→￣SOP；SEP→￣SIP；SIP→￣SEP；SOP→￣SAP(技術(shù)有限)￣SAP→SOP；￣SEP→SIP；￣SIP→SEP；￣SOP→SAP.→差等關(guān)系的推理SAP→SIP；SEP→SOP；￣SIP→￣SAP；￣SOP→￣SEP→反對(duì)關(guān)系的推理SAP→￣SEP；SEP→￣SAP→下反對(duì)關(guān)系的推理￣SIP→SOP；￣SOP→SIP判斷變形的直接推理：通過改變前提的直言判斷的形式從而推出結(jié)論的直接推理→改變前提的質(zhì)?？献兎?，否變肯換質(zhì)法：通過改變前提的質(zhì)，從而得出結(jié)論的直接推理方法SAP→SE￣P；SEP→SA￣P；SIP→SO￣P；SOP→SI￣P→改變前提的主、謂的位置。質(zhì)相同，主謂換，前不周后不得周換位法：通過交換前提中主、謂項(xiàng)的位置從而推出結(jié)論的直接推理方法。SAP→PIS；SEP→PES；SIP→PIS▲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é)論難。一個(gè)正確三段論，有且只有三個(gè)不同的項(xiàng)。違反，則犯“四項(xiàng)錯(cuò)誤”。中項(xiàng)至少要周延一次。違反，則犯“中項(xiàng)兩次不周延錯(cuò)誤”在前提中不周延的項(xiàng)，到結(jié)論中不得周延。違反，則犯“大項(xiàng)或小項(xiàng)不當(dāng)周延”兩個(gè)否定前提推不出結(jié)論。如果前提有一否定，則結(jié)論否定；如果結(jié)論否定，則前提有一否定。兩個(gè)特稱前提不能推出結(jié)論。如果兩個(gè)前提中有一個(gè)是特稱的，那么，結(jié)論也是特稱的。三段論的格（由中項(xiàng)在前提中的不同位置所構(gòu)成的三段論的不同形式）大前提第一格MPSMS—P第二格PMSMS—P第三格MPMSS—P第四格PMMSS—P小前提結(jié)論小前提須是肯定的大前提須是全稱的前提中須有一個(gè)是否定的大前提須是全稱的小前提須是肯定的結(jié)論須是特稱的兩前提有一否定，則大前提全稱若大前提肯定，則小前提全稱如小前提肯定，則結(jié)論特稱任何一個(gè)前提都不能是特稱否定結(jié)論不能是全稱肯定A證明：1、先把某一格的圖畫出來→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)言推理。p∧q→p或p∧q∴q→組合式：由前提中全部支判斷真，推出聯(lián)言判斷真的聯(lián)言推理。p，q∴