Logic của Tồn Tại Của Các Thực Thể

Lý thuyết về phép kết nối tồn tại trong một hình thức tồn tại có những tác động đến logic kết hợp tương ứng. Đáng chú ý với sức mạnh phân tích cho cả tồn tại và logic là Logic Phép Kết Nối Đặc Thù (PPL) được phát triển ở đây, logic tiềm ẩn trong phiên bản hiện thực của học thuyết về các phép kết nối đơn vị hoặc các phép kết nối cá thể. PPL, như được xác định bởi các định lý và chứng minh tính nhất quán dưới đây, là một loại logic định hướng không có giới hạn với tầm nhận thức ba loại về bản thể, có chứa các biến số thể hiện trên cá nhân x, các tầm nhận thức R và các trường hợp của tầm nhận thức Ri. Sức mạnh của PPL được minh chứng qua việc làm rõ bản chất tự tham chiếu của các định nghĩa không có giới hạn và phân biệt giữa các hình thức hợp lệ và không hợp lệ. Với việc tinh chỉnh có động cơ tốt trên định lý về sự hiểu biết, PPL thực chất là một loại logic bậc cao mà không cần phân loại cưỡng bức các phép kết nối thành các loại hay sử dụng các hạn chế ad hoc khác. Đặc điểm của những nghịch lý tự tham chiếu cổ điển trong mô hình Russell–Priest được sử dụng để chỉ ra cách PPL chẩn đoán và giải quyết những nghịch lý này. Một ứng dụng trực tiếp của PPL cũng được đưa ra đối với Nghịch lý Grelling. Cũng được chỉ ra là cách PPL có thể phân biệt giữa bản sắc và sự không thể phân biệt.