Đề cương chi tiết học phần Logic (Đại học Phương Đông)

B GIÁO D C ĐĨO T O TR NG ĐH PH NG ĐÔNG ====================== C NG HOĨ Xĩ H I CH NGH A VI T NAM Độc lập- Tự do- Hạnh phúc o0o CH NG TRÌNH ĐĨO T O Đ I H C NGĨNH ĐĨO T O: CỌNG NGH THỌNG TIN -ĐỀ C NG CHI TIẾT H C PH N Tên học phần: Logic h c Mƣ số: 0000204 Số tín chỉ: Trình độ: Cho sinh viên năm thứ Phân bổ thời gian theo tín chỉ: Lên l p LỦ thuyết BƠi tập Thảo luận 20 5 Thực hƠnh, thí nghi m, thực tế, studio Tự học, tự nghiên cứu 60 Điều kiện tiên quyết: - Học phần tiên quyết: Không - Học phần học trước: - Học phần song hành: Mục tiêu học phần: - Kiến thức: Trình bƠy đ ợc kiến thức c Logic học, đặc điểm chung c a khái ni m, khái ni m phán đoán, suy luận vƠ chứng minh Các quy luật c c a t logic hình thức - Kỹ năng: Sinh viên có khả t trừu t ợng, có khả khái quát vƠ suy luận tốt - Thái độ: Sinh viên có thái độ đắn v i môn học, có khả nắm bắt tốt hi n t ợng t logic tin học Hình thƠnh vƠ c ng cố, rèn luy n thói quen t logic chặt chẽ, trình bƠy vấn đề cách khoa học Mô tả vắn tắt nội dung học phần Học phần nƠy bao gồm kiến thức đối t ợng vƠ Ủ nghĩa c a Logic hình thức ; Quy luật c c a t logic hình thức; Trình bƠy đặc điểm chung c a khái ni m, ph ng pháp c hình thƠnh khái ni m, quan h khái ni m; Bản chất vƠ cấu trúc c a phán đoán Khái ni m suy luận, suy luận di n dịch trực tiếp, tam đoạn luận đ n (suy di n gián tiếp) Khái ni m chung chứng minh, định nghĩa phép chứng minh, cấu trúc c a chứng minh, dạng c a chứng minh Nhiệm vụ sinh viên - Nộp đ học phí - Dự l p đầy đ , lƠm hết bƠi tập, tham gia thảo luận theo nhóm vƠ l p theo yêu cầu c a giáo viên - Thi đạt Tài liệu học tập - Học liệu bắt buộc: [1] Th.S HoƠng Th Minh Hu Bài giảng Logic học, Tr ng ĐHDL Ph ng Đông, 2010 - Học liệu tham khảo: [2] V ng T t Đ t, Logic học đại cương, NhƠ xuất đại học quốc gia HƠ Nội, 1997 [3] Ph m Đình Nghi m, Nhập môn Logic học, NhƠ xuất ĐHQGTPHCM, 2005 10 Tiêu chuẩn đánh giá sinh viên - Dự l p đầy đ : BƠi tập, thảo luận: Điểm kiểm tra kỳ : Điểm thi kết thúc học phần: 10% 10% 10% 70% 11.Thang điểm: 10 12 Nội dung chi tiết học phần 12.1 N i dung Chương 1: Đối t ng vƠ Ủ ngh a c a logic hình thức 1.1 Định nghĩa khoa học Logic 1.1.1 Đối t ợng, m c đích vƠ ph ng pháp c a khoa học Logic 1.1.1.1 Thuật ngữ Logic 1.1.1.2 T v i t cách lƠ đối t ợng nghiên cứu c a khoa học Logic 1.1.1.3 Logic học v i t cách lƠ khoa học nghiên cứu t 1.1.2 Quan h khoa học Logic v i khoa học khác 1.2 L ợc sử phát triển Logic học 1.2.1 Logic hình thức c a Arixtốt 1.2.2 Logic học th i kỳ Ph c h ng kỷ 16 1.2.3 Logic toán vƠ Logic bi n chứng kỷ 18 - 19 1.3 Vai trò, Ủ nghĩa c a Logic học 1.3.1 Thực ti n vƠ Logic học 1.3.2 Logic học v i vi c nghiên cứu khoa học Chương 2: Quy luật c c a t logic hình thức 2.1 Quan ni m chung qui luật c a t 2.1.1.Qui luật vƠ qui luật logic c a t 2.1.2 Đặc điểm chung c a qui luật logic c a t hình thức 2.2 Các qui luật c a t hình thức 2.2.1 Qui luật đồng 2.2.1.1 Đặc tr ng phản ánh c a qui luật đồng 2.2.1.2 Nội dung qui luật đồng 2.2.1.3 Yêu cầu c a qui luật đồng 2.2.1.4 ụ nghĩa c a qui luật đồng 2.2.2 Qui luật cấm mơu thuẫn 2.2.2.1.Đặc tr ng phản ánh c a qui luật mơu thuẫn 2.2.2.2 Nội dung c a qui luật mơu thuẫn 2.2.2.3 Yêu cầu c a qui luật mơu thuẫn 2.2.2.4 ụ nghĩa c a qui luật c a qui luật mơu thuẫn 2.2.3 Qui luật loại trừ thứ ba 2.2.3.1 Đặc tr ng phản ánh c a qui luật loại trừ thứ ba 2.2.3.2 Nội dung c a qui luật loại trừ thứ ba 2.2.3.3 Yêu cầu c a qui luật loại trừ thứ ba 2.2.3.4 ụ nghĩa c a qui luật loại trừ thứ ba 2.2.4 Qui luật lỦ đầy đ 2.2.4.1 Đặc tr ng phản ánh c a qui luật lỦ đầy đ 2.2.4.2 Nội dung c a qui luật lỦ đầy đ 2.2.4.3 Yêu cầu c a qui luật lỦ đầy đ 2.2.4.4 ụ nghĩa c a qui luật lỦ đầy đ Chương 3: Các hình thức c c a t logic hình thức 3.1 Khái ni m 3.1.1 Khái ni m lƠ 3.1.1.1 Định nghĩa khái ni m 3.1.1.2 Đặc tr ng c a khái ni m 3.1.2 Khái ni m vƠ từ ngữ 3.1.3 Cấu trúc c a khái ni m 3.1.3.1 Nội hƠm c a khái ni m 3.1.3.2 Ngoại diên c a khái ni m 3.1.3.3 Mối quan h nội hƠm vƠ ngoại diên c a khái ni m 3.1.4 Phơn loại khái ni m 3.1.4.1 Phơn loại theo nội hƠm khái ni m 3.1.4.2 Phơn loại khái ni m theo ngoại diên 3.1.5 Quan h khái ni m 3.1.5.1 Quan h t ng thích 3.1.5.2 Quan h không t ng thích 3.1.6 Phép thu hẹp vƠ m rộng khái ni m 3.1.7 Phép định nghĩa đối v i khái ni m 3.1.7.1 Thực chất c a phép định nghĩa khái ni m 3.1.7.2 Các qui tắc c a phép định nghĩa 3.1.7.3 Các kiểu hay hình thức định nghĩa 3.1.8 Phép phơn chia khái ni m 3.1.8.1 Thế nƠo lƠ phép phơn chia khái ni m 3.1.8.2 Qui tắc phơn chia khái ni m 3.1.8.3 Các kiểu phơn chia khái ni m 3.2 Phán đoán 3.2.1 Đặc điểm chung c a phán đoán 3.2.1.1 Định nghĩa phán đoán 3.2.1.2 Phán đoán, từ vƠ cơu 3.2.1.3 Đặc điểm vƠ cấu tạo c a phán đoán 3.2.2 Phán đoán đ n 3.2.2.1 Các phận cấu thƠnh c a phán đoán đ n 3.2.2.2 Chất vƠ l ợng c a phán đoán đ n 3.2.2.3 Phơn chia phán đoán đ n theo chất vƠ l ợng 3.2.2.4 Tính chu diên c a thuật ngữ logic c a phán đoán 3.2.2.5 Quan h phán đoán đ n c hình vuông logic 3.2.3 Phán đoán phức hợp vƠ Phán đoán đa phức hợp 3.2.3.1 Cấu tạo c a phán đoán phức hợp 3.2.3.2 Liên từ logic vƠ phán đoán phức hợp c 3.2.3.3 Phán đoán đa phức hợp 3.2.3.4 Tính đẳng trị c a phán đoán 3.2.4 Tình thái c a phán đoán Chương 4: Các thao tác c c a t logic hình thức 4.1 Quan ni m chung suy luận 4.1.1.Định nghĩa suy luận 4.1.2 Cấu tạo logic c a phép suy luận 4.2 Phép suy luận di n dịch 4.2.1 Phép suy di n trực tiếp 4.2.1.1 Suy di n trực tiếp từ tiền đề lƠ phán đoán đ n 4.2.1.2 Suy di n trực tiếp từ tiền đề lƠ phán đoán phức hợp 4.2.2 Phép suy luận di n dịch gián tiếp 4.2.2.1 Phép suy luận di n dịch gián tiếp tiền đề lƠ phán đoán đ n 4.2.2.2 Suy luận gián tiếp từ tiền đề lƠ phán đoán phức hợp 4.3 Phép suy luận quy nạp 4.3.1 Phép quy nạp hoƠn toƠn 4.3.2 Phép quy nạp không hoƠn toƠn 4.3.2.1 Qui nạp phổ thông 4.3.2.2 Qui nạp khoa học 4.3.3 Phép suy luận t ng tự 4.4 Phép chứng minh 4.4.1 Quan ni m chung phép chứng minh 4.4.2 Các loại chứng minh vƠ qui tắc chứng minh 4.4.2.1 Phơn loại phép chứng minh 4.4.2.2 Các qui tắc đối v i phép chứng minh 4.4.3 Bác bỏ vƠ cách bác bỏ 4.4.3.1 Bác bỏ luận đề 4.4.3.2 Bác bỏ luận thông qua phê phán luận 4.4.3.3 Bác bỏ luận chứng 4.5 Giả thuyết 4.5.1.Bản chất c a giả thuyết 4.5.1.1 Đặc tr ng chung c a giả thuyết 4.5.1.2 Cấu trúc c a giả thuyết 4.5.1.3.Các dạng giả thuyết 4.5.2 Xác nhận giả thuyết 4.5.2.1.Quá trình xác nhận giả thuyết 4.5.2.2.Các ph ng pháp xác nhận (chứng minh, bác bỏ) giả thuyết 4.5.3 Giả thuyết vƠ lỦ thuyết khoa học 4.6 Ng y bi n vƠ loại ng y bi n 12.2 Hình thức tổ chức d y h c (ph l c kèm theo) 13 Ngày phê duyệt: 14 Cấp phê duyệt: Tr ờng Đ i h c Ph CH NHI M KHOA PGS TS Phan Hữu Huơn ng Đông HI U TR NG PGS TS Bùi Thi n D ... khoa học Logic 1.1.1.1 Thuật ngữ Logic 1.1.1.2 T v i t cách lƠ đối t ợng nghiên cứu c a khoa học Logic 1.1.1.3 Logic học v i t cách lƠ khoa học nghiên cứu t 1.1.2 Quan h khoa học Logic v i khoa học. .. triển Logic học 1.2.1 Logic hình thức c a Arixtốt 1.2.2 Logic học th i kỳ Ph c h ng kỷ 16 1.2.3 Logic toán vƠ Logic bi n chứng kỷ 18 - 19 1.3 Vai trò, Ủ nghĩa c a Logic học 1.3.1 Thực ti n vƠ Logic. .. Điểm thi kết thúc học phần: 10% 10% 10% 70% 11.Thang điểm: 10 12 Nội dung chi tiết học phần 12.1 N i dung Chương 1: Đối t ng vƠ Ủ ngh a c a logic hình thức 1.1 Định nghĩa khoa học Logic 1.1.1 Đối