Tổng quan về giáo trình

Tài liệu bài giảng và giáo trình Lôgích học đại cương do TS. Tạ Thị Vân Hà biên soạn (Bộ môn Nguyên lý cơ bản của Chủ nghĩa Mác - Lênin, hoàn thành ngày 26/09/2017) được thiết kế cho học phần 02 tín chỉ trong chương trình đào tạo đại học. Khối lượng học phần gồm 30 tiết quy chuẩn, được phân bổ thành 24 tiết lý thuyết, 6 tiết thảo luận và chữa bài tập, cùng 1 tiết kiểm tra giữa kỳ.

Mục tiêu học tập của giáo trình tập trung vào việc cung cấp hệ thống tri thức nền tảng về hình thức và quy luật cơ bản của tư duy đúng đắn; trang bị cho sinh viên công cụ phân tích cấu trúc logic của ngôn ngữ tư duy và rèn luyện kỹ năng thao tác hóa các lập luận học thuật.

Giáo trình tiếp cận môn học theo hệ thống logic hình thức truyền thống kết hợp các yếu tố của logic toán hiện đại và ngôn ngữ vị từ. Cấu trúc học phần được tổ chức thành 5 chương tuần tự:

  1. Nhập môn Lôgích học đại cương (3 tiết)
  2. Khái niệm và Phán đoán (6 tiết)
  3. Các quy luật lôgích cơ bản của tư duy (4 tiết)
  4. Suy luận (7 tiết)
  5. Chứng minh (3 tiết)

Điểm đặc thù của tài liệu là việc kết hợp chặt chẽ giữa lý thuyết hình thức với các mô hình trực quan (sơ đồ Euler, sơ đồ Venn, hình vuông logic) và các hàm toán học để xác định giá trị chân lý của phán đoán phức hợp.

Nội dung kiến thức cốt lõi

Các chương và chủ đề chính

  • Chương 1: Nhập môn Lôgích học đại cương (3 tiết)
    Xác định đối tượng nghiên cứu của logic học là các hình thức (khái niệm, phán đoán, suy luận) và quy luật của tư duy (đồng nhất, cấm mâu thuẫn, loại trừ cái thứ ba, lý do đầy đủ). Chương này phân định ranh giới giữa Lôgích học với Triết học, Tâm lý học, Sinh lý học thần kinh cấp cao, Điều khiển học và Ngôn ngữ học; đồng thời giới thiệu hệ thống ngôn ngữ vị từ, các ký hiệu phán đoán ($a, b$), khái niệm ($A, B$), liên từ logic ($\wedge, \vee, \rightarrow, \leftrightarrow, \neg$), lượng từ phổ dụng ($\forall$), lượng từ tồn tại ($\exists$) và lịch sử phát triển từ logic truyền thống (Ấn Độ, Trung Quốc, Hy Lạp, La Mã, Hegel) đến logic toán.

  • Chương 2: Khái niệm và Phán đoán (6 tiết)

    • Khái niệm: Trình bày bản chất, giá trị logic (chân thực/giả dối), phương pháp hình thành (so sánh, phân tích, tổng hợp, trừu tượng hóa, khái quát hóa); cấu trúc gồm nội hàm (dấu hiệu loại, dấu hiệu chủng) và ngoại diên; phân loại khái niệm (theo nội hàm: cụ thể/trừu tượng, khẳng định/phủ định, tương quan/không tương quan; theo ngoại diên: tập hợp/không tập hợp, thực/ảo, chung/đơn nhất); quan hệ ngoại diên điều hòa (đồng nhất, bao hàm, giao nhau) và không điều hòa (ngang hàng, đối lập, mâu thuẫn).
    • Phán đoán: Phân tích phán đoán đơn với cấu trúc 4 thành phần ($S, P$, lượng từ, hệ từ) và 4 dạng cơ bản: Toàn thể khẳng định ($A$), Toàn thể phủ định ($E$), Bộ phận khẳng định ($I$), Bộ phận phủ định ($O$). Xác định tính chu diên của thuật ngữ ($S^+, S^-, P^+, P^-$) qua sơ đồ Venn; phân tích quan hệ chân trị trên hình vuông logic (đối lập trên, đối lập dưới, lệ thuộc, mâu thuẫn); xây dựng bảng chân trị cho phán đoán phức hợp cơ bản, quan hệ đẳng trị và quy tắc phủ định De Morgan.

  • Chương 3: Các quy luật lôgích cơ bản của tư duy (4 tiết)
    Làm rõ các đặc tính khách quan, phổ biến và phạm vi tác động của quy luật logic hình thức; phân tích chi tiết nội dung, công thức và yêu cầu thực hành của Luật đồng nhất, Luật cấm mâu thuẫn, Luật bài trung (loại trừ cái thứ ba) và Luật lý do đầy đủ.

  • Chương 4: Suy luận (7 tiết)
    Tập trung vào các hình thức rút ra kết luận từ các tiền đề đã biết, bao gồm suy luận suy diễn (tam đoạn luận), suy luận quy nạp và suy luận loại suy (tương tự).

  • Chương 5: Chứng minh (3 tiết)
    Nghiên cứu các quy tắc logic trong việc luận chứng tính chân thực của luận đề, các phương pháp chứng minh trực tiếp/gián tiếp, bác bỏ luận điểm và nhận diện các sai lầm logic trong lập luận.

