Kỹ năng tư duy có logic
1 TRNG I HC AN GIANG D ÁN P.H.E K NNG T DUY CÓ LOGIC (Tài li!u ph%c v% chuyên +, rèn luy!n k0 n1ng s4ng cho sinh viên thi!t thòi tr89ng HAG) Biên son: TS. Võ Vn Thng Tháng 01/ 2007 2 LI NÓI ;U Trong quá trình tn ti c a mình, con ng$%i luôn khát v*ng hi+u bi-t v. t/ nhiên và xã h3i. Do v5y, nh5n th7c hi8n th/c khách quan là m3t nhu c9u t:t y-u c a con ng$%i. Nh$ng làm th- nào con ng$%i có th+ nh5n th7c =úng =n hi8n th/c khách quan, tìm ra chân lý và hành =3ng có hi8u quA tBt? Nh5n th7c =úng là =i.u ki8n c9n giúp con ng$%i hành =3ng =úng, =t =$Ec hi8u quA mong muBn. Ng$Ec li, nh5n th7c sai, không nm bt =$Ec bAn ch:t và quy lu5t c a hi8n th/c khách quan thì con ng$%i sF hành =3ng phiêu l$u, mo hi+m, dH =i =-n th:t bi. Nh5n th7c =úng =n, t$ duy chính xác, l5p lu5n chJt chF, mch lc, có s7c thuy-t phKc là nhLng n3i dung quan tr*ng mà khoa h*c Logic h*c mang li cho con ng$%i. VNi ý nghOa =ó, chúng tôi biên son tài li8u này vNi mong mPi giúp các anh chQ sinh viên có =$Ec nhLng phRm ch:t c9n thi-t nh$ =ã nói trên. Chúc anh chQ sinh viên thành công. Tác giA TS. VÕ VN TH?NG 3 MAC LAC Ch8Bng I: DI TENG VÀ Ý NGHHA CIA LOGIC HC 4 I. LOGIC HXC VÀ Z[I T\]NG NÓ 4 II. LOGIC VÀ NGÔN NGa 6 III. Ý NGHdA CfA VIgC HXC ThP, NGHIÊN CkU LOGIC HXC 8 Ch8Bng I: NHKNG QUY LUMT CN BPN CIA LOGIC HC HÌNH THRC 9 I. ZnC ZIoM CfA QUY LUhT LOGIC 9 II. NHaNG QUI LUhT CfA LOGIC HÌNH THkC 10 Ch8Bng III: KHÁI NITM 16 I. KHÁI NIgM LÀ GÌ? 16 II. KHÁI NIgM VÀ Tw 16 III. CxU TRÚC CfA KHÁI NIgM 17 IV. QUAN Hg GIaA CÁC KHÁI NIgM 18 V. Z{NH NGHdA KHÁI NIgM 21 Ch8Bng IV: PHÁN OÁN 27 I. ZnC TR\NG CHUNG CfA PHÁN ZOÁN 28 II. PHÁN ZOÁN Z|N 28 IV. PHÁN ZOÁN PHkC VÀ CÁC PHÉP LOGIC 37 Ch8Bng V: SUY LUMN 49 I. KHÁI NIgM CHUNG V• SUY LUhN 49 II. SUY LUhN H]P LOGIC: 50 III. SUY LUhN NGHE CÓ LÝ 66 TÀI LITU THAM KHPO 68 4 Ch8Bng I DI TENG VÀ Ý NGHHA CIA LOGIC HC I. LOGIC HC VÀ DI TENG NÓ 1. LOGIC HC LÀ GÌ? Thu5t ngL “Logique” bt ngun t… chL ((((( (LOGOS) trong ti-ng Hy- Lp. T… này có nhi.u nghOa: t…, t$ t$‰ng, trí tu8, l%i nói, lý lF, ý nghOa, quy lu5t, T… LOGOS xu:t hi8n =9u tiên trong tác phRm tri-t h*c c a Heraclite (khoAng 544 – 483 trCN) vNi nghOa là “quy lu5t c a th- giNi”. T… lâu, thu5t ngL “logic” ra =%i vNi ý nghOa là bi+u thQ t5p hEp các quy lu5t mà quá trình t$ duy c a con ng$%i phAi tuân theo nh‹m phAn ánh =úng =n hi8n th/c khách quan. Nh$ng =+ chŒ tính quy lu5t c a hi8n th/c khách quan, ng$%i ta hay dùng các khái ni8m “logic c a s/ v5t”, “logic c a các s/ ki8n”, “logic c a s/ phát tri+n xã h3i” Zó chính là logic khách quan. ChŽng hn, trong xã h3i, gn li.n vNi giai c:p là nhà n$Nc. Zây là mBi liên h8 t:t y-u, •n =Qnh mà con ng$%i không th+ xoá bP theo ý ch quan. Ngoài ra, ng$%i ta còn dùng khái ni8m “logic ch quan” =+ chŒ mBi liên h8 c a các y-u tB c:u thành t$ duy tr…u t$Eng. Theo quan =i+m c a ch nghOa duy v5t bi8n ch7ng, logic ch quan là s/ phAn ánh logic khách quan. ChŽng hn, khi th:y khói xu:t hi8n thì con ng$%i d/ =oán r‹ng =ã có l‘a. B‰i vì, con ng$%i t$ duy r‹ng, n-u không có l‘a thì sao có khói. Trong cu3c sBng h‹ng ngày, chúng ta th$%ng nói: "Anh A nói chuy8n vô lý, không logic"; "chQ B nói có lý, suy lu5n hEp lý" T… "có lý", "hEp lý " ‰ =ây =$Ec hi+u theo nghOa là ý t$‰ng rành mch, chJt chF, không mâu thu”n, hEp vNi lF phAi, vNi s/ th5t. Logic h*c chính là môn h*c dy ta nhLng quy tc suy lu5n hEp lý, t$ duy chính xác, chJt chF và không mâu thu”n. T… th%i c• =i Hy-Lp, con ng$%i =ã hình thành m3t “khoa h*c v. t$ duy”. Và ng$%i ta =ã dùng thu5t ngL (((((( (logiké) =+ chŒ khái ni8m này. Thu5t ngL (((((( =i vào ti-ng La tinh =$Ec vi-t là logica. Các t… logika dùng ‰ Nga, Ba Lan, logic ‰ Anh, logique ‰ Pháp, logik ‰ Z7c =.u có ngun gBc t… logica. – Vi8t Nam, t… lôgích xu:t hi8n vào th- k— XIII, =$Ec dQch t… chL logique trong ti-ng Pháp. VNi ý nghOa =ó, logic h*c =ã ra =%i t… th%i c• =i, gn li.n vNi tên tu•i c a hi.n tri-t Aristote (384 – 322 trCN) c a =:t n$Nc Hy-Lp. Trong tác phRm ORGANON, Aristote cho r‹ng, logic h*c nh$ là công cK giúp chúng ta t$ duy =úng =n, mch lc. – =ây, Aristote =ã có ý nói =-n logic h*c hình th7c =+ chŒ môn h*c nghiên c7u v. nhLng hình th7c t$ duy (thu9n tuý), b:t lu5n n3i dung c a 5 t$ t$‰ng (t$ duy) là gì, t… =ó có th+ rút ra nhLng quy tc mà t$ t$‰ng phAi tuân theo =+ tránh mâu thu”n, phù hEp vNi hi8n th/c khách quan. Aristote =$a ra m3t ví dK r:t n•i ti-ng: M*i ng$%i =.u phAi ch-t. Mà Socrate là ng$%i. V5y, Socrate phAi ch-t. Suy lu5n này có cùng c:u trúc vNi suy lu5n: M*i kim loi =.u d”n =i8n. Mà =ng là kim loi. V5y, =ng d”n =i8n. CA hai suy lu5n này =.u có dng t•ng quát: M*i M là P M*i S là M. M*i S là P Ta th:y, hai suy lu5n nói trên mang hai n3i dung khác nhau, nh$ng chúng =.u có m3t c:u to chung, giBng nhau theo hình th7c tam =on lu5n. Nh$ v5y, l9n =9u tiên trong lQch s‘, logic h*c hình th7c =$Ec xem nh$ là m3t khoa h*c v. t$ duy. Nh$ng khác vNi các khoa h*c khác, logic h*c là khoa h*c nghiên c7u nhLng quy lu5t và hình th7c c a t$ duy nh‹m h$Nng nh5n th7c con ng$%i =t =$Ec chân lý. André La Lande, giáo s$ tri-t h*c =i h*c Sorbonne (Pháp) cho r‹ng, logic h*c là khoa h*c có mKc =ích, xác =Qnh trong nhLng =3ng tác trí tu8 =+ ti-n tNi vi8c nh5n th7c chân lý, nhLng =3ng tác nào có giá trQ và nhLng =3ng tác nào không có giá trQ. Theo nghOa =ó, logic h*c v…a là khoa h*c v…a là ngh8 thu5t. Zây c™ng chính là quan ni8m c• =i+n c a phái PORT ROYAL ‰ th- k— XVII: “Logic h*c là ngh8 thu5t t$ t$‰ng, nghOa là m3t khoa h*c quy tc dy ta cách suy nghO trong khi =i tìm chân lý”. Còn tri-t gia ng$%i Z7c Wilhelm WUNDT cho r‹ng, khoa h*c quy tc dy ta ph$›ng ti8n và c7u cánh. VNi nhLng quan ni8m nh$ v5y, logic h*c hình th7c =ã tn ti suBt 20 th- k—, tuy nó =$Ec b• sung, nh$ng không thay =•i gì lNn. Do v5y, ng$%i ta g*i =ây là "LOGIC TRUYN THNG". 6 Hi8n nay, ‰ ph$›ng Zông c™ng nh$ ‰ ph$›ng Tây, =ã có r:t nhi.u quan =i+m khác nhau v. logic h*c. Tuy v5y, nhi.u ng$%i thBng nh:t vNi =Qnh nghOa: Logic hc là khoa hc v nhng quy lut và hình thc cu to ca t duy chính xác. 2. DI TENG CIA LOGIC HÌNH THRC: T$ duy không phAi chŒ là =Bi t$Eng nghiên c7u c a logic h*c mà là c a nhi.u ngành khoa h*c: tâm lý h*c, ngôn ngL h*c, tri-t h*c, toán h*c, sinh lý h*c th9n kinh cao c:p Mœi ngành khoa h*c nghiên c7u t$ duy ‰ góc =3 khác nhau. Tâm lý h*c nghiên c7u t$ duy ‰ góc =3 hot =3ng tâm lý c a nó; ngôn ngL h*c nghiên c7u t$ duy ‰ góc =3 quan h8; tri-t h*c nghiên c7u t$ duy trong quan h8 vNi tn ti. Còn logic h*c hình th7c nghiên c7u nhLng quy lu5t và hình th7c c:u to c a t$ duy chính xác. Do v5y, !"i t#ng ca logic hc hình thc chính là nh ng quy lut và hình thc ca t duy chính xác. NhLng quy lu5t c a Logic h*c Hình th7c là: quy lu5t =ng nh:t, quy lu5t c:m mâu thu”n, quy lu5t tri8t tam, quy lu5t túc lý. NhLng hình th7c logic c a t$ duy chính xác là: khái ni8m, phán =oán, suy lu5n, ch7ng minh… II. LOGIC VÀ NGÔN NGK GiLa logic và ngôn ngL có nhLng =i+m chung: - Th7 nh:t, ngôn ngL và logic =.u có h8 thBng ký hi8u. Ký hi8u logic là kí hi8u nhân to và hình th7c. Do v5y, nó gm nhLng ký hi8u thu9n nh:t, =›n trQ và b:t bi-n. Ký hi8u ngôn ngL là nhLng ký hi8u t/ nhiên. Do v5y, nó không thu9n nh:t, không b:t bi-n. (Xem Nguy_n `c Dân, Logic Ticng Vi!t, Nxb. Giáo d%c, tp. HCM, 1996, tr.16) - Th7 hai, logic và ngôn ngL =.u có nhLng y-u tB, =›n vQ c› bAn chung. Các =›n vQ c› bAn c a logic h*c hình th7c là khái ni8m, phán =oán, suy lu5n. T$›ng 7ng vNi các =›n vQ c› bAn này c a ngôn ngL là t…, câu, chuœi câu. 7 - Th7 ba, n-u nh$ logic có các tác t‘ logic hay còn g*i là liên t… logic thì trong ngôn ngL, các liên t… này c™ng có ch7c nng t$›ng t/. Tuy v5y, do nh5n th7c c a con ng$%i là m3t quá trình bi8n ch7ng. Quá trình này mœi ngày m3t ti-n g9n =-n chân lý tuy8t =Bi h›n. MJt khác, ngôn ngL c™ng luôn luôn phát tri+n. Cái chuRn ngày hôm nay có th+ hình thành t… nhLng cái phi chuRn ngày hôm qua. S‰ dO có hi8n t$Eng =ó là vì bAn thân ngôn ngL nó chQu tác =3ng c a nhi.u y-u tB: không gian, th%i gian, s/ phát tri+n c a t$ duy, c a xã h3i Chính vì v5y, bên cnh nhLng =i+m chung, giLa logic và ngôn ngL t/ nhiên có nhi.u =i+m khác nhau. - Th7 nh:t, ngôn ngL phong phú h›n logic. - Th7 hai, tuy khái ni8m và phán =oán là =›n vQ c› bAn c a logic và t$›ng 7ng vNi nó là t… và câu trong ngôn ngL, nh$ng không phAi chúng hoàn toàn thBng nh:t vNi nhau. ChŽng hn, có khái ni8m =$Ec th+ hi8n b‰i m3t t… nh$ng có khái ni8m th+ hi8n b‹ng cKm t… (có nhLng t… - h$ t… - không bi+u hi8n khái ni8m nào cA). Phán =oán =$Ec th+ hi8n b‹ng câu, nh$ng không phAi câu nào c™ng là phán =oán, =ó là câu cAm thán, câu hPi, câu m8nh l8nh. - Th7 ba, nhLng quy lu5t, quy tc trong logic =$Ec khái quát t… quy lu5t và hình th7c t$ duy chính xác, cho nên, nó mang tính ph• bi-n và không thay =•i. Còn nhLng quy lu5t, quy tc c a ngôn ngL, nó không chŒ tính =-n nhLng y-u tB =ó mà còn phK thu3c vào n3i dung, =i.u ki8n lQch s‘, nét =Jc thù c a t…ng ngôn ngL. Sau =ây là m3t vài ví dK v. hi8n t$Eng khác nhau này. + Trong logic có quan h8 suy diHn giLa m3t hay m3t sB phán =oán khác. Trong ti-ng Vi8t c™ng có quan h8 này, tuy v5y, có nhLng suy diHn trong logic không th+ áp dKng vào ngôn ngL t/ nhiên. + Hay trong logic có quan h8 so sánh: a b‹ng b, b b‹ng a, ta k-t lu5n a và b b‹ng nhau. Nh$ng trong ngôn ngL hàng ngày, không phAi lúc nào t… “nhau” c™ng =$Ec hi+u nh$ v5y. + Có nhLng phép suy diHn có th+ áp dKng =$Ec cho cA logic l”n ngôn ngL. 8 + Nh$ng c™ng có nhLng suy diHn chŒ th:y trong ngôn ngL, không áp dKng trong logic. S‰ dO ng$%i ta suy diHn =$Ec nh$ v5y là do d/a vào 02 t…: "li" và "=âm". Ng$%i ta g*i =ây là ti.n giA =Qnh. + Trong ngôn ngL, có hình th7c suy lu5n suy ý. Suy ý th$%ng =$Ec áp dKng trong =%i sBng hàng ngày, do v5y, nó mang tính ph• quát, ph• bi-n trong m*i ngôn ngL t/ nhiên. Tuy v5y, suy ý là m3t hình th7c suy lu5n g9n =úng, phK thu3c nhi.u vào ngôn cAnh, nó th$%ng không chJt chF nh$ nhLng quy tc suy lý trong logic. Ngoài =Jc =i+m chung c a m*i ngôn ngL t/ nhiên, ti-ng Vi8t còn có logic =Jc thù c a nó. Vi8c giAi thích, phân tích các hi8n t$Eng ngôn ngL trong m3t sB tr$%ng hEp là r:t khó khn, ph7c tp, th5m chí có tr$%ng hEp không th+ phân tích, giAi thích. Sau =ây là m3t vài ví dK =i+n hình. Trong ngL pháp, có nhLng câu mang hình th7c nghi v:n nh$ng ch7a =/ng n3i dung khŽng =Qnh hoJc r:t nhi.u hi8n t$Eng khác nLa. III. Ý NGHHA CIA VITC HC TMP, NGHIÊN CRU LOGIC HC. Trong cu3c sBng h‹ng ngày, ng$%i ta có th+ nói =úng, vi-t =úng, l5p lu5n chJt chF, thuy-t phKc mà ch$a h. h*c t5p, nghiên c7u ngL pháp, logic h*c. Zi.u =ó không có nghOa là ng$%i ta không c9n h*c ngL pháp, logic h*c. B‰i vì, logic h*c là môn khoa h*c giúp con ng$%i v5n dKng m3t cách t/ giác nhLng hình th7c và quy tc t$ duy =úng =n. Nói cách khác, logic h*c giúp con ng$%i t$ duy m3t cách t/ giác, tránh nhLng ki+u suy nghO t/ phát, không chính xác. Và nh$ v5y, nó giúp con ng$%i phát hi8n =$Ec nhLng sai l9m trong quá trình t$ duy c a bAn thân mình và c a ng$%i khác. Có th+ nói, l5p lu5n chJt chF, chính xác, có s7c thuy-t phKc, =ó là phRm ch:t, là giá trQ lNn lao trong m*i kŸ lOnh v/c hot =3ng khoa h*c và hot =3ng th/c tiHn nào.Sa u =ây là m3t vài ví dK v. nhLng suy lu5n mà n-u không nm vLng quy tc suy lu5n thì chúng ta sF không phát hi8n =$Ec sai l9m c a nó. Logic h*c còn giúp chúng ta s‘ dKng chính xác h8 thBng ngôn ngL. 9 Zi.u này là r:t c9n thi-t cho m*i =Bi t$Eng, =Jc bi8t là nhLng ng$%i nghiên c7u khoa h*c, nghiên c7u, son thAo vn bAn pháp lu5t Hi8n nay, không chŒ trong =%i sBng hàng ngày mà còn ngay cA trên báo chí, =ài phát thanh - truy.n hình, công vn c a các c› quan còn có r:t nhi.u sai sót, không chính xác khi s‘ dKng t…. ChŽng hn, chúng ta hay nói: t:t cA mi ngi, =. c5p n, bách hoá t ng h"p, sau c›n bão i qua, nhà tri-t gia, bi(n ZQa Trung HAi, chùa Long Hoa T/, Ch8Bng II CÁC QUI LUMT CN BPN CIA LOGIC HC HÌNH THRC I. iC IjM CIA QUY LUMT LOGIC 1. Khái ni!m v, quy lult logic hình th`c Trong hi8n th/c, quy lu5t là mBi liên h8 bAn ch:t, t:t nhiên, ph• bi-n và lJp li giLa các s/ v5t, hi8n t$Eng, giLa các y-u tB, các thu3c tính c a các s/ v5t hay c a cùng m3t s/ v5t. Có nhi.u loi quy lu5t. TuŸ theo phm vi tác =3ng, ng$%i ta chia ra thành: - Quy lu5t riêng: chŒ tác =3ng trong lOnh v/c nào =ó và =$Ec m3t khoa h*c chuyên ngành nghiên c7u. - Quy lu5t chung: tác =3ng trong phm vi r3ng lNn h›n và =$Ec m3t sB b3 môn khoa h*c chuyên ngành nghiên c7u; - Quy lu5t ph• bi-n: tác =3ng trong cA t/ nhiên, xã h3i l”n t$ duy con ng$%i. TuŸ theo tính ch:t =›n trQ hay =a trQ ng$%i ta chia quy lu5t thành: - Quy lu5t =3ng l/c: là quy lu5t mà 7ng vNi m3t nguyên nhân chŒ có m3t k-t quA xác =Qnh; - Quy lu5t thBng kê: 7ng vNi m3t nguyên nhân, k-t quA có th+ nh$ th- này c™ng nh$ th- khác. Ngoài ra, chúng ta còn chia thành: - Quy lu5t c a t/ nhiên, c a xã h3i và c a t$ duy; - Quy lu5t hot =3ng và quy lu5t phát tri+n c a s/ v5t; 10 - Quy lu5t c a th- giNi bên ngoài và các quy lu5t c a khoa h*c,… Quy lu5t c a logic h*c là quy lu5t c a t$ duy, nó là m,i liên h. n/i t0i c2a các khái ni.m, ph0m trù, phán oán, nh ó trong t t7ng c2a con ngi hình thành tri th9c v; s< v=t. 2. nc +iom cpa qui lult logic hình th`c 2.1. Tính khách quan: S/ v5t, hi8n t$Eng tn ti theo quy lu5t khách quan, do v5y, qui lu5t c a t$ duy không th+ không tuân theo qui lu5t =ó. Nói cách khác, các hình th7c t$ duy và các qui lu5t logic không phAi là cái “vP trBng rœng” mà là s/ phAn ánh th- giNi khách quan. Nh$ v5y, các qui lu5t c a t$ duy c™ng nh$ quy lu5t c a t/ nhiên không phAi do con ng$%i t/ ý to ra mà chính là s/ phAn ánh mBi liên h8 t:t nhiên c a th- giNi khách quan vào trong óc con ng$%i. Chính nhLng mBi liên h8 =ó =$Ec lJp =i lJp li nhi.u l9n =ã tác =3ng vào con ng$%i, thông qua =ó con ng$%i hình thành nên nhLng hình t$Eng logic. Nói nh$ V.I. Lénine: “Th/c tiHn c a con ng$%i lJp =i lJp li hàng nghìn l9n =$Ec in vào ý th7c c a con ng$%i b‹ng nhLng hình t$Eng logic. NhLng hình t$Eng này có tính vLng chc c a m3t thiên ki-n, có tính ch:t công lý, chính vì (và chŒ vì) s/ lJp li hàng nghìn tri8u l9n :y” (V.I.Lénine, Toàn t5p, T5p 29, Nxb Ti-n b3 Matxc›va, 1981, tr. 191) 2.2. Tính phs bicn: Tính ph• bi-n c a quy lu5t logic th+ hi8n ‰ s/ chi phBi c a các qui lu5t =-n quá trình t$ duy c a con ng$%i. Z+ =t =$Ec chân lý, m*i ng$%i phAi tuân th các qui lu5t c a logic h*c hình th7c và các hình th7c c a t$ duy. NhLng qui lu5t này =úng vNi m*i ng$%i, không phân bi8t dân t3c nào hay giai c:p nào, cho dù có s/ khác nhau v. ngôn ngL. Có th+ nói, các quy lu5t c a logic hình th7c tác =3ng vào m*i quá trình t$ duy c a con ng$%i =ng th%i nó =Am bAo cho quá trình t$ duy =ó diHn ra m3t cách =úng =n: không mâu thu”n logic, không =7t =on, xác =Qnh và phAi có c› s‰ vLng chc. II. NHKNG QUI LUMT CIA LOGIC HÌNH THRC 1. Qui lult +tng nhut (Law of identity) [...]... chúng chŒ có m3t ph9n trùng nhau Xét hai khái ni8m: S: “Nh c sO” có ngo i diên S 19 P: “Ho sO” có ngo i diên P Ta có các phán =oán =úng sau: - M3t sB nh c sO là ho sO (ph9n giao) - Có nhLng nh c sO không là ho sO - Có nhLng ho sO không là nh c sO Nh$ v5y, S và P có m3t sB ph9n t‘ giao nhau, nh$ng cA S l”n P =.u không là t5p con th/c s/ c a nhau Ta nói, hai khái ni8m "nh c sO" và "ho sO" có quan h8... giao nhau Có th+ bi+u diHn b‹ng s› = Euler – Venn: S P 4 Quan h! tách r9i Quan h8 tách r%i là quan h8 giLa các khái ni8m mà ngo i diên c a chúng không có ph9n nào trùng nhau Ví dK: Xét hai khái ni8m: S: “Nhi = ng” có ngo i diên S P: “GiAng viên = i h*c” có ngo i diên P Ta có phán =oán: “Không có nhi = ng nào là giAng viên = i h*c và không có giAng viên = i h*c nào là nhi = ng” Ta nói, S và P có quan... Mœi khái ni8m =.u có hai mJt: n3i hàm và ngo i diên 1 Nxi hàm (Compréhension) N9i hàm c a khái ni)m là t p h#p t t c( các d u hi)u chung c a l;p !"i t #ng ! #c ph(n ánh trong khái ni)m Ví dK : Khái ni8m "con ng$%i" nói chung sF có n3i hàm: a - Là =3ng v5t có x$›ng sBng, có vú; b - Bi-t ch- t o công cK lao =3ng và s‘ dKng công cK lao =3ng; c - Có mBi quan h8 xã h3i; d - Có ngôn ngL; e - Có ý th7c NhLng... =.u 32 P+: Tam giác có ba c nh b‹ng nhau 3.3.2 Phán +oán php +}nh chung (SeP) M*i S không là P M*i ph9n t‘ thu3c S =.u không thu3c P Tr$%ng hEp này chŒ có m3t khA n ng xAy ra Ví dK: M*i k¡ n bám =.u không có ích S S+: K¡ n bám P P+: Không có ích 3.3.3 Phán +oán khšng +}nh chung (SiP) M3t sB S là P Có m3t sB ph9n t‘ S thu3c P Có hai khA n ng xAy ra: - M3t là, n-u ch t… S và vQ t… P có quan h8 giao nhau... ni)m kia Xét hai khái ni8m: S: “Sinh viên” có ngo i diên S P: “Con ng$%i” có ngo i diên P Ta có: - M*i sinh viên =.u là con ng$%i - Có nhLng ng$%i không là sinh viên Ta nói, khái ni8m "sinh viên" phK thu3c khái ni8m "con ng$%i" và chŒ là m3t b3 ph5n c a khái ni8m "con ng$%i" B‰i vì, t:t cA nhLng sinh viên =.u có =9y = d:u hi8u c a con ng$%i Ta vi-t: S P Ta có th+ bi+u diHn b‹ng s› = Euler – Venn: S... thu”n là quan h8 giLa hai khái ni8m tách r%i, có n3i hàm ph =Qnh nhau và ngo i diên c a chúng hEp l i b‹ng ngo i diên c a khái ni8m lo i r3ng h›n Ví dK: S: “Chi-n tranh chính nghOa” có ngo i diên S P: “Chi-n tranh phi nghOa” có ngo i diên P Q: “Chi-n tranh” có ngo i diên Q Ta có: S + P = Q Ta nói, khái ni8m “Chi-n tranh chính nghOa” "và “Chi-n tranh phi nghOa” có quan h8 mâu thu”n V •NH NGHHA KHÁI NITM... gJp các t…: và, hay, hoJc, n-u… thì…, vì… nên,… Logic h*c g*i =ó là nhLng liên t… logic 28 Các liên t… logic này 7ng vNi các phép logic ChŽng h n: - Phép ph =Qnh 7ng vNi phK t… “không” (C™ng =$Ec g*i chung là liên t… logic) - Phép h3i 7ng vNi liên t… “và” - Phép tuy+n 7ng vNi liên t… “hoJc”, “hay là” - Phép kéo theo 7ng vNi liên t… “n-u…thì…” Các phép logic trên =$Ec ký hi8u: - Phép ph =Qnh: “ ” hoJc... lu5n, ch7ng minh, nghOa là chúng phAi có liên h8 chJt chF, t:t y-u 14 Các quy lu5t trên =ây có liên h8 vNi nhau Vi ph m b:t kŸ quy lu5t nào trong bBn quy lu5t có th+ d”n =-n vi ph m nhLng quy lu5t khác Và nh$ v5y sF d”n =-n mâu thu”n logic Cho nên, vi8c tuân th các quy lu5t logic là =i.u ki8n c9n =+ = t =$Ec chân lý TH C HÀNH 1 S/ khác nhau giLa quy lu5t c a t$ duy và quy lu5t c a t/ nhiên và xã h3i?... Ví dK 2: Phán =oán là hình th7c c› bAn c a t$ duy, =$Ec t o thành t… s/ liên k-t giLa các khái ni8m TH C HÀNH 1 Các =Qnh nghOa sau =ây có =úng không? Vì sao? 1.1 Logic h*c hình th7c là khoa h*c nghiên c7u t$ duy c a con ng$%i 1.2 Hàng hoá là sAn phRm do lao =3ng c a con ng$%i làm ra 26 1.3 Tri-t h*c là khoa h*c v nhLng quy lu5t c a t/ nhiên, xã h3i và t$ duy con ng$%i 1.4 Xã h3i c3ng sAn ch nghOa là... giá tr} logic" Lu5t = ng nh:t phAn ánh quan h8 = ng nh:t tr…u t$Eng c a các s/ v5t, hi8n t$Eng c a hi8n th/c, t7c là s/ = ng nh:t c a =Bi t$Eng vNi chính bAn thân mình khi nó =$Ec xét ‰ phRm ch:t xác =Qnh N-u dùng chL "a" =+ ký hi8u cho m3t t$ t$‰ng vNi giá trQ logic xác =Qnh c a nó =ã =$Ec =Qnh hình trong t$ duy và dùng d:u " " =+ chŒ quan h8 = ng nh:t c a các t$ t$‰ng v mJt giá trQ logic thì có th+ . ánh logic khách quan. ChŽng hn, khi th:y khói xu:t hi8n thì con ng$%i d/ =oán r‹ng =ã có l‘a. B‰i vì, con ng$%i t$ duy r‹ng, n-u không có l‘a thì sao có. NhLng hình th7c logic c a t$ duy chính xác là: khái ni8m, phán =oán, suy lu5n, ch7ng minh… II. LOGIC VÀ NGÔN NGK GiLa logic và ngôn ngL có nhLng =i+m chung: