Lesson 02 — Nghịch lý logic (Paradoxes)
Ba nghịch lý nền tảng đã buộc logic và toán học phải xây dựng lại từ đầu. Khám phá chúng qua mô phỏng tương tác.
1. Nghịch lý kẻ nói dối (Liar's Paradox)
Câu "Câu này là sai." tạo ra vòng lặp không bao giờ dừng: gán ĐÚNG → suy ra SAI → suy ra ĐÚNG → ... Bấm Giả sử ĐÚNG hoặc Giả sử SAI để xem suy luận từng bước.
Cơ chế: Câu tự quy chiếu (nói về chính nó) + phủ định ("là sai") tạo ra mâu thuẫn không thoát ra được. Đây là điểm khởi đầu dẫn đến định lý bất toàn Gödel (Lesson 03).
Các biến thể
2. Nghịch lý Russell
Tập R = {x : x ∉ x} — tập hợp tất cả tập hợp không chứa chính mình. Chọn giả thuyết bên dưới để theo dõi suy luận dẫn đến mâu thuẫn.
Nghịch lý thợ cắt tóc (Barber Paradox)
Phiên bản thông tục: Trong một thị trấn có một thợ cắt tóc, cắt tóc cho đúng những ai không tự cắt tóc cho mình. Thợ cắt tóc có tự cắt tóc không?
Sự khác biệt: Nghịch lý thợ cắt tóc có giải quyết được — thợ cắt tóc mô tả đó không tồn tại. Nghịch lý Russell thì không: tập R được đảm bảo tồn tại bởi nguyên lý bao hàm toàn diện — phải từ bỏ chính nguyên lý đó.
3. Nghịch lý đống cát (Sorites Paradox)
Kéo thanh trượt để thay đổi số hạt cát. Quan sát: không có ranh giới sắc nào giữa "là đống" và "không phải đống".
Bấm nhanh một số giá trị:
Ranh giới do bạn tự vẽ
Không có ranh giới khách quan — nhưng bạn có thể tự vẽ. Bấm để đánh dấu: ở số hạt hiện tại, bạn nói "đống" hay "không phải đống"?
Lập luận sorites: Tiền đề 1 (1.000.000 hạt là đống) và Tiền đề 2 (bớt 1 hạt vẫn là đống) đều có vẻ đúng — nhưng kết luận (1 hạt là đống) rõ ràng sai. Vị từ "đống" không có ranh giới sắc nên không thể áp dụng induction theo cách này.
4. So sánh ba nghịch lý
| Nghịch lý | Nguồn gốc | Phá vỡ cái gì | Giải pháp |
|---|---|---|---|
| Kẻ nói dối "Câu này sai" |
Tự quy chiếu + phủ định | Giá trị chân lý của câu tự tham chiếu | Phân tầng ngôn ngữ (Tarski), cấm tự quy chiếu |
| Russell R = {x : x ∉ x} |
Định nghĩa impredicative trong tập hợp | Lý thuyết tập hợp ngây thơ (Frege) | Type Theory; ZFC (axiom of separation) |
| Sorites "Đống cát" |
Vị từ mơ hồ (vague predicate) | Tính áp dụng của logic hai giá trị cho ngôn ngữ tự nhiên | Fuzzy logic, supervaluationism (không hoàn toàn) |
Cả ba đều bắt đầu từ tiền đề "có vẻ vô hại" — sự khác biệt nằm ở loại vấn đề: cấu trúc logic (Liar, Russell) hay ngữ nghĩa vị từ (Sorites).