Chương I - ĐẠI CƯƠNG VỀ LÔGÍC docx

                        !"    !"    #$ %&' #$ %&' ($ ($ )*+,- )*+,-   ./01*2,-34567-83)93 ./01*2,-34567-83)93 .:3;<3;0=>34567-83)93 .:3;<3;0=>34567-83)93 .?)@,)1)A,)BAC):11D0=,34567-83)93 .?)@,)1)A,)BAC):11D0=,34567-83)93 .E,-)F534567-83)93 .E,-)F534567-83)93 I - Đi tưng ca lôgc hc I - Đi tưng ca lôgc hc GH$)IJ1,-K67-83 GH$)IJ1,-K67-83 $)IJ1 ,-K L $)IJ1 ,-K L 67-83 67-83 M ;*23 C)0N, O> 10P,- ,*Q3 M ;*23 C)0N, O> 10P,- ,*Q3 ,-RA0 SR-03 10P,- ',)T R-0UIV 10P,- ):CWT ,-RA0 SR-03 10P,- ',)T R-0UIV 10P,- ):CWT 1)IJ1 ,-K ,AX 3Y ,-IZ, -/3 1[ 10P,- 06\C 6A 1)IJ1 ,-K ,AX 3Y ,-IZ, -/3 1[ 10P,- 06\C 6A R-R] 3Y ,-)F5 6A R-R] 3Y ,-)F5 6A 6^0 ,Y0 1* 1*_,- 6` 18,) UI0 6^0 ,Y0 1* 1*_,- 6` 18,) UI0 6IJ1 6IJ1 BHBa BHBa $)VR UI5, ;0=> C)b c0P, ,)d1 )0e, ,5X 1)@ $)VR UI5, ;0=> C)b c0P, ,)d1 )0e, ,5X 1)@ 6R-03 )93 6A f)R5 )93 Bg 3:3 )@,) 1)h3 3:3 UIX 6R-03 )93 6A f)R5 )93 Bg 3:3 )@,) 1)h3 3:3 UIX 6IJ13451*iIX 6IJ13451*iIX H H   I - Đi tưng ca lôgc hc I - Đi tưng ca lôgc hc jH$*iIXBA;<3;0=>3451*iIX jH$*iIXBA;<3;0=>3451*iIX )J,1)h36AUI:1D@,)C)k,:,)1)P-0Q0f):3) )J,1)h36AUI:1D@,)C)k,:,)1)P-0Q0f):3) UI5,BAR1DR,-cl,mR,-*^0UI:1D@,);Yi0n,D5 UI5,BAR1DR,-cl,mR,-*^0UI:1D@,);Yi0n,D5 L L 1[ 1D?3 UI5, ]0,) ;l,- ;P, 1* iIX 1D[I 1*2,-M 1[ 1D?3 UI5, ]0,) ;l,- ;P, 1* iIX 1D[I 1*2,-M   SN.,0,WH SN.,0,WH $D?3UI5,]0,);l,-S $D?3UI5,]0,);l,-S 1h3,)J,1)h33k>18,) 1h3,)J,1)h33k>18,) W W 6A-050;R\,oId1C):1345UI:1D@,),)J,1)h3H 6A-050;R\,oId1C):1345UI:1D@,),)J,1)h3H   I - Đi tưng ca lôgc hc I - Đi tưng ca lôgc hc )J,1)h33k>18,)i0n,D5i*Q0p)@,)1)h33+ )J,1)h33k>18,)i0n,D5i*Q0p)@,)1)h33+ ck, ck, 3k>-0:31D0-0:3c0=I1*2,- 3k>-0:31D0-0:3c0=I1*2,- H H )K,-)@,)k,)iR,)J,1)h33k>18,);V>6\0 )K,-)@,)k,)iR,)J,1)h33k>18,);V>6\0 6A,-IZ,-/3iIX,)d1345]?)0=Ic0P13453)q,- 6A,-IZ,-/3iIX,)d1345]?)0=Ic0P13453)q,- 15 Bg 1)P -0Q0 cN, ,-RA0H 15 Bg 1)P -0Q0 cN, ,-RA0H   $IX ,)0N, ,)J, 1)h3 $IX ,)0N, ,)J, 1)h3 3k>18,)>Q03)r3I,-3dC3)R151D01)h3Bg,)K,- 3k>18,)>Q03)r3I,-3dC3)R151D01)h3Bg,)K,- c0=I)0e,cg,-RA0345]?BJ1H c0=I)0e,cg,-RA0345]?BJ1H   I - Đi tưng ca lôgc hc I - Đi tưng ca lôgc hc =3Y1)=C):1)0e,D5,)K,->/060N,)e,l01\0 =3Y1)=C):1)0e,D5,)K,->/060N,)e,l01\0 3Y 18,) UI0 6IJ1 345 3)q,- 3s, C)k0 10P, ;P, 1* 3Y 18,) UI0 6IJ1 345 3)q,- 3s, C)k0 10P, ;P, 1* iIX1D[I1*2,- iIX1D[I1*2,- S S f):0,0e>C):,;R:,]IX6IJ, f):0,0e>C):,;R:,]IX6IJ, -0k01)IXP1BHBa -0k01)IXP1BHBa W W H H Q0 1* iIX 1D[I 1*2,- 3R, ,-*^0 3)IX=, 1[ Q0 1* iIX 1D[I 1*2,- 3R, ,-*^0 3)IX=, 1[ ,)J,1)h3)0e,1*2,-;P,,)J,1)h3ck,3)d11[ ,)J,1)h3)0e,1*2,-;P,,)J,1)h3ck,3)d11[ ,)J,1)h33:0D0N,-;P,,)J,1)h33:03)I,-1[ ,)J,1)h33:0D0N,-;P,,)J,1)h33:03)I,-1[ ,)J,1)h33:3;/01*2,-D0N,-;P,,)J,1)h3>/0 ,)J,1)h33:3;/01*2,-D0N,-;P,,)J,1)h3>/0 60N,)eBA3:3UI06IJ1C):11D0=,3453)q,-H 60N,)eBA3:3UI06IJ1C):11D0=,3453)q,-H I - Đi tưng ca lôgc hc I - Đi tưng ca lôgc hc $*iIX3Yp;<3;0=>]5I $*iIX3Yp;<3;0=>]5I . . $)h,)d1 $)h,)d1   $*iIX6A]?C)k,:,)1)?31\0>l1 $*iIX6A]?C)k,:,)1)?31\0>l1 3:3) -0:, 10PC 3:3) -0:, 10PC H )k ,t,- C)k, :,) 1)?3 1\0 >l1 H )k ,t,- C)k, :,) 1)?3 1\0 >l1 3:3) -0:, 10PC 345 1* iIX ;*23 c0=I )0e, _ f)k 3:3) -0:, 10PC 345 1* iIX ;*23 c0=I )0e, _ f)k ,t,- ]IX 6` fP1 6IJ, 67-83 3)h,- >0,) 345 3R, ,t,- ]IX 6` fP1 6IJ, 67-83 3)h,- >0,) 345 3R, ,-*^0HuId1C):11[3)vC)O,183),)K,-]?f0e, ,-*^0HuId1C):11[3)vC)O,183),)K,-]?f0e, 3Y 1)= 1D0 -0:3 ;*23 >l1 3:3) 1D?3 10PC ,Y 3)R 3Y 1)= 1D0 -0:3 ;*23 >l1 3:3) 1D?3 10PC ,Y 3)R C)wC,)J,1)h3;*23,)K,--@f)7,-1)=1D0-0:3 C)wC,)J,1)h3;*23,)K,--@f)7,-1)=1D0-0:3 ;*23cx,-3:3-0:3UI5,H ;*23cx,-3:3-0:3UI5,H I - Đi tưng ca lôgc hc I - Đi tưng ca lôgc hc . . $)h)50$*iIX6A]?C)k,:,)f):0UI:13:3 $)h)50$*iIX6A]?C)k,:,)f):0UI:13:3 1)Il318,)3:3>/060N,)e3+ck,C)bc0P,f)7,- 1)Il318,)3:3>/060N,)e3+ck,C)bc0P,f)7,- 3)r3Y_>l1]?BJ1D0N,-6y>A_>l16QC]?BJ1 3)r3Y_>l1]?BJ1D0N,-6y>A_>l16QC]?BJ1 ,)d1;z,) ,)d1;z,) H)k,t,-C)k,:,)1)?31\0>l13:3) H)k,t,-C)k,:,)1)?31\0>l13:3) f):0UI:13451*iIX;*23c0=I)0e,_f)k,t,- f):0UI:13451*iIX;*23c0=I)0e,_f)k,t,- 3R,,-*^03Y1)=oOXi?,-,)K,-f):0,0e>f)R5 3R,,-*^03Y1)=oOXi?,-,)K,-f):0,0e>f)R5 )93-{,60g,BQ0]?1D@,)cAX,)K,-UI06IJ11*+,- )93-{,60g,BQ0]?1D@,)cAX,)K,-UI06IJ11*+,- h,-H h,-H I - Đi tưng ca lôgc hc I - Đi tưng ca lôgc hc . . $)hc5$*iIX6A>l1]k,C)|>3Y18,)om $)hc5$*iIX6A>l1]k,C)|>3Y18,)om )l0H )l0H $*iIX3)r1Z,1\01DR,->/060N,)ef)7,-1)= $*iIX3)r1Z,1\01DR,->/060N,)ef)7,-1)= 1:3)D^0f)}0)R\1;l,-65R;l,-BA,-7,,-K6A 1:3)D^0f)}0)R\1;l,-65R;l,-BA,-7,,-K6A )R\1;l,-10NIc0=I3)Rom)l06RA0,-*^0H@1)P1* )R\1;l,-10NIc0=I3)Rom)l06RA0,-*^0H@1)P1* iIX6I7,-{,60g,BQ0,-7,,-KBAfP1UIk3451* iIX6I7,-{,60g,BQ0,-7,,-KBAfP1UIk3451* iIX;*23-)0,)J,1DR,-,-7,,-KH iIX;*23-)0,)J,1DR,-,-7,,-KH     $*iIX3)8,)6A-050;R\,35R345UI:1D@,) $*iIX3)8,)6A-050;R\,35R345UI:1D@,) ,)J,1)h3 ,)J,1)h3 H H [...]... phần dư) J.S Mill (180 6-1 873) III - Sự hình thành và phát triển của lôgíc học Lôgíc học Aristote cùng vơ i những bổ sung đóng góp của Bacon, Descartes và Mill trở thành Lôgíc hình thức cổ i ̉n hay Lôgíc học truyền thống 2 - Lôgíc toán học là giai đoạn hiện đa i trong sự phát triển của lôgíc hình thức Về đô i tượng của nó, Lôgíc toán học là lôgíc học, còn... các kha i niệm, tư tưởng đó III - Sự hình thành và phát triển của lôgíc học 1 - Nhà triết học Hilạp cổ đa i được coi là ngươ i sáng lập ra Lôgíc học - Aristote là ngươ i đầu tiên đã trình bày một cách có hệ thống những vấn đề của Lôgíc học Ông là ngươ i đầu tiên nghiên cứu tỉ mỉ kha i niệm và phán đoán, lý thuyết suy luận và chứng minh Aristote (384 - 322... chân lý III - Sự hình thành và phát triển của lôgíc học 4 - Ngày nay, cùng vơ i khoa học kỹ thuật, Lôgíc học đang có những bước phát triển mạnh, ngày càng có sự phân ngành và liên ngành rộng ra i Nhiều chuyên ngành mơ i của Lôgíc học ra đơ i : Lôgíc kiến thiết, Lôgíc đa tri, Lôgíc mờ, Lôgíc tình tha i v.v… Sự phát triển đó đang làm cho Lôgíc học ngày... (384 - 322 TCN) III - Sự hình thành và phát triển của lôgíc học - Vơ i tác phẩm Novum Organum, ông đã chỉ ra một công cụ mơ i : Phép qui nạp Bacon cho rằng cần pha i tuân thủ các qui tắc của phép qui nạp trong quá trình quan sát và thí nghiệm để tìm ra các qui luật của tự nhiên F.Bacon (156 1-1 626) III - Sự hình thành và phát triển của lôgíc học - Ông đã làm... phần giai cấp, dân tộc VD: Mo i kim loa i đều là chất dẫn i n (Đ) Mo i chất dẫn i n đều là kim loa i (S) Một số chất dẫn i n là kim loa i (Đ) Những qui tắc, qui luật của lôgíc hình thức có tính phổ biến, chúng là những yêu cầu cần thiết cho mo i nhận thức khoa học để đạt đến chân lý Chính vì vậy, lôgíc tự nhiên của nhân loa i là thống nhất và như nhau II - Các... mơ i trong việc ứng dụng Lôgíc học vào các ngành khoa học và đơ i sống IV - Ý nghĩa của lôgíc học Lôgíc học giúp chúng ta chuyển lô i tư duy lôgíc tự phát thành tư duy lôgíc tự giác Tư duy lôgíc tự giác đem la i những lơ i ích sau : - Lập luận chặt chẽ, có căn cứ; trình bày các quan i ̉m, tư tưởng một cách rõ ràng, chính xác, mạch lạc hơn - Phát hiện... một thế giơ i quan duy tâm III - Sự hình thành và phát triển của lôgíc học Chính K.Marx (181 8-1 883), F.Engels (182 0-1 895) và V .I Lénine (187 0-1 924) đã ca i tạo và phát triển Lôgíc học biện chứng trên cơ sở duy vật, biến nó thành khoa học về những qui luật và hình phản ánh trong tư duy sự phát triển và biến đ i của thế giơ i khách quan, về những qui luật nhận... cho lôgíc học một bộ mặt mơ i : Lôgíc biện chứng Tuy nhiên, những yếu tố của Lôgíc biện chứng đã có từ thơ i cổ đa i, trong các học thuyết của Héraclite, Platon, Aristote v.v… Công lao của Hégel đô i vơ i Lôgíc biện chứng là chỗ ông đã đem la i cho nó một hệ thống đầu tiên, được nghiên cứu một cách toàn diện, nhưng hệ thống ấy la i được trình bày bơ i một thế giơ i. .. thể sinh viên lớp Triết đều là đoàn viên Ba ví dụ trên đây có nô i dung hoàn toàn khác nhau nhưng la i giống nhau về hình thức Chúng đều có chung cấu trúc lôgíc : Tất cả S là P II - Các đặc i ̉m của lôgíc học - Thứ hai, Các qui tắc, qui luật của lôgíc hình thức là sự phản ánh những mô i liên hệ giữa các sự vật, hiện tượng của thế giơ i khách quan, chúng... đặc i ̉m của lôgíc học - Thứ ba, Mo i sự vật, hiện tượng đều vận động, biến đ i và phát triển không ngừng, các kha i niệm, tư tưởng phản ánh chúng cũng không đứng im một chỗ Ở đây, Lôgíc hình thức chỉ nghiên cứu những tư tưởng, kha i niệm phản ánh sự vật trong trạng tha i tĩnh, trong sự ổn i nh tương đô i của nó, bỏ qua sự hình thành, biến đ i phát triển . hc . . $)hc5$*iIX6A>l1]k,C)|>3Y18,)om $)hc5$*iIX6A>l1]k,C)|>3Y18,)om )l0H )l0H $*iIX3)r1Z,11DR ,- >/060N,)ef)7 ,- 1)= $*iIX3)r1Z,11DR ,- >/060N,)ef)7 ,- 1)= 1:3)D^0f)}0)R1;l ,- 65R;l ,- BA ,-7 ,,-K6A 1:3)D^0f)}0)R1;l ,- 65R;l ,- BA ,-7 ,,-K6A )R1;l ,- 10NIc0 =I 3)Rom)l06RA0 ,-* ^0H@1)P1* )R1;l ,- 10NIc0 =I 3)Rom)l06RA0 ,-* ^0H@1)P1* iIX 6I7 , -{ ,60g,BQ0 ,-7 ,,-KBAfP1UIk3451* iIX 6I7 , -{ ,60g,BQ0 ,-7 ,,-KBAfP1UIk3451* iIX;*23 -) 0,)J,1DR ,- ,-7 ,,-KH iIX;*23 -) 0,)J,1DR ,- ,-7 ,,-KH     $*iIX3)8,)6A -0 50;R,35R345UI:1D@,) $*iIX3)8,)6A -0 50;R,35R345UI:1D@,) ,)J,1)h3 ,)J,1)h3 H H II. hc . . $)hc5$*iIX6A>l1]k,C)|>3Y18,)om $)hc5$*iIX6A>l1]k,C)|>3Y18,)om )l0H )l0H $*iIX3)r1Z,11DR ,- >/060N,)ef)7 ,- 1)= $*iIX3)r1Z,11DR ,- >/060N,)ef)7 ,- 1)= 1:3)D^0f)}0)R1;l ,- 65R;l ,- BA ,-7 ,,-K6A 1:3)D^0f)}0)R1;l ,- 65R;l ,- BA ,-7 ,,-K6A )R1;l ,- 10NIc0 =I 3)Rom)l06RA0 ,-* ^0H@1)P1* )R1;l ,- 10NIc0 =I 3)Rom)l06RA0 ,-* ^0H@1)P1* iIX 6I7 , -{ ,60g,BQ0 ,-7 ,,-KBAfP1UIk3451* iIX 6I7 , -{ ,60g,BQ0 ,-7 ,,-KBAfP1UIk3451* iIX;*23 -) 0,)J,1DR ,- ,-7 ,,-KH iIX;*23 -) 0,)J,1DR ,- ,-7 ,,-KH     $*iIX3)8,)6A -0 50;R,35R345UI:1D@,) $*iIX3)8,)6A -0 50;R,35R345UI:1D@,) ,)J,1)h3 ,)J,1)h3 H H II. 6 -0 / ,- ,) 5I Bg )@,) 1)h3H )q ,- ;gI3Y3 )I, - 3dI1Dq36 7-8 3 ;gI3Y3 )I, - 3dI1Dq36 7-8 3 $d13k6A $d13k6A H H II - Cc đc i m ca lôgc hc II - Cc đc i m ca