Kiến thức nền tảng được xây dựng

Giáo trình xây dựng hệ thống lý thuyết dựa trên ba trục chính:

  1. Lý thuyết phản ánh và hình thức tư duy: Khái niệm phản ánh gián tiếp và khái quát các thuộc tính bản chất; phán đoán phản ánh sự tồn tại hay không tồn tại của thuộc tính; suy luận liên kết các phán đoán để rút ra tri thức mới.
  2. Hệ thống đại số logic và ngôn ngữ hình thức: Các phép toán logic mệnh đề được tính toán bằng các hàm giá trị:
    • Phép hội: $Hab = \min[a, b]$
    • Phép tuyển yếu: $Tab = \max[a, b]$
    • Phép tuyển mạnh: $Tab = |a - b|$
    • Phép kéo theo: $Kab = \min[1, (1 - a) + b]$
  3. Lý thuyết tập hợp và tính chu diên: Ứng dụng quan hệ ngoại diên của tập hợp để xác định sự bao quát toàn bộ ($+$) hoặc bộ phận ($-$) của các thuật ngữ $S$ và $P$ trong các phán đoán $A, E, I, O$.

Kỹ năng phát triển

  • Kỹ năng hình thức hóa: Chuyển đổi ngôn ngữ tự nhiên sang ký hiệu logic hình thức, phục vụ việc phân tích mệnh đề phức và suy luận.
  • Kỹ năng mô hình hóa: Sử dụng sơ đồ Venn và vòng tròn Euler để biểu diễn quan hệ giữa các khái niệm trong thực tế.
  • Kỹ năng thẩm định logic: Đánh giá tính chân trị của các lập luận, xác định các trường hợp mâu thuẫn logic và tính toán đẳng trị mệnh đề.

Phương pháp giảng dạy và học tập

Phương pháp tiếp cận sư phạm

Giáo trình phân chia tiến trình giảng dạy theo tỷ lệ 80% lý thuyết và 20% thực hành (24 tiết lý thuyết / 6 tiết thảo luận, chữa bài tập). Giảng viên hướng dẫn các nguyên lý cơ bản, sau đó yêu cầu người học vận dụng vào hệ thống bài tập mô hình hóa và bảng chân trị.

Hệ thống bài tập và thực hành

Tài liệu cung cấp các bài tập cụ thể nhằm củng cố lý thuyết:

  • Mô hình hóa quan hệ khái niệm: Yêu cầu vẽ sơ đồ quan hệ giữa các nhóm thuật ngữ như:
    • “Nhà khoa học, giảng viên, giáo sư”
    • “Số chia hết cho 3, số chia hết cho 6, số chia hết cho 9”
    • “Thuốc lá, chất gây nghiện, chất có hại sức khỏe”
  • Xác định tính chu diên và quan hệ hình vuông logic: Xác định giá trị đúng/sai của các phán đoán $E, I, O$ khi biết giá trị của phán đoán $A$.
  • Biến đổi đẳng trị và phủ định phán đoán: Rút gọn biểu thức logic phức hợp dựa trên các luật $\neg(a \vee b) \equiv \neg a \wedge \neg b$ và $\neg(a \rightarrow b) \equiv a \wedge \neg b$.

Phương pháp kiểm tra và đánh giá

Học phần gồm 1 tiết kiểm tra giữa kỳ để đánh giá mức độ nắm bắt lý thuyết về khái niệm, phán đoán và quy luật logic, kết hợp với điểm đánh giá phần thảo luận/chữa bài tập trên lớp và bài thi kết thúc học phần.

Hướng dẫn tự học

