Logic trong Triết học
← BackGiới thiệu
Mối quan hệ giữa logic và triết học là sâu sắc và mang tính hai chiều. Triết học đã định hình sự phát triển của logic, trong khi logic cung cấp các công cụ để phân tích các lập luận triết học và làm rõ các khái niệm triết học.
Từ tam đoạn luận Aristotle cổ đại đến logic modal hiện đại, các triết gia vừa là người sáng tạo vừa là người sử dụng các hệ thống logic. Logic giúp các triết gia hình thức hóa lập luận, phát hiện ngụy biện và khám phá cấu trúc của lập luận.
Hướng dẫn này khám phá triết học của logic (các câu hỏi về bản chất của chính logic), logic triết học (ứng dụng của logic vào các vấn đề triết học), và sự phát triển lịch sử của tư duy logic trong triết học.
Triết học của Logic
Triết học của logic xem xét các câu hỏi cơ bản về chính logic: Logic là gì? Chân lý logic là gì? Các định luật logic được khám phá hay sáng tạo?
Những câu hỏi siêu logic này điều tra bản chất, phạm vi và giới hạn của logic như một ngành học, khám phá điều gì khiến lập luận logic đặc biệt và liệu logic có mang tính phổ quát hay phụ thuộc vào ngữ cảnh.
Siêu hình học của Chân lý Logic
Điều gì khiến các chân lý logic (như 'A ∨ ¬A') nhất thiết đúng? Chúng có đúng do ý nghĩa, hình thức, hay điều gì khác? Các triết gia tranh luận liệu chân lý logic là quy ước hay khách quan.
Bản chất của Tính Tất yếu Logic
Các chân lý logic có vẻ nhất thiết đúng—đúng trong mọi thế giới khả hữu. Nhưng điều gì giải thích sự tất yếu này? Đó là quy ước ngôn ngữ, sự kiện siêu hình, hay điều gì đó về cấu trúc của tư duy?
Mô tả hay Quy định?
Các định luật logic có mô tả cách chúng ta thực sự lập luận (mô tả) hay quy định cách chúng ta nên lập luận (quy phạm)? Con người có thể vi phạm các định luật logic không, hay các vi phạm chỉ đơn giản chỉ ra sự phi lý?
Chủ nghĩa Quy ước so với Chủ nghĩa Platon
Những người theo chủ nghĩa quy ước lập luận rằng các chân lý logic đúng do quy ước ngôn ngữ. Những người theo chủ nghĩa Platon tuyên bố logic khám phá các chân lý khách quan về các thực thể logic trừu tượng. Cuộc tranh luận này tương đồng với các tranh luận tương tự trong toán học.
Phát triển Lịch sử
Lịch sử của logic trong triết học phương Tây kéo dài hơn hai thiên niên kỷ, từ logic tam đoạn luận của Aristotle đến các phát triển đương đại trong logic modal và phi cổ điển.
Logic Tam đoạn luận của Aristotle
Aristotle đã hệ thống hóa lập luận logic trong Organon của mình, phát triển logic tam đoạn luận: các lập luận với hai tiền đề và một kết luận liên quan đến các mệnh đề phân loại (Tất cả/Không/Một số S là P).
Logic Trung cổ và Kinh viện
Các triết gia trung cổ đã tinh chỉnh rất nhiều logic Aristotle, phát triển các lý thuyết phức tạp về hệ quả, nghĩa vụ và nghịch lý ngữ nghĩa. Công trình của họ được tái khám phá vào thế kỷ 20.
Mathesis Universalis của Leibniz
Gottfried Leibniz hình dung một ngôn ngữ logic phổ quát (characteristica universalis) có thể biểu đạt tất cả kiến thức con người và giải quyết các tranh luận triết học thông qua tính toán.
Cuộc Cách mạng của Frege
Gottlob Frege đã tạo ra logic vị từ hiện đại với các lượng từ (∀, ∃), biến đổi logic thành một ngành toán học và cho phép phân tích lập luận toán học.
Chủ nghĩa Logic của Russell và Whitehead
Bertrand Russell và Alfred North Whitehead đã cố gắng rút gọn toàn bộ toán học thành logic trong Principia Mathematica, ảnh hưởng sâu sắc đến cả logic và triết học toán học.
Vòng tròn Vienna và Chủ nghĩa Thực chứng Logic
Vòng tròn Vienna đã sử dụng logic để phân tích ngôn ngữ khoa học và đề xuất nguyên lý xác minh: các mệnh đề có ý nghĩa phải hoặc là đúng một cách phân tích hoặc có thể xác minh thực nghiệm.
Các Chủ đề Logic Triết học
Logic triết học áp dụng các công cụ logic cho các vấn đề triết học, mở rộng logic cổ điển để xử lý modal, thời gian, nghĩa vụ, kiến thức và nhiều hơn nữa.
Logic Modal
Thêm các toán tử cho tính tất yếu (□) và khả năng (◇) để phân tích các khái niệm modal. 'Nhất thiết P' (□P) có nghĩa là P đúng trong mọi thế giới khả hữu. Cần thiết cho siêu hình học và triết học ngôn ngữ.
Logic Thời gian
Giới thiệu các toán tử cho quá khứ, hiện tại và tương lai để hình thức hóa lập luận về thời gian. Được sử dụng trong triết học thời gian và khoa học máy tính để xác định hành vi hệ thống theo thời gian.
Logic Nghĩa vụ
Logic của nghĩa vụ và cho phép. Các toán tử O (bắt buộc), P (được phép), F (bị cấm) hình thức hóa lập luận đạo đức và pháp lý. Giải quyết các nghịch lý như nghĩa vụ trái với nhiệm vụ.
Logic Nhận thức
Logic của kiến thức và niềm tin. Các toán tử K (biết), B (tin) mô hình hóa các trạng thái nhận thức. Phân tích các điều kiện kiến thức, kiến thức chung và các nghịch lý nhận thức như nghịch lý khả tri.
Logic Điều kiện
Nghiên cứu các điều kiện phản thực ('Nếu trời mưa, trận đấu sẽ bị hủy') không được nắm bắt đầy đủ bởi kéo theo vật chất. Quan trọng cho quan hệ nhân quả và lý thuyết quyết định.
Logic Liên quan
Từ chối nguyên lý rằng bất cứ điều gì cũng có thể suy ra từ một mâu thuẫn (ex falso quodlibet) và rằng các tautology có thể suy ra từ bất cứ điều gì. Yêu cầu mối liên hệ logic giữa tiền đề và kết luận.
Logic và Ngôn ngữ
Ngôn ngữ tự nhiên chứa cấu trúc logic, nhưng mối quan hệ giữa hình thức ngữ pháp và hình thức logic là phức tạp. Các triết gia sử dụng logic để phân tích ý nghĩa và điều kiện chân lý.
Các vấn đề như sự mơ hồ về phạm vi, mô tả xác định và tiền giả định cho thấy rằng logic hình thức làm sáng tỏ nhưng không phản ánh hoàn hảo ngôn ngữ tự nhiên.
Các Chủ đề Chính trong Logic và Ngôn ngữ
- Hình thức logic so với hình thức ngữ pháp: 'Một số chính trị gia trung thực' có cấu trúc logic khác với ngữ pháp của nó
- Sự mơ hồ và phạm vi: 'Mọi người yêu ai đó' có thể có nghĩa ∀x∃y hoặc ∃y∀x—các cấu trúc logic khác nhau
- Mô tả xác định: Phân tích của Russell về 'Nhà vua của Pháp hói' như một mệnh đề có lượng từ thay vì vị ngữ đơn giản
- Tiền giả định: 'Nhà vua của Pháp hói' giả định sự tồn tại của nhà vua—khác biệt với khẳng định
- Ẩn ý: Grice đã chỉ ra cách ý nghĩa logic khác với ẩn ý hội thoại (điều được truyền đạt ngầm)
- Ngôn ngữ tự nhiên so với hình thức: Ngôn ngữ hình thức hy sinh tính biểu đạt để có độ chính xác; ngôn ngữ tự nhiên phong phú hơn nhưng logic lộn xộn hơn
Phân tích Lập luận
Logic cung cấp các công cụ để đánh giá lập luận—trung tâm của phương pháp luận triết học. Phân biệt lập luận hợp lệ với không hợp lệ và lập luận vững chắc với không vững chắc là cơ bản cho tư duy phê phán.
Tính Hợp lệ so với Tính Vững chắc
Một lập luận là hợp lệ nếu kết luận theo logic từ các tiền đề (nếu tiền đề đúng, kết luận phải đúng). Một lập luận là vững chắc nếu nó hợp lệ và có các tiền đề đúng.
Lập luận Diễn dịch so với Quy nạp
Lập luận diễn dịch hướng đến tính tất yếu logic—nếu tiền đề đúng, kết luận phải đúng. Lập luận quy nạp hướng đến hỗ trợ xác suất—các tiền đề làm cho kết luận có khả năng nhưng không chắc chắn.
Lập luận Giả thuyết
Suy luận đến giải thích tốt nhất: cho trước bằng chứng, suy ra giả thuyết sẽ giải thích tốt nhất nó. Phổ biến trong khoa học và lập luận hàng ngày, mặc dù không mang tính chứng minh logic.
Logic Phi hình thức và Lập luận
Nghiên cứu các lập luận trong bối cảnh ngôn ngữ tự nhiên, bao gồm ngụy biện, chiến lược tu từ và các mô hình lập luận. Bổ sung cho phương pháp ký hiệu của logic hình thức.
Các Nghịch lý trong Logic
Các nghịch lý logic là các lập luận dường như suy ra mâu thuẫn từ các tiền đề có vẻ chấp nhận được bằng cách sử dụng lập luận có vẻ hợp lệ. Chúng tiết lộ giới hạn và thúc đẩy cải tiến các hệ thống logic.
Nghịch lý Người nói dối
Xem xét câu 'Câu này là sai.' Nếu nó đúng, thì nó sai (như nó tuyên bố); nếu nó sai, thì nó đúng (vì nó tuyên bố là sai). Một nghịch lý tự tham chiếu thách thức logic cổ điển.
Nghịch lý Russell
Cho R = {x : x ∉ x}. R có thuộc R không? Nếu có, thì R ∉ R (theo định nghĩa); nếu không, thì R ∈ R (theo định nghĩa). Nghịch lý này đã tàn phá lý thuyết tập hợp ngây thơ.
Nghịch lý Sorites (Nghịch lý Đống)
Một hạt không phải là một đống. Thêm một hạt không tạo ra một đống. Nhưng cuối cùng chúng ta có một đống. Nghịch lý của sự mơ hồ này thách thức tính hai giá trị của logic cổ điển (mọi mệnh đề đều đúng hoặc sai).
Nghịch lý Curry
Nếu (nếu câu này đúng, thì P), thì P. Nếu chúng ta chấp nhận điều kiện này, chúng ta có thể chứng minh bất kỳ mệnh đề P nào. Chỉ ra vấn đề với tự tham chiếu không hạn chế trong điều kiện.
Các Giải pháp và Hàm ý
Các nghịch lý khác nhau gợi ý các giải pháp khác nhau: lý thuyết kiểu (Russell), khoảng trống giá trị chân lý (Người nói dối), logic đa giá trị (Sorites), tự tham chiếu bị hạn chế (Curry). Các nghịch lý thúc đẩy đổi mới logic.
Các Hệ thống Logic
Các hệ thống logic khác nhau đưa ra các giả định khác nhau. Logic cổ điển là tiêu chuẩn, nhưng các logic phi cổ điển thách thức hoặc sửa đổi các nguyên lý của nó vì lý do lý thuyết hoặc thực tế.
Logic Cổ điển
Giả định tính hai giá trị (mọi mệnh đề đều đúng hoặc sai), bài trung (A ∨ ¬A), không mâu thuẫn (¬(A ∧ ¬A)), và các liên kết chân trị hàm tiêu chuẩn. Hệ thống mặc định trong toán học.
Các Logic Phi cổ điển
Logic trực giác từ chối bài trung. Logic phi nhất quán chấp nhận một số mâu thuẫn. Các logic đa giá trị sử dụng nhiều hơn hai giá trị chân lý. Mỗi loại giải quyết các hạn chế của logic cổ điển.
Chủ nghĩa Đa nguyên Logic
Quan điểm rằng nhiều hệ thống logic có thể đều đúng, có thể cho các miền hoặc mục đích khác nhau. Trái ngược với chủ nghĩa đơn nguyên logic (một logic đúng duy nhất). Một lĩnh vực tranh luận triết học tích cực.