Lập luận, Tính hợp lệ & Khái niệm nền tảng (Arguments, Validity, & Foundations)
Lập luận là gì? (What is an Argument?)
Trong ngôn ngữ hàng ngày, chúng ta thường dùng từ lập luận (argument) để chỉ những cuộc cãi vã — những cuộc tranh luận mang tính đối đầu, nghiến răng, giật tóc. Nhưng trong Logic (Logic học), chúng ta không quan tâm đến loại lập luận kiểu ấy.
Một lập luận (argument) trong Logic là một cấu trúc được thiết kế để đưa ra cho ai đó một lý do (reason) để tin vào một kết luận (conclusion) nào đó. Một lập luận gồm hai phần:
- Các tiền đề (premises) — những câu ở đầu, cung cấp lý do hoặc bằng chứng.
- Một kết luận (conclusion) — câu cuối cùng, là điều mà các tiền đề muốn thuyết phục bạn tin.
Dưới đây là một ví dụ về lập luận:
(P1) Trời đang mưa to.
(P2) Nếu bạn không mang ô, bạn sẽ bị ướt sũng.
(C) Do đó, bạn nên mang ô.
Dấu . trên dòng thứ ba (hoặc các từ như do đó, vì vậy) cho biết câu tiếp theo là kết luận (conclusion). Các câu trước đó là tiền đề (premises). Nếu bạn tin các tiền đề, thì lập luận cung cấp cho bạn một lý do để tin vào kết luận.
Hình 1: Cấu trúc chung của một lập luận (argument) — Tiền đề (Premises) ở trên, Kết luận (Conclusion) ở dưới, nối với nhau bằng quan hệ suy luận.
Các từ báo hiệu (Indicator Words)
Khi phân tích một lập luận, điều đầu tiên cần làm là tách tiền đề khỏi kết luận. Trong ngôn ngữ tự nhiên, người ta thường dùng các từ báo hiệu:
Các chỉ báo tiền đề (Premise indicators): bởi vì (because), do (since), given that (cho rằng)
Các chỉ báo kết luận (Conclusion indicators): do đó (therefore), vì vậy (thus), nên (hence), nói cách khác (so)
Tuy nhiên, không phải lúc nào lập luận cũng có các từ báo hiệu. Đôi khi kết luận xuất hiện ở đầu hoặc ở giữa — và nhiệm vụ của người phân tích logic là xác định đâu là tiền đề, đâu là kết luận.
Hai cách mà một lập luận có thể sai
Xét lập luận sau:
(P1) Cà phê trong bình cà phê.
(P2) Có một con rồng đang chơi bass trên tủ áo.
(C) Do đó, Salvador Dali là một người chơi poker.
Rõ ràng đây là một lập luận tồi tệ — hai tiền đề hoàn toàn không liên quan gì đến kết luận. Nhưng theo định nghĩa kỹ thuật, nó vẫn là một lập luận — chỉ là một lập luận xấu.
Có hai cách mà một lập luận có thể yếu:
Cách 1 — Tiền đề sai: Một hoặc nhiều tiền đề có thể sai. Nếu trời không mưa, thì tiền đề “Trời đang mưa to” là sai, và lập luận không còn cung cấp lý do gì để mang ô nữa.
Cách 2 — Hình thức yếu: Ngay cả khi tất cả tiền đề đều đúng, chúng có thể không hỗ trợ kết luận. Các tiền đề không dẫn đến kết luận một cách hợp lý — hình thức logic (logical form) của lập luận bị yếu.
Khi một lập luận yếu theo cách thứ hai, có điều gì đó sai với hình thức logic (logical form) của nó: các tiền đề không nhất thiết dẫn đến kết luận. Chúng ta sẽ quan tâm chủ yếu đến hình thức logic — vì đó là đối tượng nghiên cứu của Logic học.
Tính hợp lệ quy nạp (Deductive Validity)
Đây là khái niệm quan trọng nhất trong chương này.
Một lập luận được gọi là hợp lệ quy nạp (deductively valid) — hay đơn giản là hợp lệ (valid) — nếu và chỉ nếu không thể xảy ra trường hợp các tiền đề đúng mà kết luận sai.
Nói cách khác: một lập luận hợp lệ là lập luận mà nếu tất cả tiền đề đều đúng, thì kết luận nhất thiết phải đúng. Tính hợp lệ nói về hình thức (form) của lập luận, không nói về việc các tiền đề hay kết luận có thực sự đúng hay không.
Ví dụ 1 — Lập luận hợp lệ với kết luận vô lý
(P1) Cam là trái cây hoặc là nhạc cụ.
(P2) Cam không phải là trái cây.
(C) Do đó, Cam là nhạc cụ.
Kết luận nghe có vẻ vô lý (Cam là một loại trái cây, không phải nhạc cụ). Tuy nhiên, lập luận này hợp lệ (valid). Nếu cả hai tiền đề đều đúng, thì kết luận nhất thiết phải đúng. Tính hợp lệ không đảm bảo kết luận đúng — nó chỉ đảm bảo rằng nếu tiền đề đúng, thì kết luận không thể sai.
Ví dụ 2 — Lập luận không hợp lệ với mọi câu đúng
(P1) London nằm ở Anh.
(P2) Bắc Kinh nằm ở Trung Quốc.
(C) Do đó, Paris nằm ở Pháp.
Tất cả ba câu đều thật sự đúng trong thế giới thực. Nhưng đây là một lập luận không hợp lệ (invalid) — vì các tiền đề không liên quan gì đến kết luận. Nếu Paris tuyên bố độc lập, kết luận sẽ sai trong khi các tiền đề vẫn đúng. Vì vậy, về mặt logic, có thể xảy ra trường hợp tiền đề đúng và kết luận sai → lập luận không hợp lệ.
Hình 2: So sánh lập luận hợp lệ và không hợp lệ — một lập luận có thể hợp lệ dù kết luận vô lý, và có thể có mọi câu đúng nhưng vẫn không hợp lệ.
Điều quan trọng cần nhớ
Tính hợp lệ (validity) không nói về tính đúng hoặc sai thực tế của các câu trong lập luận. Nó nói về hình thức (form): tính đúng của các tiền đề không tương thích với tính sai của kết luận.
Một lập luận hoàn toàn có thể:
| Tiền đề | Kết luận | Hợp lệ? | Ghi chú |
|---|---|---|---|
| Đúng | Đúng | Có hoặc Không | Cần kiểm tra hình thức |
| Đúng | Sai | Không | Không thể xảy ra trong lập luận hợp lệ |
| Sai | Đúng | Có hoặc Không | Cần kiểm tra hình thức |
| Sai | Sai | Có hoặc Không | Cần kiểm tra hình thức |
Bảng này cho thấy: tính hợp lệ là một khái niệm độc lập với tính đúng thực tế.
Các khái niệm logic nền tảng
Ngoài tính hợp lệ, chúng ta sẽ quan tâm đến một số khái niệm khác.
Giá trị chân trị (Truth-values)
Đúng hoặc sai được gọi là giá trị chân trị (truth-value) của một câu. Mọi câu trong Logic đều có một trong hai giá trị: Đúng (True) hoặc Sai (False).
Luận đúng (Tautology)
Một luận đúng (tautology) là một câu nhất thiết phải đúng, chỉ dựa trên logic — bất kể thế giới thực tế như thế nào.
Ví dụ:
A \lor \neg A
Đọc là: “A hoặc không A” — câu này luôn đúng. Hoặc là A đúng, hoặc A sai (tức ¬A đúng). Không có khả năng nào khác. Đây là một luận đúng (tautology).
Một ví dụ khác:
Hoặc trời đang mưa, hoặc không.
Câu này đúng trong mọi tình huống — bạn không cần nhìn ra ngoài để biết nó đúng.
Mâu thuẫn (Contradiction)
Ngược lại, một mâu thuẫn (contradiction) là một câu nhất thiết phải sai, chỉ dựa trên logic.
Ví dụ:
A \land \neg A
Đọc là: “A và không A” — câu này luôn sai. Không thể vừa mưa vừa không mưa tại cùng một nơi, cùng một thời điểm. Đây là một mâu thuẫn (contradiction).
Câu phụ thuộc (Contingent sentence)
Một câu phụ thuộc (contingent sentence) là câu không phải tautology cũng không phải contradiction — nghĩa là nó có thể đúng hoặc sai, tùy thuộc vào thực tế.
Ví dụ:
Trời đang mưa.
Câu này có thể đúng hoặc sai — bạn cần nhìn ra ngoài hoặc kiểm tra thời tiết để biết. Đây là một câu phụ thuộc (contingent).
Hình 3: Ba loại câu trong Logic — tautology (luôn đúng), contradiction (luôn sai), contingent (tùy thực tế).
Tương đương logic (Logical Equivalence)
Hai câu được gọi là tương đương logic (logically equivalent) nếu chúng nhất thiết phải có cùng giá trị chân trị. Nếu một câu đúng, câu kia cũng đúng; nếu một câu sai, câu kia cũng sai.
Ví dụ:
A \to B \quad \text{tương đương với} \quad \neg B \to \neg A
Câu “Nếu A thì B” tương đương logic với câu “Nếu không B thì không A” (gọi là contrapositive). Chúng luôn có cùng giá trị chân trị trong mọi tình huống.
Trong ngôn ngữ tự nhiên:
John đi đến cửa hàng sau khi anh ấy rửa bát. John rửa bát trước khi anh ấy đi đến cửa hàng.
Hai câu này tương đương logic — chúng diễn đạt cùng một quan hệ thời gian theo hai hướng khác nhau.
Tính nhất quán (Consistency)
Một tập hợp các câu là nhất quán (consistent) nếu về mặt logic, có thể xảy ra trường hợp tất cả các câu cùng đúng tại một thời điểm. Ngược lại, chúng không nhất quán (inconsistent).
Ví dụ nhất quán:
(G1) Có ít nhất bốn con hươu cao cổ tại công viên. (G2) Có chính xác bảy con khỉ gorilla tại công viên.
Hai câu này hoàn toàn có thể cùng đúng — không có mâu thuẫn giữa chúng.
Ví dụ không nhất quán:
(G1) Có ít nhất bốn con hươu cao cổ tại công viên. (G3) Không có nhiều hơn hai người sao Hỏa tại công viên. (G4) Mọi con hươu cao cổ tại công viên đều là người sao Hỏa.
Ba câu này không nhất quán (inconsistent): nếu G1 và G4 đúng, thì có ít nhất bốn con hươu cao cổ người sao Hỏa — nhưng G3 nói không có nhiều hơn hai. Mâu thuẫn!
Lập luận quy nạp (Inductive Arguments)
Cần phân biệt giữa lập luận diễn dịch (deductive argument) và lập luận quy nạp (inductive argument).
Một lập luận diễn dịch (deductive) là lập luận mà nếu các tiền đề đúng, kết luận nhất thiết phải đúng — như các ví dụ hợp lệ chúng ta đã xem.
Một lập luận quy nạp (inductive) là lập luận mà các tiền đề củng cố kết luận nhưng không đảm bảo nó:
(P1) Tháng 1 năm 1997, San Diego có mưa. (P2) Tháng 1 năm 1998, San Diego có mưa. (P3) Tháng 1 năm 1999, San Diego có mưa.
(C) Do đó, San Diego có mưa vào mỗi tháng 1.
Lập luận này tuy hợp lý nhưng không hợp lệ quy nạp (deductively invalid) — vì có thể có một năm nào đó San Diego không mưa vào tháng 1. Dù thêm bao nhiêu tiền đề nữa, lập luận vẫn không bao giờ là deductively valid.
Lưu ý: Trong giáo trình forall x, chúng ta chỉ quan tâm đến lập luận diễn dịch (deductive arguments). Lập luận quy nạp (inductive) sẽ không được đề cập trong phạm vi cuốn sách này.
Tóm tắt các khái niệm nền tảng
| Khái niệm | Định nghĩa | Ví dụ |
|---|---|---|
| Lập luận (Argument) | Chuỗi câu: tiền đề → kết luận | "Trời mưa → mang ô" |
| Hợp lệ (Valid) | Không thể: tiền đề đúng, kết luận sai | A \to B, A \vdash B |
| Không hợp lệ (Invalid) | Có thể: tiền đề đúng, kết luận sai | Tiền đề và kết luận không liên quan |
| Luận đúng (Tautology) | Luôn đúng, mọi tình huống | A \lor \neg A |
| Mâu thuẫn (Contradiction) | Luôn sai, mọi tình huống | A \land \neg A |
| Câu phụ thuộc (Contingent) | Có thể đúng hoặc sai | A (tùy thực tế) |
| Tương đương logic | Luôn cùng giá trị chân trị | A \to B \equiv \neg B \to \neg A |
| Nhất quán (Consistent) | Có thể cùng đúng | \{A, B\} |
| Không nhất quán | Không thể cùng đúng | \{A, \neg A\} |
Bertrand Russell về bản chất của Logic
Nhà triết học Bertrand Russell đã tóm tắt bản chất của Logic trong một trích dẫn nổi tiếng:
“Logic là ngành mà trong đó chúng ta không bao giờ biết chúng ta đang nói về cái gì, và cũng không biết những gì chúng ta nói có đúng hay không.” — Bertrand Russell
Nghĩa là: Logic quan tâm đến hình thức (form), không quan tâm đến nội dung (content). Nó giống như một chiếc máy — bạn bỏ vào các tiền đề, máy vận hành theo quy tắc đã định sẵn, và đầu ra là kết luận. Nếu đầu vào đúng, đầu ra chắc chắn đúng (trong lập luận hợp lệ). Nếu đầu vào sai, đầu ra có thể đúng hoặc sai.
Bài tập thực hành
Để kiểm tra hiểu biết của bạn, hãy thử trả lời các câu hỏi sau:
-
Xác định tiền đề và kết luận trong lập luận sau: “Bạn nên học logic vì nó giúp tư duy chặt chẽ, và tư duy chặt chẽ sẽ giúp bạn trở thành một kỹ sư tốt hơn.”
-
Lập luận sau có hợp lệ không? Giải thích: “Mèo là động vật có vú. Mèo sống trên cạn. Do đó, mọi động vật có vú sống trên cạn.”
- Câu nào là tautology, contradiction, hay contingent?
- a) “Hoặc 2 + 2 = 4, hoặc 2 + 2 ≠ 4.”
- b) “Trời hôm nay xanh.”
- c) “Vừa mưa vừa không mưa.”
- Hai câu sau có tương đương logic không? Tại sao?
- “Nếu bạn học chăm chỉ, bạn sẽ đỗ.”
- “Nếu bạn không đỗ, bạn đã không học chăm chỉ.”
Câu 1: Xác định tiền đề và kết luận
Tiền đề (premises):
- P1: Logic giúp tư duy chặt chẽ.
- P2: Tư duy chặt chẽ giúp bạn trở thành một kỹ sư tốt hơn.
Kết luận (conclusion): Bạn nên học logic.
Giải thích: Từ "vì" là chỉ báo tiền đề (premise indicator). Phần đứng trước "vì" là kết luận — điều được muốn thuyết phục bạn tin. Phần sau "vì" là tiền đề — lý do ủng hộ kết luận.
Câu 2: Tính hợp lệ của lập luận về động vật có vú
Không hợp lệ (invalid).
Cấu trúc logic:
- P1: Mèo là động vật có vú.
- P2: Mèo sống trên cạn.
- C: Do đó, mọi động vật có vú sống trên cạn.
Tiền đề chỉ nói về mèo — một loài cụ thể — nhưng kết luận khái quát hóa thành mọi động vật có vú. Đây là lỗi suy luận quy nạp bất hợp lệ (hasty generalization).
Chứng minh bằng phản ví dụ: Cùng cấu trúc này với nội dung khác:
- P1: Cá heo là động vật có vú.
- P2: Cá heo sống dưới nước.
- C: Do đó, mọi động vật có vú sống dưới nước. ← Sai!
Cùng quy tắc suy luận, nhưng cho ra kết luận sai → quy tắc không hợp lệ.
Câu 3: Phân loại câu
- a) "Hoặc 2 + 2 = 4, hoặc 2 + 2 ≠ 4." → Tautology (luận đúng). Đây là dạng A \lor \neg A — luôn đúng bất kể thực tế. 2 + 2 luôn bằng 4, nên câu này không thể sai.
- b) "Trời hôm nay xanh." → Contingent (câu phụ thuộc). Có thể đúng hoặc sai — cần quan sát thực tế để biết.
- c) "Vừa mưa vừa không mưa." → Contradiction (mâu thuẫn). Đây là dạng A \land \neg A — luôn sai, không thể vừa mưa vừa không mưa tại cùng một nơi, cùng một thời điểm.
Câu 4: Tương đương logic
Có, chúng tương đương logic (logically equivalent).
Hai câu này có dạng:
- "Nếu A thì B" — A \to B
- "Nếu không B thì không A" — \neg B \to \neg A
Đây là quan hệ contrapositive (phản đảo). Trong Logic, A \to B \equiv \neg B \to \neg A — chúng luôn có cùng giá trị chân trị trong mọi tình huống. Nếu câu đầu đúng, câu thứ hai cũng đúng, và ngược lại.
Ví dụ minh họa:
- "Nếu trời mưa, thì đất ướt." ↔ "Nếu đất không ướt, thì trời không mưa."
Cả hai đều diễn đạt cùng một quan hệ nhân-quả, chỉ theo hai hướng ngược nhau.
Tài liệu tham khảo:
- Magnus, P.D. (2011). forall x: An Introduction to Formal Logic (Version 1.4). University at Albany, State University of New York. Creative Commons Attribution 4.0.
Chia sẻ bài viết
