形式邏輯筆記-考試必備

形式邏輯筆記-考試必備形式邏輯筆記-考試必備/NUMPAGES25形式邏輯筆記-考試必備形式邏輯筆記-考試必備邏輯：表示事物發(fā)展的客觀規(guī)律；觀察處理問題時特殊的理論、觀點或方法人類思維的規(guī)律、規(guī)則；研究思維形式和思維規(guī)律的學(xué)問（邏輯學(xué)）。2、普通邏輯：傳統(tǒng)的形式邏輯，是研究思維的邏輯形式及其基本規(guī)律和人們認識現(xiàn)實時所使用的簡單邏輯方法的科學(xué)。普通邏輯普通邏輯思維思維的基本規(guī)律簡單的邏輯方法思維的邏輯形式邏輯思維形象思維靈感思維同一律、矛盾律排中律、充足理由律邏輯常項邏輯變項3、思維的邏輯形式：概念、判斷和推理是思維的形式。反映在概念、判斷、和推理中的特定對象及其屬性叫做思維的具體內(nèi)容。思維內(nèi)容各部分之間的聯(lián)系方式或形式結(jié)構(gòu)，叫做思維的邏輯形式。概念4、概念：反映特定事物對象特有屬性或本質(zhì)屬性的思維形式。5、概念的內(nèi)涵：反映在概念中的對象的特有屬性或本質(zhì)屬性。6、概念的外延：是指具有概念所反映的特有屬性或本質(zhì)屬性的對象。根據(jù)概念外延的大小分類7、單獨概念：是反映獨一無二的對象的概念。外延為一8、普遍概念：是反映一個以上對象的概念。外延過一根據(jù)概念所反映的對象是否為集合體分類9、集合概念：外延為集合體。集合體由許多個體組成的統(tǒng)一整體，集合體所具有的屬性，只為該集合體所具有，而不必為這個集合體中的某一個體所具有。10、非集合概念：外延為非集合體。根據(jù)概念所反映的對象是否具有某屬性分類11、正概念：內(nèi)涵具有某種屬性。12、負概念：內(nèi)涵不具有某種屬性根據(jù)概念外延是否為零分類13、實概念：外延為非零14、虛概念：外延為零15、概念的內(nèi)涵與外延之間的反變關(guān)系：一個概念的外延愈大，則它的內(nèi)涵愈少，一個概念的外延愈小，則它的內(nèi)涵愈多。一個概念的內(nèi)涵愈少，則它的外延愈少；一個概念的內(nèi)涵愈多，則它的外延愈小。16、概念的限制：是通過增加概念的內(nèi)涵以縮小概念的外延來明確概念的一種邏輯方法。（是縮小概念外延的方法，即由外延較大的概念過渡到外延較小的概念，限制是由屬概念過渡到種概念）單獨概念是外延最小的概念，無法限制。17、概念的概括：是通過減少概念的內(nèi)涵以擴大概念的外延來明確概念的一種邏輯方法。（是擴大概念外延的方法，即由外延較小的概念過渡到外延較大的概念，概括是由種概念過渡到屬概念）概括也是有限度的，概括的極限是范疇。18、定義：是用簡短的語句揭示概念內(nèi)涵的邏輯方法。由被定義項、定義項、定義聯(lián)項三部分組成。定義的方法屬加種差定義：被定義項=種差+臨近屬概念e.g.人就是能制造和使用生產(chǎn)工具的動物。發(fā)生定義：e.g.水關(guān)系定義：e.g.伯父功用定義：e.g.縫紉機語詞定義說明的語詞定義：e.g.“單方”也稱“丹方”，是指民間流傳的藥方規(guī)定的語詞定義：e.g.五講四美定義的規(guī)則：定義項的外延和被定義項的外延應(yīng)是全同的；定義項中不能直接或間接地包括被定義項；定義項中不得包括含混的概念或語詞，不得用比喻；定義一般不用否定形式。19、劃分：是通過把一個概念所反映的對象分為若干個小類，來揭示這個概念的外延的邏輯方法。由母項、子項、劃分標準（把母項分為若干子項的根據(jù)）劃分的方法：一次劃分：根據(jù)劃分標準對母項一次劃分完畢連續(xù)劃分：把母項劃分為若干子項之后，再將子項作為母項繼續(xù)進行劃分…二分法：以對象有無某種屬性作為劃分標準，將一個屬概念劃分為正、負概念劃分的規(guī)則：劃分后的各子項外延之和必須與母項的外延相等（X劃分不全或多出子項）；每次劃分必須按照同一標準進行（X劃分標準不同一）；劃分的各子項應(yīng)當互不相容（子項相容）；劃分應(yīng)逐層進行。特殊的劃分：分類按事物對象本質(zhì)屬性為標準對屬概念劃分，長久的穩(wěn)定性列舉揭示概念的一部分外延20、分解：是把一個整體分為若干組成部分。整體與部分間是不相容的關(guān)系，整體的屬性部分并不具備。判斷21、判斷：是對思維對象有所斷定的思維形式。22、判斷的邏輯特征：判斷都有所肯定或有所否定。判斷都有真假。23、判斷和語句聯(lián)系：判斷是語句的思想內(nèi)容，語句是判斷的語言形式。判斷和語句區(qū)別：A：范疇不同精神和物質(zhì)B：對應(yīng)關(guān)系不同任何判斷都要用語句表達并非所有語句都能表達判斷同一判斷可以由不同句子表達有的語句可以表達不同的判斷命題：表達判斷的語句稱作命題。命題的邏輯形式就是命題形式。S、P詞項變項，p、q稱為命題變項。二者統(tǒng)稱邏輯變項。24、判斷的分類&各類判斷的定義依據(jù)判斷中是否出現(xiàn)必然、可能這兩個模態(tài)詞分類判斷判斷模態(tài)判斷非模態(tài)判斷模態(tài)判斷：斷定事物可能性或必然性的判斷。即包含“必然”“可能”模態(tài)詞的判斷形式。非模態(tài)判斷：就使然情況做出斷定的判斷。不包含模態(tài)詞的判斷。依據(jù)判斷內(nèi)部結(jié)構(gòu)分（基本構(gòu)成是概念還是判斷）判斷判斷簡單判斷復(fù)合判斷性質(zhì)判斷關(guān)系判斷聯(lián)言判斷選言判斷假言判斷負判斷相容選言判斷不相容選言判斷充分條件假言判斷必要條件假言判斷充分必要條件假言判斷簡單判斷的負判斷復(fù)合判斷的負判斷全稱肯定A（單稱）全稱否定E特稱肯定I特稱否定O簡單判斷：自身中不含有其他判斷的判斷。命題形式中，邏輯變項是詞項。復(fù)合判斷：自身中包含有其他判斷的判斷。命題形式中，邏輯變項是命題。性質(zhì)判斷：直言判斷。斷定對象具有或不具有某種性質(zhì)的判斷。構(gòu)成：主項S、謂項P、聯(lián)項（肯、否）和量項（全稱、特稱）?？隙ㄅ袛啵簲喽▽ο缶哂心撤N性質(zhì)的判斷。否定判斷：不具有。}依據(jù)聯(lián)項（性質(zhì)）劃分單稱判斷：斷定單個對象具有或不具有某性質(zhì)的判斷。全稱判斷：斷定主項的全體都具有或不具有某種性質(zhì)的判斷。特稱判斷：斷定主項至少有一個具有或不具有某性質(zhì)的判斷。}依據(jù)量項劃分全稱肯定判斷A、全稱否定判斷E特稱肯定判斷I、特稱否定判斷O}依據(jù)聯(lián)項、量項分▲特稱量項“有的”和日常語言中的“有的”含義不完全相同同一素材的性質(zhì)判斷：性質(zhì)判斷的主、謂項均相同。對當關(guān)系：同一素材的性質(zhì)判斷之間的真假關(guān)系。→矛盾關(guān)系：A—OE—I不能同真同假→反對關(guān)系：A—E不能同真，可同假→下反對關(guān)系：I—O可同真，不同假→差等關(guān)系：A—IE—O全真特真，特假全假，其余真假不定對當關(guān)系的成立，是以判斷的主項非空為條件的。如果主項為空概念，則只有矛盾關(guān)系成立對當關(guān)系中，單稱判斷不能作全稱判斷處理。對當關(guān)系邏輯方陣A反對關(guān)系E差等差等關(guān)系矛盾關(guān)系差等關(guān)系I下反對關(guān)系O真值表S、P關(guān)系真假判斷的類型S=P全同S<P真包含于S>P真包含S&P交叉S%P全異A++___E+___+I_+++_O__+++性質(zhì)判斷主、謂項的周延性周延：在一個性質(zhì)判斷中，其主項（或謂項）的全部外延都得到形式的斷定。反之，不周延。結(jié)論：全稱判斷的主項都周延（A、E主周）特稱判斷的主項都不周延（I、O主不周）肯定判斷的謂項都不周延（A、I謂不周）否定判斷的謂項都周延（E、O謂周）周延表（前不周，后不周；后不周，前可周可不周）判斷類型主項謂項全肯A周延不周延全否E周延周延特肯I不周延不周延特否O不周延周延⑥關(guān)系判斷：斷定對象之間關(guān)系的判斷構(gòu)成：關(guān)系者項、關(guān)系項、量項二元關(guān)系：R（a、b）對稱性——對稱、反對稱、非對稱傳遞性——傳遞、反傳遞、非傳遞⑦聯(lián)言判斷：斷定幾種事物情況同時存在的判斷。構(gòu)成：聯(lián)言支，聯(lián)結(jié)詞。邏輯形式：p并且q。寫作p∧q（p合取q）。聯(lián)言詞：不但……而且……；既……又……；不僅……還……；雖然……但是……⑧選言判斷：斷定幾種可能事物情況至少有一種存在的判斷。構(gòu)成：選言支，聯(lián)結(jié)詞。相容的選言判斷：斷定幾個選言支中至少有一個為真并且可以同真的選言判斷。邏輯形式p或者q。寫作p∨q（p析取q）。聯(lián)言詞：也許……也許……等不相容的選言判斷：斷定幾個選言判斷就是斷定幾個選言支中有并且只有一個為真的選言判斷。邏輯形式：p∨q（p不相容析取q）。聯(lián)言詞：要么……要么……⑨假言判斷：條件判斷。斷定某一事物情況的存在（或不存在）是另一個事物情況存在（或不存在）的條件的判斷。p前件，q后件充分條件假言判斷：斷定事物情況之間具有充分條件關(guān)系的假言判斷。邏輯形式：如果p,那么q。寫作p→q（p蘊涵q）。聯(lián)言詞：如果……那么……；一旦……就……必要條件假言判斷：斷定事物情況之間具有必要條件關(guān)系的假言判斷。邏輯形式：只有p，才有q。寫作p←q（p逆蘊涵q）。聯(lián)言詞：除非……才……；只有……才……充分必要條件假言判斷：斷定事物情況之間具有充分必要條件關(guān)系的假言判斷。邏輯形式：p當且僅當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⑩負判斷：否定某個判斷的判斷，又叫判斷的否定。邏輯形式：并非p。寫作﹁p簡單判斷的負判斷：并非所有S是P等值于有些S不是P(非A→O)并非所有S不是P等值于有些S是P(非E→I)并非有些S是P等值于所有S不是P（非I→E）并非有些S不是P等值于所有S是P（非O→A）并非某個S是P等值于某個S不是P并非某個S不是P等值于某個S是P復(fù)合判斷的負判斷：并非（p并且q）等值于非p或非q←都真時真并非（p或者q）等值于非p且非q←都假時假并非（要么p，要么q）等值于（p且q）或（非p且非q）一真時真并非（如果p，那么q）等值于p并且非q←前真后假時假并非（只有p，才q）等值于非p并且q←前假后真時假并非（p當且僅當q）等值于（p且非q）或（非p且q）一真一假時假并非（并非p）等值于p←雙重否定聯(lián)言判斷選言判斷假言判斷負判斷真值表聯(lián)言判斷相容的選言判斷不相容的選言判斷充分條件假言判斷必要條件假言判斷充分必要條件假言負判斷Pqp∧qp∨qP∨qp→qp←qP>q﹁p++++_+++_+__++_+___+_+++__+_____++++合取析取不相容析取蘊涵逆蘊涵等值非都真時真都假時假一真時真前真后假時假前假后真時假一真一假時假推理25、推理：依據(jù)一個或幾個已知的判斷得到另一個新判斷的思維形式。26、推理的構(gòu)成：前提（推理所依據(jù)的判斷）；結(jié)論（推理所得到的判斷）推理的有效性：形式有效性。當且僅當有此推理形式的任一推理都不出現(xiàn)真前提和假結(jié)論。（不能通過結(jié)論的真假來看有效無效）（推理有效，前提真實）27、推理的種類演繹推理：從一般到個別歸納推理：從個別到一般}根據(jù)思維進程不同類比推理：從個別到個別必然性推理：前提蘊涵結(jié)論，前提真，結(jié)論一定真或然性推理：前提不蘊涵結(jié)論，前提真，結(jié)論僅僅可能為真}前提結(jié)論是否有必然聯(lián)系直接推理：以一個判斷為前提推出結(jié)論的推理。前提和結(jié)論都是性質(zhì)判斷對當關(guān)系的直接推理：在同一素材的各種性質(zhì)判斷之間進行的推理。（16個有效式）→矛盾關(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→反對關(guān)系的推理SAP→￣SEP；SEP→￣SAP→下反對關(guān)系的推理￣SIP→SOP；￣SOP→SIP判斷變形的直接推理：通過改變前提的直言判斷的形式從而推出結(jié)論的直接推理→改變前提的質(zhì)。肯變否，否變肯換質(zhì)法：通過改變前提的質(zhì)，從而得出結(jié)論的直接推理方法SAP→SE￣P；SEP→SA￣P；SIP→SO￣P；SOP→SI￣P→改變前提的主、謂的位置。質(zhì)相同，主謂換，前不周后不得周換位法：通過交換前提中主、謂項的位置從而推出結(jié)論的直接推理方法。SAP→PIS；SEP→PES；SIP→PIS▲O判斷不能換位間接推理：簡單判斷的推理：復(fù)合判斷的推理：三段論：由兩個包含著一個共同項的性質(zhì)判斷推出一個新的性質(zhì)判斷的推理。又稱直言三段論。S小項，M中項，P大項；有S的是小前提，有P的是大前提。三段論的公理：一類對象的全部是什么或不是什么，那么對象中的部分是什么或不是什么?！握摰囊话阋?guī)則：三個概念中周延，大項小項莫擴展。一特得特否得否，兩特兩否結(jié)論難。一個正確三段論，有且只有三個不同的項。違反，則犯“四項錯誤”。中項至少要周延一次。違反，則犯“中項兩次不周延錯誤”在前提中不周延的項，到結(jié)論中不得周延。違反，則犯“大項或小項不當周延”兩個否定前提推不出結(jié)論。如果前提有一否定，則結(jié)論否定；如果結(jié)論否定，則前提有一否定。兩個特稱前提不能推出結(jié)論。如果兩個前提中有一個是特稱的，那么，結(jié)論也是特稱的。三段論的格（由中項在前提中的不同位置所構(gòu)成的三段論的不同形式）大前提第一格MPSMS—P第二格PMSMS—P第三格MPMSS—P第四格PMMSS—P小前提結(jié)論小前提須是肯定的大前提須是全稱的前提中須有一個是否定的大前提須是全稱的小前提須是肯定的結(jié)論須是特稱的兩前提有一否定，則大前提全稱若大前提肯定，則小前提全稱如小前提肯定，則結(jié)論特稱任何一個前提都不能是特稱否定結(jié)論不能是全稱肯定A證明：1、先把某一格的圖畫出來→2、用反證法，假設(shè)對立面→3、找出不符合規(guī)則的地方→4、得出假設(shè)不成立題型：e.g.有效三段論結(jié)論為O，推導(dǎo)具體格三段論的式（前提和結(jié)論的質(zhì)、量組合形式）可能式256個，有效式24個，弱式5個第一格第二格第三格第四格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∴