Nhập môn logic hình thức và logic phi hình thức

Mục lục

Lời nói đầu

Chương 1. Về ngôn ngữ và logic

I. Đại cương về logic

1.1 Logic học là gì?

1.2 Vì sao cần học logic?

1.3 Sơ lược về lịch sử logic học

II. Về quan hệ giữa logic và ngôn ngữ

2.1 Xâm nhập của toán học và logic học vào ngôn ngữ học

2.2 Quan hệ giữa logic và ngôn ngữ

2.3 Có những hệ thống logic nào?

Chương 2. Khái niệm

1. Khái niệm là gì?

2. Khái niệm và từ

3. Nội hàm và ngoại diễn của khái niệm

4. Phân loại khái niệm

5. Mở rộng và thu hẹp khái niệm

5.1 Loại và hạng

5.2 Biểu hiện khái niệm

6. Quan hệ giữa hai khái niệm

6.1 Quan hệ đồng nhất : S = P

6.2 Quan hệ bao hàm : SP

6.3 Quan hệ phụ thuộc

6.4 Quan hệ giao nhau

6.5 Quan hệ rời nhau

7. Sự định nghĩa khái niệm

7.1 Sự cần thiết xây dựng các định nghĩa và những phức tạp của nó

7.2 Định nghĩa nội hàm

7.3 Định nghĩa ngoại diễn

7.4 Định nghĩa trỏ ra

7.5 Định nghĩa không tường minh

7.6 Định nghĩa cú pháp

7.7 Định nghĩa không vị từ

7.8 Định nghĩa duy danh và định nghĩa hiện thực

7.9 Định nghĩa kiến thiết

Chương 3. Phán đoán

1. Định nghĩa

2. Phán đoán và câu

2.1 Phán đoán, câu và từ

2.2 Thế nào là một phán đoán đúng (hoặc sai)?

2.3 quy tắc về tính chân lí của các phán đoán

2.4 Phán đoán và câu

3. Cấu trúc của phán đoán

4. Phân loại phán đoán

4.1 Phân loại theo hượng

4.2 Phân loại theo chất

4.3 Phân loại theo chất và lượng

4.4 Phân loại theo cấu trúc

5. Ngoại diễn đầy đủ và ngoại diễn không đầy đủ

Chương 4. Logic mệnh đề

I. Đại cương

1.1 Đối tượng

1.2 Các phép toán mệnh để

1.3 Mệnh để tương đương và câu đồng nghĩa

1.4 Logic và tiếng Việt

II. Tính chất của các phép toán mệnh đề

2.1 Sự bằng nhau của hai biểu thức

2.2 Tính chất của các phép toán logic

2.3 Kiểm tra tính đúng đắn của một lập luận

2.4 Thứ tự thực hiện các phép toán và kí pháp Lukasiewicz

Chương 5. Sơ lược về logic vị từ

I. Khái niệm

II. Phương pháp miêu tả

III. Tính chất của phép toán lượng từ

3.1 Tính chất của các phép toán chứa một lượng từ

3.2 Tính chất của các phép toán chứa lượng từ hai đối

3.3 Hình vuông logic

IV. Logic vị từ và cấu trúc logic của câu

4.1 Logic vị từ cho phép miêu tả phân biệt

Chương 6. Những nguyên lý cơ bản của tư duy

1. Đại cương

2. Nguyên lý đồng nhất

2.1 Nguyên lý

2.2 Ngụy biện bằng đánh tráo khái niệm

2.3 Vi phạm nguyên lí đồng nhất trong tái tạo tư duy

2.4 Những vi phạm khác về nguyên lí đồng nhất

3. Nguyên lí phi mâu thuẫn

3.1 Nguyên lí

3.2 Lưu ý

3.3 Nguyên lí phi mâu thuẫn và tiếng Việt

4. Nguyên lí bài trung

5. Nguyên lí có lí do đầy đủ

6. Lưu ý

Chương 7. Suy luận logic

I. Những vấn đề chung

II. Suy luận diễn dịch

2.1 Phép suy luận một tiền để

2.2 Phép suy luận hai tiền đề

III. Suy luận quy nạp

3.1 Khái niệm

3.2 Quy nạp hoàn toàn và quy nạp không hoàn toàn

3.3 Logic và quan hệ nhân quả giữa các hiện tượng

IV. Suy luận tương tự

V. Vài kiểu sai lầm trong suy luận

Chương 8. Logic phi hình thức: Lí thuyết lập luận

I. Đại cương

1.1 Phương thức lập luận

1.2 Vài nét lịch sử

II. Mô hình khái quát

2.1 Sơ đồ khái quát của một lập luận

2.2 Li lẽ: Li lẽ khoa học và lí lẽ thực tiễn

2.3 Tác từ lập luận và kết tử lập luận

III. Lập luận theo logic

IV. Lập luận theo logic tự nhiên

4.1 Khái niệm

4.2 Lí lẽ trong logic tự nhiên

4.3 Lí lẽ chung

4.4 Những quan hệ logic và hình thức ngôn ngữ trong lập luận tự nhiên

V. Chứng minh và bác bỏ

5.1 Những vấn đề chung

5.2 Các phương pháp chứng minh

5.3 Các qui tắc chứng minh

5.4 Lập luận hiệu quả

VI. Sai lầm trong lập luận: ngộ biện và ngụy biện

6.1 Ngộ biện và ngụy biện

6.2 Một vài kiểu ngộ biện cổ điển

6.3 Một số kiểu ngụy biện

Phụ lục: Phương pháp lập luận trong tranh cãi pháp lí

I. Đại cương

II. Lí lẽ trong tranh cãi pháp lí

Chương 9. Logic tình thái và logic đa trị

I. Logic tình thái

1. Khái niệm

2. Logic tình thái và ngôn ngữ

II. Logic đa trị

1. Vấn đề

2. Logic đa trị

Tài liệu tham khảo