Bài viết này xác định thông tin của các phán đoán theo kiểu của Bar-Hillel và Carnap để nghiên cứu các hệ thống suy luận trực tiếp tương ứng với các diễn giải phán đoán khác nhau đó. Kết quả cho thấy quan hệ được biểu diễn bằng hình vuông logic và phép đảo ngược của các phán đoán thuộc tính đơn thay đổi trong các hệ thống khác nhau. | TRƯỜNG ĐẠI HỌC SÀI GÒN SAIGON UNIVERSITY TẠP CHÍ KHOA HỌC SCIENTIFIC JOURNAL ĐẠI HỌC SÀI GÒN OF SAIGON UNIVERSITY Số 72 06 2020 No. 72 06 2020 Email tcdhsg@ Website http SUY LUẬN TRỰC TIẾP VỚI TIỀN ĐỀ LÀ PHÁN ĐOÁN THUỘC TÍNH ĐƠN Immediate inferences with categorical judgements as premises . Phạm Đình Nghiệm Trường Đại học Luật TÓM TẮT Mặc dù là một trong những khái niệm cơ sở của toàn bộ logic truyền thống nhưng phán đoán thuộc tính đơn được các nhà nghiên cứu diễn giải khác nhau. Điều này dẫn đến sự khác nhau giữa họ về quan điểm và cách diễn giải các dạng suy luận trực tiếp với tiền đề là các phán đoán thuộc tính đơn thuộc các hệ thống khác nhau. Bài báo này xác định thông tin của các phán đoán theo kiểu của Bar-Hillel và Carnap để nghiên cứu các hệ thống suy luận trực tiếp tương ứng với các diễn giải phán đoán khác nhau đó. Kết quả cho thấy quan hệ được biểu diễn bằng hình vuông logic và phép đảo ngược của các phán đoán thuộc tính đơn thay đổi trong các hệ thống khác nhau. Từ khóa diễn giải phán đoán mô tả trạng thái quan hệ suy diễn thông tin của phán đoán ABSTRACT The concept of categorical judgments is the basic concept of the entire traditional logic yet the forms of categorical judgments are interpreted differently. This can lead to differences between immediate inferences with categorical judgments as premises. This paper identifies the information of Bar-Hillel and Carnap s style of categorical judgments in order to study the immediate inference systems corresponding to these different interpretations of judgment. The results show that the logical interference is represented by the logical square and the conversion of the categorical judgments varies in different systems. Keywords judgment interpretation state description inference relation information of judgment 1. Dẫn nhập ii Có hay một số S là P . Các cách diễn giải phán đoán Gọi là dạng khẳng định bộ phận. thuộc tính đơn iii Mọi S đều không là P Phán đoán .
