Đang tải... (xem toàn văn)
Giáo trình logic học - Học viện công nghệ bưu chính viễn thông
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: it ng, nhi m v ý ngh a c a Logic h c Ph n IT NG, NHI M V VÀ Ý NGH A C A LOGIC H C M c ích yêu c u: Trong ph n sinh viên c n n m v ng nh ng n i dung sau ây: it ng, nhi m v c a Logic h c M i quan h gi a Logic h c hình th c Logic h c bi n ch ng Th c ch t c a logic h c tâm Quá trình phát tri n c a khoa h c v Logic h c Vai trò ý ngh a c a Logic h c i v i nh n th c khoa h c chuyên ngành N i dung chính: nh ngh a khoa h c Logic 1.1 it ng, m c ích ph ng pháp c a khoa h c Logic 1.1.1 Thu t ng Logic 1.1.2 T v i t cách it ng nghiên c u c a khoa h c Logic 1.1.3 Logic h c v i t cách khoa h c nghiên c u v t 1.2 Quan h gi a khoa h c Logic v i khoa h c khác 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 Logic bi n ch ng th k 18 - 19 Vai trò, ý ngh a c a Logic h c 3.1 Th c ti n Logic h c 3.2 Logic h c v i vi c nghiên c u khoa h c Ph n 1: 1.1 1.1.1 it ng, nhi m v ý ngh a c a Logic h c NH NGH A KHOA H C LOGIC it ng, m c ích 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 m t khoa h c v t Thu t ng l i b t ngu n t m t ti ng Hy L p khác Logos - có ý ngh a “t ”; “lý l ”; “trí tu ”; “tính qui lu t-tr t t ” Thu t ng Lôgickê sau i vào ti ng Latinh thành Logica tr thành ngu n g c c a hàng lo t t ngh a 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 mi n Nam tr c n m 1975 c g i “lu n lý h c” - Ý ngh a: Tr i qua m t trình phát tri n v i ý ngh a s d ng khác nhau, logic c s d ng v i ý ngh a sau ây: n t Th nh t dùng ch m i liên h t t y u có tính qui lu t gi a s v t, hi n t ng trình c a th gi i khách quan V i ý ngh a g i logic khách quan Ví d 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 qn tính c a Th hai 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 t duy, l p lu n V i ý ngh a g i Logic ch quan ng Ví d : “L i nói có (khơng có) logic” Th ba dùng ch m t mơn khoa h c nghiên c u v hình th c qui lu t c a t úng n Ng i ta c ng th ng nói “Logic khoa h c v t nh ng suy lu n úng n” S d có ý ngh a th ba th c t “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) “Logic khách quan - ngh a 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 hay nhi u) hi n th c khách quan 1.1.1.2 T v i t cách it ng nghiên c u c a khoa h c Logic Nh n th c m t trình tr i qua hai giai o n : Nh n th c c m tính nh n th c lý tính giai o n c m tính, ng i s d ng giác quan trung khu th n kinh t ng ng c a v bán c u i não ph n ánh i t ng c a hi n th c, t o 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 h th ng ánh ph n tr c giác (t c Ph n 1: it ng, nhi m 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 giác quan c m nh n v Nó t n t i d i d ng c m giác, tri giác, bi u t ng t it 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 ó c a ng, c t o thành i t ng thu c tính y tác ng tr c ti p lên giác quan ng) i 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 i t ng tác ng tr c ti p lên giác quan Tri giác n y sinh c s c m giác, 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 trí nh 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 c m giác tri giác em l i tr c ó Bi u t ng th ng hi n có nh ng tác nhân kích thích n trí nh ng i Hình th c cao nh t c a bi u t ng s t ng t ng - chu i hình nh hi n 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 , ánh ph n tr c giác m i cho ng i bi t cv i t ng tính ch t ó c a mà ta có th c m nh n tr c ti p b ng giác quan, c ng v y ánh ph n tr c giác mang tính ch t n nh t tr c ti p, h n n a chúng ch a cc 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 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 á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, khơng cịn hi u bi t d i d ng hình nh c m quan v i t ng trí nh , mà c s liên k t ánh ph n tr c giác t t i s nh n bi t “cái chung” v i t ng, cc 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 h th n kinh trung ng ng i ho t ng; c t o l p thông qua ho t ng th c ti n; c nh hình th hi n b ng ph ng ti n ký tín hi u, ph n ánh v chung c a s v t hi n t ng, có kh n ng s n sinh tri th c m i H th ng ánh ph n nh v y ta g i t tr u t ng (g i n gi n t hay t t ng) Qua ó ta th y: + T k t qu c a m t giai o n cao c a q trình nh n th c, ó giai o n nh n th c lý tính + T ánh ph n có tính ch t gián ti p, c hình thành thơng qua ánh ph n tr c giác Do ó, s ph n ánh c a t v i t ng c ng có tính ch t gián ti p + T ánh ph n có tính ch t tr u t ng, c s nh ng tài li u c m tính cung c p, sàng l c, lo i b i m t s nh ng c i m, nh ng thu c tính ó c a i t ng, ch gi l i m t s c i m, thu c tính nh t nh có tính khái qt, c tr ng nh t, c b n nh t phân bi t i t ng v i i t ng l p hay không l p Ph n 1: it ng, nhi m v ý ngh a c a Logic h c T v i t cách ánh ph n c a th gi i khách quan, c ng có n i dung hình th c t n t i N i dung c a t 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 nh ng k t c u hay c u trúc c a t ã 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 bao g m: Khái ni m, phán oán, suy lu n Khái ni m thành t c n b n c a t Khi t ph n ánh i t ng t t i trình khái ni m, t t i m c n mb t c b n ch t c a i t ng ó.Vì v y, khái ni m có vai trị quan tr ng Logic h c, th m chí ng i ta có th g i “Logic h c khoa h c v nh ng khái ni m” Phán oán hình th c c a t ã 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 s liên k t gi a khái ni m kh ng nh hay ph nh m t ó thu c v i t ng ã c ph n ánh t c a ng i Suy lu n 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 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 khoa h c nghiên c u v t Logic h c nghiên c u v t duy, có ngh a nghiên c u v q trình suy ngh c a ng i, nghiên c u b ph n h p thành c a trình ó m i liên h n nh, t t y u c thi t l p gi a b ph n ó, cho s suy ngh c a t c hi u qu chân th c úng n Nghiên c u v t duy, Logic h c có th xem xét t nh m t h th ng ánh ph n có q trình phát sinh, hình thành phát tri n T c nghiên c u tính bi n ch ng c a hình th c c a t duy, qui lu t chi ph i s liên k t hình th c y, ch b n ch t v n ng c a t m t cách sâu s c trình ph n ánh i t ng t n t i tr ng thái hi n th c - t c t n t i tr ng thái chuy n hoá v ch t c a chúng - s v t v a nó, l i v a khơng Ph ng pháp 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 v i t cách m t h th ng ánh ph n ã c nh hình, mà khơng tính t i trình sinh thành hay phát tri n c a T c ch nghiên c u tính hình th c c a t duy, ph ng th c liên k t hình th c c a t 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 q trình chuy n hố v ch t c a i t ng Ph ng pháp i t ng nghiên c u ó thu c chuyên ngành Logic hình th c c h h h t Logic hình th c Logic bi n ch ng có ph ng pháp nghiên c u i t ng nghiên u khác nhau, th m chí i l p nhau, nh ng Logic hình th c Logic bi n ch ng l i có quan h u c v i nhau, g n bó th ng nh t v i nh hai b ph n, hai trình , hai c p c a khoa c Logic nghiên c u v t trình ph n ánh hi n th c khách quan Trong m i quan ó, Logic hình th c b ph n s ng, có tính c s nh ng t t y u c a Logic bi n ch ng, ng t m i quan h gi a toán s c p toán cao c p; s h c i s Tính khách quan c a m i Ph n 1: it ng, nhi m v ý ngh a c a Logic h c quan h gi a Logic hình th c Logic bi n ch ng 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 th y r ng, s v t ch t n t i s chuy n hố v ch t c a chúng, ó bi n ch ng c a s v t, tính bi n ch ng ó c ph n ánh vào t hình thành t 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 chuy n hoá c a “m t ó xác nh, ngh a chuy n hố t “cái t i” c ng xác nh v ch t chuy n hoá ‘t i gì” c ng xác nh v ch t Chính “Cái xác nh v ch t” 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 t t o nên t 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 c ng khơng có bi n ch ng, hình th c 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 nh ng qui t c c b n mà m i t úng n ph i tuân theo, i u ki n c n thi t t có th ph n ánh chân th c hi n th c khách quan nh v n có Trong q trình nh n th c, không th vi ph m 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 r i lo n Mâu thu n logic (mâu thu n t duy) sai l m ch quan c a ng i q trình nh n th c, khơng ph i s ph n ánh mâu thu n hi n th c khách quan nh n th c c mâu thu n hi n th c khách quan 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, c s ó r i m i có th v n d ng ph ng pháp t bi n ch ng nh n th c c bi n ch ng khách quan, phát hi n mâu thu n hi n th c Nh ng n i dung nghiên c u sau tài li u h ng d n h c t p “Nh p môn Logic h c” n i dung c a Logic hình th c - B ph n s c p c a khoa h c Logic, nh ng c n thi t rèn luy n phát tri n t bi n ch ng 1.1.2 M i quan h gi a Logic h c v i khoa h c khác nghiên c u v t T không ch i t ng nghiên c u c a Logic h c, mà 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 t duy, ta th y t c hình thành 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 y u t ó qua s b sau ây: ch hi n th c khách quan - it ng nh n th c c a ng i ch ho t ng th c ti n, s tác ng qua l i gi a khách th nh n th c ch th nh n th c Th c ti n óng vai trị ph ng th c hình thành t ch ch th nh n th c, có h th n kinh trung ng, b não v i t cách c quan ph n ánh, c s v t ch t cho s hình thành t n t i c a t ch h th ng tín hi u - ngơn ng , hi n th c tr c ti p c a t ch h th ng ánh ph n lý tính - t (khái ni m : “th thao”) Ph n 1: it ng, nhi m v ý ngh a c a Logic h c “TH THAO” TH THAO th thao SPORT sport Logic h c: Là m t “Khoa h c v t duy”, nh ng khoa h c nghiên c u t v i t cách m t h th ng ánh ph n v th gi i hi n th c (y u t s 5), á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 v n tính chân lý c a t t ng, tính h p logic c a ánh ph n s ph n ánh hi n th c, nói cách khác 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 nghiên v t duy: T cc ut ot nh ng y u t gì? B n thân t duy, y u t c u thành c hình thành, t n t i, bi n i phát tri n sao? Các y u t c u thành t có liên h 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 ph n ánh th gi i hi n th c? v.v… Tri t h c: Nghiên c u t (y u t s 5) m i quan h v i th gi i khách quan (y u t s 1) 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 t n t i có tr c quy t nh? Th c ti n có vai trị i v i q trình nh n th c nói chung t nói riêng 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 m i quan h v i ho t ng sinh lý c a v não ng i, ho t ng c a trung khu th n kinh (y u t s 3) T c nghiên c u nh ng trình sinh hố, v trí trung khu th n kinh t ng ng v i trình ho t ng khác c a t Ph n 1: it ng, nhi m v ý ngh a c a Logic h c Tâm lý h c: Nghiên c u t 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) 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 m i quan h v i trình hình thành c a ngôn ng (y u t 4) c nh bi u t t V i t cách ph ng ti n v t ch t nh hình t V i t cách khoa h c nghiên c u “Hi n th c tr c ti p c a t duy” 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: n i dung, quy t nh ngơn ng t Hình th c, v v t ch t c s c s N i dung, quy t khái ni m ni m t it ng c a logic h c L CS t Hình th c, v v t ch t N i dung, quy t phán oán 1.2 nh khái Hình th c, v v t ch t câu nh it ng c a ngôn ng h c 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 nh ng qui lu t c khoa h c khám phá Nh ng ó ch logic t phát, kinh nghi m Nói cách khác, t hay suy ngh c a ng i ó 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 , 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, 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 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 i i u ki n hoàn c nh l ch s ó, 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 tr ng phái h c thu t tr c ó, Arixtơt ã xây d ng h th ng nguyên lý, qui lu t, ph ng pháp 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 tác ph m: Ph n 1: it ng, nhi m v ý ngh a c a Logic h c 1- Ph m trù, th c ch t h c thuy t v khái ni m, hình th c c b n c a t duy; - Lý gi i, trình bày h c thuy t v phán ốn, hình th c c b n c a t duy; - 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; - 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; - Thu t tranh bi n, h c thuy t v phép bi n ch ng v i ý ngh a ngh thu t tranh lu n; - 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 úng n (ngh a t t t i chân lý khách quan), tr c h t ph i tuân theo 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 th ba Thành tích su t s c c a Arixtơt 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 qui t c c a nó, mà Logic h c hình th c sau ch cịn s hồ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 nhi u th k v sau Tuy nhiên, 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 Hêraclít nêu ra, ó, Logic h c c a Arixt t ã b 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 Logic h c c a Arixtôt ã c ph c sinh 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 phát tri n ó c b t u t Ph r ngxi Bêc n (1561-1626) R nê cáct (1569-1662) H u s c phát tri n kh c ph c tính h n ch c a Logic h c c a Arixtôt (Logic qui n p di n d ch u Logic ch ng minh), nh ng l i i l p 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 n ng l c phát minh khoa h c b ng 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 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 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 ng c a Ph.Bêc n R cáct b sung cho nhau, ch không mâu thu n lo i tr B i vì, n u nh qui n p giúp ta t hi u bi t riêng n hi u bi t chung, 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 il p gi a hai ng l i hai ơng ã q cao vai trị c a Logic qui n p ho c Logic di n d ch ý t ng xây d ng “Logic phát minh” khoa h c Th c ra, không bao gi có g i 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: it ng, nhi m v ý ngh a c a Logic h c 1.2.3 Logic toán Logic bi n ch ng hi n * Xu h i ng hình th c hố tốn hố logic: Logic di n d ch nói riêng 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 ã hồ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ý y c bi t Ông ch tr ng xây d ng ngơn ng hình th c hố xác hố phát bi u trình l p lu n, th c ch t mu n ký hi u hố tốn h c hố mơ hình l p lu n logic Trên c s nh ng ý t ng ký hi u hoá toán h c hố logic c t t Labnít, thành t u tốn h c hố Logic hình th c th c s b t u t cơng trình c a G Bun (1815 - 1864), ó cơng trình xây d ng “Phép tính logic” mà Ơng g i “ i s logic” n gi n nh t “Phép tính logic m nh ” Các quan h logic nh ng nh t, h i, n, kéo theo… c mơ hình hố t ng ng v i phép tính i s nh ng th c, phép nhân, phép c ng… nh thao tác logic chuy n hoá thành phép toán logic Ngành Logic toán, i phát tri n g n v i nhi u nhà Logic l n nh E.S rô er , G.Phrêghe, D.Mcgan, D.Hinbe, B.Ratxen… B mơn Logic tốn h c c xây d ng c s logic m nh Logic v t Phép tính m nh th c ch t logic phán ốn; cịn logic v t th c ch t logic khái ni m Thành t u r c r nh t h toán logic suy di n; Cịn h tốn logic qui n p thành t u có khiêm t n h n, m c hình th c hố tốn h c hoá b h n ch h n Logic toán m t thành t u to l n s phát tri n c a khoa h c Logic Nó kh c ph c tính khơng xác, không rõ ràng ngôn ng , c bi t 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 y h n v nh ng k t lu n logic C ng nh có q trình hình th c tốn hố 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 Cant (1724 1804), ông 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 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 “Logic tiên nghi m” Th c ch t “Logic tiên nghi m” c a Cant Logic bi n ch ng, d a c s c a nguyên lý mâu thu n, mà theo cách di n t c a Cant , ó nh ng ngh ch lý ( ngtinômi), hay v n t ng quan t ng tác gi a 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 Logic bi n ch ng v nguyên lý, qui lu t c b n mà chúng nghiên c u qua b ng sau 11 H ng d n tr l i làm t p + Phân lo i t nhiên s p x p i t ng theo l p xác nh d a d u hi u b n ch t c a chúng Nó có vai trị cho phép xác nh thu c tính c a i t ng mà không c n ki m nghi m th c t , c s cho nh ng d báo v hi n t ng d a qui lu t quan h n i t i gi a i t ng l p + Phân lo i b tr phân lo i d a nh ng d u hi u bên ngồi có tính hình th c, khơng g n v i b n ch t c a i t ng Nó có vai trị giúp cho vi c nh n bi t i t ng c th c hi n m t cách nhanh chóng xác Câu 6: G i ý tr l i - Xác nh n i dung ý ngh a s d ng thu t ng , c s m t ngo i diên gi a chúng qua s Ven - Xác ó xác nh quan h v nh quan h gi a khái ni m a) Tiêu c c khơng tích c c - Quan h bao hàm b) Tích c c tiêu c c - Quan h il p c) Tích c c khơng tích c c.- Quan h il p Câu : a) “Hình thái kinh t xã h i” phân chia ta thu c: - Hình thái kinh t xã h i “Cơng xã ngun thu ” - Hình thái kính t xã h i “Chi m h u nô l ” - Hình thái kinh t xã h i “Phong ki n b) “Ph ng th c s n xu t” t c) “Nhà n c” t ng t ng t Câu 8: G i ý tr l i: Mu n phát hi n l i logic c a câu nói “Th gi i h u sinh g m có lồi th c v t, lồi ng v t, trùng xã h i loài ng i” tr c tiên ph i phân tích câu nói xem ý t c a ng i nói nh h ng ng i nghe t i – Phân chia “Th g i h u sinh” thành ch ng “Th c v t”; “ ng v t”; “Côn trùng”; “Xã h i loài ng i”- D dàng nh n th y thành ph n sau phân chia khơng hồn toàn lo i tr nhau- xã h i lo i ng i ch m t ch ng loài ng v t Ph n phán oán Câu 9: Phán oán gì? M i quan h gi a phán oán câu - Phán oán hình th c liên k t khái ni m nh m kh ng y” v i t ng nh hay ph nh m t “Cái - M i quan h gi a phán oán câu m i quan h gi a n i dung hình th c, Phán ốn hình th c c a t có ch c n ng thơng tin, cịn câu thu c v ngơn ng có ch c n ng di n t, bi u t t t ng c s qui c 134 H ng d n tr l i làm t p Câu 10: Có m y lo i phán ốn v t logic? - Có lo i phán oán n, quan h gi a lo i phán ốn n có ch t n c b n ASP; ISP; ESP; OSP - Quan h gi a phán ốn n có S P c th hi n qua Hình vng Logic: ch i trên; i ch i d i; Quan h th b c; Quan h mâu thu n Câu 11: Các lo i phán oán i n sau ây thu c lo i nào: - Có nh ng lồi ng v t bị sát.- Phán ốn kh ng nh b ph n - M i kim lo i u có tính dát m ng.- Phán ốn kh ng nh tồn th - Khơng có sách khơng có ki n th c.- Phán ốn kh ng nh tồn th - Không m t không ch m h c mà l i h c gi i- Phán oán ph Câu 12: Tính chu diên c a thu t ng phán ốn nh tồn th n? - Tính ph c p c a thu t ng logic - B ng chu diên cu thu t ng logic Câu 13: Phán oán ph c h p gì? c n c vào âu - Phán ốn ph c h p phán oán b i liên t logic -C nc phân chia lo i phán oán ph c? c c u t o nên t nh ng phán oán n liên k t v i phân chia lo i phán oán ph c h p liên t logic khác Câu 14: G i ý tr l i - Trong phán oán n có khái ni m làm nhi m v ch t logic v t logic.V i hai khái ni m cho tr c có d ng phán oán n c b n, n u l n l t hốn i v trí khái ni m th c hi n nhi m v ch t v t ta có th xây d ng c phán oán n ASP, APS; ISP, IPS; ESP, EPS; OSP, OPS - Vì ch yêu c u xây d ng phán ốn có giá tr logic chân th c, nên tr c tiên ta ph i xác nh m i quan h gi a khái ni m ã cho xem chúng có quan h gì, ng th i bi u di n quan h ó b ng s Ven - Trên c s s Ven, Ta xây d ng phán ốn có giá tr logic chân th c - C n c vào b ng chu diên ta xác oán v a xây d ng c nh tính chu diên c a thu t ng logic phán Ví d v i câu (a): - Tr c h t ta xác nh m i quan h gi a khái ni m “Phán oán” khái ni m “Câu”, ó quan h bao hàm, m i phán ốn u c th hi n d i d ng m t câu nh ng khơng ph i m i câu u phán ốn - Ký hi u khái ni m “Phán oán” “A”, khái “Câu” “B”, B B A, ta có s Ven nh sau: A 135 H ng d n tr l i làm t p -T s Ven, n u ch n A làm ch t S B làm v t P ta có phán oán có giá tr logic chân th c sau: + M i phán oán u câu - Thu t ng phán ốn chu diên, thu t ng câu khơng chu diên + Có m t s phán ốn câu - Thu t ng phán ốn khơng chu diên, thu t ng câu không chu diên - N u ch n B làm ch t S A làm v t P ta có phán ốn có giá tr logic chân th c sau: + M t s câu di n chu diên t phán oán - Thu t ng Câu không chu diên, thu t ng phán ốn + M t s câu khơng di n oán chu diên t phán oán - Thu t ng Câu không chu diên, thu t ng phán Câu 15: G i ý tr l i - Phân tích hàm ý c a câu nói di n - Xác nh lo i phán oán ph c - Xác tl i nh c u trúc logic - Ký hi u r i mã hốn ốn ph c h p Ví d v i câu (a): “Mu n xây d ng ch ngh a xã h i tr ch ngh a” - H Chí Minh - Phân tích: Hàm ý câu nói mu n nói: Có ng có th xây d ng ch ngh a xã h i - Di n ngh a xã h i t l i: N u khơng có ng c h t c n có ng i xã h i i xã h i ch ngh a i u ki n i xã h i ch ngh a không xây d ng c ch - ây phán oán ph c h p kéo theo - C u trúc logic: Phán ốn i u ki n - có ng Phán oán h qu - xây d ng i XHCN - ký hi u “a” c CNXH- ký hi u “b” Liên t logic kéo theo - Mã hoá phán oán: a b b) “Chúng ta ch có th xây d ng ch ngh a xã h i b ng cách t ng gia s n xu t th c hành ti t ki m” - H Chí Minh Mã hố: [(a b) c] a = Không t ng gia s n xu t b = Không th c hành ti t ki m c = không th xây d ng CNXH 136 H ng d n tr l i làm t p c) “ M t dân t c mu n lu n” - F.Enghen Mã hoá: (a ng v ng nh cao c a khoa h c không th t lí b) a = M t dân t c khơng có t lí lu n b = Không th ng v ng nh cao khoa h c d) “ ng i khó, khơng khó ng n sơng cách núi mà khó b i lịng ng sông” - Nguy n Bá Ng c b) Mã hoá: (a (c i ng i núi e b) a = Có s ng n sơng cách núi b= ng khó i c = Lịng ng i ng i núi e sơng e) “R u ngon khơng có b n hi n Không mua, không ph i không ti n khơng mua” Nguy n Khuy n M) Mã hố: (T T = Tơi có ti n M = Tơi mua r u Câu 16: G i ý làm bài: Mu n xác - D a vào nh giá tr logic phán ốn cịn l i c tr ng c a liên t logic phán oán - D a vào b ng chân lý xác nh giá tr logic c a bi n Ví d (a) - Xác nh ây liên t logic h i có c tr ng phán oán ph c h p h i ch có giá tr logic chân th c phán oán thành ph n chân th c - Theo b ng chân lý cho phán oán h i t i u ki n p có giá tr logic chân th c nên P có giá tr logic gi d i, suy q có giá tr logic khơng xác nh (có th chân th c, có th gi d i) b) p q có giá tr logic chân th c; q có giá tr logic chân th c q có giá tr logic khơng xác c) p nh q có giá tr logic chân th c; p có giá tr logic chân th c q có giá tr logic chân th c d) p q có giá tr logic chân th c; p có giá tr logic chân th c q có giá tr logic chân th c Câu 17: Xây d ng b ng giá tr logic c a bi u th c phán oán sau: G i ý cách làm: Xác nh s bi n (m i phán oán thành ph n m t bi n) 137 H Xác ng d n tr l i làm t p nh s liên t logic L p b ng giá tr v i s dòng 2n, s c t b ng s bi n c ng s liên t logic, ti p theo gán giá tr logic cho bi n r i áp d ng b ng chân lý phù h p Ví d : a) p q p - Ta th y có bi n (p) (q) nên có dịng giá tr logic - Ta th y có liên t bi n nên có c t p) p q q p ch ch ch ch ch gd ch ch gd gd gd gd gd ch ch gd p (q Câu 18: Các t “và”; d u “,” câu sau ây có ý ngh a t phép logic ( , )? ng ng v i a) D u ph t có ý ngh a phép h i ( ) b) D u ph t có ý ngh a phép n ( ) c) T “và” n ( ) “ u tiên t ng ng phép h i ( ), t “và” th hai t ng ng v i phép Câu 19: Thay t “Ho c”, “Hay là” d u “,” phán oán sau ây b ng d u ”, “ ” cho thích h p: a) D u “ ” b) D u “ ” c) T “ho c” th nh t d u “ ”, t “ho c” th hai d u “ ” Câu 20: Có b n sinh viên An, B c, Công, Dân, Y n quê câu h i “B n quê âu”?, ta nh n c câu tr l i: An: Quê em Hà N i, b n Dân quê B c: Em c ng Hà N i, cịn Cơng Cơng: Em c ng Dân: Tơi a ph ng khác nhau.V i Ngh An B c Ninh Hà N i, b n Dân quê Hà Tây Ngh An ch , B n Y n Y n: úng em H iD H iD ng, An ng Hà Tây Trong câu tr l i trên, m i câu tr l i c a b n sinh viên ó y u có nh t m t ph n úng Hãy xác nh quê G i ý tr l i: - Có th gi i b ng cách xét m i kh n ng có th x y ch n kh n ng tho mãn yêu c u c a Ví d xét câu tr l i c a An: Gi s Dân Ngh An úng, th câu nói c a Công s úng v i Công Hà N i Dân khơng Hà Tây Do ó câu nói c a B c s khơng có ph n úng c , trái v i V y, Dân Ngh An sai An Hà N i úng T ó, l p lu n t ng t ta có th suy i v i câu tr l i l i khác 138 H ng d n tr l i làm t p - Cách gi i b ng l p bi u th c logic Ký hi u: L y ch u c a tên vi t hoa, ch c a quê vi t th Ahn = An quê ng Hà N i Dna = Dân quê Ngh An Bhn = B c quê Hà N i Cbn = Công quê B c Ninh… M i ng i cho bi t hai phán ốn, ó có nh t m t phán ốn úng (chân th c), v y v i m i b n ta có th thành l p m t n (l ng) c a hai phán oán n úng: An: Ahn Dna = úng (1) B c: Bhn Cbn = úng (2) Công: Chn Dht = úng (3) Dân : Dna Yhd = úng (4) Y n : Yhd Aht = úng (5) Vì c phán ốn ph c u úng nên h i c a chúng c ng úng Ta có phán ốn ph c h p h i sau ây ( cho g n ta dùng d u (.) thay chân th c d u ( ): (Ahn Dna).( Bhn Cbn).(Chn Dht).(Dna Yhd).(Yhd Aht) = úng i u ki n: M i b n ch m t quê, b i v y nh ng phán oán nh Ahn.Bhn hay nh phán oán Bhn.Chn u sai K t h p (1) (2) ta có phán ốn ph c h p h i: (Ahn Dna).( Bhn Cbn) = úng Th c hi n tính ch t phân ph i c a phép h i ta (Ahn Dna).( Bhn c: Cbn) = Ahn.Bhn Ahn.Cbn Dna.Bhn Dna.Cbn = úng Vì: Ahn.Bhn sai ( i u ki n) nên theo phép n v ph i c: c tr ng c a phép n l ng ta có th b i Ahn.Cbn Dna.Bhn Dna.Cbn = úng K t h p h i c a phán oán ph c h p v i (3) ta có (Ahn.Cbn Dna.Bhn Dna.Cbn).(Chn Dht) = úng Tri n khai t c phán oán ph c h p h i úng: ng t có: (Ahn.Cbn.Chn) Ahn.Cbn.Dht (Dna.Bhn.Chn) (Dna.Bhn.Dht) (Dna.Cbn.Chn) (Dna Cbn.Dht) = úng B i t t c bi u th c ngo c (m t ng i hai quê hay hai ng i u ki n bài, ta ch còn: Ahn.Cbn.Dht = úng i quê) trái v i 139 H Ti p t c k t h p h i c a phán oán v i (4) ta có (Ahn.Cbn.Dht).( Dna ng d n tr l i làm t p c phán oán h i úng: Yhd) = úng Tri n khai bi u th c ta l i có: (Ahn.Cbn.Dht.Dna) Ahn.Cbn.Dht.Yhd = úng B ngo c (Dht.Dna) còn: Ahn.Cbn.Dht.Yhd = úng Ta l i k t h p phán oán h i v i (5) c: (Ahn.Cbn.Dht.Yhd).(Yhd Aht) = úng Tri n khai bi u th c ta có: Ahn.Cbn.Dht.Yhd.Yhd (Ahn.Cbn.Dht.Yhd.Aht) = úng B ngo c (Ahn.Aht) Ahn.Cbn.Dht.Yhd.Yhd = úng M t khác ta l i th y Yhd.Yhd = Yhd nên bi u th c gi n l c úng cu i là: Ahn.Cbn.Dht.Yhd = úng T ó theo tính ch t phép h i suy ra: B n An quê Hà N i B n Công quê B c Ninh B n Dân quê Hà Tây B n Y n quê H i D Còn lai t t nhiên b n B c quê ng Ngh An Câu 21: G i ý cách làm - Phân tích phán ốn ã cho thu c lo i phán ốn ( n hay ph c) - Mã hóa cơng th c logic - Áp d ng thao tác ph nh tìm cơng th c d - C n c mã hố cơng th c tìm Ví d : a) M t s lồi n m có ch t i d ng ph nh c a c phát bieê thành l i c - Phân tích phán ốn ta th y ây phán oán kh ng nh b ph n (ch) - Phán ốn có d ng ISP Trong ó S “Lồi n m”,P “Ch t - Th c hi n thao tác ph nh ISP thu c ESP - Phát bi u: “M i lồi n m khơng có ch t Câu 22: Xác a) SP = N m c” c” (gd) nh nhóm “SP” tính chu diên c a danh t logic phán oán: c (ch ng n m có tính ch t c)- S,P u không chu diên b) SP = Th c v t n m – S không chu diên, P chu diên c) SP = Cây lâu n m 140 ng th i n qu - S không chu diên, P chu diên H ng d n tr l i làm t p H NG D N TR L I VÀ LÀM BÀI T P PH N TH T Câu 1: G i ý tr l i - Suy lu n di n d ch suy lu n i t chung nh ng tri th c v riêng n tri th c v chung n riêng , suy lu n qui n p i t - i t ng k t lu n c a phép suy lu n di n d ch ph m vi i t ng c c p ti n , ó k t lu n t t y u chân th c n u ti n chân th c suy lu n h p logic i t ng k t lu n c a suy lu n qui n p ph m vi i t ng c c p ti n , ó k t lu n ch có tính xác su t m c dù ti n chân th c suy lu n h p logic - Suy lu n di n d ch có qui t c chung, suy lu n qui n p khơng có qui t c - Suy lu n di n d ch tr c ti p, k t lu n c rút t ti n m t phán oán - Suy lu n di n d ch gián ti p, k t lu n c rút t hai ti n tr lên Câu 2: G i ý - Xem câu v suy lu n di n d ch Câu 3: G i ý- c n khôi ph c tam o n lu n rút g n v d ng tam o n lu n m c ích - Xem có th rút k t lu n t t y u chân th c t nh ng ti n - Có th dùng ti n nh m ã cho ? ch ng minh cho tính t t y u chân th c c a k t lu n ? Câu 4: G i ý - Vì “ i u ki n” có th ch m t nh ng nguyên nhân d n c a h qu Câu 5: T y ns t nt i ng t câu Câu 6: G i ý tr l i - Th ph ng pháp gi ng nh t – công th c? - Th ph ng pháp khác bi t nh t - công th c? - Th ph ng pháp lo i tr - công th c? - Th ph ng pháp bi n i kèm theo - công th c? Câu 7: G i ý làm: - Th c ch t yêu c u tìm cách bác b ho c b t b suy lu n Do ó tr c h t c n phân tích suy lu n xem suy lu n ó thu c lo i gì? Có c u t o logíc? T ó ta m i xác nh c nhi m v bác b k t lu n c a suy lu n n u k t lu n không chân th c hay ch b t b l i logic c a suy lu n n u k t lu n chân th c nh ng suy lu n không h p logic - Trong tr ng h p c th suy lu n thu c lo i suy lu n tam o n lu n lo i hình I, k t lu n chân th c Do ó ta ch có th b t b l i logic c a suy lu n, c th vi ph m qui t c chung s (hay vi ph m qui t c riêng lo i hình I) Câu 8: Cho khái ni m: “ A” “B” H i: Xây d ng c phán oán n t khái ni m ó? 141 H N u bi t “M i A B” chân th c phán ốn th nào? ng d n tr l i làm t p n xây d ng N u bi t “ M t s A không B” chân th c phán ốn s có giá tr logic gì? c có giá tr logic nh n “A” “B” i ch G i ý: - C u t o logic c a phán ốn n có khái ni m làm nhi m v ch t v t logic, m t khác có lo i phán oán n B i v y n u l n l t hoán v nhi m v c a t ng khái ni m ã cho có th xây d ng c phán oán n - C n c vào quan h hình vng logic t v t logic xác nh giá tr logic phán ốn có ch - C n c vào phép i ch , sau ó quan h hình vng logic tìm giá tr logic c a phán oán l i (l u ý ch i ch c t phán ốn có giá tr logic chân th c) Ví d : - T khái ni m A B ta xây d ng c phán oán n là: + V i A làm S B làm P: AAB; IAB; EAB; OAB + V i B làm S A làm P: ABA; IBA; EBA; OBA Vì bi t “ M i A B” chân th c - AAB chân th c + Xác nh giá tr logic i v i nhóm phán oán mà A làm S B làm P Theo c tr ng m i quan h Theo c tr ng quan h th b c: IAB t t y u có giá tr logic chân th c i ch i trên: EAB t t y u có giá tr logic gi d i (Hay:EAB gi d i, theo quan h mâu thu n IAB có giá tr logic chân th c) Theo c tr ng quan h mâu thu n: OAB t t y u có giá tr logic gi d i + Xác nh giá tr logic i v i nhóm phán ốn mà B làm S A làm P Ch có th d a vào phán ốn có giá tr logic chân th c là:AAB; IAB i ch IAB thu th c hi n i ch c IBA t t y u chân th c Nh v y v i nhóm B làm S A làm P, ch có th d a vào IBA phán ốn cịn l i tìm giá tr logic c a Theo quan h mâu thu n EBA có giá tr logic gi d i V i IBA chân th c EBA gi d i không th xác nh ABA OBA, t c ABA OBA có giá tr logic khơng xác nh T ng t ta làm c giá tr logic c a phán oán c v i “ M t s A B” có giá tr logic chân th c Câu 9: Ng i Hy L p c i tin r ng th n thánh v a v n n ng v a mu n di t tr x u, ác Êpiquya-nhà tri t h c, d a vào s th t x u, ác v n t n t i ph n bi n: - N u th n thánh mu n mà l i có kh n ng di t tr x u, ác th gian, t i x u, ác th gian v n t n t i - N u th n thánh mu n mà khơng có kh n ng di t tr x u, ác th gian, v y khơng th c coi v n n ng 142 H ng d n tr l i làm t p - N u th n thánh có kh n ng di t tr x u, ác, mà x u, ác v n t n t i, i u ch ng t th n thành không mu n di t tr x u, ác Hãy làm rõ trình l p lu n c a Êpiquya G i ý làm bài: - Theo quan ni m ng i Hy L p c i “Th n thánh v a v n n ng, v a mu n di t tr x u, ác”, Ta mã hố quan ni m (a b), ó “Th n thánh v n n ng” (a), “Th n thánh mu n di t tr x u, ác” (b) Theo ý t c a quan ni m ó x u, ác s không t n t i, ký hi u “Cái x u, ác” (c), ta s có cơng th c ( a b) c = chân th c - L p lu n th nh t c a Êpiquya: V i m c ích bác b “Th n thánh v a v n n ng, v a mu n di t tr x u, ác”, ngh a ch ng minh (a b) gi d i L p lu n c a Êpi quya là: N u th n thánh v n n ng mu n di t tr x u ác x u ác không t n t n t i th gian, v y mà th gian x u ác v n t n t i (c) ó ch có th k t lu n khơng có chuy n “Th n thánh v a v n n ng, v a mu n di t tr x u, ác” Công th c l p lu n: {[( a b) c] c} (a b) - L p lu n th hai c a Êpiquya: V i m c ích bác b quan ni m “Th n thánh v n n ng”, ngh a (a) gi d i L p lu n c a Êpiquya là: N u th n thánh v n n ng mu n di t tr x u ác x u ác không t n t n t i th gian, th n thánh mu n di t tr x u ác mà x u ác v n t n t i (t c là: b c) V y ph i k t lu n “Th n thánh không v n n ng” c] Công th c l p lu n:{[( a b) ( b c} a - L p lu n th ba c a Êpiquya: V i m c ích bác b quan ni m “Th n thánh mu n di t tr x u ác”, ngh a (b) gi d i L p lu n c a Êpiquya là: N u th n thánh v n n ng mu n di t tr x u ác x u ác khơng t n t n t i th gian, th n thánh có kh n ng mà x u ác v n t n t i (t c là: a c) V y ph i k t lu n “Th n thánh không mu n di t tr x u ác” Công th c l p lu n:{[( a b) c] ( a c} b Có th l p b ng logic ki m tra xem m nh t c ki m tra l p lu n có úng hay khơng Ví d ki m tra l p lu n th nh t:{[( a b) có c] c} ng nh t chân th c hay không, (a b) a b c c c c c g c c g g g c c c g c g c c g g c c g g c g g c g c c c g c g c g c c c c g g g c g g c g c c g g c g c g c c c c g c c g c g c c c c g c g c g g c g c c c a b [ ] } { (a b) 143 H ng d n tr l i làm t p Câu 10: Trong cu c thi hoa h u H ng Kông 1995, c h i b n s ch n hai ng i nh c s Sôpanh Hitler l y làm ch ng, D ng m nhân ã tr l i s l y Hitler “N u tơi l y Hitler ch a ch c i chi n th gi i l n th hai ã x y ra” Cô c hoan nghênh nhi t li t H i sao? G i ý tr l i: Trong phán oán ph c h p i u ki n chân th c, phán oán i u ki n chân th c phán ốn h qu nh t nh ph i chân th c, nh ng phán oán i u ki n gi d i, phán oán h qu có th chân th c hay gi d i tu ý Trong tr ng h p D ng r t thơng minh hóm h nh, dù có ch n hai ng i ó c ng u gi d i tính t t y u th i gian Cô ch n Hitler gây h ng kh i cho ban giám kh o, ng th i qua ó l i gi i thích c a l i ng h hồ bình, ph n i chi n tranh, nên cô c hoan nghênh nhi t li t Câu 11: Ch ng minh phán ốn sau ây có giá tr logic gi d i: a) “M i kim lo i ut nt i th r n” b) “Không ph i m i thiên nga khơng có lơng màu tr ng” c) “M i s ch n u không chia h t cho 2” G i ý làm bài: S d ng ph ng pháp ch ng minh ph n ch ng Phân tích d ng mã hố Gi s i u ã cho có giá tr logic Logic chân th c Tìm phán ốn có quan h mâu thu n v i phán oán ã cho Theo i u gi s phán ốn mâu thu n có giá tr logic gi d i a d n ch ng bác b h qu c a i u gi s , t c Ví d (a): Phán ốn ã cho thu c phán oán ph c lo i” P “T n t i th r n” c ch ng minh n d ng ASP, ó có S “Kim Gi s ASP chân th c phán ốn mâu thu n v i OSP có giá tr logic gi d i Phát bi u OSP: Có m t s kim lo i không t n t i th r n - gi d i Th c t ta th y có Thu ngân kim lo i không t n t i th r n (l ng), V y, kh ng nh OSP có giá tr logic gi d i khơng úng Do ó i u gi s sai, t c phán oán “M i kim lo i t n t i th r n” có giá tr logic gi d i Câu 12: Các suy lu n sau ây suy lu n úng suy lu n sai Ng i ta nói r ng, không n l c h c t p nghiên c u khơng th thành tài, nh th rõ ràng nh ng ng i không thành tài u nh ng k l i h c t p nghiên c u, mà ã n l c h c t p nghiên c u không th không thành tài, hi n nhiên nh ng ng i ã thành tài u nh ng ng i ã n l c h c t p nghiên c u Xác nh câu ti n : “Không n l c h c t p nghiên c u khơng thành tài” ốn ph c h p kéo a b, ó a: Khơng n l c h c t p nghiên c u 144 ây phán H ng d n tr l i làm t p b: không thành tài V y: a: N l c h c t p nghiên c u b: Thành tài + Câu k t lu n th nh t: Nh ng k không thành tài u nh ng k l i h c t p nghiên c u Có cơng th c b a Cơng th c không ng tr v i câu ti n ó câu k t lu n khơng chân th c suy lu n sai + Câu k t lu n th hai: Ai n l c h c t p nghiên c u khơng th khơng thành tài Có cơng b Cơng th c c ng không ng tr v i công th c ti n , nên k t lu n th c logic a không chân th c phép suy lu n sai + Câu k t lu n th ba: Nh ng ng i thành tài u nh ng ng i ã n l c h c t p nghiên c u Công th c logic b a Công th c ng tr v i công th c ti n , v y câu k t lu n chân th c ây suy lu n úng Câu 13: M t l n nhà bác h c Anhxtanh vào m t quán n Vì qn kính, ơng khơng c th c n Ơng nh ng i ph c v quán n c giúp Ng i ph c v nói: - Xin l i! Tôi c ng không bi t c nh ngài Hãy phát hi n l i logic suy ngh c a ng G i ý làm bài: Phân tích câu chuy n Mã hoá suy lu n a c b, b i ph c v quán n phát bi u suy lu n c a ng i h u bàn a Xét công th c th y l i logic 145 Tài li u tham kh o TÀI LI U THAM KH O Bùi Thanh Qu t - Nguy n Tu n Chi Giáo trình lơgic hình th c Tr h p, Khoa Lu t, 1994 Tô Duy H p - Nguy n Anh Tu n Lôgic h c, NXB V ng T t Nguy n t Lôgic h c ic ng NXB ng i h c T ng ng Nai 1997 i h c Qu c gia Hà N i 1998 c Dân Lơgích ti ng vi t Nhà in Thanh niên Tp HCM Hồng Chúng Logic h c ph thơng NXB Giáo d c 1996 Nguy n V n Tr n Lơgích vui NXB Chính tr qu c gia 1993 Tri u Truy n ng - “Ph NXB Giáo d c 2001 146 ng pháp bi n lu n” Biên d ch: Nguy n Qu c Siêu Môc lôc Mục lục Phần I: Đố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 ph ơng pháp khoa häc Logic 1.1.2 Mối quan hệ Logic học với khoa học khác nghiên cứu t 1.2 L ợc sử phát triển logic học 1.2.1 Logic häc Arixt«t 1.2.2 Logic thêi Phôc H ng thÕ kû 16 10 1.2.3 Logic toán Logic biện chứng đại 11 1.3 Vai trò ý nghĩa logic học 12 1.3.1 Thùc tiƠn vµ logic häc 12 1.3.2 Logic häc víi viƯc nghiªn cøu khoa häc 13 Câu hỏi ôn tập 14 Phần II: Các quy luật logic t h×nh thøc 15 2.1 Quan niƯm chung vỊ quy lt cđa t 16 2.1.1 Qui luËt vµ qui luËt logic cña t 16 2.1.2 Đặc điểm chung qui luật logic t hình thøc 17 2.2 C¸c qui lt cđa t h×nh thøc 18 2.2.1 Qui luËt ®ång nhÊt 18 2.2.2 Quy luËt cÊm m©u thuÉn 20 2.2.3 Qui luËt loại trừ thứ ba 21 2.2.4 Qui luật lý đầy đủ 23 C©u hái «n tËp 24 PhÇn III: Các hình thức t 26 3.1 Kh¸i niƯm 27 3.1.1 Khái niệm g× ? 27 3.1.2 Kh¸i niƯm từ ngữ 29 3.1.3 CÊu tróc cđa kh¸i niƯm 30 3.1.4 Phân loại khái niÖm 31 3.1.5 Quan hƯ gi÷a c¸c kh¸i niƯm 32 3.1.6 PhÐp më réng vµ thu hĐp kh¸i niƯm 35 3.1.7 Phép định nghĩa đối víi kh¸i niƯm 36 3.1.8 Phép phân chia khái niệm 41 147 Mục lục 3.2 Phán đoán 44 3.2.1 Đặc điểm chung phán đoán 44 3.2.2 Phán đoán đơn 46 3.2.3 Phán đoán phức hợp phán đoán đa phức hợp 57 3.2.4 Tình thái phán đoán (còn gọi dạng thức phán đoán) 65 Câu hỏi ôn tập 66 Phần IV: Các thao tác logic t 69 4.1 Quan niƯm chung vỊ suy ln 70 4.1.1 Định nghĩa suy luận 70 4.1.2 CÊu t¹o logic cđa phÐp suy ln 71 4.2 PhÐp suy ln diƠn dÞch 71 4.2.1 PhÐp suy diÔn trùc tiÕp 72 4.2.2 Phép suy luận diễn dịch gián tiếp (suy diễn từ nhiỊu tiỊn ®Ị) 82 4.3 PhÐp suy luËn quy n¹p 97 4.3.1 Phép quy nạp hoàn toàn 98 4.3.2 Phép quy nạp không hoàn toàn 98 4.3.3 Phép suy luận t ơng tự (loại suy) 105 4.4 PhÐp chøng minh 106 4.4.1 Quan niÖm chung vÒ phÐp chøng minh 106 4.4.2 Các loại chứng minh quy tắc chứng minh 108 4.4.3 Bác bẻ cách bác bẻ 112 4.5 Gi¶ thuyÕt 114 4.5.1 B¶n chÊt cđa gi¶ thut 114 4.5.2 Xác nhận giả thuyết 117 4.5.3 Giả thuyết lý thuyết khoa học .119 Câu hỏi tập 121 PhÇn V: Tỉng kÕt 123 5.1 Ph¹m trï logic vµ phi logic t 123 5.2 Ngơy biƯn loại ngụy biện 127 5.2.1 Kh¸i niƯm 127 5.2.2 Các loại ngụy biện 127 H ớng dẫn trả lời làm tập phần thứ 130 H íng dÉn tr¶ lêi làm tập phần thứ hai 132 H íng dÉn tr¶ lời làm tập phần thứ ba 133 H íng dÉn trả lời làm tập phần thứ t 141 T i liƯu tham kh¶o .146 Môc lôc 147 148 ... c Logic v i khoa h c khác 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 Logic bi n ch ng th k 18 - 19 Vai trò, ý ngh a c a Logic. .. vào ti ng Latinh thành Logica tr thành ngu n g c c a hàng lo t t ngh a 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... Trong Logic h c, thu t ng phán ốn dùng tính xác nh m t sau: - it ch m t hình th c t ã nh hình, có ng ph n ánh- ph n ánh gì? - Giá tr logic- ph n ánh chân th c hay gi d i? - Có c u trúc logic