Logic Tự Do và Tiền Giả Định

Logic cổ điển giả định mọi thuật ngữ số ít đều biểu thị; logic tự do nới lỏng giả định này để xử lý các tên trống như 'Pegasus' và các mô tả xác định không tham chiếu.

Definition

Logic tự do là một hệ thống định lượng mà các thuật ngữ số ít của nó không nhất thiết phải biểu thị các đối tượng hiện có, do đó các suy luận như chuyển từ 'a là F' sang 'có cái gì đó là F' chỉ đúng khi có thêm tiền đề rằng a tồn tại.

Scope

Chủ đề này bao gồm logic tự do — logic không có các giả định về sự tồn tại đối với các thuật ngữ số ít của nó — và hiện tượng thất bại tiền giả định có liên quan chặt chẽ. Nó đề cập đến cách các logic tự do sửa đổi các quy tắc cổ điển của phép quy nạp phổ quát và phép khái quát hóa tồn tại đối với các thuật ngữ không biểu thị, các biến thể tích cực, tiêu cực và trung lập (siêu định giá), và bối cảnh triết học trong tranh cãi Russell-Strawson về cách các câu chứa các mô tả không tham chiếu có giá trị chân lý.

Core questions

• Logic nên xử lý các câu chứa tên trống hoặc mô tả thất bại như thế nào?
• Những câu như vậy có thiếu giá trị chân lý (thất bại tiền giả định) hay trở thành sai?
• Những quy tắc suy luận cổ điển nào phải bị hạn chế khi các thuật ngữ có thể không biểu thị?
• Sự tồn tại có phải là một vị từ không, và các lượng từ nên liên hệ với sự tồn tại như thế nào?

Key concepts

• các thuật ngữ số ít không biểu thị
• phép quy nạp phổ quát và phép khái quát hóa tồn tại
• logic tự do tích cực, tiêu cực và trung lập
• thất bại tiền giả định
• các khoảng trống giá trị chân lý
• sự tồn tại như một vị từ

Key theories

Logic tự do

Lambert hệ thống hóa các logic trong đó các thuật ngữ số ít có thể trống; phép quy nạp phổ quát và phép khái quát hóa tồn tại được điều chỉnh bởi một giả định tồn tại, và các biến thể khác nhau về giá trị chân lý của các câu nguyên tử với các thuật ngữ không biểu thị.

Tiền giả định và các khoảng trống giá trị chân lý

Strawson lập luận rằng một câu sử dụng một mô tả không tham chiếu (Russell's 'vua nước Pháp hiện tại') tiền giả định hơn là khẳng định sự tồn tại và do đó không đúng cũng không sai; van Fraassen mô hình hóa điều này bằng các siêu định giá.

History

Lý thuyết mô tả năm 1905 của Russell đã xử lý các thuật ngữ trống bằng phân tích hơn là sửa đổi logic; phản hồi năm 1950 của Strawson đã giới thiệu tiền giả định và các khoảng trống giá trị chân lý. Từ những năm 1960, Lambert đã đặt ra và phát triển logic tự do như một giải pháp thay thế có hệ thống, và van Fraassen đã cung cấp ngữ nghĩa siêu định giá cho các khoảng trống kết quả.

Debates

Sai hay không có giá trị chân lý?

Liệu các câu với các thuật ngữ không tham chiếu chỉ đơn giản là sai, như lý thuyết mô tả của Russell ngụ ý, hay chịu thất bại tiền giả định và thiếu giá trị chân lý, như Strawson và nhà logic tự do siêu định giá khẳng định.

Key figures

• Karel Lambert
• P. F. Strawson
• Bas van Fraassen
• Bertrand Russell
• Hugues Leblanc

Seminal works

• strawson1950
• lambert2003

Frequently asked questions

Tại sao logic cổ điển không thể xử lý các tên trống?

Logic cổ điển cho phép suy luận 'có cái gì đó là F' từ 'a là F' cho bất kỳ thuật ngữ a nào, điều này thất bại nếu a không biểu thị bất cứ điều gì — ví dụ suy luận rằng có cái gì đó là ngựa có cánh từ 'Pegasus là một con ngựa có cánh'. Logic tự do hạn chế các suy luận như vậy để chúng yêu cầu tiền đề bổ sung rằng đối tượng được đặt tên tồn tại.