Tương quan logic
Tương quan logic( tiếng Anh:Relevant logic,Relevance logic[ chú 1]), cũng kêuTương quan logic,Là một loại phi kinh điểnÁ kết cấu logic,Nó ởẨn dấuThượng gây riêng hạn chế[1].
Tương quan logic tận sức với bắt được ẩn chứa ở kinh điểnThật giá trị phiếm hàmLogic trung bị “Thực chất ẩn dấu”Tính tử sở xem nhẹ những cái đó phương diện. Cái này ý tưởng không phải tân: Nó dẫn tớiClarence · Elvin · Louis( Clarence Irving Lewis ) phát minh mô thái logic, đặc biệt làNghiêm khắc ẩn dấu,Căn cứ là ở kinh điển logic trung sai lầm ẩn dấu bất luận cái gì mệnh đề là thành lập. Bởi vậy “Nếu ta là giáo hoàng, tắc nhị cộng 2 bằng năm” là thật sự. Nhưng là thực rõ ràng cho dù ngươi là giáo hoàng, nhị thêm nhị cũng không thể tương đương năm ( tham kiếnPhản sự thật). Cho nên ẩn dấu quan hệ hẳn là tính tất yếu.
Thậm chí ở trừ bỏThực chất ẩn dấu nghịch biệnLúc sau còn có một cái khác vấn đề.Nỗ ai ngươi · Bell nạp phổ( Nuel Belnap ) cùngA Luân · Roth · Andel sâm( Alan Ross Anderson ) cái cử một ít “Nghiêm khắc ẩn dấu nghịch biện”: Tỷ như, mâu thuẫn vẫn ẩn dấu bất luận cái gì sự vật, bất luận cái gì sự vật đều ẩn dấuLáy lại thức.Phản trực giác ẩn dấu —— ở chúng ta sử dụng thuật này ngữ khi —— yêu cầu ở phía trước đề cùng kết luận chi gian có nào đó ở ý nghĩa chính thượng liên hệ.
Ở tương quan logic trung bản chất mới mẻ độc đáo này đây hữu hiệu luận chứng tiền đề cần thiết có quan hệ với kết luận. Ở mệnh đề tính toán trung, này bao gồm yêu cầu tiền đề cùng kết luận cùng chungNguyên tử câu;Cùng riêng thật giá trị phiếm hàm quy tắc, tỷ như gia tăng luật ( đối với bất luận cái gì Q từ P đến P hoặc Q suy luận ) là chịu hạn, như vậy “Không quan hệ” tin tức không thể mang nhập. Ở gọi từ tính toán trung, tương quan tính yêu cầu ởTiền đềCùngKết luậnChi gian cùng chung lượng biến đổi cùng đại lượng không đổi.
Tiêu chuẩn chứng minh luận ( tỷ nhưPhỉ kỳThứcTự nhiên suy diễn) thích hợp cung cấp tương quan tính, thông qua ở mỗi hành suy luận phía cuối tham gia chỉ thị “Tương quan” tiền đề đánh dấu.Căn sầmThức tính toán có thể vì thế làm ra sửa chữa, chính là trừ bỏ cho phép ởLần lượt thứcTay phải quả nhiên tham gia tùy ý công thức nhược hóa quy tắc.
Tương quan ẩn dấu cơ bản ý tưởng xuất hiện ở thời Trung cổ logic trung,Will hải mỗ · AckermanỞ hai mươi thế kỷ 50 niên đại làm một ít tiên phong công tác. Ở hắn công tác phía trên,Nỗ ai ngươi · Bell nạp phổCùngA Luân · Roth · Andel sâm( cùng với những người khác ) ở hai mươi thế kỷ thập niên 70 viết cái này chủ đề “Tác phẩm tiêu biểu”: 《 ẩn dấu: Tương quan tính cùng sự tất yếu logic 》 ( Entailment: The Logic of Relevance and Necessity ).
Tương quan logic lộ rõ đặc thù là chúng nó làThứ phối hợp logic:Mâu thuẫn tồn tại sẽ không dẫn tớiLogic nổ mạnh.
Chú thích[Biên tập]
- ^Giống nhau nhưng không hoàn toàn mà, Australia logic học giả xưng là “relevant logic”, mặt khác nói tiếng Anh logic học giả xưng là “relevance logic”.
Trích dẫn[Biên tập]
- A. R. Anderson and N. D. Belnap, 1975.Entailment:the logic of relevance and necessity, vol. I.Princeton University Press.
- A. R. Anderson, N. D. Belnap and J. M. Dunn, 1992.Entailment: the logic of relevance and necessity, vol. II,Princeton University Press.
Phần ngoài liên tiếp[Biên tập]
- Relevance logic(Giao diện lưu trữ sao lưu,Tồn vớiInternet hồ sơ quán) at theStanford Encyclopaedia of Philosophy.
- ^Mares, Edwin, "Relevance Logic", The Stanford Encyclopedia of Philosophy (Winter 2020 Edition), Edward N. Zalta (ed.).[2021-06-27].( nguyên thủy nội dungLưu trữVới 2021-08-15 ).