Li dassen [đánh giá về xu mingliang "SAP - SIP hiệu quả" quan điểm ", một phân tích logic logic quy tắc và chủ là có một dự định trong hệ thống lý luận logic, các quy tắc được thiết kế để đảm bảo từ giá trị tiền đề có thể rút ra một kết luận đáng tin cậy. Logic truyền thống chỉ ra rằng SAP - SIP là trái với hiến pháp, chủ yếu là từ các dự định cho sự tồn tại của chủ đề đặc biệt I, đó là để cho rằng các suy luận đặc biệt có thể có sự tồn tại thực sự của chủ đề S trong một trường hợp cụ thể. Tuy nhiên, điều này làm suy giảm tính đơn giản của các quy tắc suy luận logic. Từ bản chất của các quy tắc lôgic, tuyên bố toàn diện A (SAP) nói rằng trong một lĩnh vực lôgic cụ thể, tất cả các yếu tố S đều có tính chất P. Lĩnh vực logic này xây dựng một hệ thống bán kín và hình thức, trong đó S, và hàng, P, và hàng đều được thiết lập sẵn như các đối tượng logic có ý nghĩa và tồn tại. Trên cơ sở đó, lời đề nghị I (SIP) đặc biệt có nghĩa là có ít nhất một yếu tố S có tính chất P trong cùng một lĩnh vực logic, phù hợp với cơ sở thiết lập logic của lời đề nghị A đầy đủ. Theo sự đồng nhất, lập trình của lĩnh vực logic trong toàn bộ quá trình tiểu thuyết lý luận nên được ổn định, không nên thêm vào các vấn đề về sự tồn tại của chủ đề trong thế giới thực. Một khi đã vượt qua ranh giới lôgic cân bằng này và áp đặt sự tồn tại giả định trên lý luận lôgic, nó có thể phá vỡ tính phổ biến và nhất quán của các quy tắc lôgic. Với tiêu chuẩn "tất cả các phượng hoàng đều đẹp", trong lĩnh vực logic, tuyên bố này thiết lập mối quan hệ giữa khái niệm phượng hoàng với các thuộc tính của vẻ đẹp. Nếu không có phoenix trong thực tế, chúng ta sẽ bác bỏ sự suy luận từ lời tuyên bố đầy đủ cho đến lời tuyên bố đặc biệt "một số phượng hoàng xinh đẹp" bằng cách đặt tiêu chuẩn tồn tại của thực tế lên trên các quy tắc bên trong của lĩnh vực logic. Và trong một góc nhìn logic thuần tuý, xuất hiện từ "tất cả S là P" trong một lĩnh vực logic "ít nhất là S là P" hoàn toàn phù hợp với những quy tắc logic nội tâm. Thứ hai, dựa trên hiệu quả của lập luận dựa trên chuyển đổi của các tuyên bố tương đương chứng minh rằng văn bản này đã rõ ràng đề xuất của SAP -- - (các P -- các P) mối quan hệ tương đương này, cung cấp nhiều hơn và mạnh mẽ hơn để chứng minh hiệu quả của SAP - SIP. Dựa trên những quy tắc cơ bản của lập luận logic, các tuyên bố tương đương có cùng vị thế trong lập luận và có thể thay thế lẫn nhau. Khi SAP là thật, nó cũng là thật theo những tuyên bố tương đương. Bên dưới chuỗi logic này, nếu được tạo ra từ SAP, theo những quy tắc logic, SIP có thể là sự thật; Nếu từ (cảm -- cảm), cũng có thể ra (cảm -- cảm) là sự thật. Điều này cho thấy rằng bất cứ đề xuất tương đương nào, bạn có thể đi đến một kết luận hợp lý với một con đường logic hợp lý. Điều này chứng minh thêm một lần nữa rằng hiệu quả của lập luận không nên bị phủ nhận bởi cùng một con đường logic, và cũng không nên bị đánh giá sai bởi nhận thức một chiều về hình thức tuyên bố. Ví dụ, "tất cả các tam giác đẳng cấp đều là các tam giác" tương đương với "tất cả các tam giác không phải là các tam giác đẳng cấp", và trường hợp hợp lý ở đây là các đa giác. Từ tuyên bố ban đầu "tất cả các tam giác đẳng cạnh là các tam giác" bạn có thể rút ra rằng "một số tam giác đẳng cạnh là các tam giác"; Từ câu nói "tất cả các hình tam giác không phải là các hình tam giác bình đẳng" có thể đi đến một kết luận hợp lý. Ở đây, thậm chí từ một trường hợp cụ thể của thực tế (đặc biệt chú ý: một trường hợp cụ thể cũng có một lĩnh vực logic cụ thể), "ít nhất có các tam giác đẳng cấp và có các tam giác", hoặc: "ít nhất có các tam giác không tam giác và không có các tam giác đẳng cấp", có thể là hợp lý. Điều này cho thấy lý luận SAP - SIP được củng cố và hiệu quả trong một hệ thống logic dựa trên sự chuyển đổi của các tuyên bố tương đương. Thứ ba, ý nghĩa quan trọng của sự chính xác của quan điểm này 1. cải tiến và cải thiện lý thuyết - tái tạo hệ thống lý luận thẳng đề: ý tưởng này thách thức logic truyền thống về SAP - SIP vô hiệu hóa kết luận, cung cấp một hướng mới cho sự hoàn thiện của các quy tắc lý luận thẳng đề. Nó phá vỡ sự ràng buộc về sự tồn tại của các chủ thể truyền thống, và làm cho các quy tắc suy luận trở nên đơn giản hơn, phổ biến hơn, và tăng thêm tính nhất quán và nghiêm ngặt của lý thuyết logic. - thúc đẩy tư duy triết học logic: khơi dậy một cuộc thảo luận sâu sắc về bản chất logic, mối quan hệ giữa lĩnh vực logic và thế giới thực. Cho phép các nhà logic học xem xét các quy tắc logic một lần nữa cơ bản và phạm vi áp dụng của nó, làm rõ hơn ranh giới giữa lý luận logic và kinh nghiệm thực tế, cho sự phát triển của triết học logic vào một cuộc sống mới. 2. mở rộng giảng dạy trong lớp học trong lĩnh vực nghiên cứu khoa học: trong việc xây dựng và lập luận các giả thuyết khoa học, các nhà khoa học thường liên quan đến lý luận về những điều chưa rõ hoặc những khái niệm trừu tượng. Cách suy luận được hỗ trợ bởi quan điểm này có thể cho phép các nhà khoa học mở rộng ranh giới của kiến thức khoa học bằng sự suy luận hợp lý mà không thể xác định trước sự tồn tại thực tế của đối tượng nghiên cứu, để cung cấp các công cụ suy nghĩ hiệu quả hơn cho các khám phá khoa học tích cực. Ví dụ như việc phát triển các tính chất hạt chưa được quan sát trong vật lý lý thuyết, hoặc đóng một vai trò quan trọng trong các trường hợp như lập luận giả thuyết trong sinh học về các đặc điểm của các loài mới có thể tồn tại. - xử lý thông tin và trí thông minh nhân tạo: trong thời đại của sự nổ hạt nhân thông tin, xử lý thông tin một cách hiệu quả và chính xác là tối quan trọng. Dựa trên những quy tắc suy luận logic phổ quát này, tối ưu hóa việc truy cập thông tin, xây dựng bản đồ kiến thức, và các thuật toán suy luận của trí tuệ nhân tạo. Cho phép hệ thống máy tính xử lý một cách hợp lý hơn mối quan hệ giữa các khái niệm trừu tượng và các tuyên bố phức tạp, cải thiện khả năng đưa ra quyết định thông minh và đánh giá logic.