Mệnh đề điều kiện và Hàm ý vật chất

Lôgic cổ điển coi 'nếu A thì B' là mệnh đề điều kiện vật chất, đúng khi A sai hoặc B đúng — nhưng điều này tạo ra những nghịch lý đã thúc đẩy một lượng lớn tài liệu về ý nghĩa thực sự của 'nếu'.

Definition

Mệnh đề điều kiện vật chất 'A → B' là hàm chân lý chỉ sai khi A đúng và B sai; một câu hỏi trọng tâm là liệu các mệnh đề điều kiện chỉ định thông thường có các điều kiện chân lý này hay thay vào đó thể hiện một mối quan hệ xác suất có điều kiện hoặc sự phụ thuộc vào thế giới khả dĩ.

Scope

Chủ đề này bao gồm phân tích các câu điều kiện và sự đầy đủ của mệnh đề điều kiện vật chất dựa trên giá trị chân lý như dạng lôgic của chúng. Nó đề cập đến các nghịch lý của hàm ý vật chất, các biện hộ thực dụng của Gricean về cách giải thích dựa trên giá trị chân lý, ngữ nghĩa thế giới khả dĩ (Stalnaker), luận điểm xác suất (Adams) rằng khả năng khẳng định của một mệnh đề điều kiện đi kèm với xác suất có điều kiện, và sự tương phản giữa các mệnh đề điều kiện chỉ định và phản thực tế.

Core questions

• Các câu 'nếu-thì' thông thường có các điều kiện chân lý của mệnh đề điều kiện vật chất không?
• Chúng ta nên giải thích các nghịch lý của hàm ý vật chất như thế nào, chẳng hạn như một tiền đề sai làm cho bất kỳ mệnh đề điều kiện nào cũng đúng?
• Khả năng khẳng định của một mệnh đề điều kiện có theo dõi xác suất có điều kiện của hệ quả với tiền đề không?
• Các mệnh đề điều kiện chỉ định khác với các mệnh đề điều kiện phản thực tế (giả định) như thế nào?

Key concepts

• mệnh đề điều kiện vật chất
• nghịch lý của hàm ý vật chất
• mệnh đề điều kiện chỉ định so với phản thực tế
• xác suất có điều kiện
• hàm ý hội thoại
• hàm chọn thế giới khả dĩ

Key theories

Ngữ nghĩa thế giới khả dĩ cho các mệnh đề điều kiện

Stalnaker phân tích 'nếu A thì B' là đúng khi và chỉ khi B đúng trong (các) thế giới khả dĩ tương tự nhất trong đó A đúng, thay thế cách giải thích dựa trên giá trị chân lý bằng một hàm chọn trên các thế giới và do đó xác nhận các suy luận khác nhau.

Luận điểm xác suất (Adams)

Adams cho rằng các mệnh đề điều kiện chỉ định thiếu các điều kiện chân lý thông thường và khả năng chấp nhận của chúng bằng xác suất có điều kiện của hệ quả với tiền đề, điều này giải thích dữ liệu tốt hơn so với mệnh đề điều kiện vật chất.

History

Cách đọc 'nếu' dựa trên giá trị chân lý có từ thời Stoics và được Frege và Russell đưa vào lôgic hiện đại. Sự không hài lòng vào thế kỷ XX với các nghịch lý phát sinh đã thúc đẩy biện hộ thực dụng của Grice (hàm ý), ngữ nghĩa thế giới khả dĩ năm 1968 của Stalnaker, và cách giải thích xác suất năm 1975 của Adams, với khảo sát năm 1995 của Edgington đã kết tinh cuộc tranh luận đương đại.

Debates

Mệnh đề điều kiện dựa trên giá trị chân lý so với không dựa trên giá trị chân lý

Liệu những điều kỳ lạ của mệnh đề điều kiện vật chất có thể được giải thích một cách thực dụng như các hàm ý Gricean, bảo toàn tính dựa trên giá trị chân lý, hay thay vào đó cho thấy rằng các mệnh đề điều kiện chỉ định có nội dung xác suất hoặc thế giới khả dĩ thay vì các điều kiện chân lý vật chất.

Key figures

• Robert Stalnaker
• Ernest Adams
• Dorothy Edgington
• H. Paul Grice
• Frank Ramsey

Seminal works

• stalnaker1968
• adams1975
• edgington1995

Frequently asked questions

Các nghịch lý của hàm ý vật chất là gì?

Theo cách đọc dựa trên giá trị chân lý, một mệnh đề điều kiện tự động đúng bất cứ khi nào tiền đề của nó sai hoặc hệ quả của nó đúng. Điều này làm cho các câu như 'Nếu mặt trăng làm bằng phô mai, thì 2+2=4' trở thành đúng, điều này mâu thuẫn với phán đoán thông thường rằng tiền đề và hệ quả phải liên quan đến nhau.