Một con quạ đenMột con quạ đenTáo xanh và đỏ ("không phải quạ và không có màu đen")Không phải quạ  
không có màu đenNghịch lý con quạ phát biểu rằng *cả hai* tấm hình này đều là bằng chứng cho giả định tất cả quạ đều có màu đen.
**Nghịch lý con quạ**, hay còn gọi là **Nghịch lý Hempel** hay **Con quạ của Hempel**, là một nghịch lý xuất hiện khi tìm bằng chứng củng cố cho một phát biểu. Việc chúng ta quan sát thấy một vật thể không có màu đen và không phải là quạ có thể chính thức xem như củng cố khả năng mọi con quạ đều có màu đen – mặc dù về mặt cảm quan, hai vấn đề này không hề liên quan đến nhau. Thế còn con quạ bị bệnh bạch tạng thì sao? 

Vấn đề này cho nhà lô-gíc học Carl Gustav Hempel đề xuất vào những năm 1940 khi minh họa cho sự mâu thuẫn giữa lập luận quy nạp và trực giác. Những vấn đề về suy luận và khoảng cách giữa lập luận quy nạp và suy diễn cũng có liên quan trong nghịch lý này.

Nghịch lý
---------

Hempel mô tả nghịch lý dưới dạng giả thuyết như sau:

(1) *Tất cả quạ đều có màu đen*.
Theo luật phản đảo của lôgic, mệnh đề trên tương đương với:

(2) *Tất cả mọi thứ nếu không có màu đen thì không phải là quạ.*
Cần nói rõ rằng trong tất cả mọi tình huống nếu (2) là đúng, thì (1) cũng đúng; và ngược lại, trong tất cả mọi tình huống nếu (2) sai (tức là khi chúng ta tưởng tượng tồn tại một thế giới không có màu đen, cũng không có loài quạ), thì (1) cũng sai. Đây gọi là sự tương đương lôgic.

Khi chúng ta có mệnh đề tổng quát như *tất cả quạ đều có màu đen*, thì một mệnh đề tương tự để chỉ một đối tượng cụ thể thuộc nhóm tổng quát đó có thể xem là bằng chứng củng cố cho mệnh đề tổng quát. Ví dụ,

(3) *Con quạ tôi đang nuôi có màu đen.*
là một bằng chứng cụ thể củng cố cho giả thuyết *tất cả quạ đều có màu đen*.

Nghịch lý xuất hiện khi chúng ta áp dụng quy tắc tương tự cho mệnh đề (2). Khi nhìn thấy quả táo màu xanh, một người có thể phát biểu:

(4) *Vật màu xanh này (tức là không phải màu đen) là một quả táo (tức là không phải là quạ).*
Với cách suy luận hoàn toàn tương tự, phát biểu này là một bằng chứng cụ thể để củng cố (2) *tất cả mọi thứ nếu không có màu đen thì không phải là quạ.* Nhưng do phát biểu này như đã nói ở trên hoàn toàn tương đương về mặt lôgic với (1) *tất cả quạ đều có màu đen*, dẫn đến việc nhìn thấy một trái táo màu xanh là một bằng chứng cụ thể củng cố cho việc tất cả quạ đều có màu đen. Kết luận này có vẻ rất kỳ cục, vì nó ngụ ý rằng việc nhìn thấy một quả táo lại bổ sung thông tin về con quạ.

Tham khảo
---------

1. ↑
2. ↑  Hempel, C. G. (1945). "Studies in the Logic of Confirmation I". *Mind*. **54** (213): 1–26. doi:10.1093/mind/LIV.213.1. JSTOR 2250886. LINK Lưu trữ 2015-01-30 tại Wayback Machine
3. ↑  Hempel, C. G. (1945). "Studies in the Logic of Confirmation II". *Mind*. **54** (214): 97–121. doi:10.1093/mind/LIV.214.97. JSTOR 2250948. LINK Lưu trữ 2018-03-01 tại Wayback Machine

| * x
* t
* s
Những nghịch lý nổi tiếng |
| --- |
| Triết học | 
* Analysis
* Buridan's bridge
* Dream argument
* Epicurean
* Fiction
* Fitch's knowability
* Free will
* Goodman's
* Hedonism
* Liberal
* Meno's
* Mere addition
* Moore's
* Newcomb's
* Nihilism
* Omnipotence
* Preface
* Rule-following
* White horse
* Nghịch lý Zeno

 |
| Logic | 

|  |  |
| --- | --- |
| Tựquy chiếu | 
* Thợ cạo
* Berry
* Bhartrhari's
* Burali-Forti
* Court
* Crocodile
* Curry's
* Epimenides
* Free choice paradox
* Grelling–Nelson
* Kleene–Rosser
* Liar
	+ Card
	+ No-no
	+ Pinocchio
	+ Quine's
	+ Yablo's
* Opposite Day
* Richard
* Russell
* Sokrates
* Khách sạn Hilbert

 |
| Mơ hồ | 
* Theseus' ship
	+ List of examples
* Sorites

 |
| Khác | 
* Temperature paradox
* Barbershop
* Catch-22
* Chicken or the egg
* Drinker
* Entailment
* Lottery
* Plato's beard
* Raven
* Ross's
* Unexpected hanging
* "What the Tortoise Said to Achilles"
* Heat death paradox
* Olbers' paradox

 |

 |
| Kinh tế | 
* Allais
* Antitrust
* Arrow information
* Bertrand
* Braess's
* Competition
* Thu nhập và khả năng sinh sản
* Downs–Thomson
* Easterlin
* Edgeworth
* Ellsberg
* European
* Gibson's
* Giffen good
* Icarus
* Jevons
* Leontief
* Lerner
* Lucas
* Mandeville's
* Mayfield's
* Metzler
* Plenty
* Productivity
* Prosperity
* Scitovsky
* Service recovery
* St. Petersburg
* Thrift
* Toil
* Tullock
* Value

 |
| Lý thuyếtquyết định | 
* Abilene
* Apportionment
	+ Alabama
	+ New states
	+ Population
* Arrow's
* Con lừa của Buridan
* Chainstore
* Condorcet's
* Decision-making
* Downs
* Ellsberg
* Fenno's
* Fredkin's
* Green
* Hedgehog's
* Inventor's
* Kavka's toxin puzzle
* Morton's fork
* Navigation
* Newcomb's
* Parrondo's
* Prevention
* Song đề tù nhân
* Bao dung
* Willpower

 |
| 
* Danh sách Danh sách
* Thể loại Thể loại

 |