Tài liệu phân định rõ các nội dung sinh viên tự nghiên cứu, bao gồm:

  • Lịch sử phát triển của logic học truyền thống và logic toán.
  • Phương pháp mô hình hóa và khái quát hóa nâng cao.
  • Đọc mở rộng tài liệu tham khảo: Giáo trình Lô gích học đại cương (Nguyễn Thúy Vân, Nguyễn Anh Tuấn, NXB ĐHQGHN, 2008) và Phương pháp giải các bài tập của lô gích học (Vương Tất Đạt, Bùi Văn Quân, Nguyễn Thị Vân Hà, NXB ĐHKTQD, 2006).

Điểm nổi bật và cập nhật

  • Tính toán học hóa trong xác định chân trị: Giáo trình sử dụng trực tiếp các công thức số học ($\min, \max, \text{trị tuyệt đối}$) để giải thích bảng giá trị chân lý của các liên từ logic, giúp sinh viên tiếp cận logic mệnh đề một cách lượng hóa và chuẩn xác.
  • Biểu diễn trực quan bằng sơ đồ tập hợp: Mối quan hệ giữa các khái niệm và tính chu diên của phán đoán $A, E, I, O$ được minh họa đầy đủ qua các trường hợp bao hàm, tách rời và giao nhau trên sơ đồ Venn.
  • Hệ thống liên ngành rõ ràng: Giáo trình định vị Lôgích học trong mối liên hệ với các ngành khoa học nghiên cứu tư duy khác như Triết học (mối quan hệ tư duy - hiện thực), Tâm lý học (tương tác với cảm xúc/ý chí), Sinh lý học thần kinh (quá trình trên vỏ bán cầu não) và Ngôn ngữ học (mối liên hệ ngôn ngữ - tư duy).

Đối tượng sử dụng giáo trình

  • Sinh viên đại học: Phục vụ sinh viên năm thứ nhất và năm thứ hai theo học khối kiến thức giáo dục đại cương, đặc biệt là các ngành Khoa học Xã hội, Luật, Kinh tế, Báo chí và Sư phạm.
  • Yêu cầu tiên quyết: Sinh viên cần nắm vững ngữ pháp tiếng Việt cơ bản và tư duy toán học phổ thông; không đòi hỏi kiến thức chuyên sâu về toán cao cấp.
  • Giảng viên: Dùng làm đề cương chi tiết, cấu trúc phân bổ thời lượng bài giảng và ngân hàng bài tập phục vụ giảng dạy học phần 02 tín chỉ.
  • Tự học và tra cứu: Phù hợp cho người học cần củng cố phương pháp lập luận, phân tích lỗi logic và rèn luyện kỹ năng chứng minh học thuật.

Câu hỏi thường gặp

1. Giáo trình này phù hợp với ai?
Tài liệu được biên soạn cho sinh viên bậc đại học học phần Lôgích học đại cương (02 tín chỉ), giảng viên giảng dạy lý luận và người học cần tài liệu chuẩn hóa về logic hình thức.

2. Cần kiến thức nền nào để học?
Người học chỉ cần kiến thức ngôn ngữ học và toán học ở mức độ trung học phổ thông để tiếp thu các khái niệm và công thức trong tài liệu.

3. Điểm khác biệt của giáo trình so với các tài liệu khác là gì?
Giáo trình tích hợp các công thức toán học xác định giá trị logic ($\min, \max$), bảng chu diên chuẩn hóa qua sơ đồ Venn và hệ thống bài tập phân loại khái niệm thực tiễn.

4. Làm sao để tự học giáo trình hiệu quả?
Người học nên học song song lý thuyết từng chương với việc giải các bài tập mô hình hóa quan hệ khái niệm, lập bảng chân trị cho phán đoán phức và tự chứng minh các công thức đẳng trị.

5. Có tài liệu bổ trợ nào kèm theo?
Tài liệu tham khảo chính thức gồm Giáo trình Lô gích học đại cương (NXB ĐHQGHN, 2008) và sách bài tập chuyên khảo Phương pháp giải các bài tập của lô gích học (NXB ĐHKTQD, 2006).

Kết luận

Giáo trình Lôgích học đại cương của TS. Tạ Thị Vân Hà cung cấp khung chương trình chuẩn hóa 02 tín chỉ (30 tiết) về logic hình thức và logic vị từ. Nội dung dẫn dắt người học qua lộ trình có cấu trúc: từ việc nắm bắt ngôn ngữ logic, phân tích cấu trúc khái niệm - phán đoán, tuân thủ 4 quy luật tư duy, đến việc ứng dụng vào các thao tác suy luận và chứng minh. Việc kết hợp bài tập mô hình hóa và tài liệu tham khảo từ NXB Đại học Quốc gia Hà Nội và NXB Đại học Kinh tế Quốc dân tạo điều kiện thuận lợi cho việc nghiên cứu và giảng dạy học phần.