Suy diễn đi từ tiền đề tới kết luận một cách tất yếu: nếu tiền đề đúng và suy luận hợp lệ, kết luận không thể sai. Quy nạp đi từ các trường hợp quan sát được tới một khái quát hay một dự đoán, kết luận chỉ có xác suất. Quy nạp ngược (abduction, còn gọi là suy luận tới lời giải thích tốt nhất) đi từ một hiện tượng đáng ngạc nhiên tới giả thuyết giải thích nó hay nhất.
Ba kiểu này không cạnh tranh mà phân công: quy nạp ngược đề xuất giả thuyết, suy diễn rút ra hệ quả kiểm tra được, quy nạp đánh giá giả thuyết qua kết quả kiểm tra. Hiểu chúng tách bạch giúp bạn biết một kết luận đang được hứa hẹn độ chắc chắn tới đâu, và chỗ nào nó có thể hỏng.
Suy diễn: chắc chắn nhưng không sinh thông tin mới
Hình mẫu kinh điển là tam đoạn luận của Aristotle trong Phân tích trước: mọi người đều phải chết, Socrates là người, vậy Socrates phải chết. Tính chất định nghĩa của suy diễn là tính hợp lệ: không thể có trường hợp tiền đề đều đúng mà kết luận sai. Tính hợp lệ chỉ phụ thuộc vào hình thức, không phụ thuộc nội dung, nên ta có thể thay “người” bằng “kim loại” và “chết” bằng “dẫn điện” mà suy luận vẫn hợp lệ.
Cái giá của sự chắc chắn là kết luận suy diễn không chứa gì vượt quá tiền đề; nó chỉ làm hiển lộ điều đã ngầm có sẵn. Điều này không có nghĩa suy diễn vô ích. Toàn bộ toán học là suy diễn, và việc làm hiển lộ một hệ quả ẩn sâu trong vài tiên đề có thể mất hàng thế kỷ. Trong kỹ thuật, suy diễn cho phép đi từ định luật vật lý tới dự đoán tải trọng một cây cầu chịu được.
Điểm yếu thực tế của suy diễn nằm ở tiền đề. Một suy luận hợp lệ với tiền đề sai cho kết luận không có bảo đảm gì. Vì vậy câu hỏi “lập luận này có hợp lệ không” luôn phải đi kèm câu hỏi “các tiền đề có đúng không”, và câu hỏi thứ hai gần như luôn đưa ta ra khỏi logic, vào kinh nghiệm, tức vào quy nạp.
Quy nạp và vấn đề của Hume
Quy nạp gồm nhiều dạng: khái quát từ mẫu lên tổng thể (90% số hạt giống thử nảy mầm, vậy lô hạt này nảy mầm khoảng 90%), dự đoán trường hợp kế tiếp, suy luận tương tự, suy luận thống kê. Đặc điểm chung là kết luận vượt quá thông tin trong tiền đề, nên có thể sai dù tiền đề đúng. Thước đo của quy nạp không phải hợp lệ hay không, mà là mạnh hay yếu.
David Hume, trong A Treatise of Human Nature (1739) và An Enquiry Concerning Human Understanding (1748), đặt ra câu hỏi mà triết học chưa giải quyết dứt điểm: lấy gì biện minh cho việc tin tương lai sẽ giống quá khứ? Không thể biện minh bằng suy diễn, vì tương lai khác quá khứ không mâu thuẫn logic. Không thể biện minh bằng quy nạp (“quy nạp đã hiệu quả trước đây”), vì như vậy là vòng tròn. Hume kết luận niềm tin quy nạp đến từ thói quen tâm trí chứ không từ lý trí.
Các phản hồi về sau đi theo nhiều hướng. Karl Popper, trong Logik der Forschung (1934), đề nghị khoa học không cần quy nạp: nó đề xuất giả thuyết táo bạo rồi cố bác bỏ chúng bằng suy diễn. Các nhà Bayes coi quy nạp là cập nhật xác suất theo những quy tắc nhất quán. Nelson Goodman (1955) còn chỉ ra “câu đố mới của quy nạp”: cùng một dữ liệu có thể khớp với vô số khái quát, vậy vì sao ta chọn “xanh” mà không chọn một vị từ được định nghĩa kỳ quặc khớp y hệt dữ liệu cũ? Hiện trạng: quy nạp vẫn được dùng vì không có lựa chọn nào tốt hơn, nhưng nền móng triết học của nó vẫn là vấn đề mở.
Quy nạp ngược: suy luận tới lời giải thích tốt nhất
Charles Sanders Peirce, nhà logic học Mỹ cuối thế kỷ 19, cho rằng ngoài suy diễn và quy nạp còn một kiểu suy luận thứ ba mà ông gọi lần lượt là giả thuyết, retroduction rồi abduction. Dạng của nó: quan sát thấy sự kiện đáng ngạc nhiên C; nếu A đúng thì C là điều đương nhiên; vậy có lý do để nghi rằng A đúng. Peirce nhấn mạnh đây là kiểu suy luận duy nhất đưa ra ý tưởng mới.
Năm 1965, Gilbert Harman đặt tên “suy luận tới lời giải thích tốt nhất”, và Peter Lipton phát triển thành sách cùng tên năm 1991. Câu hỏi then chốt là “tốt nhất” theo tiêu chí nào. Các tiêu chí thường được nêu: giải thích được nhiều dữ kiện hơn, ít giả định phụ hơn, khớp với kiến thức nền, đưa ra dự đoán mới kiểm tra được. Lipton phân biệt lời giải thích có khả năng nhất (được bằng chứng ủng hộ nhất) với lời giải thích hấp dẫn nhất (nếu đúng thì giải thích được nhiều nhất), và bàn vì sao hai thứ này hay đi cùng nhau.
Điểm yếu cố hữu: quy nạp ngược chỉ chọn trong số các giả thuyết ta nghĩ ra được. Nếu lời giải thích đúng không có trong danh sách, ta sẽ tự tin chọn cái “tốt nhất” trong một tập toàn phương án sai. Bas van Fraassen gọi đây là lập luận “lô hàng tồi”. Vì vậy kết luận quy nạp ngược luôn là giả thuyết cần kiểm tra, không phải kết luận cuối.
Bảng so sánh ba kiểu suy luận
Bảng dưới đặt ba kiểu suy luận cạnh nhau theo những tiêu chí giúp bạn nhận diện chúng trong văn bản thật.
| Tiêu chí | Suy diễn | Quy nạp | Quy nạp ngược |
|---|---|---|---|
| Hướng đi | Quy tắc chung + trường hợp → kết luận | Các trường hợp → quy tắc hoặc dự đoán | Hiện tượng → giả thuyết giải thích |
| Độ chắc chắn | Tất yếu nếu tiền đề đúng | Có xác suất, tăng theo chất lượng mẫu | Tạm thời, phụ thuộc tập giả thuyết |
| Thông tin mới | Không vượt quá tiền đề | Vượt quá tiền đề | Đưa ra ý tưởng mới |
| Thước đo | Hợp lệ, vững chắc | Mạnh, yếu | Sức giải thích, tính đơn giản, khả năng kiểm tra |
| Dạng hỏng điển hình | Tiền đề sai, hình thức sai | Mẫu nhỏ hoặc lệch | Bỏ sót giả thuyết đúng |
| Ví dụ | Định lý hình học | Thử nghiệm giống lúa trên nhiều thửa | Chẩn đoán nguyên nhân sự cố |
Một lưu ý về thuật ngữ: trong sách giáo khoa tiếng Việt, “quy nạp” đôi khi còn chỉ phép quy nạp toán học. Phép này thực chất là suy diễn (nó chứng minh chặt chẽ từ tiên đề), chỉ mượn tên vì đi từ trường hợp cơ sở lên các trường hợp tiếp theo.
Ba kiểu suy luận phối hợp trong khoa học: ca Semmelweis
Ví dụ được Carl Hempel dùng trong Philosophy of Natural Science (1966) cho thấy cả ba vận hành cùng nhau. Thập niên 1840 tại bệnh viện đa khoa Vienna, Ignaz Semmelweis nhận thấy tỷ lệ sản phụ tử vong vì sốt hậu sản ở khoa do bác sĩ và sinh viên y phụ trách cao hơn hẳn khoa do nữ hộ sinh phụ trách. Đây là sự kiện đáng ngạc nhiên kiểu Peirce.
Ông lần lượt xét các giả thuyết: “ảnh hưởng dịch tễ” trong không khí (bị loại vì nếu vậy cả hai khoa và cả thành phố phải chịu như nhau), tư thế sinh, tâm lý sợ hãi. Khi một đồng nghiệp chết sau khi bị dao mổ tử thi cứa vào tay với triệu chứng giống sốt hậu sản, Semmelweis đề xuất giả thuyết: “chất từ tử thi” do bác sĩ mang từ phòng giải phẫu sang. Đó là quy nạp ngược. Từ giả thuyết, ông suy diễn hệ quả: nếu rửa tay bằng dung dịch clo trước khi khám, tỷ lệ tử vong phải giảm. Năm 1847 ông áp dụng, và tỷ lệ giảm mạnh. Quan sát lặp lại qua nhiều tháng là phần quy nạp.
Câu chuyện cũng cho thấy giới hạn. Giả thuyết “chất tử thi” sau này được thay bằng thuyết vi trùng, rộng hơn và chính xác hơn; kết quả thực nghiệm của Semmelweis đúng nhưng lời giải thích của ông chỉ đúng một phần. Thêm nữa, giới y khoa đương thời chậm chấp nhận phát hiện của ông, một phần vì thiếu cơ chế được hiểu rõ, một phần vì lý do xã hội. Bằng chứng tốt không tự động thuyết phục.
Sherlock Holmes và những nhầm lẫn thường gặp
Holmes gọi phương pháp của mình là “suy diễn”, nhưng phần lớn những gì ông làm là quy nạp ngược. Khi nhìn làn da rám nắng và dáng đứng của Watson rồi kết luận ông vừa từ Afghanistan về, Holmes không rút ra điều tất yếu; ông chọn lời giải thích khớp nhất trong số các khả năng. Trong truyện, lời giải thích luôn đúng vì tác giả quyết định; ngoài đời, cùng một vết rám nắng có thể đến từ nhiều nguồn khác.
Nhầm lẫn thứ hai là coi suy diễn “cao cấp” hơn quy nạp. Mỗi kiểu có việc của nó; một kết luận quy nạp mạnh về hiệu quả thuốc dựa trên thử nghiệm lớn đáng tin hơn nhiều so với một chuỗi suy diễn dài dựa trên tiền đề chưa kiểm chứng. Nhầm lẫn thứ ba là đọc “suy diễn” theo nghĩa thông tục tiếng Việt, tức đoán mò hay quy chụp (“đừng suy diễn”). Nghĩa logic thì ngược lại: suy diễn là kiểu suy luận chặt chẽ nhất.
Nhầm lẫn thứ tư, tinh vi hơn: coi khả năng giải thích là bằng chứng đủ. Một thuyết âm mưu thường giải thích được mọi dữ kiện, kể cả dữ kiện chống lại nó (“họ che giấu rất kỹ”). Lời giải thích giải thích được mọi thứ thật ra không cấm điều gì, nên không dự đoán được gì; đó là dấu hiệu xấu, không phải dấu hiệu tốt.
Áp dụng: chẩn đoán sự cố theo vòng ba bước
Kỹ sư vận hành, bác sĩ, kiểm toán viên đều dùng một vòng lặp giống nhau, dù gọi tên khác nhau. Ví dụ: trạm bơm tưới của một hợp tác xã ở đồng bằng sông Cửu Long báo lưu lượng giảm 30% so với tuần trước.
- Quy nạp ngược, mở rộng danh sách. Liệt kê mọi giả thuyết khớp với dữ kiện: mực nước kênh hạ, lưới chắn rác bị nghẹt, cánh bơm mòn, điện áp thấp, đồng hồ đo sai. Mục tiêu ở bước này là không bỏ sót, nên đừng loại sớm.
- Suy diễn hệ quả phân biệt. Với mỗi giả thuyết, hỏi: nếu nó đúng thì ta phải thấy gì mà các giả thuyết khác không dự đoán? Lưới nghẹt thì áp suất hút giảm mạnh; điện áp thấp thì dòng điện và tốc độ động cơ thay đổi; đồng hồ sai thì mực nước ruộng không giảm theo.
- Quy nạp từ kiểm tra. Đo những đại lượng phân biệt được nhiều giả thuyết nhất trước, rẻ nhất trước. Mỗi kết quả loại bớt hoặc củng cố giả thuyết.
- Lặp lại nếu tất cả đều bị loại. Đây là lúc nghi ngờ “lô hàng tồi”: lời giải thích đúng chưa có trong danh sách, cần mở rộng, chẳng hạn rò rỉ đường ống phía sau đồng hồ.
Sai lầm thường gặp nhất trong thực tế là gộp ba bước làm một: nghĩ ra giả thuyết đầu tiên rồi đi tìm dữ kiện ủng hộ nó, thay vì tìm dữ kiện phân biệt nó với các giả thuyết khác.
Câu hỏi thường gặp
Phép quy nạp toán học có phải là quy nạp theo nghĩa logic không?
Không. Quy nạp toán học chứng minh một mệnh đề đúng cho trường hợp cơ sở và chứng minh rằng nếu đúng cho n thì đúng cho n cộng một, từ đó kết luận đúng cho mọi số tự nhiên. Đây là suy diễn chặt chẽ dựa trên tiên đề về số tự nhiên, kết luận tất yếu chứ không có xác suất. Trùng tên là do lịch sử, không phải do bản chất.
Học máy là suy diễn hay quy nạp?
Huấn luyện một mô hình từ dữ liệu về bản chất là quy nạp: nó khái quát từ mẫu đã thấy sang trường hợp chưa thấy, nên chịu đúng các rủi ro của quy nạp như mẫu lệch và khái quát quá mức. Định lý không có bữa trưa miễn phí trong học máy là một phiên bản hình thức của ý Hume: không có thuật toán nào tốt hơn đoán ngẫu nhiên trên mọi phân phối dữ liệu có thể có nếu không có giả định nào.
Popper có thật sự loại bỏ được quy nạp khỏi khoa học không?
Đa số triết gia khoa học cho rằng không hoàn toàn. Khi một giả thuyết đã qua nhiều phép thử nghiêm ngặt, ta vẫn dựa vào nó để xây cầu hay dùng thuốc, tức vẫn tin nó sẽ đúng trong lần tới. Popper gọi đó là “được chứng thực” chứ không phải “được xác nhận”, nhưng các nhà phê bình như Wesley Salmon lập luận rằng việc dựa vào chứng thực cho hành động thực tiễn đã ngầm chứa một yếu tố quy nạp.
Làm sao biết một lời giải thích là tốt nhất?
Không có công thức duy nhất. Các tiêu chí được nhắc nhiều là phạm vi (giải thích được bao nhiêu dữ kiện), tính đơn giản (bao nhiêu giả định phụ), tính nhất quán với kiến thức đã vững, và nhất là khả năng đưa ra dự đoán mới có thể sai. Khi các tiêu chí mâu thuẫn, cần phán đoán; nên ghi rõ vì sao bạn chọn và điều gì sẽ khiến bạn đổi lựa chọn.
Suy luận tương tự thuộc loại nào?
Thường được xếp vào quy nạp: hai đối tượng giống nhau ở nhiều đặc điểm đã biết, nên có lẽ giống nhau ở một đặc điểm chưa biết. Độ mạnh của nó phụ thuộc vào việc các điểm giống có liên quan nhân quả tới đặc điểm cần suy ra hay không. Dùng chuột thử thuốc là suy luận tương tự mạnh ở các cơ chế sinh hoá được bảo tồn, yếu ở những cơ chế khác biệt giữa loài.