Tài liệu Bài giảng: Nhập môn logic học pdf

BÀI GING NHP MÔN LOG IC H C Biên son: CN. PHM THÀNH HNG Phn 1: i tng, nhim v và ý ngha ca Logic hc Phn 1 I TNG, NHIM V VÀ Ý NGHA CA LOGIC HC Mc đích yêu cu: Trong phn này sinh viên cn nm vng nhng ni dung chính sau đây: 1. i tng, nhim v ca Logic hc. 2. Mi quan h gia Logic hc hình thc và Logic hc bin chng. 3. Thc cht ca logic hc duy tâm. 4. Quá trình phát trin ca khoa hc v Logic hc. 5. Vai trò ý ngha ca Logic hc đi vi nhn thc và các khoa hc chuyên ngành. Ni dung chính: 1. nh ngha khoa hc Logic. 1.1. i tng, mc đích và phng pháp ca khoa hc Logic. 1.1.1. Thut ng Logic. 1.1.2. T duy vi t cách là đi tng nghiên cu ca khoa hc Logic. 1.1.3. Logic hc vi t cách là khoa hc nghiên cu v t duy. 1.2. Quan h gia khoa hc Logic vi các khoa hc khác. 2. Lc s phát trin Logic hc. 2.1. Logic hình thc ca Arixtt. 2.2. Logic hc thi k Phc hng th k 16. 2.3. Logic toán và Logic bin chng th k 18 - 19. 3. Vai trò, ý ngha ca Logic hc. 3.1. Thc tin và Logic hc. 3.2. Logic hc vi vic nghiên cu khoa hc. 3 Phn 1: i tng, nhim v và ý ngha ca Logic hc 1.1. NH NGHA KHOA HC LOGIC 1.1.1. i tng, mc đích và phng pháp ca khoa hc Logic. 1.1.1.1. Thut ng Logic T nguyên: Trong ting Hy Lp có thut ng Lôgickê vi ý ngha là mt khoa hc v t duy. Thut ng này li bt ngun t mt ting Hy Lp khác là Logos - có ý ngha là “t”; “lý l”; “trí tu”; “tính qui lut-trt t”. Thut ng Lôgickê sau này đi vào ting Latinh thành Logica và tr thành ngun gc ca hàng lot các t cùng ngha trong các ngôn ng châu Âu nh:  - Nga, Logic - Anh, Logique - Pháp. T Logic ca ting Vit bt ngun t Logicque- mt t ting Pháp gc Latinh xut hin vào th k 13. Thut ng Logic hc  min Bc trc nm 1960 và min Nam trc nm 1975 còn đc gi là “lun lý hc”. - Ý ngha: Tri qua mt quá trình phát trin vi các ý ngha s dng khác nhau, đn nay t logic đc s dng vi 3 ý ngha sau đây: Th nht là dùng đ ch mi liên h tt yu có tính qui lut gia các s vt, hin tng và các quá trình ca th gii khách quan. Vi ý ngha này gi là logic khách quan. Ví d trong đi sng hàng ngày ta thng nói “Logic ca s kin”, “Logic ca s phát trin”, qui lut vòng đi sinh - lão - bnh - t, quan h t l thun khi lng ca vt vn đng vi lc quán tính ca nó. Th hai là dùng đ ch mi liên h tt yu có tính qui lut gia nhng ý ngh, t tng trong t duy, trong lp lun. Vi ý ngha này gi là Logic ch quan. Ví d: “Li nói có (không có) logic” Th ba là dùng đ ch mt môn khoa hc nghiên cu v các hình thc và qui lut ca t duy đúng đn. Ngi ta cng thng nói “Logic là khoa hc v t duy và nhng suy lun đúng đn”. S d có ý ngha th ba này là do thc t cái “Logic ch quan” có th phn ánh đúng đn hoc không đúng đn (phù hp hoc không phù hp) cái “Logic khách quan - ngha là t tng phn ánh có th phn ánh chân thc hoc xuyên tc (Vi mc đ ít hay nhiu) hin thc khách quan. 1.1.1.2. T duy vi t cách là đi tng nghiên cu ca khoa hc Logic Nhn thc là mt quá trình tri qua hai giai đon : Nhn thc cm tính và nhn thc lý tính.  giai đon cm tính, con ngi s dng các giác quan và các trung khu thn kinh tng ng ca v bán cu đi não đ phn ánh các đi tng ca hin thc, to ra nhng hình nh cm quan trc tip v đi tng đc phn ánh. Nhng hình nh nh vy gi là h thng ánh phn trc giác (tc là 4 Phn 1: i tng, nhim v và ý ngha ca Logic hc nhng ánh phn đc to thành mt cách trc tip thông qua các giác quan cm nhn v đi tng). Nó tn ti di dng các cm giác, tri giác, biu tng. Cm giác: Là ánh phn v tng mt, tng thuc tính, tng tính cht riêng l nào đó ca đi tng, đc to thành khi đi tng cùng thuc tính y tác đng trc tip lên giác quan. Tri giác: Là ánh phn tng đi hoàn chnh v đi tng nh mt chnh th, đc to ra khi đi tng tác đng trc tip lên giác quan. Tri giác ny sinh trên c s các cm giác, là s tng hp ca nhiu cm giác. Biu tng: Là hình nh ca s vt đc gi li trong trí nh khi s vt không còn  trc mt. Trong trí nh, biu tng ch gi li nhng nét ni bt nht ca s vt do cm giác và tri giác đem li trc đó. Biu tng thng hin ra khi có nhng tác nhân kích thích đn trí nh con ngi. Hình thc cao nht ca biu tng là s tng tng - chui hình nh hin ra trong trí nh. H thng ánh phn trc giác có chc nng nhn thc nht đnh, song còn hn ch, vì các ánh phn trc giác mi cho con ngi bit đc v đi tng cùng tính cht nào đó ca nó mà ta có th cm nhn trc tip bng giác quan, cng do vy ánh phn trc giác mang tính cht đn nht và trc tip, hn na chúng cha đc c đnh li bi h thng ký tín hiu - ngôn ng. Tóm li, h thng ánh phn trc giác mi ch có th là nhng hiu bit riêng ca mi cá nhân di dng tin kinh nghim, mà cha th “trao đi - giao tip” vi cng đng. Do vy, đ đáp ng yêu cu ca hot đng thc tin, nhn thc không th dng li  giai đon trc quan sinh đng, mà tip tc phát trin lên giai đon cao hn - giai đon nhn thc lý tính. Kt qu ca giai đon nhn thc lý tính là ánh phn lý tính, ánh phn lý tính khác v cht vi ánh phn trc giác, nó không còn là hiu bit di dng hình nh cm quan v đi tng trong trí nh, mà trên c s liên kt các ánh phn trc giác đt ti s nhn bit ra “cái chung” v đi tng, và đc c đnh li bi h thng ký tín hiu - ngôn ng. H thng ánh phn lý tính s tn ti khi h thn kinh trung ng trong con ngi hot đng; đc to lp thông qua hot đng thc tin; đc đnh hình và th hin ra bng phng tin ký tín hiu, phn ánh v cái chung ca s vt hin tng, có kh nng sn sinh ra tri thc mi. H thng ánh phn nh vy ta gi là t duy tru tng (gi đn gin là t duy hay t tng). Qua đó ta thy: + T duy là kt qu ca mt giai đon cao ca quá trình nhn thc, đó là giai đon nhn thc lý tính. + T duy là ánh phn có tính cht gián tip, vì nó đc hình thành thông qua các ánh phn trc giác. Do đó, s phn ánh ca t duy v đi tng cng có tính cht gián tip. + T duy là ánh phn có tính cht tru tng, vì trên c s nhng tài liu cm tính cung cp, nó sàng lc, loi b đi mt s nhng đc đim, nhng thuc tính nào đó ca đi tng, và ch gi li mt s đc đim, thuc tính nht đnh có tính khái quát, đc trng nht, c bn nht đ đ phân bit đi tng vi các đi tng cùng lp hay không cùng lp. 5 Phn 1: i tng, nhim v và ý ngha ca Logic hc T duy vi t cách là ánh phn ca th gii khách quan, nó cng có ni dung và hình thc tn ti. Ni dung ca t duy chính là nhng đc đim, thuc tính ca đi tng đc phn ánh. Hình thc ca t duy là nhng kt cu hay cu trúc ca t duy đã đnh hình vi mt ni dung xác đnh, phn ánh v đi tng  mt phm cht nht đnh. Hình thc hay cu trúc ca t duy bao gm: Khái nim, phán đoán, và suy lun. Khái nim là thành t cn bn ca t duy. Khi t duy phn ánh đi tng đt ti trình đ khái nim, là đt ti mc đ nm bt đc bn cht ca đi tng đó.Vì vy, khái nim có vai trò quan trng trong Logic hc, thm chí ngi ta có th gi “Logic hc là khoa hc v nhng khái nim”. Phán đoán là hình thc ca t duy đã đnh hình, đc xác đnh v tính chân thc hay gi di ca s phn ánh. S tn ti ca phán đoán là do s liên kt gia các khái nim đ khng đnh hay ph đnh mt cái gì đó thuc v đi tng đã đc phn ánh trong t duy ca con ngi. Suy lun là các hình thc thao tác ca t duy, mà nh đó t nhng t tng hay nhng tri thc đã bit ngi ta có th tìm ra nhng t tng hay tri thc mi v đi tng. 1.1.1.3. Logic hc vi t cách là khoa hc nghiên cu v t duy Logic hc nghiên cu v t duy, có ngha là nghiên cu v quá trình suy ngh ca con ngi, nghiên cu các b phn hp thành ca quá trình đó và các mi liên h n đnh, tt yu đc thit lp gia các b phn đó, sao cho s suy ngh ca chúng ta đt đc hiu qu chân thc và đúng đn. Nghiên cu v t duy, Logic hc có th xem xét t duy nh mt h thng ánh phn có quá trình phát sinh, hình thành phát trin. Tc là nghiên cu tính bin chng ca các hình thc ca t duy, và các qui lut chi phi s liên kt các hình thc y, ch ra bn cht vn đng ca t duy mt cách sâu sc trong quá trình phn ánh đi tng tn ti  trng thái hin thc - tc là tn ti trong trng thái chuyn hoá v cht ca chúng - s vt va là nó, li va không là nó. Phng pháp và đi tng nghiên cu nh vy thuc chuyên ngành Logic bin chng. Mt khác, Logic hc li có th nghiên cu t duy vi t cách mt h thng ánh phn đã đc đnh hình, mà không tính ti quá trình sinh thành hay phát trin ca nó. Tc là ch nghiên cu tính hình thc ca t duy, và phng thc liên kt các hình thc ca t duy trong s phn ánh đi tng tn ti  nhng phm cht xác đnh v cht, ch không tính ti quá trình chuyn hoá v cht ca đi tng. Phng pháp và đi tng nghiên cu đó thuc chuyên ngành Logic hình thc. Logic hình thc và Logic bin chng tuy có phng pháp nghiên cu và đi tng nghiên cu khác nhau, thm chí đi lp nhau, nhng Logic hình thc và Logic bin chng li có quan h hu c vi nhau, gn bó thng nht vi nhau nh hai b phn, hai trình đ, hai cp đ ca khoa hc Logic nghiên cu v t duy trong quá trình phn ánh hin thc khách quan. Trong mi quan h đó, Logic hình thc là b phn s đng, có tính c s nhng tt yu ca Logic bin chng, tng t mi quan h gia toán s cp và toán cao cp; s hc và đi s. Tính khách quan ca mi 6 Phn 1: i tng, nhim v và ý ngha ca Logic hc quan h gia Logic hình thc và Logic bin chng là do tính khách quan ca bn thân đi tng nhn thc - hin thc khách quan qui đnh. Mt mt chúng ta thy rng, các s vt ch tn ti trong s chuyn hoá v cht ca chúng, đó là bin chng ca s vt, tính bin chng đó đc phn ánh vào t duy hình thành t duy bin chng - đi tng nghiên cu ca Logic bin chng. Mt khác ta li thy là, s chuyn hoá v cht ca s vt trc ht phi đc xác đnh là chuyn hoá ca “mt cái gì đó xác đnh, ngha là chuyn hoá t “cái gì ti” cng xác đnh v cht và chuyn hoá ‘ti cái gì” cng xác đnh v cht. Chính “Cái xác đnh v cht” là hình thc ca s vt, tính hình thc đó ca s vt đc phn ánh vào trong t duy to nên t duy hình thc - đi tng nghiên cu ca Logic hình thc. S vt không có hình thc thì cng không có bin chng, hình thc là mt b phn cu thành, mt mt khâu ca bin chng. Bi vy, Logic bin chng cao hn Logic hình thc, nhng không loi tr Logic hình thc, nhng qui tc, qui lut ca Lôgích hình thc là nhng qui tc c bn mà mi t duy đúng đn phi tuân theo, là điu kin cn thit đ t duy có th phn ánh chân thc hin thc khách quan nh nó vn có. Trong quá trình nhn thc, không th vi phm các qui lut ca Logic hình thc, s vi phm đó dn đn nhng mâu thun logic làm cho t duy ri lon. Mâu thun logic (mâu thun trong t duy) là do sai lm ch quan ca con ngi trong quá trình nhn thc, không phi là s phn ánh mâu thun trong hin thc khách quan.  nhn thc đc mâu thun trong hin thc khách quan thì trc ht cn tuân theo qui lut ca Logic hình thc, loi b mâu thun logic, trên c s đó ri mi có th vn dng phng pháp t duy bin chng đ nhn thc đc cái bin chng khách quan, phát hin mâu thun trong hin thc. Nhng ni dung nghiên cu  các bài sau trong tài liu hng dn hc tp “Nhp môn Logic hc” chính là ni dung ca Logic hình thc - B phn s cp ca khoa hc Logic, nhng là cn thit đ rèn luyn và phát trin t duy bin chng. 1.1.2. Mi quan h gia Logic hc vi các khoa hc khác nghiên cu v t duy. T duy không ch là đi tng nghiên cu ca Logic hc, mà còn là đi tng nghiên cu ca nhiu ngành khoa hc khác. Nh mc 1.1.1.2. đã trình bày quan nim th nào là t duy, ta thy t duy đc hình thành trong quá trình phn ánh hin thc có liên quan ti nhiu yu t, có th hình dung mi quan h gia các yu t đó qua s đ b 5 sau đây: 1.  ch hin thc khách quan - đi tng nhn thc ca con ngi 2.  ch hot đng thc tin, s tác đng qua li gia khách th nhn thc và ch th nhn thc. Thc tin đóng vai trò là phng thc hình thành t duy. 3.  ch ch th nhn thc, có h thn kinh trung ng, b não vi t cách là c quan phn ánh, là c s vt cht cho s hình thành và tn ti ca t duy. 4.  ch h thng tín hiu - ngôn ng, hin thc trc tip ca t duy. 5.  ch h thng ánh phn lý tính - t duy (khái nim : “th thao”). 7 Phn 1: i tng, nhim v và ý ngha ca Logic hc Logic hc: Là mt “Khoa hc v t duy”, nhng là khoa hc nghiên cu t duy vi t cách là mt h thng ánh phn v th gii hin thc (yu t s 5), và các ánh phn y đc xem xét di góc đ tính chân thc hay gi di s phn ánh. Ta có th nói rng: Vn đ c bn ca khoa hc Logic là vn đ tính chân lý ca t tng, tính hp logic ca ánh phn trong s phn ánh hin thc, nói cách khác chính là vn đ phù hp gia Logic ch quan vi Logic khách quan. Nhim v mà khoa hc Logic phi tr li khi nghiên v t duy: T duy đc cu to t nhng yu t gì? Bn thân t duy, và các yu t cu thành nó đc hình thành, tn ti, bin đi và phát trin ra sao? Các yu t cu thành t duy có liên h gì qua li vi nhau? Chúng chu s chi phi ca nhng qui lut nào? Chúng hot đng nh th nào đ phn ánh th gii hin thc? .v.v… Trit hc: Nghiên cu t duy (yu t s 5) trong mi quan h vi th gii khách quan (yu t s 1) và hot thc tin (yu t s 2) di góc đ ca trit hc gii quyt vn đ c bn: T duy và tn ti cái nào có trc và quyt đnh? Thc tin có vai trò gì đi vi quá trình nhn thc nói chung và t duy nói riêng trong s phn ánh chân thc, đúng đn hin thc khách quan. Sinh lý hc thn kinh cp cao: Nghiên cu t duy trong mi quan h vi hot đng sinh lý ca v não ngi, hot đng ca các trung khu thn kinh (yu t s 3). Tc là nghiên cu nhng quá trình sinh hoá, v trí trung khu thn kinh tng ng vi quá trình hot đng khác nhau ca t duy. 1 “TH THAO” 2 4 5 TH THAO th thao SPORT sport 3 8 Phn 1: i tng, nhim v và ý ngha ca Logic hc Tâm lý hc: Nghiên cu t duy trong mi quan h vi nhng biu hin v đi sng tâm lý, trng thái tâm sinh lý ca ch th nhn thc (yu t s 3) trong nhng điu kin hoàn cnh c th ca mi ch th. Ngôn ng hc: Nghiên cu t duy trong mi quan h vi quá trình hình thành ca ngôn ng (yu t 4) đ c đnh và biu đt t duy. Vi t cách là phng tin vt cht đ đnh hình t duy. Vi t cách là khoa hc nghiên cu “Hin thc trc tip ca t duy” thì ngôn ng hc có mi quan h mt thit vi khoa hc Logic, có th biu đt mi quan h đó qua s đ sau: t duy ngôn ng ni dung, cái quyt đnh Hình thc, v vt cht khái nim khái nim c s phán đoán t c s t câu Ni dung, cái quyt đnh Hình thc, v vt cht Ni dung, cái quyt đnh Hình thc, v vt cht i tng ca logic hc i tng ca ngôn ng hc 1.2. LC S PHÁT TRIN LOGIC HC 1.2.1. Logic h c Arixtôt Nhân loi bt đu suy ngh theo nhng qui lut ca Logic t rt lâu trc khi nhng qui lut này đc khoa hc khám phá ra nó. Nhng đó ch là cái logic t phát, kinh nghim. Nói cách khác, t duy hay suy ngh ca con ngi khi đó cha tr thành đi tng ca s nhn thc khoa hc. Trong xã hi chim hu nô l, khi mà hot đng ca đi sng xã hi đã đc m rng, nhn thc khoa hc đã hình thành, quá trình tranh lun, tho lun thi k dân ch thành Aten đòi hi không th hn ch  kinh nghim t phát, mà phi nghiên cu nhng nguyên lý ca t duy chính xác, ca nhng chng minh, lp lun vi cu to ca khái nim, phán đoán… mt cách đúng đn. Logic hình thc ra đi trong điu kin hoàn cnh lch s đó, và công lao sáng lp khoa hc Logic thuc v Arixtôt. Trên c s tng kt nhng ht nhân ca các trng phái hc thut trc đó, Arixtôt đã xây dng h thng các nguyên lý, qui lut, phng pháp và phát trin tip tc c v mt lý thuyt ln thc hành. Các tác phm thuc phm vi Logic hc đc tp hp li thành b sách “Organon” - “b công c”, vi 6 tác phm: 9 Phn 1: i tng, nhim v và ý ngha ca Logic hc 1- Phm trù, thc cht là hc thuyt v khái nim, hình thc c bn ca t duy; 2 - Lý gii, trình bày hc thuyt v phán đoán, hình thc c bn ca t duy; 3 - Phân tích (I), hc thuyt v tam đon lun, hình thc c bn ca suy lun din dch; 4 - Phân tích (II), hc thuyt v chng minh, hình thc c bn ca lun chng; 5 - Thut tranh bin, hc thuyt v phép bin chng vi ý ngha là ngh thut tranh lun; 6 - Bác b ngu bin, phê phán nhng khuynh hng lm dng phép bin chng. Theo Arixtôt, c s ca t duy đúng đn (ngha là t duy đt ti chân lý khách quan), trc ht phi tuân theo các qui lut c bn: Qui lut đng nht; Qui lut cm mâu thun; Qui lut loi tr cái th ba. Thành tích sut sc ca Arixtôt là xây dng hc thuyt v tam đon lun, hình thc c bn nht ca suy lý din dch, vi nhng cu hình, cách thc và qui tc ca nó, mà Logic hc hình thc sau này ch còn là s hoàn thin đ vn dng. Arixtôt đã bao quát đc toàn b phm vi, thc cht đi tng ca Logic hc, đt nn tng cho khoa hc Logic phát trin trong nhiu th k v sau. Tuy nhiên, trong Logic hc ca Arixtôt có nhiu nhân t bin chng liên hp vi siêu hình hc. Ông chng li hc thuyt v tính mâu thun ca s vt do Hêraclít nêu ra, do đó, Logic hc ca Arixtt đã b các nhà trit hc kinh vin thi trung c li dng nh mt công c chng minh cho quan đim thn hc, Organon đã bin thành Canon (lut l). 1.2.2. Logic thi Phc Hng th k 16 K t thi Phc Hng vn hoá ca châu Âu, nhng mt tích cc, khách quan khoa hc trong Logic hc ca Arixtôt đã đc phc sinh và phát trin đ chng li thn hc, chng li ch ngha kinh vin, góp phn phát trin khoa hc thc nghim. Quá trình phc sinh và phát trin đó đc bt đu t Phrngxi Bêcn (1561-1626) và Rnê cáct (1569-1662). H đu ra sc phát trin và khc phc tính hn ch ca Logic hc ca Arixtôt (Logic qui np và din dch đu là Logic chng minh), nhng li đi lp nhau v lp trng phng pháp lun.Vi Ph.Bêcn, Ông phát trin Logic qui np làm c s cho phng pháp thc nghim khoa hc, to ra nng lc phát minh khoa hc bng con đng qui np - gi thuyt. Ngc li vi Bêcn, R.cáct li hoàn thin và phát trin Logic din dch làm c s cho phng pháp lý thuyt khoa hc, to ra nng lc phát minh khoa hc nh lc đ gi thuyt - din dch. Thc cht, hai con đng ca Ph.Bêcn và R.cáct là b sung cho nhau, ch không mâu thun loi tr nhau. Bi vì, nu nh qui np giúp ta t hiu bit cái riêng đn hiu bit cái chung, thì ngc li din dch li cho ta nng lc đi t hiu bit chung đn hiu biêt riêng. S đi lp gia hai đng li trên là do hai ông đã quá đ cao vai trò ca Logic qui np hoc Logic din dch trong ý tng xây dng “Logic phát minh” khoa hc. Thc ra, không bao gi có cái gi là Logic phát minh, nhng cng không th có nhng phát minh khoa hc bt chp mi logic. 10 Phn 1: i tng, nhim v và ý ngha ca Logic hc 1.2.3. Logic toán và Logic bin chng hin đi * Xu hng hình thc hoá và toán hoá logic: Logic din dch nói riêng và Logic hình thc nói chung có mt bc phát trin mi t sau công trình ca G. Labnít (1646 –1716). Ông đã hoàn thin h thng qui lut c bn ca Logic hình thc vi s b xung qui lut th t - Lý do đy đ. c bit là Ông ch trng xây dng ngôn ng hình thc hoá đ chính xác hoá các phát biu và quá trình lp lun, thc cht là mun ký hiu hoá và toán hc hoá các mô hình lp lun logic. Trên c s nhng ý tng ký hiu hoá và toán hc hoá logic đc đt ra t Labnít, thành tu toán hc hoá Logic hình thc thc s bt đu t công trình ca G. Bun (1815 - 1864), đó là công trình xây dng “Phép tính logic” mà Ông gi là “i s logic”. n gin nht là “Phép tính logic mnh đ”. Các quan h logic nh đng nht, hi, tuyn, kéo theo… đc mô hình hoá tng đng vi các phép tính đi s nh đng thc, phép nhân, phép cng… nh các thao tác logic chuyn hoá thành các phép toán logic. Ngành Logic toán, ra đi phát trin gn vi nhiu nhà Logic ln nh E.Srôđer, G.Phrêghe, D.Moócgan, D.Hinbe, B.Ratxen… B môn Logic toán hc đc xây dng trên c s logic mnh đ và Logic v t. Phép tính mnh đ thc cht là logic phán đoán; còn logic v t thc cht là logic khái nim. Thành tu rc r nht là h toán logic suy din; Còn h toán logic qui np thì thành tu có khiêm tn hn, do mc đ hình thc hoá và toán hc hoá b hn ch hn. Logic toán là mt thành tu to ln trong s phát trin ca khoa hc Logic. Nó khc phc tính không chính xác, không rõ ràng trong ngôn ng, đc bit nó không tho mãn vi h logic lng tr ( úng - Sai), mà vn ti h đa tr “hn hay kém”- “gn đúng hay gn sai”… Nh đó mà nhng suy lý logic đc m rng hn và đy đ hn v nhng kt lun logic. Cng chính nh có quá trình hình thc toán hoá logic mà Logic hình thc phát trin ngày mt li xích gn Logic bin chng. * Logic bin chng Khi đu cho trào lu xây dng Logic bin chng nh mt b môn đc lp là Cant (1724 - 1804), ông là ngi đu tiên phê phán mt cách mnh m s hn ch v nguyên tc ca Logic hình thc - mà theo ông là Logic kinh nghim; Và ông đt vn đ xây dng, khc phc hn ch đó bng mt logic khác mà ông gi là “Logic tiên nghim”. Thc cht “Logic tiên nghim” ca Cant là Logic bin chng, vì nó da trên c s ca nguyên lý mâu thun, mà theo cách din đt ca Cant, đó là nhng nghch lý (ngtinômi), hay vn đ tng quan và tng tác gia chính đ và phn đ, nh hai mt mâu thun nan gii. n Hêghen (1770 - 1831), công trình nn tng v Logic bin chng mi thc s đc phát hin. Trong “Khoa hc logic” ca ông, ta tìm thy h thng nguyên lý, qui lut, phm trù. H thng lc đ thao tác Logic bin chng khác hn vi Logic hình thc. Ta có th so sánh hai b môn Logic hình thc và Logic bin chng v các nguyên lý, qui lut c bn mà chúng nghiên cu qua bng sau. 11 [...]... gi a Logic h c v i các khoa h c khác cùng nghiên c u t duy? Câu 2: Hãy l a ch n, ánh giá các câu sau: a it ng c a Logic h c là t duy b it ng c a Logic h c là c c u logic c a t duy c it ng c a Logic h c là các hình th c và qui lu t c a t duy Câu 3: Logic h c hình th c và Logic h c bi n ch ng khác nhau nh th nào? Câu 4: Hãy l a ch n, ánh giá các câu sau: a Logic hình th c nghiên c u t duy nh hình b Logic. ..Ph n 1: it ng, nhi m v và ý ngh a c a Logic h c C s logic h c Logic hình th c Logic bi n ch ng 1.Nguyên lý logic 1.1 Cô l p 1.1 Liên h 1.2 B t bi n 1.2 Bi n hoá 2.1 2.1 L 2 Qui lu t logic c b n ng nh t ng i d n t i ch t 2.2 Phi mâu thu n 2.3 Ph c l i 2.2 Mâu thu n bi n ch ng 2.3 Bài trung i và ng nh bi n ch ng Trên c s nh ng nguyên lý và qui lu t c b n c a Logic bi n ch ng, Hêghen ã xây d ng các... con ng i trong khi ph n ánh gi i hi n th c Qui lu t logic nào chi ph i toàn b quá trình t duy c g i là qui lu t logic c b n, còn qui lu t logic nào ch chi ph i m t l nh v c, m t b ph n c a quá trình t duy d c g i là các qui lu t logic không c b n Nh m c 1.1.1.3 ph n m t ã nói, Logic h c có hai chuyên ngành, ó là Logic bi n ch ng và Logic hình th c Logic hình th c khi xem xét t duy, nó không xem xét,... lu t c môn Logic bi n ch ng Tuy nhiên Logic h c c a h cho r ng: Logic c a t duy, c a khái ni m ho c i kinh nghi m và th gi i bên ngoài (Cant ), ho c c l p, và là ngu n g c là c s c a s phát tri n Các nhà kinh i n c a ch ngh a Mác ã có công kh c ph c nh ng h n ch l ch s c a Logic bi n ch ng duy tâm, C.Mác và P nghen ã c i t o, hoàn thi n phát tri n Logic bi n ch ng v i t cách khoa h c hi n i v logic, ... a Logic hình th c ng c a Logic bi n ch ng Câu 5: Hãy phân bi t t duy hình th c và t duy bi n ch ng Hai ph i l p nhau tuy t i hay không? Câu 6: Logic h c có quan h nh th nào v i ngôn ng ? Câu 7: Sai l m c a Logic h c duy tâm là gì? Câu 8: Logic h c có quá trình l ch s phát tri n nh th nào? Câu 9: Ý ngh a c a Logic h c 14 nh i v i ho t ng nh n th c và th c ti n ng th c t duy này Ph n 2: Các qui lu t logic. .. không bi t gì v Logic h c, mà v n có th t duy m t cách logic Nh ng ng i h c logic nh ng không g n li n v i i s ng th c ti n thì nh ng ki n th c logic ó c ng không d dàng tr thành công c c a ng i ó c Tóm l i, th c ti n làm n y sinh khoa h c logic, và Logic h c v i t cách là khoa h c nghiên c u t duy l i t o i u ki n ch ng cho t duy phát tri n ph n ánh hi n th c ngày m t t t h n 1.3.2 Logic h c v i vi... Vi c nghiên c u Logic h c giúp con ng i tìm ki m con ng ng n nh t, úng n và hi u qu nh t, tránh c nh ng sai l m logic Tóm l i, vi c n m v ng các qui lu t logic cùng các hình th c t duy logic có m t v trí quan tr ng trong cu c s ng hàng ngày, trong ho t ng th c ti n nh n th c chân lý và c i t o th gi i 13 Ph n 1: it ng, nhi m v và ý ngh a c a Logic h c CÂU H I ÔN T P Câu 1: i t ng c a Logic h c là gì?... c thông qua th c ti n C c u logic y, vì v y, không tách r i hay ng trên n i dung ph n ánh c a t t ng, mà nó là m t b ph n h u c làm nên t t ng Do ó, c u t o logic c ng góp ph n qui nh tính chân th c hay gi d i c a n i dung t tu ng trong vi c ph n ánh i t ng 16 Ph n 2: Các qui lu t logic c b n c a t duy hình th c Nhi m v c a Logic hình th c là nghiên c u, tìm ra các c c u logic khác nhau c a t t ng,... khách quan Trong Logic hình th c, có b n qui lu t c b n ó là lu t ng nh t, lu t c m mâu thu n, lu t lý do y Ngoài ra Logic hình th c còn có r t nhi u các qui lu t logic không c b n khác , ó là các qui t c, các công th c… chi ph i m t b ph n này hay m t b ph n khác c a các hình th c c b n c a t duy 2.1.2 c i m chung c a các qui lu t logic c a t duy hình th c Nh ng qui lu t c a t duy mà Logic hình th c... c hi n ch c n ng ph ng pháp (công c ) h u hi u c a t duy trong ho t ng nh n th c và th c ti n Logic bi n ch ng Mác xít là thành t u hi n i c a Logic bi n ch ng, nó c nhi u nhà khoa h c Xô Vi t ti p thu phát tri n nh B.M.Kê r p, P.V.K pnin, M.Rôdentan… 1.3 VAI TRÒ VÀ Ý NGH A C A LOGIC H C 1.3.1 Th c ti n và Logic h c Th c ti n là ph ng th c t n t i c a con ng i, là ho t ng mang tính loài c tr ng c a . cu  các bài sau trong tài liu hng dn hc tp “Nhp môn Logic hc” chính là ni dung ca Logic hình thc - B phn s cp ca khoa hc Logic, nhng. B.Ratxen… B môn Logic toán hc đc xây dng trên c s logic mnh đ và Logic v t. Phép tính mnh đ thc cht là logic phán đoán; còn logic v t