Tài liệu hạn chế xem trước, để xem đầy đủ mời bạn chọn Tải xuống
1
/ 40 trang
THÔNG TIN TÀI LIỆU
Thông tin cơ bản
Định dạng
Số trang
40
Dung lượng
1,22 MB
Nội dung
TRƯỜNG ĐẠI HỌC TÔN ĐỨC THẮNG PHÒNG TRUNG CẤP CHUYÊN NGHIỆP & DẠY NGHỀ -# " - MÔN HỌC LOGIC HỌC GIẢNG VIÊN: ThS LÊ ANH VÂN 5/4/2010 LÊ ANH VÂN - LUẬN LÝ HỌC (Logic Hình Thức) LOGIC HC (LUN LÝ HC HÌNH THC) Hng dn: Lê Anh Vân (Th.S) Email: anhvanlogic@yahoo.com Chng 1: NHP MÔN Khái quát v Phng pháp lun Ph Phng pháp há lun l vàà Lun L lý hc h Vì cn hc mơn Lun lý Lc s Lun lý hc nh ngh a Lun lý hc trang 1 5/4/2010 LÊ ANH VÂN - LUẬN LÝ HỌC (Logic Hình Thức) Khái quát v Phng pháp lun y Phng pháp lun hc thuy
t v phng pháp; hay l nh vc khoa hc nghiên g cu v phng p g pháp p p mt y Phng pháp lun mt h thng nguyên lý hoc lý thuy
t óng vai trò ch o hot ng nhn thc ci to thc tin; có c dùng ch s vn dng nguyên lý th gii quan vào trình nhn thc thc tin tin y Phng pháp lun bn thân phng pháp vt bin chng hay tp hp t t c phng pháp ngành khoa hc tng ng Khái quát v Phng pháp lun y Phng pháp lun tp hp phng pháp c dù dùng t mt t ngành h khoa kh hc h y Phng pháp lun lý lun v phng pháp c a mt khoa hc, bao g m xác nh phng pháp, ni dung c a m i phng pháp, cách áp dng, phm vi áp dng… y Phng pháp lun vic nghiên cu hu nghim nh!ng phng pháp khoa hc trang 2 5/4/2010 LÊ ANH VÂN - LUẬN LÝ HỌC (Logic Hình Thức) Lun lý hc & Phng pháp lun Lun lý hình thc Truyn thng h Lun lý tốn hc Lun lý hc Lun lý ng dng Phng pháp há lun l Khoa hc lun Vì cn hc mơn Lun lý? y Nói v cơng dng c a lun lý hc y V trí c a lun lý hc nn giáo dc y Mt ví d v s la chn c a sinh viên i vi môn lun lý hc y Mt m"u chuyn vui v ích li c a lun lý hc trang 3 5/4/2010 LÊ ANH VÂN - LUẬN LÝ HỌC (Logic Hình Thức) Vì cn hc c mơn Lun lý? Nói v cơng d ng c a Lun lý hc y ThS Lê Duy Ninh: logic hc rt c dng mi lnh vc mà ó ho t ng t x
y y PGS TS Ph PGS.TS Ph m ì ình h Nghi m: N hi nghiên h ê cu logic l b m t kho
ng thi gian t ng i nh mà có th nâng cao c trình t t Nam xa y Giai o n 1954–1975: Min B-c: nh h+ng c a nn giáo dc khi XHCN, môn hc không c ging dy nhà tr$ng y Giai o n sau 1975: lun lý hc không c ging dy + bc trung hc, nhng c thc ging dy + bc i hc i h cho h mt t s ngành h t# n'm ' 1995 theo th chng h trình giáo dc i cng c a B GD& T trang 6 5/4/2010 LÊ ANH VÂN - LUẬN LÝ HỌC (Logic Hình Thức) Vì cn hc c mơn Lun lý? M
t ví d v s la chn c a sinh viên i vi môn Lun lý Lc s Lun lý hc y Pythagoras (580– 500), y Kh%ngg T (551–479), ( ), y Héraclite (544–484), y Mc T (480–420) y Socrate (470–399), y Démocrite (460–370), y Platon (427–347), y Tuân T (298–238), Aristotle (544–484) trang 7 5/4/2010 LÊ ANH VÂN - LUẬN LÝ HỌC (Logic Hình Thức) Lc s Lun lý hc - ARISTOTLE y Aristotle c coi cha < c a lun lý hc khơng phi ơng ng$i u tiên ã h thng hóa c thao tác suy lun (vn trc ó ch t n ti riêng r=, cha rõ ràng), mà ơng ng$i u tiên làm cho thao tác tr+ thành i tng nghiên cu y Các thành tu quan trng c a ông lun lý hc: Ba nguyên g y lýý c bn: ngg nht,, phi mâu thun, tri t tam Suy lun di n dch (hình thc): tam on lun Aristotle (544–484) Lc s Lun lý hc - ARISTOTLE y Minh ha nguyên lý ng nht: Bà già i ch Cu 'ơng Bói xem m t qu) ly ch(ng ( li ch*ng Thy bói gieo qu) nói r+ng Li có li, nh ng r*ng ch#ng cịn y Minh ha nguyên lý phi mâu thun: Bà ngo i ru cháu: u dí du cu ván óng inh… cháu ngoan c&a bà ã ng& ch a? Nu ng& ngoan r(i mai bà s cho i chi thú nhún nhé! – 'a cháu nhanh nh$u áp: d , cháu ng& r(i y Minh ha nguyên lý tri t tam: Ai bit quy lut trit tam gi tay? trang 8 5/4/2010 LÊ ANH VÂN - LUẬN LÝ HỌC (Logic Hình Thức) Lc s Lun lý hc - ARISTOTLE y Minh ha tam o n lun: Mi ng i u ph
i cht, Mà Socrate ng i - Ba qquy y lut Socrate c a tph
i duy: y cht ngg nh t,, Vy phi mâu thu"n, trit tam Suy lun din d ch (hình thc): tam on lun Aristotle (544–484) Lc s Lun lý hc – F BACON y Bacon ng$i u tiên xây dng phng pháp suyy lun quy q y n p, p, có ý ngh a g r t ln i vi ngành khoa hc thc nghim ¾ Lun lý din d ch (lun lý hc c a Aristotle) hoàn tồn vơ ích, ch n gin l y “tri thc riêng” g t# “tri thc chung” g ã bi
t, có thêm c mi m< âu! ¾ Lun lý quy np mi h!u ích cho khoa hc Francis Bacon (1561–1626) trang 9 5/4/2010 LÊ ANH VÂN - LUẬN LÝ HỌC (Logic Hình Thức) Lc s Lun lý hc – F BACON y Minh ha suy lun quy n p o Qu banh bóng r% có hình cu; o Qu banh bóng á có hình cu; o Qu banh bóng chuyn có hình cu; o Qu banh bóng chày có hình cu; o Qu banh qun vt có hình cu; o Qu banh ping–pong có hình cu… Ỵ Vy qu banh th thao c?ng có hình cu (???) Lc s Lun lý hc – F BACON • Quan sát • Thí nghim D! liu li khoa hc Các nh lut lý gii hin tng t%ng % hp S kin khoa hc n
u úng • Quan sát • Thí nghim h thng hóa n
u sai • Các nguyên lý • Lý thuy
t KH thc nghim lp li gi thuy
t khái quát kim tra Gi thuy
t khoa hc Các h qu t t y
u trang 10 10 5/4/2010 LÊ ANH VÂN - LUẬN LÝ HỌC (Logic Hình Thức) Lc s Lun lý hc – R DESCARTES y Descartes ã trng áp dng phng pháp suy lun din d ch c a Aristotle ((din d ch hình thc)) vào toán hc (din d ch toán hc) Aristotle Descartes Din d ch hình thc Din d ch tốn hc Ch ggii thích nh!ng iu ã bi
t hn mang li nh!ng chân lý mi V#a ch-c ch-n, v#a phong phú René Descartes (1596–1650) Lc s Lun lý hc – R DESCARTES y Minh ha tính ch-c ch-n tính phong phú toán hc c a Descartes: di n dch N
u (d1) E (d3) (d2) E (d3), (d1) // (d2) T%ng s góc mt tam giác 180O; mt a giác có n cnh cha (n–2) tam giác khơng giao Vy t%ng s góc c a mt a giác (n–2)*180O René Descartes (1596–1650) trang 11 11 5/4/2010 LÊ ANH VÂN - LUẬN LÝ HỌC (Logic Hình Thức) Lc s Lun lý hc – G W LEIBNIZ y Leibniz ng$i tiên phong vic a toán hc vào lun lý ý hc, , theo cách thc nh sau: ¾ Phân tích t t+ng thành nh!ng ý t+ng n gin; ¾ Ký hiu ý t+ng di dng i s; ¾ K
t hp ký hiu ó li thành nh!ng mnh ; ¾ Liên k
t mnh nàyy thành suyy lun bUngg thao tác lun lý cht ch= nh quy t-c i s y Ti
p tc phát trin xu hng có: G Boole, Schrõder, A N Whitehead, B Russell Gottfried Wilhelm Leibniz (1646 – 1716) Lc s Lun lý hc – G W LEIBNIZ y Bài toán: chng minh mt s chYn y Ch ng minh: S chYn s t nhiên chia h
t cho 2; S t nhiên chia h
t cho 2; Vy mt s chYn y D ng ký hi u: (p[q) /\ (q[p) /\ q Ö p Gottfried Wilhelm Leibniz (1646 – 1716) trang 12 12 5/4/2010 LÊ ANH VÂN - LUẬN LÝ HỌC (Logic Hình Thức) Lc s Lun lý hc – G W LEIBNIZ y Leibniz c?ng ã b% sung nguyên lý túc lý (quy lut lý ý y y )) vào g nguyên g y lý ý c bn c a lun lý hc Nguyên lý ng nh t Nguyên lý phi mâu thu"n Aristotle g y lýý trit tam Nguyên Nguyên lý túc lý Gottfried Wilhelm Leibniz (1646 – 1716) Lc s Lun lý hc – G W LEIBNIZ y Minh ha nguyên lý túc lý (lý y ): Nam sinh viên khoe: sáng t ã tit kim c ba ngàn (ng y 'áng ph
i i xe bt t ã ch y theo N sinh viên áp N p l i: hay, y, cu nàyy ngu g th!! Sao S không ch y theo xe taxi có ph
i tit kim hn khơng? trang 13 13