Đề cương môn logic đại cương

                        CHƯƠNGTRÌNHMÔNLÔGICHỌCĐẠICƯƠNG(02TÍNCHỈ)    CHƯƠNG   TÊN CHƯƠNG   SỐGIỜLÝ THUYẾT   BÀITẬP   KIỂMTRA SỐGIỜ TỰHỌC     TỔNG  SỐGIỜ    1 Đối tượng và ý  nghĩa của môn lôgic   2      2  học    2   Khái niệm   4   2     6    3   Phán đoán   2   2     4    4   Các quy luật cơ  bản của lôgic hình thức   1   1     2    5   Suy luận   5   4   1    10    6   Chứng minh và bác  bỏ   2   2     4      Giả         7 thuyết 2 2    Tổng    18   11   1    30          LỊCHTRÌNHGIẢNGDẠY   THỜIGIAN   SỐTIẾT   NỘIDUNG   YÊUCẦU  ĐỐIVỚI SINHVIÊN   GHICHÚ  Tuần1  Từ đến    2 Chương1 Chuẩnbị tàiliệu,làm bàitập  Tựnghiên cứu:2.1đến 2.5   Tuần2  Từ đến    2 Ch2:2.1 đến2.5  Luyệnbài tập Làmbàitập  Tựnghiên cứu:2.6    Tuần3  Từ đến 2   Ch2:2.6  Luyệnbài tập Làmbàitập  Tựnghiên cứu:2.7đến 2.9   Tuần4  Từ đến 2   Ch2:2.7 đến2.9  Luyệnbài tập Làmbàitập  Tựnghiên cứu:3.1,3.2   Tuần5  Từ đến 2   Ch3:3.1, 3.2  Luyệnbài tập Làmbàitập  Tựnghiên cứu:3.3   Tuần6  Từ đến 2   Ch3:3.3  Luyệnbài tập Làmbàitập  Tựnghiên cứuchương 4     Tuần7  Từ đến 2   Ch4  Luyệnbài tập Làmbàitập  Tựnghiên cứu:5.1đến 5.2.1   Tuần8  Từ đến 2   Ch5:5.1 đến5.2.1  Luyệnbài tập Làmbàitập  Tựnghiên cứu:5.2.2   Tuần9  Từ đến 2   Ch5:5.2.2  Luyệnbài tập Làmbàitập  Tựnghiên cứu:5.2.2    Tuần10  Từ đến 2   Ch5:5.2.2  Luyệnbài tập Làmbàitập  Tựnghiên cứu:5.2.3   Tuần11  Từ đến 2   Ch5:5.2.3  Luyệnbài tập Làmbàitập  Ôntậpcác chương 1,2,3,4,5     Tuần12  Từ đến 2 Kiểmtragiữa kỳ Theonhóm nhỏ(Mỗi lớpchialàm 2nhóm)   Tuần13  Từ đến 2   Ch6:6.1 đến6.3  Luyệnbài tập Làmbàitập  Tựnghiên cứuchương 6   Tuần14  Từ đến 2   Ch6:6.4, 6.5  Luyệnbài tập Làmbàitập  Tựnghiên cứuchương 7   Tuần15  Từ đến 2   Chương7  Hướngdẫn ôntập Làmbàitập       Tổng   30         TÀILIỆUHỌCTẬP Tàiliệubắtbuộc Đềcươngmônhọc(soạntheohọcchếtínchỉ) VươngTấtĐạt:Lôgichọcđạicương,NXBĐạihọcQuốcGiaHàNội,2008 NguyễnNhưHải:GiáotrìnhLôgichọcđạicương,NXBGiáodục,2007  Nguyễn Thuý Vân, Nguyễn Anh Tuấn: Lôgic học đại cương, NXB ĐHQG Hà              Nội,2008 Tàiliệuthamkhảo  HoàngChúng:Lôgichọcphổthông,NXBGiáodục,2006  Vương Tất Đạt, Bùi Văn Quân, Nguyễn Thị Vân Hà: Phương pháp giải các bài                tậplôgichọc,NXBĐạihọcKinhtếquốcdân,1999  Nguyễn Đức Dân: Giáo trình nhập môn Lôgic hình thức, NXB Đại học Quốc               GiaTPHồChíMinh,2008 NguyễnĐứcDân:LôgicvàtiếngViệt,NXBGiáodục,1996 TôDuyHợp,NguyễnAnhTuấn:Lôgichọc,NXBTPHồChíMinh TrầnDiênHiền:cácbàitoánvềsuyluậnlôgic,NXBGiáodục,2000 TrầnDiênHiền:Lôgicgiảitrí,NXBKhoahọcvàkỹthuậtHàNội,1993  Bùi Thanh Quất, Nguyễn Tuấn Chi: Lôgic học hình thức, NXB Đại học Tổng               HợpHàNội,1994  Lê Doãn Tá, Tô Duy Hợp: Giáo trình Lôgic học, NXB Chính trị Quốc Gia,                2002 LêTửThành:Tìmhiểulôgichọc,NXBTrẻ,1996     YÊUCẦUĐỐIVỚISINHVIÊN Mỗisinhviênnhấtthiếtphảicócáctàiliệuhọctậpbắtbuộc.  Nhất thiết phải tự nghiên cứu bài trước khi đến lớp nghe giảng ( Theo                nhữnghướngdẫntrongđềcươngbàigiảng) Hoànthànhcácbàitậptheoyêucầu,hướngdẫncủagiáoviên  Chấp hành nghiêm túc các quy định về nề nếp học tập, kiểm tra đánh giá                 nhưquychếđàotạođạihọcdoĐHQGquyđịnh  KIỂMTRAĐÁNHGIÁKẾTQUẢHỌCTẬP Kiểm tra đánh giá thường xuyên: 10%: đánh giá chuyên cần, thái độ học tập,                quátrìnhchuẩnbịbài,làmbàitậptrênlớpvàởnhà(hệsố0,1) Kiểmtrađịnhkỳ:30%(hệsố0,3); Thi hết môn: 60%, hình thức: thi viết, thời gian: 90 phút; sinh viên được sử dụng                 tàiliệukhilàmbàithi(hệsố0,6)  CÔNGTHỨCTÍNHĐIỂMMÔNHỌC   STT   Nộidungkiểm trađánhgiá   Hệsố     Kếtquả      1 Thườngxuyên:  Chuyêncần   Tham gia học    tập trên lớp tích    cực, hăng hái   phátbiểu   Làm bài tập, tự     họcởnhàđầyđủ     0,1  (a)     10%  2 Kiểm tra giữa   kỳ:1lần   Hình thức: làm    0,3  (b)   30%  bài viết trên lớp,    thờigian:01tiết    3 Kiểm tra cuối   môn:   Hình thức: tự    luận kết hợp trắc    nghiệm tổng hợp,   sinh viên được   sử dụng tài liệu    khilàmbàithi   Thời gian: 120    phút   0,7  (c)   60%     Điểm môn học:   k = 0,1a + 0,3b     +0,6c    100%  Ghichú:Cácđiểmđềutínhtheothang10.    ĐỀCƯƠNGCHITIẾT Chương1:ĐỐITƯỢNGVÀÝNGHĨACỦALÔGICHỌC  1.1Kháiluậnchungvềlôgichọc 1.1.1Kháiniệmlôgicvàlôgichọc THUẬTNGỮGỐC:LÔGOS Từ,lờinói Tưtưởng,ýnghĩ,lýtính LÔGICLÀGÌ?  Những mối liên hệ tất yếu, có tính quy luật giữa các sự vật, hiện tượng                 tronghiệnthựckháchquan–Lôgickháchquan   Những mối liên hệ tất yếu, có tính quy luật giữa các ý nghĩ, tư tưởng                 trongtưduy–Lôgicchủquan MônkhoahọcnghiêncứuhìnhthứcvàquyluậtcủatưduyLogichọc 1.1.2Đốitượngcủalôgichọc LÔGICHỌCLÀGÌ? Là môn khoa học nghiên cứu các quy luật và hình thức của tư duy               hướngvàoviệcnhậnthứcđúngđắnhiệnthựckháchquan Kháchthểnghiêncứu:Tưduy Đốitượngnghiêncứu:quyluậtvàhìnhthứccủatưduy NHIỆMVỤCƠBẢNCỦALOGICHỌC: *Chỉranhữngđiềukiệnnhằmđạttớitrithứcchânthực * Phân tích kết cấu của quá trình tư duy, chỉ ra các thao tác lôgic và                 phươngphápluậnchuẩnxác 1.1.3Kháilượclịchsửhìnhthànhvàpháttriểncủalôgichọc ĐẠIBIỂUĐẦUTIÊN:ARITSTÔT(384322TRCN)  Hệ thống hoá những hiểu biết của thời đó về hình thức và quy luật của                 tưduyxâydựngnênLôgichọc  Được truyền bá ở Trung cận Đông, châu Âu từ –IV đến XIX mà không                cónhữngthayđổilớn CuốiXIXđếnnay:Cónhữngpháttriểnrấtlớn CÁCHÌNHTHỨCCỦALÔGICHỌC: Lôgiccổđiển Lôgictoán Lôgichiệnđại Lôgicbiệnchứng 1.1.4Cáckhoahọclogic *Lôgiccổđiển  Thời cổ đại: Hêrraclit, Đêmôcrit,… Aristôt. Có ảnh hưởng rất lớn tới sự phát               triểncủathựctiễnvànhậnthứckhoahọc Trungcổ,Phụchưng:Khủnghoảng  Thế kỷ XVII: Lôgic học quy nạp ( Ph.Bêcơn); Luận về phương pháp ( Đêcatơ);                ….Lômônôxôp,Karinxki,Povarnhin… *Lôgictoán  Cuối XIX: Sự thâm nhập của các phương pháp toán học vào các khoa học khác                 nhau G.Lepnit(16461716):Khởixướnglôgictoán G.Boole(18151864):Đạisốlogic  *Lôgichiệnđại  Vạch ra và vận dụng những phương pháp của khoa học hiện đại để giải quyết                 nhữngvấnđềcủalogictruyềnthống  Các đại biểu: J. Venn ( 18341923); R. Carnap (18911971), B. Russell ( 1872               1970)… *Lôgicbiệnchứng  Thời cổ đại: Aristôt đã đặt ra và bước đầu giải quyết những vấn đề cơ bản của                   logicBC ThếkỷXVII:Ph.Bêcơn,Hôpxơ,Đêcatơ,Lepnit… CuốiXVII,đầuXIX:LogicBCđượcđịnhhìnhvàpháttriển: .Cantơ:đưaPBCvàologichọc .Hêghen:XâydựnghoànchỉnhlogicBC . Mác, Ăngghen: Logic duy vật BC, chỉ ra mối quan hệ giữa logic BC và logic                 hìnhthức 1.2Quátrìnhnhậnthứcvàhìnhthứccủatưduy 1.2.1Quátrìnhnhậnthức *NhậnthứclàsựphảnánhTGKQvàoócngười *Haigiaiđoạncủanhậnthức:Cảmtínhvàlýtính Nhậnthứccảmtính:Cảmgiác,trigiác,biểutượng Nhậnthứclýtính:Kháiniệm,phánđoán,suyluận 2. Đặcđiểmcủatưduy *Tưduy: Làgiaiđoạncao,trìnhđộcaocủaquátrìnhnhậnthức  Là sự phản ánh gián tiếp, trừu tượng, khái quát bằng các khái niệm, phạm                trù, phán đoán, suy luận…nhờ đó phản ánh được những mặt, những mối liên hệ               bảnchất,tấtyếu Làquátrìnhnhậnthứctrừutượng,kháiquátcao *Đặcđiểmcủatưduy: Phảnánhhiệnthựcdướidạngkháiquát Phảnánhtrunggianhiệnthực Liênhệmậtthiếtvớingônngữ Thamgiatíchcựcvàohoạtđộngthựctiễncảibiếnhiệnthực 3. Hìnhthứccủatưduy * Khái niệm: Là hình thức của tư duy, phản ánh các dấu hiệu bản chất, khác biệt                  củađốitượng * Phán đoán: Là hình thức của tư duy, trong đó nêu rõ sự khẳng định hay phủ                  địnhvềsựtồntạicủađốitượng,vềthuộctínhhaymốiquanhệcủađốitượng  [...]... Chú ý:   ­ Nếu xuất phát từ tiền đề C, suy luận hợp lôgic thì hệ quả chắc chắn C  ­  Nếu  xuất  phát  từ tiền đề C mà  lại  rút ra một hệ quả  g thì chắc chắn lập luận  có lỗi lôgic  ­ Trong một lập luận hợp lôgic, hệ quả luôn g thì có thể chắc chắn là tiền đề g  ­  Trong  một  lập  luận  hợp  lôgic,  hệ  quả  luôn  C  thì  không  thể  khẳng định chắc  chắn tính C của tiền đề ● Quy ước:   * Nếu a → b thì: ... 5.2.1 Suy luận diễn dịch trực tiếp  Suy luận diễn dịch trực tiếp là gì?  Là suy luận diễn dịch mà kết luận được rút ra từ một tiền đề Các loại suy luận diễn dịch trực tiếp cơ bản:  + Tiền đề là phán đoán đơn:   ­ Phép chuyển hoá  ­ Phép đảo ngược  ­ Phép đối lập vị từ  ­ Suy luận dựa vào hình vuông logic + Tiền đề là phán đoán phức: dựa vào các phán đoán phức tương đương  PHÉP CHUYỂN HÓA:    Là  suy  luận  diễn  dịch ... Cấu tạo của suy luận  *Tiền  đề:  Là cơ  sở của  suy luận, là những  tri  thức, phán đoán xuất  phát, từ đó  tìm ra tri thức mới, phán đoán mới về đối tượng  *Lập  luận:  Tổng  hợp  các  quy  tắc,  quy  luật  lôgic  cơ  bản  kết  hợp  với  kết  cấu  lôgic của các phán đoán tiền đề,  từ đó rút ra những phán đoán, tri thức mới  *Kết  luận:  Những  phán  đoán,  tri  thức  mới  thu  được  từ  tiền  đề thông qua quá ... Là  suy  luận  diễn  dịch  trực  tiếp  trong đó vị  từ của phán đoán tiền đề chuyển    thành  chủ  từ  của  kết  luận,  chủ  từ  của  tiền  đề chuyển thành  vị từ của kết  luận (  Nội dung phán đoán, chất của phán đoán không thay đổi)    S là ( không là) P →  P là( không là) S  Chú ý :  Thuật  ngữ  không  chu  diên  trong  tiền  đề không  được  trở  thành  chu  diên  trong  kết luận    Đảo ngược phán đoán đơn nhất : ... tính  chân  thực của nó     YÊU CẦU:   ­  Tư  tưởng  nêu  ra  để  khẳng  định  tính  chân  thực  phải  rõ  ràng  về  mặt  nội  dung  ­  Mỗi  tư  tưởng  chân  thực  đều  phải  bắt  nguồn  từ  những  tư  tưởng,  sự  kiện  chân thực khác  ­ Các tiền đề,  lý do  phải đầy đủ và phải có mối quan hệ bản chất với nhau  ­  Khi  chứng  minh  tính  chân  thực  của  tư  tưởng  cần  dựa vào những mối liên  hệ tất yếu, bên trong, bản chất giữa các đối tượng ... thân việc sử dụng lôgíc học đòi hỏi phải có hai điều kiện: thứ nhất, là có một  khả năng tư duy nhất định; và thứ hai, một số tri thức nhất định.  BÀI TẬP  1. Hãy xác định giá trị lôgic của những tư tưởng sau:  1.1 Lôgic học là môn khoa học nghiên cứu tư duy  1.2 Lôgic học là môn khoa học nghiên cứu hình thức và quy luật của tư duy  1.3 Tư duy là quá trình phản ánh thế giới khách quan vào bộ óc người  1.4 Hình thức lôgic của các tư tưởng khác nhau bao giờ cũng khác nhau ... trong  kết luận    Đảo ngược phán đoán đơn nhất :  ● S này là P → Có một P là S  ● S này không là P → "  P không là S                  CHÚ Ý : Thao tác này luôn thực hiện được đối với tiền đề ở 3 kiểu phán đoán  đơn.  Tiền đề Quan hệ  Kết luận    A:  S là P  S P  I:  P là S    S P  A:  P là S  S tách rời P  E:  P không là S      E:  S không là P      ... 1.4 Lôgic học và ngôn ngữ  1 2   Ngôn ngữ và các hệ thống ngôn ngữ  Mối quan hệ giữa lôgic học và ngôn ngữ  * Ngôn ngữ được sử dụng trong lôgic học là ngôn ngữ nhân tạo   * Một số ký hiệu lôgic:  + Các mệnh đề:  a,b,c,…  + Các liên từ:           ­  Là, không là  ­  Và ( Phép hội) ʌ : a ʌ b  ­  Hoặc ( Phép tuyển) V : a V b  ­  Nếu… thì ( Phép kéo theo)  → : a → b    ­   Nếu và chỉ nếu ( Phép tương đương) ↔ : a ↔ b ... 3.1 Cô giáo: Sao em không làm bài mà lại nộp giấy trằng thế này?  Học sinh: Thưa cô vì em không có giấy đen ạ.  3.2  – ….Tớ buồn lắm, bây giờ tớ chẳng còn thích bất cứ một thứ gì nữa.  ­  Thế tiền thì sao?    ­ Tiền thì ai chẳng thích.  3.3 …Mọi phụ nữ đều đẹp nhưng vẫn có những phụ nữ rất xấu.  3.4 Chủ nhà vừa bị mất cắp khai báo với công an xã và khẳng định: Chính  anh hàng xóm là thủ phạm lấy cắp chiếc xe đạp.  Công an xã: Căn cứ vào đâu mà bác lại khẳng định thế? ...*  Suy  luận:  Là  hình  thức  của  tư  duy, nhờ đó từ một hay nhiều phán đoán tiền đề có thể rút ra kết luận theo các quy tắc lôgic xác định  1.3 Hình thức lôgic và quy luật lôgic của tư duy  Hình thức lôgic của tư duy  Là  cấu  trúc  của  tư  tưởng, là  phương thức liên kết các thành phần của tư  . đến 2   Chương7  Hướngdẫn ôntập Làmbàitập       Tổng   30         TÀILIỆUHỌCTẬP Tàiliệubắtbuộc  Đề cương môn học(soạntheohọcchếtínchỉ) VươngTấtĐạt:Lôgichọcđại cương, NXBĐạihọcQuốcGiaHàNội,2008 NguyễnNhưHải:GiáotrìnhLôgichọcđại cương, NXBGiáodục,2007 .  logic BC ThếkỷXVII:Ph.Bêcơn,Hôpxơ,Đêcatơ,Lepnit… CuốiXVII,đầuXIX: Logic BCđượcđịnhhìnhvàpháttriển: .Cantơ:đưaPBCvào logic học .Hêghen:Xâydựnghoànchỉnh logic BC . Mác, Ăngghen: Logic duy vật BC, chỉ ra mối quan hệ giữa logic BC và logic              .  phút   0,7  (c)   60%     Điểm môn học:   k = 0,1a + 0,3b     +0,6c    100%  Ghichú:Cácđiểmđềutínhtheothang10.    ĐỀCƯƠNGCHITIẾT Chương1:ĐỐITƯỢNGVÀÝNGHĨACỦALÔGICHỌC  1.1Kháiluậnchungvềlôgichọc 1.1.1Kháiniệmlôgicvàlôgichọc THUẬTNGỮGỐC:LÔGOS Từ,lờinói Tưtưởng,ýnghĩ,lýtính LÔGICLÀGÌ? 