Một từ hoặc một cụm từ (từ đây về sau ta sẽ gọi ngắn gọn là một biểu thức ngôn ngữ) trong ngôn ngữ tự nhiên có thể có nhiều nghĩa khác nhau, tùy thuộc vào ngữ cảnh trong đó nó được sử [r]
(1)PHẠM ĐÌNH NGHIỆM
OGIC HỌC
(2)LỜI NÓI ĐẦU
Cuốn sách biên soạn sở giảng mà tác giả thực nhiều năm cho sinh viên giai đoạn đào tạo đại cương nhiều trường đại học Thành phố Hồ Chí Minh Nội dung sách bám sát chương trình học phần “Nhập môn logic học” Bộ Giáo dục Đào tạo ban hành năm 1995 Bên cạnh đó, nhằm đáp ứng u cầu đại hóa chương trình giảng dạy đại học, tiếp cận gần với chương trình đào tạo nước tiên tiến, chúng tơi đưa thêm vào sách số nội dung Các nội dung trình bày chủ yếu trong chương “Phân tích ngơn ngữ tự nhiên Ngơn ngữ logic vị từ”, chương “Phán đoán”, chương “Tam đoạn luận đơn”, chương “Suy luận với tiền đề phức”
Để trình bày nội dung khoa học vừa chặt chẽ lại vừa ngắn gọn, tác giả sử dụng rộng rãi ký hiệu logic ký hiệu lý thuyết tập hợp (mà sinh viên biết chương trình tốn học phổ thơng) Điều tạo nên cảm giác e ngại số người đọc Tuy nhiên cảm giác ban đầu mà thơi Bạn đọc nhanh chóng nhận sử dụng ký hiệu làm cho việc trình bày vấn đề trở nên rõ ràng dễ hiểu nhiều so với dùng lời lẽ cách trình bày thơng thường Để sách phục vụ nhu cầu giới bạn đọc khác nhau, chúng tơi cố gắng trình bày vấn đề độc lập với đến mức Tuy vậy, sách logic nên chương mục gắn kết với nhau, bạn đọc đọc sách theo trình tự định Cụ thể, cách đọc tốt đọc theo trình tự trình bày sách Nhưng bạn khơng quan tâm đến phần có tính hình thức sách mà quan tâm đến phần có tính truyền thống đọc theo trình tự sau : chương “Các quy luật tư duy” → chương 10 “Suy luận quy nạp” → chương 11 “Suy luận tương tự” → chương 12 “Chứng minh” → chương 13 “Bác bỏ” → chương 14 “Ngụy biện”
Mặc dù tác giả cố gắng, chắn sách cịn nhiều thiếu sót, chúng tơi mong nhận ý kiến góp ý bạn đọc để hồn thiện sách
(3)(4)MỤC LỤC
Chương Đối tượng logic học 11
I Khoa học logic 11
1 Các đặc điểm tư trừu tượng 11
2 Hình thức tư tưởng quy luật tư 14
II Sự hình thành phát triển logic học 15
III Công dụng logic học 18
Chương Phân tích ngơn ngữ tự nhiên Ngơn ngữ logic vị từ 20
I Phân tích ngơn ngữ tự nhiên 20
1 Ngôn ngữ - hệ thống ký hiệu 20
2 Ngôn ngữ tự nhiên ngơn ngữ hình thức 21
3 Một số tính chất ngơn ngữ tự nhiên 21
4 Một số loại ký hiệu phạm trù ngữ nghĩa ngôn ngữ tự nhiên 23
II Ngôn ngữ logic vị từ 27
1 Hệ ký tự 27
2 Hạn từ 28
3 Công thức 28
4 Các ví dụ 28
5 Biểu thị tư tưởng ngôn ngữ logic vị từ 29
C Chhưươơnngg33 Các quy luật tư 35
I Quy luật đồng 35
II Quy luật không mâu thuẫn 38
III Quy luật triệt tam 40
IV Quy luật lý đầy đủ 41
C Chhưươơnngg44 Khái niệm 43
I. Khái quát khái niệm 43
1 Khái niệm - hình thức đặc biệt tư tưởng 43
2 Các loại khái niệm 44
3 Quan hệ khái niệm 45
II. Định nghĩa khái niệm 47
1 Định nghĩa khái niệm gì? 47
2 Các loại định nghĩa, hình thức định nghĩa 49
3 Các quy tắc định nghĩa 50
III. Các thao tác logic khái niệm 51
1 Mở rộng thu hẹp khái niệm 51
(5)C
Chhưươơnngg55 Phán đoán 55
I Khái quát phán đoán 55
1 Định nghĩa 55
2 Phán đoán câu 56
3 Các loại phán đốn 57
II Phán đốn thuộc tính đơn 58
1 Định nghĩa cấu trúc 58
2 Các loại phán đốn thuộc tính đơn 61
3 Tính chu diên hạn từ phán đốn thuộc tính đơn 64
4 Quan hệ phán đốn thuộc tính đơn Hình vng, tam giác logic 67 III Phán đốn phức Phán đoán phủ định 69
1 Các dạng phán đoán phức 69
2 Quy luật mâu thuẫn logic 72
3 Các phương pháp xác định quy luật mâu thuẫn logic 73
4 Biến đổi tương đương 83
C Chhưươơnngg66 Khái quát suy luận 86
I Định nghĩa cấu trúc suy luận 86
1 Định nghĩa 86
2 Cấu trúc 86
3 Ví dụ 87
II Suy luận hợp logic (đúng logic) suy luận 88
III Các loại suy luận 89
1 Phân loại vào số lượng tiền đề 89
2 Phân loại vào việc sử dụng thông tin chứa cấu trúc chủ từ-thuộc từ phán đốn thuộc tính đơn 90
3 Phân loại theo độ tin cậy kết luận 90
C Chhưươơnngg77 Suy luận trực tiếp 92
I Định nghĩa ví dụ 92
II Các loại suy luận trực tiếp 92
1 Đảo ngược phán đốn 92
2 Đổi chất phán đốn (cịn gọi biến đổi phán đoán) 93
3 Đặt đối lập vị từ 94
4 Suy luận dựa vào hình vng logic 95
C Chhưươơnngg88 Tam đoạn luận đơn 96
I Định nghĩa cấu trúc 96
II Hình kiểu tam đoạn luận đơn 98
1 Hình tam đoạn luận đơn 98
2 Kiểu tam đoạn luận đơn 99
(6)1 Tiên đề 100
2 Các quy tắc chung tam đoạn luận đơn 102
3 Các quy tắc hình 111
IV Tam đoạn luận đơn giản lược 112
1 Định nghĩa 112
2 Phục hồi tiền đề kết luận tam đoạn luận đơn giản lược 113
V Suy luận với nhiều tiền đề phán đoán đơn (tam đoạn luận phức hợp) 113
1 Định nghĩa cấu trúc 113
2 Các loại tam đoạn luận phức hợp 114
3 Tính sai tam đoạn luận phức hợp 114
C Chhưươơnngg99 Suy luận với tiền đề phán đoán phức 115
I Định nghĩa tính hợp logic 115
1 Định nghĩa 115
2 Xác định tính hợp logic (tính đúng) suy luận với tiền đề phán đoán phức 115
II Suy luận tự nhiên với tiền đề phức 116
1 Một số dạng thức suy luận với tiền đề phức 116
2 Các ví dụ ứng dụng 122
3 Một số chiến lược suy luận 129
4 Hệ suy luận tự nhiên 131
III Hợp giải 132
1 Các quy tắc hợp giải 132
2 Phương pháp hợp giải 133
3 Cây hợp giải Hợp giải tuyến tính 134
C Chhưươơnngg1100 Suy luận quy nạp 137
I Định nghĩa cấu trúc 137
1 Định nghĩa 137
2 Cấu trúc 137
II Một số phương pháp nâng cao độ tin cậy kết luận quy nạp 139
1 Tăng số lượng trường hợp riêng xét làm tiền đề 139
2 Căn vào mối liên hệ tính chất muốn khái qt hóa với tính chất khác đối tượng 139
III Một số phương pháp xác định liên hệ nhân 140
1 Phương pháp tương đồng 141
2 Phương pháp dị biệt 142
3 Phương pháp kết hợp 143
4 Phương pháp phần dư 145
(7)C
Chhưươơnngg1111 Suy luận tương tự 147
I Định nghĩa cấu trúc 147
II Tính chất suy luận tương tự 147
1 Kết luận chứa thông tin so với tiền đề 147
2 Kết luận không đảm bảo chắn tiền đề 148
3 Tính thuyết phục cao 148
4 Tính gợi ý cao 148
III Một số biện pháp nâng cao độ tin cậy suy luận tương tự 148
1 Tăng thêm số lượng tính chất giống dùng làm sở kết luận 148
2 Đảm bảo mối liên hệ giống dùng làm sở suy luận với tính chất nói đến kết luận 149
IV Vai trò suy luận tương tự 149
C Chhưươơnngg1122 Chứng minh 150
I Định nghĩa cấu trúc 150
1 Định nghĩa 150
2 Cấu trúc 150
II Một số ví dụ 151
III Đặc điểm chứng minh khoa học xã hội nhân văn 153
IV Các phương pháp chứng minh 153
1 Chứng minh trực tiếp 153
2 Chứng minh gián tiếp 154
V Các yêu cầu phép chứng minh 155
1 Các yêu cầu luận đề 155
2 Các yêu cầu luận 156
3 Các yêu cầu lập luận 158
C Chhưươơnngg1133 Bác bỏ 160
I Định nghĩa 160
II Một số ví dụ 160
III Các phương pháp bác bỏ mệnh đề 162
1 Bác bỏ cách chứng minh mệnh đề sai 162
2 Bác bỏ cách lập luận đưa đến (tức phép chứng minh) mệnh đề thiếu sở 163
C Chhưươơnngg1144 Ngụy biện 164
I Khái niệm 164
II Một số loại ngụy biện thường gặp 164
1 Ngụy biện dựa vào uy tín cá nhân 164
2 Ngụy biện dựa vào đám đông, dựa vào dư luận 165
3 Ngụy biện dựa vào sức mạnh 165
(8)5 Ngụy biện đánh tráo luận đề 166
6 Ngụy biện ngẫu nhiên 166
7 Ngụy biện đen - trắng 167
8 Ngụy biện cách dựa vào nhân sai 167
9 Dựa vào cỏi 168
10 Lập luận vòng quanh 168
11 Khái quát hóa vội vã 168
12 Câu hỏi phức hợp 168
13 Ngụy biện cách sử dụng phương pháp suy luận có tính xác suất 169
14 Ngụy biện cách diễn đạt mập mờ 169
III Phương pháp bác bỏ ngụy biện 170
CÂU HỎI VÀ BÀI TẬP 171
(9)Chương
ĐỐI TƯỢNG CỦA LOGIC HỌC
Logic học khoa học xuất sớm lịch sử Nó xuất vào kỷ thứ IV trước công nguyên, phát triển khoa học nói riêng tư nói chung địi hỏi phải trả lời câu hỏi: làm để đảm bảo suy kết luận đắn, chân thực từ tiền đề chân thực?
I KHOA HỌC LOGIC
Từ “logic” có nguồn gốc từ Hy Lạp “Logos”, có nhiều nghĩa, hai nghĩa ngày dùng nhiều sau Thứ nhất, dùng để tính quy luật tồn phát triển giới khách quan Thứ hai, từ “logic” dùng để quy luật đặc thù tư Khi ta nói “Logic vật vậy”, ta sử dụng nghĩa thứ Còn nói “Anh suy luận hợp logic lắm”, ta dùng nghĩa thứ hai từ logic
Theo quan điểm phổ biến logic học khoa học hình thức, quy luật tư Nhưng khác với khoa học khác nghiên cứu tư tâm lý học, sinh lý học thần kinh, , logic học nghiên cứu hình thức quy luật tư để đảm bảo suy kết luận chân thực từ tiền đề, kiến thức có, đưa phương pháp để có suy luận đắn Để hiểu cặn kẽ đối tượng logic học, ta phải tìm hiểu đặc điểm giai đoạn nhận thức lý tính trả lời cho câu hỏi hình thức quy luật tư
1 Các đặc điểm tư trừu tượng
Nếu nói cách giản lược nhận thức trình tìm hiểu, xác định đối tượng Triết học Mác - Lênin hiểu nhận thức trình phản ánh thực khách quan Nhận thức hoạt động phản ánh phát triển lịch sử, đảm bảo quy định mặt xã hội
(10)Cảm giác phản ánh mặt, khía cạnh riêng lẻ đối tượng vào đầu óc người tác động trực tiếp lên giác quan Ví dụ, ta thấy màu trắng viên phấn, thấy mát mẻ phòng rộng, ngửi thấy hương thơm hoa hồng, …
Tri giác phản ánh thành thể thống nhất, tương đối trọn vẹn nhiều mặt, nhiều khía cạnh, tồn mặt, khía cạnh đối tượng vào đầu óc người đối tượng tác động trực tiếp lên giác quan Các mặt, đối tượng phản ánh cách riêng lẻ hình thức cảm giác, mà chúng liên kết với thành thể thống nhất, giúp ta có hình ảnh trọn vẹn đối tượng Tri giác phép cộng đơn cảm giác Ví dụ, ta thấy sách nằm bàn, thấy đèn, bàn ghế, Quyển sách, bàn, đèn ta cảm thụ cách nguyên vẹn, ta mang cộng bốn chân bàn, với mặt bàn để bàn Cũng vậy, ta thấy hoa hồng, khơng phải cộng nét riêng biệt nó, số lượng cánh, màu nào, lớn hay nhỏ, tươi hay héo,
Biểu tượng hình ảnh hình thành từ cảm giác tri giác vốn hình thành từ trước, đối tượng tác động trực tiếp lên giác quan, lưu giữ đầu óc người Khác với tri giác hình ảnh có có tác động trực tiếp đối tượng lên giác quan, biểu tượng hình ảnh đối tượng khơng có tác động trực tiếp Biểu tượng bao gồm hình ảnh giới khách quan, hình ảnh ta tưởng tượng mà, xét đến cùng, có nguồn gốc từ thực khách quan
Đặc điểm nhận thức cảm tính tính trực tiếp, cụ thể khơng cần đến ngơn ngữ Ở giai đoạn ta nhận thức mặt, khía cạnh riêng rẽ hay hình ảnh bề ngồi đối tượng mà khơng thấy chất đối tượng, không thấy quy luật vận động phát triển Thật vậy, quan sát máy chạy, ta có hình ảnh chạy nó, khơng thể biết chạy, chí tốc độ xác ta khơng biết Thêm vào đó, tính khái qt khơng cao Ví dụ, ta khơng thể có tri giác thành phố, đất nước q lớn, giác quan ta khơng thể bao quát hết
Logic học không nghiên cứu giai đoạn cảm tính q trình nhận thức, mà nghiên cứu giai đoạn thứ hai trình đó, giai đoạn nhận thức lý tính
Nhận thức lý tính phản ánh gián tiếp thực khách quan Nhận thức lý tính phản ánh thực khách quan cách trừu tượng, nghĩa khái niệm, phạm trù, phán đoán, suy luận, lý thuyết, giả thuyết Nhờ ta thể nhận thức mối liên hệ bên trong, chất, quy luật tồn phát triển thực khách quan
(11)các khái niệm, phạm trù, giả thuyết, lý thuyết hình thức trừu tượng, nên cịn gọi tư trừu tượng
Nhận thức lý tính có đặc trưng trừu tượng khái quát Từ liệu thực khách quan cung cấp, ta tách riêng nét, tính chất chung, khái quát chúng lên, nhờ tách đối tượng có tính chất chung định thành kiểu, lớp riêng Trong trình này, với việc tách riêng tính chất chung đối tượng, ta bỏ qua tính chất khác đối tượng, q trình trừu tượng hóa
Một đặc trưng nhận thức lý tính gắn liền với ngơn ngữ Ngơn ngữ phương tiện tư Nhờ có ngơn ngữ, tư tưởng hình thành củng cố, lưu giữ Cũng nhờ ngôn ngữ, người trao đổi với tư tưởng Ngơn ngữ hiểu theo nghĩa rộng: ngôn ngữ hệ thống ký hiệu Chúng ta khảo sát vấn đề kỹ chương
Nhận thức lý tính phản ánh tượng khách quan cách tích cực Để nhận thức, tìm hiểu vấn đề, người hướng tư vào đó, chuẩn bị sẵn điều kiện cho q trình nhận thức Ví dụ, nhà bác học muốn nghiên cứu cấu tạo ngun tử, ơng ta bắn phá chùm hạt Rutherford làm Tính chất giải thích nghiên cứu đối tượng nhau, mà người nhận quy luật, người khác khơng
Nhận thức lý tính gồm hình thức khái niệm, phán đoán, lý thuyết, suy luận, giả thuyết Trong hình thức nhận thức lý tính, ba hình thức đầu hình thức hình thành biểu thị tri thức, cịn hai hình thức sau hình thức thu nhận phát triển kiến thức từ kiến thức có Logic học nghiên cứu hình thức tư Trong chương trình nghiên cứu cặn kẽ hình thức đó, nêu định nghĩa khái quát chúng để góp phần làm rõ đối tượng logic học
Khái niệm hình thức tư phản ánh lớp đối tượng dấu hiệu chung đối tượng thuộc lớp Để ý lớp đối tượng bao gồm đối tượng1 Khái niệm
điểm bắt đầu tư trừu tượng Trong trình tư trừu tượng, để nhận biết, xác định đối tượng, ta tách vật có số đặc điểm chung khỏi vật khác Lớp vật tách riêng được biểu thị khái niệm Ví dụ: khái niệm “học sinh” biểu thị lớp người có đặc điểm chung học; khái niệm “tội phạm” biểu thị lớp vật có đặc điểm chung - theo Bộ luật hình Nước Cộng hòa Xã hội chủ nghĩa Việt Nam - “hành vi nguy hiểm cho xã hội quy định luật hình sự, người có lực, trách nhiệm hình thực cách cố ý vô ý ”2
1 Logic học toán học đại nghiên cứu khái niệm rỗng (còn gọi khái niệm ảo,
khái niệm giả), khái niệm phản ánh lớp rỗng đối tượng
2 Bộ luật hình nước Cộng hịa Xã hội chủ nghĩa Việt Nam, NXB Chính trị Quốc gia, tr.14, TP
(12)Qua hai ví dụ ta thấy khái niệm phản ánh số đặc điểm chung lớp vật định
Phán đoán phản ánh quan hệ đối tượng với đối tượng với tính chất Phán đốn có nhờ liên kết khái niệm Một phán đốn khẳng định hay phủ định quan hệ đối tượng định hay đối tượng với tính chất Ví dụ, phán đốn “Ánh sáng có tính chất sóng” khẳng định tính chất sóng ánh sáng; phán đốn “Tài sản,
vốn đầu tư lợi nhuận hợp pháp chủ đầu tư không bị quốc hữu hóa”3 phủ
nhận tính chất bị quốc hữu hóa tài sản, vốn đầu tư lợi nhuận hợp pháp chủ đầu tư
Suy luận hình thức tư duy, từ hay nhiều phán đốn có suy phán đốn Nó hình thức nhận kiến thức từ kiến thức có Những phán đốn có gọi tiền đề, cịn phán đốn thu được gọi kết luận Trong suy luận sau “Bất phương trình bậc ba có nghiệm thực, phương trình 6x3 + 3x2 - 4x + m = phương trình
bậc ba, phương trình có nghiệm thực”, hai phán đốn đầu tiền đề, cịn phán đốn thứ ba, sau cùng, kết luận Kết luận rút cách tất yếu từ hai phán đoán tiền đề
2 Hình thức tư tưởng quy luật tư
Khi xem xét tư tưởng, logic hình thức khơng quan tâm đến nội dung tư tưởng ấy, mà quan tâm đến hình thức mà thơi
Hình thức logic tư tưởng cấu trúc tư tưởng, phương pháp liên kết thành phần khác tư tưởng lại với nhau, thứ tự xếp trước sau thành phần tư tưởng
Ví dụ, xét suy luận: (1) Con người phải chết
Socrate người Vậy Socrate phải chết;
(2) Sinh viên người tích cực sáng tạo Quang sinh viên
Vậy Quang người tích cực sáng tạo;
Ta thấy nội dung suy luận khác nhau, cấu trúc chúng lại giống Nếu suy luận thứ ta đặt “con người” = S, “phải chết” = P, “Socrate” = X ta có (1) dạng:
(13)Dễ thấy thay S = “Sinh viên”, P = “tích cực sáng tạo”, X = “Quang” suy luận (2) biến thành (1’)
Người ta gọi (1’) cấu trúc logic suy luận (1), rõ ràng (1’) cấu trúc logic suy luận (2)
Vì suy luận (1) (2) có cấu trúc nhau, nghĩa có hình thức nhau, nên chúng có nội dung khác nhau, đọc lên ta thấy chúng từa tựa
Rõ ràng cấu trúc, hình thức suy luận hay tư tưởng không chứa nội dung cụ thể Vì vậy, ta coi hình thức tư tưởng hay suy luận mà ta thu lược bỏ nội dung cụ thể tư tưởng hay suy luận
Quy luật tư mối liên hệ phổ biến, bên trong, chất, lặp lặp lại tư tưởng trình tư Khi xét mối liên hệ trình tư bỏ qua nội dung cụ thể ta quy luật hình thức Các quy luật gọi quy luật logic Tuân theo quy luật logic điều kiện cần thiết để đạt tới chân lý tư Một trình tư duy, lập luận gọi hợp logic, hợp lý, chặt chẽ (hay ngắn gọn đúng), tn thủ quy tắc logic Logic hình thức nghiên cứu quy luật hình thức mà thơi
Các quy luật tư phản ánh quy luật thực khách quan vào tư Chính mà chúng giúp ta nghiên cứu, nhận thức giới khách quan Con người phát quy luật tư hoạt động nhận thức thực tiễn mình, “hoạt động thực tiễn người phải làm cho ý thức người lặp lặp lại hàng nghìn triệu lần hình tượng logic khác nhau, hình tượng có ý nghĩa công lý”4 Đối với cá nhân, quy
luật bẩm sinh biết, mà biết thơng qua q trình học tập - nghĩa biết qua hệ trước -, biết tự nghiên cứu hoạt động nhận thức
II SỰ HÌNH THÀNH VÀ PHÁT TRIỂN CỦA LOGIC HỌC
Với tư cách khoa học, logic học đời vào kỷ IV trước công nguyên Người sáng lập logic học nhà triết học Hy Lạp vĩ đại Aristote (384 - 322 tr CN) Mặc dù trước Aristote có nhiều nhà triết học - chẳng hạn Pythagor, Democrite, Socrate, Platon - sử dụng nghiên cứu số kiểu suy luận, số kiểu phán đốn, Aristote người khai sinh logic học khoa học Aristote coi người khai sinh logic học “không phải ơng người hệ thống hố thao tác suy luận vốn trước ơng tồn riêng rẽ, chưa rõ ràng, mà ơng người làm cho thao tác đó trở thành đối tượng nghiên cứu, làm thành đối tượng nghiên cứu thao tác suy luận đó, với tư cách chỉnh thể, không thành tố hay thành
(14)tố khác suy luận”5 Nghĩa Aristote thao tác suy luận đối tượng nghiên cứu độc lập, không nghiên cứu mối quan hệ với suy luận Ông nghiên cứu cách hệ thống khái niệm, phán đoán, phép chứng minh bác bỏ, ông nêu lên ba quy luật tư Ông xây dựng hồn chỉnh lý thuyết tam đoạn luận Ơng người phân loại sai lầm logic Vấn đề trung tâm logic học Aristote vấn đề suy luận diễn dịch, có phép chứng minh, xây dựng Các vấn đề khác xoay quanh vấn đề Các cơng trình ơng logic học sau tập hợp lại Organon
Ở thời cổ đại, logic học Aristote học trò ông tiếp tục phát triển sau ông Nhưng người ta nêu thêm số quy tắc suy luận với tiền đề phán đoán điều kiện phán đốn lựa chọn nghiêm ngặt mà thơi Các nhà triết học thuộc trường phái Megat trường phái Khắc kỷ, đặc biệt Chrysippus (279-206 tr CN) - người cho mệnh đề sai người nghiên cứu quy tắc xác định tính sai mệnh đề phức dựa vào tính sai mệnh đề thành phần tạo nên -, xa Họ nghiên cứu quan hệ suy diễn, nghĩa quan hệ tiền đề kết luận suy luận Để nghiên cứu vấn đề này, họ đưa khái niệm bao hàm (implication) Họ đưa hình thức định lý diễn dịch - định lý làm sở cho phép chứng minh hệ thống hình thức hóa: suy luận hợp logic công thức biểu thị cơng thức Cơng thức biểu thị suy luận có ta liên kết tiền đề với thành phần tiền đề dấu toán hội, liên kết phần tiền đề với kết luận dấu toán kéo theo (dấu implication)
Các thành tựu quan trọng logic học thời La Mã cổ đại là: hệ thống thuật ngữ logic sử dụng đến ngày nay; hình vng logic (sau Boethius hoàn thiện); lý thuyết tam đoạn luận phức hợp tam đoạn luận với tiền đề phán đoán quan hệ
Ở thời trung cổ, logic học Aristote nghiên cứu phát triển nhà triết học kinh viện Các thành thời kỳ chủ yếu nghiên cứu khái niệm ngữ nghĩa học Các nhà logic học có đóng góp lớn thời kỳ P Abelard (1079-1142) - người xây dựng lại logic Aristote, phân biệt suy luận hình thức nội dung cho suy luận hình thức loại suy luận có giá trị thật -, W Occam (1285-1349) - người dành quan tâm lớn đến logic hình thái, xây dựng học thuyết siêu ngôn ngữ (metalanguage), nghiên cứu toàn diện tam đoạn luận đơn Aristote, phân định kiểu không
(15)Vào thời Phục hưng logic học truyền thống bị trích mạnh mẽ Một số nhà tư tưởng tiến thời kỳ buộc tội logic học chỗ dựa cho tư tưởng kinh viện
Nhà triết học người Anh F Bacon (1561 - 1626) cho tam đoạn luận Aristote hoàn toàn vơ ích, khơng cho phép tìm thơng tin từ tiền đề có, nên khoa học sử dụng khơng thể phát quy luật thông qua việc nghiên cứu kiện thực nghiệm biết Ông xây dựng nên logic quy nạp Logic sau nhà triết học logic học Anh khác S Mill (1806 - 1873) phát triển
Về phần logic diễn dịch phải đến kỷ XVII nhà toán học triết học R Descates (1596 - 1650) người Pháp minh bảo vệ Ông muốn xây dựng thành phương pháp nhận thức tổng hợp Công lao lớn việc phát triển logic diễn dịch thuộc nhà triết học, toán học logic học người Đức Leibniz (1646 - 1716) Ông coi người đặt tảng cho logic ký hiệu Ông đưa tư tưởng sử dụng ký hiệu phương pháp toán học vào logic học Ông sử dụng ký hiệu thay cho lời nói, khơng làm cho tư tưởng trở nên rõ ràng xác hơn, mà cịn làm cho tư tưởng trở nên đơn giản Ông muốn xây dựng logic học thành phép tính (calculus rationator) - ngơn ngữ nhân tạo tổng qt, suy luận hình thức hóa giống phép tính hình thức hóa đại số Thậm chí ơng cịn mơ đến ngày nhà triết học bất đồng ý kiến với họ khơng cần phải tranh cãi nữa, mà cần sử dụng hệ thống logic mà tính tốn xem đúng, sai Tư tưởng Leibniz sau nhà toán học logic học J Boole (1815 - 1864) người Anh, De Moorgan phát triển Họ xây dựng hệ đại số logic
Sự phát triển logic hình thức thời đại gắn liền với tên tuổi nhà bác học lớn G Frege (1848 - 1925), Peano (1858 - 1932), B Russell (1872 - 1970), Marcov, Peirce … Quá trình phát triển logic học kể từ Leibnitz, đặc biệt từ Russel trở sau, liên quan chặt chẽ với toán học Sự liên quan chặt chẽ hai ngành logic học tốn học Russel khắc họa sau “Nhập môn triết học tốn học” ơng: “Tốn học logic học, mặt lịch sử hai ngành khác nhau, trình phát triển, chúng sát lại gần nhau: logic học “tốn hóa” hơn, tốn học “logic hóa” Ngày khó mà vạch đường ranh dứt khoát phân chia logic học toán học Trên thực tế ngày chúng gần Bằng chứng đồng chúng thể chi tiết: xuất phát từ tiền đề phương pháp suy luận, ta đứng mảng đất logic; đến kết phương pháp suy diễn ta đứng mảng đất toán”6 Trong cuốn sách tiếng Principia Mathematica mình, tác giả A Whitehead (1861 - 1947) B Russell cho quy giản tồn tốn học lý thuyết
(16)về logic học, nói cách khác, coi tốn học phần logic học Ngược lại, số nhà toán học khác lại coi logic ngành toán học
Sự phát triển logic học kể từ Leibniz bước sang giai đoạn hẳn chất Nếu suốt ngàn năm trước logic học xác định số lượng hạn chế - tính hàng chục - dạng thức suy luận đúng, dạng thức suy luận tìm chủ yếu nhờ phương pháp kinh nghiệm, bây giờ, khoảng thời gian tương đối ngắn, logic học xác lập khối lượng dạng thức nhiều nhiều lần, nhiều phương pháp đại, phương pháp tiên đề, phương pháp hình thức hóa, … áp dụng thay cho kinh nghiệm
Ngày logic học hình thức bao gồm nhiều nhánh khác logic cổ điển, logic tình thái, logic thời gian, logic kiến thiết, logic relevant, logic không đơn điệu, logic mờ, logic xác suất, logic quy nạp, logic lượng tử, logic đa trị,…
Cuối kỷ XVIII, đầu kỷ thứ XIX nhà triết học người Đức Hegel xây dựng nên logic biện chứng Logic biện chứng nghiên cứu hình thức quy luật tư duy, nhiên, khác với logic hình thức, - khoa học nghiên cứu hình thức quy luật tư tư phản ánh trạng thái xác định, ổn định vật tượng -, logic biện chứng nghiên cứu tư phản ánh vật tượng vận động phát triển chúng, mối liên hệ chúng với vật tượng khác Logic hình thức nghiên cứu hình thức phản ánh lý tưởng hóa tư Các hình thức phản ánh thực khách quan tư mà logic biện chứng nghiên cứu khơng lý tưởng hóa Logic biện chứng Hegel logic tâm C Mác Ph Ăngghen xây dựng lại logic biện chứng Hegel sở vật V I Lênin nhà triết học mác-xít nghiên cứu phát triển sâu thêm logic học biện chứng Ngày logic biện chứng vừa sở phương pháp luận, vừa công cụ nhận thức, công cụ phát quy luật mới, tri thức khoa học
III CÔNG DỤNG CỦA LOGIC HỌC
(17)logic tiếng S Mill nói: “Sau thấy rõ lý thuyết suy luận đơn giản đến nào, thấy khoảng thời gian cần thiết để có tri thức hoàn chỉnh nguyên lý, quy tắc chí cịn có kinh nghiệm đáng kể việc sử dụng chúng nhỏ đến tơi thấy chẳng có lý để biện hộ cho người muốn hoạt động tri thức có kết mà lại khơng nghiên cứu logic Logic học người truy đuổi vĩ đại tư nhầm lẫn đen tối; làm tan sương mù bao phủ hiểu biết chúng ta, làm cho nghĩ hiểu đối tượng thật không hiểu Tôi tin giáo dục đại khơng mang lại nhiều lợi ích cho hình thành tư tưởng xác, tư tưởng sử dụng xác ý nghĩa câu chữ chống lại thuật ngữ khơng xác, nhiều nghĩa logic học”7
Cùng với phát triển khoa học công nghệ, logic học ngày ứng dụng rộng rãi Người ta sử dụng logic học để giúp giải vấn đề nan giải toán học, điều khiển học, khoa học máy tính, … Người ta sử dụng logic vị từ để làm ngơn ngữ lập trình cho trí tuệ nhân tạo (ví dụ ngơn ngữ lập trình PROLOG - PROgraming in LOGic); ứng dụng logic mờ (Fuzzy logic) để phát triển công nghệ mờ, …
(18)
Chương
PHÂN TÍCH NGƠN NGỮ TỰ NHIÊN NGƠN NGỮ LOGIC VỊ TỪ
I PHÂN TÍCH NGƠN NGỮ TỰ NHIÊN
Tư gắn cách hữu với ngơn ngữ Bởi vậy, để hiểu rõ hình thức quy luật tư khơng thể khơng hiểu ngơn ngữ mặt logic Việc phân tích ngơn ngữ tự nhiên giúp ta hiểu hình thức hóa phán đốn suy luận logic, thơng qua mà xác định xác thơng tin chứa chúng cần thiết cho trình tư
1 Ngôn ngữ - hệ thống ký hiệu
(19)2 Ngôn ngữ tự nhiên ngơn ngữ hình thức
Các ký hiệu thành phần ngôn ngữ làm chức giao tiếp xã hội gồm có hai loại Loại thứ ký hiệu ngôn ngữ tự nhiên, ví dụ âm, từ, cụm từ, câu, … Loại thứ hai ký hiệu ngôn ngữ hình thức Nhu cầu khoa học dẫn đến việc người ta tách riêng số ký hiệu ngơn ngữ tự nhiên để biểu thị khái niệm, quy tắc, phương pháp thao tác với đối tượng khoa học cách rút gọn Người ta sử dụng ký hiệu để xây dựng ngơn ngữ hình thức
Ngơn ngữ tự nhiên ngơn ngữ dân tộc, ví dụ tiếng Việt, tiếng Anh, tiếng Pháp,… Các ngôn ngữ hình thành lịch sử cách tự nhiên, thông qua hoạt động nhận thức cải tạo thực tiễn dân tộc Các ngôn ngữ tự nhiên hình thành phát triển cách tự phát, nghĩa ngôn ngữ tự nhiên kết hoạt động tự giác nhằm tạo chúng người hay nhóm người Các quy tắc hình thành ngơn ngữ tự nhiên, chẳng hạn quy tắc ngữ pháp, cú pháp ,… nhiều không xác định dạng tường minh
3 Một số tính chất ngơn ngữ tự nhiên
a) Đa nghĩa Một từ cụm từ (từ sau ta gọi ngắn gọn một biểu thức ngôn ngữ) ngôn ngữ tự nhiên có nhiều nghĩa khác nhau, tùy thuộc vào ngữ cảnh sử dụng Ví dụ, từ “ngày mai” hiểu tương lai, mà hiểu ngày hơm sau Ví dụ khác, trong câu “Diêu diêu em nỡ vội lấy chồng” (Lời hát “Ngẫu hứng Lá Diêu Bông” Trần Tiến) “Diêu bơng” hiểu “Em”, mà có thể hiểu thán từ, kiểu than “Trời ơi!”
Tính đa nghĩa tính chất đáng q ngơn ngữ giao tiếp hàng ngày, văn học nghệ thuật Tuy nhiên tính chất lại gây nhiều khó khăn cho việc sử dụng ngơn ngữ tự nhiên khoa học, kỹ thuật, luật pháp, … - lĩnh vực có địi hỏi trình bày vấn đề cách rõ ràng, xác, tránh hiểu nhầm
b) Giàu khả biểu đạt Tất ngôn ngữ tự nhiên giàu khả biểu đạt Người ta dùng ngơn ngữ tự nhiên nhiều lĩnh vực Có thể dùng chúng để trò chuyện, trao đổi thường ngày; dùng chúng để làm thơ, viết văn, để bàn luận thời sự, trị, luật pháp; dùng chúng để nghiên cứu trình bày tư tưởng cơng trình khoa học,… Ngồi ra, với ngôn ngữ tự nhiên, vật tượng mơ tả, biểu đạt cách khác nhau, biểu thức ngơn ngữ khác Ví dụ: Các cụm từ “Lên xe hoa”, “Đi lấy chồng”,… biểu thị việc Các cụm từ “Chào đời”, “Ra đời”,… biểu thị việc
(20)câu nói đối tượng thân ngơn ngữ, ví dụ, nói ngữ pháp, cú pháp, danh từ, động từ, câu, … Sự có mặt hai thành phần ngơn ngữ gọi tính đóng ngữ nghĩa Tính chất ngun nhân gây nên nghịch lý ngữ nghĩa nghịch lý kẻ nói dối sau Có người nói nói dối Ta cần xác định xem lúc nói nói dối hay nói thật Nếu nói nói thật hóa nói thật nói dối, nghĩa nói dối ! Ngược lại, nói dối có nghĩa nói dối nói dối Nhưng lại có nghĩa thực tế nói thật ! Như khơng thể nói nói dối khơng thể khẳng định nói thật Ta có nghịch lý câu nói khẳng định tính sai Rõ ràng điều xảy ngơn ngữ đóng ngữ nghĩa
d) Có nhiều cấp độ ngôn ngữ Trong đoạn văn câu ngôn ngữ tự nhiên, từ ngữ thuộc nhiều cấp độ khác Chẳng hạn, trong câu nói Socrate “Tơi biết khơng biết gì” hai lần xuất của từ “biết” thuộc hai cấp độ ngôn ngữ khác Từ “biết” thứ hai biết toàn giới khách quan, ngoại trừ khả hiểu biết mình, thuộc cấp độ thứ Từ “biết” thứ lại thuộc cấp độ thứ hai, biết khả hiểu biết mình, nghĩa biết biết thuộc cấp độ thứ Nếu không phân biệt cấp độ ngôn ngữ khác ta cho câu nói chứa đựng nghịch lý
e) Một phần thông tin không biểu đạt tường minh Thông tin chứa đựng câu, đoạn văn ngơn ngữ tự nhiên có phần biểu đạt dạng tường minh, cịn phần khác ngầm hiểu Ví dụ: câu “Trở nhà, lục tung phịng để tìm ảnh” chứa đựng thơng tin không biểu thị tường minh như: đâu đó; có ảnh Ví dụ khác: “Con chó có hai chân” có thơng tin ngầm hiểu là: bình thường chó có nhiều hai chân Phần thông tin biểu đạt tường minh ta gọi hiển ngôn, phần thông tin không biểu đạt tường minh gọi hàm ngôn Hàm ngơn tiền giả định hay hàm ý9 Để suy luận đắn ta cần phải xác định
được tồn nội dung thơng tin mà câu đoạn văn chứa, hiển ngôn hàm ngôn