Tài liệu Tài liệu hướng dẫn học tập logic học đại cương

TRƯỜNG ĐẠI HỌC THỦ DẦU MỘT TRUNG TÂM LÝ LUẬN CHÍNH TRỊ TÀI LIỆU HƯỚNG DẪN HỌC TẬP MÔN LOGIC HỌC ĐẠI CƯƠNG Mã số: Chủ biên: ThS. Nguyễn Thanh Kỳ Bình Dương, tháng 3 năm 2017 TRƯỜNG ĐẠI HỌC THỦ DẦU MỘT TRUNG TÂM LÝ LUẬN CHÍNH TRỊ TÀI LIỆU HƯỚNG DẪN HỌC TẬP MÔN LOGIC HỌC ĐẠI CƯƠNG Mã số: Chủ biên: ThS. Nguyễn Thanh Kỳ Thành viên: ThS. Phan Thanh Bằng Bình Dương, tháng 3 năm 2017 Trang 1 n Ọ 1.1 4 4 1.1.1. 4 1.1. 4 1.1. 6 1.1. 7 1.2 8 1.3 10 11 n 13 13 A. 2.1 13 2.1.1 13 2.1.2. 13 3.1.3 15 2.2 15 2.2. 15 2.2. 19 2.2. 22 2.2. 23 2.3 25 26 n 56 56 A. 3.1 56 3.1. 56 3.1. 56 3.1.3. 57 1 3.1. 58 3.1. 60 3.2 61 3.2.1 61 3.2. 62 3.2. 62 3.3 63 3.3. 63 3.3. 64 3.4 67 3.4. 67 3.4. 67 3.5 68 3.5. 68 3.5. 69 3.5. 70 3.5. 72 3.6 74 3.6. 74 3.6. 75 3.6. 77 3.6. 79 80 n 94 94 A. 4.1 94 4.1. 94 4.1. 95 4.1. 95 4.2 96 4.2. 96 4.2. 96 2 4.2. 97 4.3 114 4.3. 114 4.3. 114 4.3. 114 121 n 144 144 A. 5.1 144 5.1. 144 5.1. 144 5.1. 144 5.2 145 5.2. 145 5.2. 145 5.2. 152 5.2. 159 5.3. 167 167 5.3. 167 5.3. 170 n Ỏ 211 211 A. 6.1 211 6.1. 211 6.1. 211 6.1. 212 6.1. 213 6.2 215 6.2. 215 6.2. 215 3 6.3. 216 6.3. 216 6.3. 217 220 138 n C Ọ 1.1 Ọ Ố Ọ 4 1.1.1. ịn n ĩa lo c ọc : l . l à . ỹ l . - Logic học là khoa học nghiên cứu về 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. 1.1.2. n lo lo c ọc ă , x : Logic học hình thức là khoa học nghiên cứu các hình thức và quy luật của tư duy nhằm đ m o t nh ch nh ác về m t k t c u logic của tư duy trong quá trình nhận thức ch n l . 5 Logic : x . , x ỹ ỹ Suy 1 . x x x . x x x x , 1 – 6 Logic học iện chứng là khoa học nghiên cứu các hình thức và các quy luật của tư duy khi tư duy ph n ánh sự vật trong sự vận động i n đ i của n nhằm đ t tới ch n l . trong quan tâm , . x 7 2 1.1.3. ố t ợn n . n c u của lo c ọc x . og x x x x c . . x 2 x 8 , nghiê 1.1.4 ác p n p áp n n c u lo c ọc - Ọ 1.2. x ỷ Aristote (384 - 9 h . Aristote duy - suy logic n, . do Aristote x . Aris ỷ - x Aris (1079 - 1142) x Aristote - 10 Aris F.Bacon x ỷ R.Descates (1596 - 1650) x ông lao - khi s x x x - 1925), B.Russell (1872 - Principia Mathematica - ă x - x 11 x ỷ ỷ x x -l , x x 1.3 Ĩ Ọ ột là nghiên cứu logic học giúp ngư i học chuy n quá trình tư duy tự phát thành tư duy tự giác. x 12 x ai là nghiên cứu logic học giúp ngư i học ph n iệt tư duy ch nh ác và tư duy sai l m c c n cứ c s o vệ nh ng quan đi m đúng đắn phê phán và v ch tr n các quan đi m sai l m. a là nghiên cứu logic học giúp trang cho chúng ta phư ng pháp nghiên cứu logic học. ng x , n là nghiên cứu logic học c ngh a đ c iệt đ i với các l nh vực ngành khoa học c th . l x 13 logi ă x ă x x duy . Ố - :∈ →  - ↔ - ˅ - ˅ - 14 :∀ - :∃ - - Chu diên: + - Không chu diên: - 15 n 2 A. 2.1 Ặ Ọ á n ệm 2.1. các ă N logic logic i ă 2.1. ín c ất của các qu lu t lo c ọc 2.1.2.1. 16 x - . V t 2.1.2.2. Tính - x - không 2.1.2.3. Tính 17 x nhau. x l M x . 2.1.3. c m c un của n n qu lu t lo c ọc 18