tailieunhanh - Ebook Giáo trình Nhập môn logic hình thức: Phần 2

Ebook Giáo trình Nhập môn logic hình thức: Phần 2 trình bày logic vị từ, những nguyên lý cơ bản của tư duy và suy luận logic. Mời các bạn tham khảo! | Chương V LÒGÍCH VỊ TỪ L KHÁI NIỆM Lôgích mệnh đề chỉ cho phép nghiên cứu được quan hệ giữa các mệnh đề thành phần trong một mệnh đề phức hợp trong một chuỗi các mệnh đề của một quá trình suy luận. Nhưng lògích mệnh đề không miêu tà được cấu trúc lâgích nội tại cùa một mệnh đề. Chúng ta quan tâm tới sự kiện và thuộc tinh cùa thể giới khách quan được thể hiện trong các mệnh đề. Nhưng lôgích mệnh đề chưa cho biết những điểu đỏ. Có những cáu tường thuật không phải là phản đoán. Chúng ta đã biết mỗi phán đoán trong lôgích mệnh đề là một câu tường thuật. Nhưng ngược lại có những câu tường thuật lại không là một phán đoán. Xét các câu 1 X là một người tốt. 2 X là một số chẵn. Hai câu tường thuật trên đây không phải là một phán đoán vì chúng ta không thể biết được chúng có giá trị đúng hay sai. Chi khi thay X bằng những đối tượng cụ thể thì hai cầu trên mới trở thành những phán đoán mệnh để cụ thể 1 b Ba ià một người tốt 2b 7 là một số chẵn. Những câu 1 và 2 được gọi là những hàm mệnh đề. Cách gọi này giống như cách gọi biểu thức 5x - 3 là một hàm số vì nó chưa phải là một số . Để miêu tả những cầu như 1 và 2 chúng ta phải dùng một hệ lôgích khác được gọi là lôgích vị từ predicate logic hay lôgích lượng từ quantifier logic . 91 Trong lôgích mệnh đề Ib và 2b chi được kí hiệu bàng những con chữ như a và b. Nghĩa là chúng ta không biết được những mệnh đề ấy khác nhau như thế nào vì cấu trúc cùa chứng không được miêu tả. Lôgích vị từ sẽ cho phép hiểu hiện được miêu tả được cấu trúc ìôgích nội tại của một mệnh đề. Hơn nừa iôgích vị từ còn phàn ánh khá trung thực dạng thức lôgích ngẩm ẩn của một câu. Sự miêu tã đó phàn ánh được cấu trúc cùa các sự kiện đúng như nó ton tại trong thể giới khách quan. Xét hai cặp câu 3 Ba khuyên Bốn giúp đỡ Năm. 4 Ba nhận lời Bốn giúp đỡ Năm. 5 Một con trâu đứng ờ bụi tre. 6 Một con trâu buộc ở bụi tre. Nếu phân tích hình thức các câu trong mỗi cặp trên 3 và 4. 5 và 6 có cấu trúc giống hệt nhau. Tuy nhiên chúng ta dễ thẩy bán chất của chúng