邏輯學(xué)復(fù)習(xí)資料_第1頁(yè)
邏輯學(xué)復(fù)習(xí)資料_第2頁(yè)
邏輯學(xué)復(fù)習(xí)資料_第3頁(yè)
邏輯學(xué)復(fù)習(xí)資料_第4頁(yè)
邏輯學(xué)復(fù)習(xí)資料_第5頁(yè)
已閱讀5頁(yè),還剩9頁(yè)未讀, 繼續(xù)免費(fèi)閱讀

下載本文檔

版權(quán)說(shuō)明:本文檔由用戶提供并上傳,收益歸屬內(nèi)容提供方,若內(nèi)容存在侵權(quán),請(qǐng)進(jìn)行舉報(bào)或認(rèn)領(lǐng)

文檔簡(jiǎn)介

1、邏輯學(xué)屬于思維科學(xué)。邏輯學(xué)把思維的形式構(gòu)造作為特殊研究對(duì)象。思維的形式構(gòu)造,是思維內(nèi)容的存在、聯(lián)系方式,由邏輯常項(xiàng)和邏輯變項(xiàng)構(gòu)成。(思維形式構(gòu)造不體現(xiàn)具體的思維內(nèi)容,沒(méi)有真假,但用品體詞項(xiàng)或命題,代入思維形式構(gòu)造中的邏輯變項(xiàng),這種思維形式構(gòu)造就被賦予了具體內(nèi)容,就有了真假。)2、概念內(nèi)涵——概念所反映的對(duì)象的本質(zhì)屬性外延——概念所反映的對(duì)象類(lèi)集合概念——反映集合體的概念非集合概念——反映類(lèi)的概念3、概念的關(guān)系(歐拉圖)⑴、全同關(guān)系SP如果S和P的外延完全重疊,即全部的S都是P并且全部的P都是S,那么,S與P之間的關(guān)系就是全同關(guān)系。SP⑵、種屬關(guān)系P如果S的合部外延同P的部分外延相相重疊,即全部的S都是P并且有P不是S,那么S與P之間的關(guān)系就是真包含于關(guān)系。PSS⑶、屬種關(guān)系S如果S的部分外延同P的全部外延重疊,即全部的P都是S并且有S不是P,那么S與P之間的關(guān)系就是真包含關(guān)系。SPP⑷、交叉關(guān)系PSPS⑸、不相容關(guān)系如果S和P的外延沒(méi)有任何部分重疊,即全部的S都不是P,那么,S與P之間的關(guān)系就是不相容關(guān)系。PSPS﹡根據(jù)某種語(yǔ)境,不相容有一種擬定的屬概念,稱為論域。根據(jù)論域,概念的不相容,分為矛盾和對(duì)立兩種關(guān)系。①、矛盾關(guān)系:S和P不相容,且兩者外延之和等于其論域M,如圖1。②、對(duì)立關(guān)系:S和P不相容,且兩者外延之和不大于其鄰近屬概念M的外延,如圖2。AQBABMMAQBAB4、定義揭示概念的內(nèi)涵,即本質(zhì)屬性。定義的普通形式是:被定義概念=(鄰近)屬概念+種差定義的規(guī)則:第一,定義項(xiàng)的概念認(rèn)知度高于被定義項(xiàng)。違反的稱為:艱澀定義第二,被定義項(xiàng)要恰當(dāng)歸類(lèi)。第三,定義項(xiàng)和被定義項(xiàng)的外延必須是全同關(guān)系。違反的稱為:定義過(guò)寬或定義過(guò)窄第四,定義項(xiàng)中不能直接或間接地包含被定義項(xiàng)。違反的成為:循環(huán)定義第五,定義普通是必定性陳說(shuō),但并非不能使用否認(rèn)性陳說(shuō)。如,亞健康就是非病非健康狀態(tài)。5、劃分三要素:母項(xiàng)、子項(xiàng)、劃分原則劃分規(guī)則:第一,各子項(xiàng)外延之和必須等于母項(xiàng)。第二,一次劃分必須根據(jù)同一原則。第三,子項(xiàng)的外延必須為不相容關(guān)系。第四,各子項(xiàng)必須是同一層次的概念。6、限制是通過(guò)增加內(nèi)涵,縮小外延,附屬概念得到其種概念的邏輯辦法。(限制必須在有屬種關(guān)系的概念之間進(jìn)行,單獨(dú)概念不能限制。)概括是通過(guò)減少內(nèi)涵,擴(kuò)大外延,從種概念得到其屬概念的邏輯辦法。(概括必須在有種屬關(guān)系的概念之間進(jìn)行)7、復(fù)合命題(體現(xiàn)判斷的語(yǔ)句,稱為命題。命題的基本特性是有真假。)(1)聯(lián)言命題:p∧q(合?。?,并且;即使……但是;既……又;不僅……并且;不僅……也(2)相容選言命題:p∨q(析?。?,或者……或者……(3)不相容選言命題:p∨q(不相容析?。?,要么……要么……(4)充足條件假言命題:p→q(蘊(yùn)涵),如果……就;只要……就;一旦……就;若……則(5)必要條件假言命題:p←q(逆蘊(yùn)涵),只有……才;除非……才;不……就不(6)充要條件假言命題:p?q(等值于),當(dāng)且僅當(dāng)……才;如果……那么;并且只有……才對(duì)應(yīng)真值表:pqp∧qp∨qp∨qp→qp←qp?q真真真真假真真真真假假真真假真假假真假真真真假假假假假假假真真真8、負(fù)復(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?p9、命題推理的辦法(一)真值表法P55重言式:命題變項(xiàng)的任意一組賦值都是真(推理有效)矛盾式:在任意賦值下都假可真式:最少一組賦值是真的范式辦法P57先將真值形式中的“?”和“→”完全消去。用(p∧q)∨(﹁p∧﹁q)置換p?q,用﹁p∨q置換p→q第二,將“﹁”逐步內(nèi)移至命題變項(xiàng)之前,消去雙重否認(rèn)號(hào)。用﹁p∧﹁q置換﹁(p∨q),用﹁p∨﹁q置換﹁(p∧q),用p置換﹁﹁p第三,在上述環(huán)節(jié)的基礎(chǔ)上,運(yùn)用合分辨配律并加以化簡(jiǎn)就得原真值形式的析取范式;運(yùn)用析取分派律并加以化簡(jiǎn)就得原真值形式的合取范式。分派律:①(p∧(q∨r))?((p∧q)∨(p∧r))②(p∨(p∧r))?((p∨q)∧(p∨r))10、直言命題如:全部哺乳動(dòng)物是脊椎動(dòng)物。(量項(xiàng))主項(xiàng)(聯(lián)項(xiàng))謂項(xiàng)主項(xiàng)——斷定的對(duì)象(邏輯變項(xiàng))謂項(xiàng)——斷定的性質(zhì)(邏輯變項(xiàng))聯(lián)項(xiàng)——表達(dá)所做的斷定,即必定或否認(rèn)(邏輯常項(xiàng))量項(xiàng)——全稱或者特稱(邏輯常項(xiàng))直言命題的中詞項(xiàng)的周延性命題類(lèi)型主項(xiàng)謂項(xiàng)A全稱必定周延不周延E全稱否認(rèn)周延周延I特稱必定不周延不周延O特稱否認(rèn)不周延周延矛盾關(guān)系同一素材直言命題的真假關(guān)系——對(duì)當(dāng)關(guān)系矛盾關(guān)系矛盾關(guān)系A(chǔ)反對(duì)關(guān)系E矛盾關(guān)系矛盾關(guān)系:一真一假矛盾關(guān)系:一真一假反對(duì)關(guān)系:不能同真,能夠同假下反對(duì)關(guān)系:能夠同真,不能同假附屬關(guān)系:全稱真,特稱真;全稱假,特稱真假不定;特稱假,全稱假;特稱真,全稱真假不定附屬關(guān)系附屬關(guān)系附屬關(guān)系附屬關(guān)系I下反對(duì)關(guān)系O主項(xiàng)S個(gè)謂項(xiàng)P外延間的關(guān)系:SPSPPPSPSSPSSpSSpA真真真假假E假假假假真I真真真真假O假假真真真11、命題變形直接推理(P86)換質(zhì)法——必定改為否認(rèn),否認(rèn)改為必定規(guī)定:(1)結(jié)論和前提不同質(zhì);(2)結(jié)論不變化前提的量;(3)結(jié)論謂項(xiàng)和前提謂項(xiàng)是矛盾關(guān)系。構(gòu)造形式為:①SAPSE②SEPSA③SIPSO④SOPSI換位法——主項(xiàng)變謂項(xiàng),謂項(xiàng)變主項(xiàng)規(guī)定:(1)變化前提主、謂項(xiàng)的位置;(2)保持前提的質(zhì)不變;(3)前提中不周延的項(xiàng),到結(jié)論中也不得周延。構(gòu)造形式為:①SAP→PIS②SEP→PES③SIP→PIS(注意:“SOP”不能換位)(三)換質(zhì)換位法對(duì)前提既換質(zhì)又換位,從而得出結(jié)論的直接推理;它是換質(zhì)法和換位法的綜合運(yùn)用,能夠交替持續(xù)進(jìn)行。①、先換質(zhì)再換位②、先換位再換質(zhì)直言命題持續(xù)變形推理的有效:SAP→SE→ES→A→I→OPSAP→PIS→POSEP→SA→IS→OSEP→PES→PA→IP→OSIP→SOSIP→PIS→POSOP→SI→IS→OSOP不能進(jìn)行換位12、直言三段論的規(guī)則在前提仲出現(xiàn)兩次的是中項(xiàng)M結(jié)項(xiàng)主項(xiàng)——小項(xiàng)S——小前提結(jié)論謂項(xiàng)——大項(xiàng)P——大前提》》基本規(guī)則:第一,中項(xiàng)在前提中最少周延一次第二,前提中不周延的項(xiàng),在結(jié)論中不得周延第三,兩個(gè)否認(rèn)前提不能得結(jié)論第四,兩個(gè)前提中有一種否認(rèn)的,結(jié)論必然與否認(rèn)的第五,如果結(jié)論與否認(rèn)的,前提之一必與否認(rèn)的》》導(dǎo)出規(guī)則:第六,兩個(gè)特稱前提不能得出結(jié)論第七,兩個(gè)前提中有一種是特稱的,結(jié)論也是特稱的13、謂詞邏輯——自然語(yǔ)言的謂詞體現(xiàn)式(P115)大寫(xiě)字母F、G、H……表達(dá)謂詞常項(xiàng)或者謂詞變項(xiàng)小寫(xiě)字母a、b、c、d……表達(dá)個(gè)體常項(xiàng)小寫(xiě)字母w、y、z、u……表達(dá)個(gè)體變項(xiàng)表達(dá)全稱量詞,表達(dá)存在量詞xFx表達(dá)“任一x都含有性質(zhì)F”xFx表達(dá)“存在x含有性質(zhì)F”xyGxy表達(dá)“任一x和任一y含有關(guān)系G”xyGxy表達(dá)“對(duì)任一x和任一y含有關(guān)系G”xyGxy表達(dá)“存在一x,對(duì)任一y,x和y有關(guān)系G”xyGxy表達(dá)“存在x并且存在y,x和y有關(guān)系G”14、邏輯的基本規(guī)律(P140)(一)同一律:在同一思維過(guò)程中,每一思想與其本身同一。A是A規(guī)定和邏輯錯(cuò)誤:1、保持概念本身的同一。違反稱為:混淆或偷換概念2、保持論題本身的同一。違反稱為:轉(zhuǎn)移或偷換論題3、保持語(yǔ)境本身的同一。違反稱為:混淆或偷換語(yǔ)境(二)矛盾律:在同一思維過(guò)程中,兩個(gè)互相矛盾和反對(duì)的命題,不能同真。并非“A且非A”規(guī)定和邏輯錯(cuò)誤:不能同時(shí)必定兩個(gè)矛盾或者反對(duì)命題,必須否認(rèn)其中一種。違反稱為:自相矛盾(三)排中律:在同一思維過(guò)程中,矛盾命題不能同假,必有一真。A或者非A規(guī)定和邏輯錯(cuò)誤:不能同時(shí)否認(rèn)兩個(gè)矛盾命題,必須必定其中一種。違反稱為:矛盾兩不可15、模態(tài)命題的符號(hào)化□:表達(dá)“必然”模態(tài)詞;

:表達(dá)“可能”模態(tài)詞必然必定命題:它是反映事物狀況必然存在的命題。必然p,記為□P。必然否認(rèn)命題:它是反映事物狀況必然不存在的命題。必然非P,記為□?P??赡鼙囟}:它是反映事物可能存在的命題??赡躊,記為

P。(4)可能否認(rèn)命題:它是反映事物狀況可能不存在的命題??赡芊荘,記為

?P。反對(duì)□p□?p矛盾從從屬屬矛盾

P下反對(duì)

?P16、道義命題推理(P177)

(1)必須必定命題。其命題形式是:必須p。記為:Op。

(2)必須否認(rèn)命題。其命題形式是:必須非p。記為:O?p。

(3)允許必定命題。其命題形式是:允許p。記為:Pp。

(4)允許否認(rèn)命題。其命題形式是:允許非p。記為:P?p。

(5)嚴(yán)禁必定命題。其命題形式是:嚴(yán)禁p。記為:Fp。

(6)嚴(yán)禁否認(rèn)命題。其命題形式是:嚴(yán)禁非p。記為:F?p。?

在上述六種道義命題形式中,嚴(yán)禁命題與必須命題、嚴(yán)禁命題與允許命題之間存在著以下的等價(jià)關(guān)系:

Fp?O?P

F?p?Op

Fp??Pp

F?p??P?p

因此,六種基本道義命題能夠歸結(jié)為四種基本道義命題,即Op、O?p、Pp、P?p。

含有相似素材的四種基本道義命題Op、O?p、Pp、P?p之間在真假方面存在著必然的制約關(guān)系,即真假對(duì)當(dāng)關(guān)系。這種關(guān)系可用一種正方圖形來(lái)表達(dá),該圖形叫道義方陣。?

反對(duì)OpO?p矛盾從從屬屬矛盾Pp下反對(duì)P?p?

根據(jù)上述對(duì)當(dāng)關(guān)系中的矛盾關(guān)系,我們能夠得到下列直觀上成立的基本道義命題推理:?

(1)Op??P?p?

(2)O?p??Pp?

(3)Pp??O?p?

(4)P?p??Op?

根據(jù)道義方陣中的反對(duì)關(guān)系,能夠進(jìn)行下列推理:?

(5)Op→?O?p?

(6)O?p→Op

?

根據(jù)道義方陣中的下反對(duì)關(guān)系,能夠進(jìn)行下列推理:?

(7)?Pp→P?p?

(8)?P?p→Pp?

根據(jù)道義方陣中的附屬關(guān)系,能夠進(jìn)行下列推理:?

(9)Op→Pp?

(10)O?p→P?p?

(11)?Pp→?Op?

(12)?P?p→?O?p17、歸納與演繹的關(guān)系:區(qū)別:(1)思維進(jìn)程的方向不同。(2)對(duì)前提真實(shí)性的規(guī)定不同。(3)結(jié)論斷定的知識(shí)范疇不同。(4)前提和結(jié)論間的聯(lián)系程度不同。聯(lián)系:(1)演繹離不開(kāi)歸納。(2)歸納離不開(kāi)演繹。18、因果五因法:(一)求同法也叫契正當(dāng),它是指在被研究現(xiàn)象出現(xiàn)的若干場(chǎng)合中,如果只有一種狀況是這些場(chǎng)合共同含有的,那么這個(gè)惟一的共同狀況就是被研究現(xiàn)象的因素(或成果)?!井愔星笸繄D式表達(dá):場(chǎng)合先行(或后行)狀況被研究對(duì)象(1)A,B,Ca(2)A,D,Ea(3)A,F(xiàn),Ga………………A是a的因素(或成果)(二)求異法又叫差別法,它是指在被研究現(xiàn)象出現(xiàn)和不出現(xiàn)的兩個(gè)場(chǎng)合中,如果只有一種狀況不同,其它狀況完全相似,并且這個(gè)惟一不同的狀況在被研究現(xiàn)象出現(xiàn)的場(chǎng)合中存在,在被研究現(xiàn)象不出現(xiàn)的場(chǎng)合中布存在,那么這個(gè)唯一不同的狀況就是被研究現(xiàn)象的因素(或成果)?!就星螽悺繄D式表達(dá):場(chǎng)合先行(或后行)狀況被研究對(duì)象(1)A,B,Ca(2)-,B,C—A是a的因素(或成果)(三)求同求異并使用方法,也叫契合差別并使用方法。在被研究現(xiàn)象出現(xiàn)的若干場(chǎng)合(正事例組)中,如果只有一種共同的狀況,而在被研究現(xiàn)象不出現(xiàn)的若干場(chǎng)合(負(fù)事例組)中,卻沒(méi)有這個(gè)狀況,其它狀況不盡相似,那么這個(gè)惟一共同的狀況,就是被研究現(xiàn)象的因素(或成果)?!緝纱吻笸?,一次求異】圖式表達(dá):場(chǎng)合先行(或后行)狀況被研究對(duì)象(1)A,B,C,Da(2)A,C,F(xiàn),Ga(3)A,F(xiàn),D,Ea………(1)-,B,C,D-(2)-,D,E,F(xiàn)-(3)-,F(xiàn),G,D-………A是a的因素(或成果)(四)共變法是在被研究現(xiàn)象發(fā)生變化的各個(gè)場(chǎng)合中,發(fā)現(xiàn)只有一種狀況是變化著的,其它狀況保持不變,那么這個(gè)惟一變化著的狀況,就是被研究現(xiàn)象的因素(或成果)。圖式表達(dá):場(chǎng)合先行(或后行)狀況被研究對(duì)象(1)A1,B,C,Da1(2)A2,B,C,Da2(3)A3,B,C,Da3………A是a的因素(或成果)(五)剩余法是已知一復(fù)合狀況是一復(fù)合現(xiàn)象的因素(或成果),并且還懂得復(fù)合狀況的某

溫馨提示

  • 1. 本站所有資源如無(wú)特殊說(shuō)明,都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請(qǐng)下載最新的WinRAR軟件解壓。
  • 2. 本站的文檔不包含任何第三方提供的附件圖紙等,如果需要附件,請(qǐng)聯(lián)系上傳者。文件的所有權(quán)益歸上傳用戶所有。
  • 3. 本站RAR壓縮包中若帶圖紙,網(wǎng)頁(yè)內(nèi)容里面會(huì)有圖紙預(yù)覽,若沒(méi)有圖紙預(yù)覽就沒(méi)有圖紙。
  • 4. 未經(jīng)權(quán)益所有人同意不得將文件中的內(nèi)容挪作商業(yè)或盈利用途。
  • 5. 人人文庫(kù)網(wǎng)僅提供信息存儲(chǔ)空間,僅對(duì)用戶上傳內(nèi)容的表現(xiàn)方式做保護(hù)處理,對(duì)用戶上傳分享的文檔內(nèi)容本身不做任何修改或編輯,并不能對(duì)任何下載內(nèi)容負(fù)責(zé)。
  • 6. 下載文件中如有侵權(quán)或不適當(dāng)內(nèi)容,請(qǐng)與我們聯(lián)系,我們立即糾正。
  • 7. 本站不保證下載資源的準(zhǔn)確性、安全性和完整性, 同時(shí)也不承擔(dān)用戶因使用這些下載資源對(duì)自己和他人造成任何形式的傷害或損失。

評(píng)論

0/150

提交評(píng)論