Logic mệnh đề và ý nghĩa nhận thức của nó

ĐẠI HỌC QUỐC GIA HÀ HỘI TRƯỜNG ĐẠI HỌC KHOA HỌC XÃ HỘI VÀ NHÂN VĂN *** LÊ THỊ LAN ANH LOGIC MỆNH ĐỀ VÀ Ý NGHĨA NHẬN THỨC CỦA NÓ LUẬN VĂN THẠC SĨ Chuyên ngành: Triết học Hà Nội, 2015 ĐẠI HỌC QUỐC GIA HÀ HỘI TRƯỜNG ĐẠI HỌC KHOA HỌC XÃ HỘI VÀ NHÂN VĂN LÊ THỊ LAN ANH LOGIC MỆNH ĐỀ VÀ Ý NGHĨA NHẬN THỨC CỦA NÓ Luận văn Thạc sĩ chuyên ngành: Triết học Mã số: 60220301 Người hướng dẫn khoa học PGS.TS VŨ VĂN VIÊN Hà Nội, 2015 LỜI CAM ĐOAN Tôi xin cam đoan đề tài nghiên cứu thân tơi Các tài liệu trích dẫn trung thực Những nội dung trình bày luận văn chưa cơng bố cơng trình khoa học Hà Nội, ngày 23 tháng năm 2015 Người cam đoan Lê Thị Lan Anh LỜI CẢM ƠN Luận văn hoàn thành quan tâm hướng dẫn tận tình PGS.TS Vũ Văn Viên Em xin kính gửi tới thầy lời cảm ơn chân thành sâu sắc Em xin bày tỏ lòng biết ơn đến thầy cô Khoa Triết học thuộc Trường Đại học khoa học xã hội nhân văn – Đại học Quốc gia Hà Nội Cảm ơn gia đình đồng nghiệp động viên khích lệ trao đổi hữu ích suốt q trình học tập cơng tác Hà Nội, ngày 23 tháng năm 2015 Tác giả Lê Thị Lan Anh MỤC LỤC Trang MỞ ĐẦU CHƯƠNG 1: QUÁ TRÌNH HÌNH THÀNH VÀ NHỮNG NỘI DUNG CƠ BẢN CỦA LOGIC MỆNH ĐỀ ………………………… 1.1 Quá trình hình thành phát triển logic mệnh đề ………… 1.1.1 Logic học Aristotle ………………………………………………… 1.1.2 Các hướng cải cách logic học Aristotle ………………………… 1.1.3 Sự đời phát triển logic mệnh đề ………………………… 14 1.2 Đối tượng phương pháp logic mệnh đề ………………… 20 1.2.1 Đối tượng nghiên cứu logic mệnh đề …………………………… 20 1.2.2 Phương pháp logic mệnh đề …………………………………… 22 1.3 Đại số mệnh đề hệ toán mệnh đề …………………………… 24 1.3.1 Đại số mệnh đề ………………………………………………………… 24 1.3.2 Hệ toán mệnh đề ……………………………………………………… 37 CHƯƠNG 2: Ý NGHĨA NHẬN THỨC CỦA LOGIC MỆNH ĐỀ 46 2.1 Ý nghĩa nhận thức logic mệnh đề phát triển logic học công cụ nhận thức khoa học ………………… 46 2.1.1 Ý nghĩa logic mệnh đề việc khắc phục hạn chế đại hóa lơgíc truyền thống …………………………………… 46 2.1.2 Ý nghĩa logic mệnh đề đời phát triển logic vị từ ……………………………………………………………………… 56 2.1.3 Ý nghĩa logic mệnh đề đời phát triển hệ thống logic học phi cổ điển ……………………………………………… 63 2.2 Ý nghĩa nhận thức logic mệnh đề phát triển toán học………………………………………………………………… 70 2.2.1 Ý nghĩa logic mệnh đề việc giải khủng hoảng sở toán học.………………………………………………… 70 2.2.2 Ý nghĩa logic mệnh đề phát triển toán học.………………………………… 75 2.3 Ý nghĩa nhận thức logic mệnh đề đời phát triển điện tử học …….…………………………………………… 79 2.3.1.Ý nghĩa logic mệnh đề thiết kế phân tích mạch điện………………………………………………………………………………… 79 2.3.2 Ý nghĩa logic mệnh đề việc cung cấp nguyên tắc hoạt động cho thiết bị tự động hóa…………………………………………… 83 2.4 Ý nghĩa nhận thức logic mệnh đề đời phát triển tin học khoa học trí tuệ nhân tạo……………………… 86 2.4.1 Ý nghĩa logic mệnh đề đời phát triển tin học 86 2.4.2.Ý nghĩa logic mệnh đề đời phát triển khoa học trí tuệ nhân tạo ……………………………………………… 88 KẾT LUẬN …………………………………………………………… 94 DANH MỤC TÀI LIỆU THAM KHẢO …………………………… 97 MỞ ĐẦU Tính cấp thiết đề tài Tư người trình phản ánh chất quy luật vận động giới khách quan phải tuân theo quy luật riêng Logic học khoa học nghiên cứu hình thức quy luật tư nhằm đạt tới chân lý khách quan Trong suốt lịch sử phát triển hai nghìn năm, từ thời cổ đại ngày nay, logic học khẳng định vai trò cơng cụ nhận thức hữu hiệu cho q trình tìm kiếm chân lý Khoa học đặc biệt khoa học tự nhiên, trình phát triển ngày khám phá sâu chất vật tượng lại đặt yêu cầu buộc logic học phải có bổ sung phát triển Đó lí thời kì cận đại, nhiều nhà khoa học, tiêu biểu F Bacon R Descartes có tham vọng muốn xây dựng hệ thống logic học mà ông gọi logic phát minh, đối lập với logic học Aristotle Các ông hy vọng hệ thống logic đóng vai trò cơng cụ nhận thức vạn cho khoa học Tham vọng khơng thể thực dẫn đến khẳng định sức mạnh logic học phải phát huy trình nghiên cứu khoa học Trong lịch sử phát triển logic học, logic mệnh đề có vai trò đặc biệt quan trọng Sự đời logic mệnh đề đánh dấu bước nhảy vọt chuyển từ logic học truyền thống sang logic học đại Mặt khác, logic mệnh đề tạo nên bước ngoặt đánh dấu xâm nhập cơng cụ phương pháp tốn học vào nội dung logic học Sự xâm nhập tạo nên cú hích, thúc đẩy phát triển mạnh mẽ toán học lẫn logic học Sự đời phát triển logic mệnh đề tạo tảng ban đầu vô quan trọng cho phát triển khoa học cơng nghệ đại Có thể nói, khơng có logic mệnh đề khoa học cơng nghệ đạt phát triển ngày Logic mệnh đề có nhiều ứng dụng to lớn ngành kĩ thuật số tự động hóa, có vai trò vơ quan trọng đời máy tính phát triển tin học, đồng thời logic mệnh đề tảng ban đầu cho hình thành ngành khoa học tiên tiến - ngành khoa học trí tuệ nhân tạo Đất nước ta giai đoạn đẩy mạnh q trình cơng nghiệp hóa, đại hóa Để tạo động lực cho phát triển, Đảng ta xác định, giáo dục đào tạo khoa học công nghệ quốc sách hàng đầu Bởi vậy, để nhanh chóng tiếp thu thành tựu khoa học công nghệ giới, rút ngắn khoảng cách với nước phát triển, bên cạnh việc nghiên cứu ứng dụng chuyển giao khoa học công nghệ, nhiệm vụ quan trọng đặt phải nghiên cứu công cụ nhận thức sở logic tảng cho đời phát triển ngành khoa học công nghệ đại, sở logic mệnh đề Từ lí trên, việc nghiên cứu logic mệnh đề ý nghĩa nhận thức có ý nghĩa lý luận thực tiễn sâu sắc Tình hình nghiên cứu liên quan đến đề tài Logic mệnh đề có vai trò ý nghĩa đặc biệt quan trọng phát triển logic học khoa học, từ kỉ XIX đến trở thành đối tượng nghiên cứu nhiều nhà logic học, toán học nhà nghiên cứu khoa học khác Nhìn chung thấy nghiên cứu logic mệnh đề tiếp cận theo hai hướng Hướng thứ nghiên cứu logic mệnh đề bình diện khoa học tự nhiên Từ cách tiếp cận toán học, logic mệnh đề chủ yếu nghiên cứu phận toán rời rạc, sở logic toán học Trên phương diện này, kể đến số tác phẩm như: Đại cương logic toán Novicop, Logic toán S.L.Edenman, Cơ sở toán học đại – tác giả Helena Rasiowa, số giáo trình giảng dạy cho sinh viên ngành toán Việt Nam như: Logic toán sở tốn học Phan Đình Diệu, Logic tốn Nguyễn Mạnh Trinh, giáo trình Logic tốn lịch sử toán học Nguyễn Anh Tuấn (Sư phạm)… Các tài liệu nghiên cứu cho thấy logic toán mà phần logic mệnh đề trọng nghiên cứu Song nhận thấy mục đích cơng trình tài liệu chủ yếu nhằm lí giải hồn thiện sở tốn học Bởi khó tìm thấy nhiều lí giải phương diện triết học, đặc biệt ý nghĩa logic mệnh đề phát triển nhận thức từ cơng trình Hiện nay, với phát triển mạnh mẽ khoa học cơng nghệ đại, cơng trình nghiên cứu nước tập trung nhiều vào nghiên cứu ứng dụng logic toán, logic mệnh đề phát triển công nghệ thông tin kĩ thuật điện tử… Hướng nghiên cứu đặc biệt phát triển Mỹ Anh Nhiều công trình nghiên cứu học giả tiếng giới cơng bố, phải kể đến Toán học rời rạc ứng dụng tin học tác giả Kenneth H Rosen Đây sách đồ sộ có giá trị dùng làm giáo trình giảng dạy ba trăm trường đại học danh tiếng giới Trong cơng trình nghiên cứu này, vai trò ứng dụng đại số mệnh đề việc xây dựng nguyên tắc hoạt động thiết bị tự động hóa, xây dựng thuật tốn máy tính, phát triển lý thuyết trí tuệ nhân tạo,… trình bày tương đối chi tiết Đồng thời nhận thấy hầu hết giáo trình kĩ thuật số, mạch điện tử,… trình bày đại số mệnh đề làm sở cho việc xây dựng lý thuyết kĩ thuật số mạch điện tử Hướng nghiên cứu thứ hai nghiên cứu logic mệnh đề giai đoạn quan trọng phát triển nội logic học, mối quan hệ với logic truyền thống lý thuyết logic phi cổ điển Hướng nghiên cứu thực nhà triết học, logic học Trên giới, sau cống hiến to lớn Boole, Russell, Frege, Whitehead lĩnh vực logic mệnh đề logic vị từ, nhiều nhà nghiên cứu triết học, logic học tiếp tục bổ sung phát triển mối tương quan với lý thuyết logic khác, đồng thời phát triển hướng nghiên cứu ý nghĩa logic mệnh đề logic vị từ nhận thức khoa học nói chung Các tác giả có nhiều đóng góp to lớn phương diện Ian Hacking, V.E Smirnov Ở nước ta, nội dung có tính chất nhập mơn, ban đầu logic mệnh đề trình bày số giáo trình logic học đại cương, logic học dành cho chuyên ngành tác giả Nguyễn Anh Tuấn, Nguyễn Thúy Vân, Phạm Đình Nghiệm, Phạm Quỳnh, Nguyễn Như Hải, … Nghiên cứu khía cạnh giá trị nhận thức logic mệnh đề, hay vai trò logic mệnh đề nói riêng logic học nói chung nhận thức khoa học phải kể đến số báo có giá trị chuyên môn sâu như: Tư logic phận hợp thành tư khoa học tác giả Vũ Văn Viên đăng Tạp chí Triết học, số 12 năm 2005, báo Logic hình thức nhận thức khoa học tác giả Phan Đình Diệu đăng tạp chí triết học số năm 1993, Logic quy nạp vai trò nhận thức khoa học tác giả Nguyễn Gia Thơ, báo Logic học với việc xây dựng phương pháp nhận thức khoa học tác giả Phạm Văn Dương đăng Tạp chí Triết học số 7, 2004,… nhiều báo cơng trình khoa học khác tác giả Vũ Văn Viên, Nguyễn Anh Tuấn, Nguyễn Thúy Vân, Lê Văn Đốn, Phạm Quỳnh, Tơ Duy Hợp, Phạm Đình Nghiệm, Nguyễn Gia Thơ, Hà Thiên Sơn… Các tài liệu mang lại nhìn tương đối khái quát logic mệnh đề Đề tài Logic mệnh đề ý nghĩa nhận thức kế thừa phát huy thành tựu nghiên cứu dụng hệ đếm nhị phân (Binary), hệ đếm số 2, sử dụng hai chữ số Mỗi chữ số hệ nhị phân gọi bit (viết tắt từ binary digit nghĩa số nhị phân) Thuật ngữ nhà thống kê học John Tukey đưa năm 1946 Ví dụ 2.17: Dãy chữ số 1011001 dãy nhị phân gồm bit Giá trị dãy nhị phân theo số thập phân tính theo nguyên tắc: 10110012  1.26  0.25  1.24  1.23  0.22  0.21  1.20  89 10 Ngược lại, để đổi số hệ thập phân sang hệ nhị phân ta thực phép chia liên tiếp phần nguyên hệ đếm 10 cho số giữ lại số dư, tiếp tục thực phép chia không chia số dư cuối Các số dư lần chia 1, 2, 3, …, n chữ số thứ 1, 2, 3, …, n kết phần tìm Tuy nhiên, hệ nhị phân có nhược điểm độ dài số lớn khó ước lượng độ lớn nó, người ta dùng hệ đếm số gọi hệ bát phân (octal) hệ đếm số 16 gọi hệ thập lục phân (hệ hexadecimal) Thực hệ đếm hệ đếm 16 có mối liên hệ đặc biệt hệ nhị phân, chúng coi hệ nhị phân có cách biểu diễn khác Ta thấy sử dụng ba bit nhị phân tổ hợp, tương ứng với hệ đếm 8, sử dụng bit nhị phân 16 tổ hợp, tương ứng với hệ đếm 16 Các máy tính dùng bit để biểu diễn thơng tin Một bit có hai giá trị Trong đại số mệnh đề, mệnh đề nhận hai trị (T) sai (S), bit dùng để biểu diễn giá trị chân lý Chúng ta dùng bit để biểu thị giá trị bit biểu diễn giá trị sai Một biến gọi biến Boole (Boolean variable) giá trị sai Do đó, dùng bit để biểu diễn biến Boole Các phép tốn bit máy tính tương ứng với phép toán logic đại số mệnh đề, bao gồm phủ định, phép hội, phép tuyển Giá trị chân lý chúng Tuy nhiên tin học kí hiệu  , , thay tương ứng AND, OR XOR 87 Trong tin học, chuỗi thông tin biểu diễn chuỗi (xâu) bit Đó dãy số Các phép tốn xâu bit có sở từ phép toán logic mệnh đề sử dụng để thao tác chuỗi thông tin Ví dụ 2.18: Ta có hait xâu bit: 0110110110 1100011101 Thực phép toán bit: AND, OR XOR với hai xâu bit ta có: 01 1011 0110 11 0001 1101 11 1011 1111 OR bit 01 0001 0100 AND bit 10 1010 1011 XOR bit 2.4.2 Ý nghĩa nhận thức logic mệnh đề đời phát triển khoa học trí tuệ nhân tạo Trí tuệ nhân tạo (Artificial Intelligence - viết tắt AI) ngành khoa học tiên tiến Có nhiều cách định nghĩa khác ngành nhìn chung hiểu khoa học trí tuệ nhân tạo ngành khoa học nghiên cứu để làm cho máy móc có khả tư giống người, tiêu biểu khả biết suy nghĩ, khả lập luận hay khả biết học tập, v.v Khoa học trí tuệ nhân tạo thức khởi đầu vào năm 1956, máy tính sử dụng vấn đề mẻ đặt là: liệu máy tính có khả suy luận người, có khả thực thao tác tư người, ví dụ đánh cờ, làm toán,… Những vấn đề mẻ thúc đẩy nhà khoa học tìm tòi nghiên cứu đạt nhiều thành tựu vô quan trọng Để làm cho máy tính có khả tư giống người vấn đề nhà khoa học phải quan tâm lí giải tìm hiểu xem người tư nào, hay tìm số tiêu chí xác định tư kiểu người 88 Logic học khoa học tư duy, mục đích tìm ngun tắc để đảm bảo cho trình tư diễn xác đạt tới chân lý Lịch sử phát triển hai nghìn năm logic học từ Aristotle sở tảng ban đầu để nhà khoa học nghiên cứu cách thức tư người Warren McCulioch Walter Pitts thông qua nghiên cứu từ năm 1943 đặt sở ban đầu cho khoa học trí tuệ nhân tạo Họ nghiên cứu ba sở lý thuyết, là: triết học chức noron thần kinh, phân tích mệnh đề Rusell Whitehead cuối nghiên cứu thuyết dự đoán Turning Các kết nghiên cứu dẫn tới đời noron nhân tạo Từ kết này, vấn đề khác khoa học trí tuệ nhân tạo tiếp tục nghiên cứu phát triển Hiện nay, lĩnh vực AI bao gồm: Lập luận suy diễn tự động, biểu diễn tri thức, xử lý ngôn ngự tự nhiên, học máy,… Như vậy, logic mệnh đề tảng ban đầu cho đời ngành trí tuệ nhân tạo Ý nghĩa quan trọng logic mệnh đề logic vị từ hình thành phát triển trí tuệ nhân tạo biểu tập trung chỗ cung cấp cho ngành phương pháp biểu diễn tri thức thao tác logic xác cho q trình lập luận máy tính Khi tri thức biểu diễn dạng cơng thức logic mệnh đề từ cơng thức biết suy công thức theo quy tắc logic xác định Đối với chế biểu diễn tri thức máy tính Ngơn ngữ trao đổi thơng tin ngày ngơn ngữ tự nhiên, hệ thống kí hiệu có tính chất quy ước hệ thống kí hiệu khác ngôn ngữ quốc gia Khi thao tác, máy tính khơng thể làm việc với hệ thống kí hiệu mà phải chuyển dạng ngơn ngữ chuyên biệt thông qua chế biểu diễn tri thức Logic mệnh đề công cụ để thực q trình 89 Bất kì ngôn ngữ biểu diễn tri thức gồm hai thành phần cú pháp ngữ nghĩa Cú pháp bao gồm kí hiệu quy tắc liên kết kí hiệu để tạo thành câu (công thức) ngôn ngữ Các câu biểu diễn bên chuyển thành biểu diễn bên có cấu trúc liệu thích hợp cài đặt vùng nhớ máy tính Ngữ nghĩa ngơn ngữ cho phép xác định ý nghĩa câu mơ tả giới khách quan Ngồi ngơn ngữ biểu diễn tri thức có chế suy diễn, hệ thống luật, nguyên tắc cho phép suy công thức (mệnh đề) từ tập hợp kí hiệu cơng thức Trong máy tính loại máy móc tự động khác có nhiều hệ thống ngơn ngữ biểu diễn tri thức có logic mệnh đề Logic mệnh đề dạng ngôn ngữ biểu diễn tri thức đơn giản Chúng ta xét cấu trúc ngôn ngữ biểu diễn tri thức ba phương diện cấu thành Trước hết cú pháp logic mệnh đề Cú pháp logic mệnh đề đơn giản bao gồm kí hiệu quy tắc để xây dựng cơng thức từ kí hiệu Logic mệnh đề dùng chữ để kí hiệu mệnh đề sơ cấp Các phép toán logic mệnh đề cho phép từ mệnh đề sơ cấp thành lập mệnh đề phức Các công thức kí hiệu mệnh đề gọi câu đơn Các công thức câu đơn, tạo thành từ câu đơn gọi câu phức hợp Ngữ nghĩa logic mệnh đề cho phép xác định ý nghĩa công thức quan hệ thực Điều thực cách kết hợp mệnh đề dạng công thức với kiện thuộc giới thực mà ta muốn biểu đạt Ví dụ ta dùng A  B để biểu đạt kiện: “Nếu trời mưa đường ướt” Bất kì kết hợp 90 kí hiệu mệnh đề với kiện giới thực gọi minh họa Trong minh họa, công thức biểu đạt kiện nhận hai giá trị chân lý (T) sai (F) Giá trị chân lý mệnh đề phức phụ thuộc vào giá trị chân lý mệnh đề nguyên tử tính chất phép tốn định nghĩa thơng qua bảng giá trị chân lý Cơ chế suy diễn logic mệnh đề luật Thực chất nguyên tắc, luật tư khái quát lịch sử phát triển logic học chứng minh phép toán Các luật chế suy diễn gồm: luật Modus Ponens, Modus Tollens, luật De Morgan, luật giao hoán, luật kết hợp, luật phân phối, luật bắc cầu, luật đưa vào hội, luật loại bỏ hội, luật đưa vào tuyển, luật loại bỏ tuyển, v.v Đặc biệt, logic mệnh đề, tính chất cơng thức phép tốn cho phép thực phép biến đổi tương đương, đưa công thức phức tạp dạng chuẩn tắc hội chuẩn tắc tuyển Cơ sở biến đổi dựa vào tính chất đối ngẫu phép hội với phép tuyển, phép kéo theo biểu diễn thông qua phép hội, phép tuyển phép phủ định phép tương đương biểu diễn thông qua phép hội phép kéo theo Các tính chất cơng thức phép biến đổi tương đương cho phép dùng logic mệnh đề làm ngôn ngữ biểu diễn tri thức, biến đổi minh họa cụ thể dạng chuẩn tắc hội dạng chuẩn tắc tuyển Trong biểu diễn tri thức máy tính logic mệnh đề có hai dạng câu câu Horn (do nhà logic Alfred Horn đưa năm 1951) câu Kowalski (do nhà logic Kowalski đưa vào năm 1971) Cả hai dạng câu dựa dạng chuẩn tắc công thức mệnh đề Như vậy, với logic học, logic mệnh đề có vai trò quan trọng ngành trí tuệ nhân tạo Ý nghĩa đời phát triển ngành xem thực hóa phần mong muốn tham vọng F.Bacon R Descartes Chúng ta khơng thể tạo 91 máy móc có chức “sản xuất phát minh” đời máy tính, robot hệ thống máy móc tự động cho phép giải nhiều vấn đề nhận thức mà trí tuệ người bình thường khơng thể làm được, ví dụ, tính xác phép tính khoảng thời gian ngắn, tính tốn xác số lượng lớn toán phức tạp…v.v Tiểu kết: Qua trình bày khẳng định, logic mệnh đề có ý nghĩa vơ quan trọng phát triển nhận thức nói chung nhận thức khoa học nói riêng Mục đích trực tiếp hoạt động nhận thức nhằm khám phá chất quy luật vận động giới thực, khoa học lĩnh vực đặc thù Trong q trình đó, logic mệnh đề với tư cách phận cấu thành khoa học logic cung cấp cho nhận thức công cụ hữu hiệu xác cho q trình tìm kiếm chân lý Đối với logic học, logic mệnh đề kết trực tiếp yêu cầu phải cải cách logic truyền thống, khắc phục số hạn chế nó, hạn chế lớn sử dụng ngôn ngữ tự nhiên nên dễ mắc phải nhầm lẫn khó khăn thực suy luận, chứng minh phức tạp Như Leibniz khẳng định: sử dụng kí hiệu để diễn đạt nghĩ cho người khác mà để đơn giản hóa q trình suy nghĩ Logic mệnh đề sử dụng ngơn ngữ kí hiệu tốn phép tốn, khơng góp phần làm đại hóa logic truyền thống mà đại hóa, xác hóa cơng cụ quan trọng tư Logic mệnh đề tảng cho đời logic vị từ, với logic vị từ hợp thành logic tốn cổ điển Logic vị từ mở rộng logic mệnh đề theo hướng nghiên cứu cấu trúc mệnh đề cụ thể gắn mệnh đề với đối tượng xác định thực Mặt khác, logic mệnh đề nói riêng logic tốn cổ điển nói chung đặt tảng cho 92 đời phát triển học thuyết logic phi cổ điển, trực tiếp hệ thống logic đa trị Rõ ràng, trình phát triển liên tục logic học nhằm đáp ứng yêu cầu nhận thức, logic mệnh đề khẳng định vị trí vai trò nấc thang, bước ngoặt quan trọng Đối với toán học, đời logic mệnh đề góp phần giải khủng hoảng sở toán học đặc biệt sở logic toán Giữa tốn học logic học có mối quan hệ chặt chẽ, quy định chất, đối tượng tốn học vai trò logic học lẫn toán học nhận thức Các quy luật logic mệnh đề tham gia vào chứng minh toán học phận cấu thành lý thuyết toán Sự đời phát triển logic mệnh đề vượt ngồi yêu cầu logic học toán học Logic mệnh đề cung cấp cho nhiều ngành khoa học khác, đặc biệt điện tử học, tin học khoa học trí tuệ nhân tạo cơng cụ dùng để phân tích, thiết kế mạch điện, nguyên lý logic cho trình hoạt động thiết bị điện tử thiết bị tự động hóa chế để biểu diễn thông tin biểu diễn tri thức máy tính 93 KẾT LUẬN Sự đời logic học thời kì cổ đại nhằm đáp ứng yêu cầu tư khoa học trình khám phá chất quy luật vận động thực Logic truyền thống Aristotle sáng lập hệ học trò phát triển sau đó, có vai trò quan trọng việc thiết lập nguyên tắc cho tư lý tính người Tuy nhiên, nhận thức khoa học lĩnh vực sáng tạo Mỗi bước phát triển nhận thức khoa học đặt cho logic học yêu cầu buộc khoa học phải có thay đổi Đồng thời, phát triển khoa học, đặc biệt toán học lại tạo nên tiền đề, phương tiện quan trọng để logic học không ngừng phát triển Logic mệnh đề với tư cách phận cấu thành khoa học logic toán nói riêng logic học nói chung đời xuất phát từ yêu cầu nảy sinh trình phát triển khoa học mối quan hệ chặt chẽ logic học toán học Sự phát triển mạnh mẽ khoa học tự nhiên thời kì cận đại đặt yêu cầu phải cải cách logic truyền thống, khắc phục hạn chế Có nhiều khuynh hướng cải cách đặt với nhiều đường khác khuynh hướng Descartes, Bacon,… nhận thấy khuynh hướng có chung mục đích nhằm nâng cao tính xác đại hóa logic truyền thống Mặt khác, phát triển toán học thời kì cận đại dẫn đến yêu cầu phải xem xét lại sở logic Việc ứng dụng rộng rãi phương pháp tiên đề xây dựng lý thuyết tốn tiêu chuẩn logic tiền đề trực tiếp dẫn đến đời logic mệnh đề Leibniz người đặt viên gạch cho việc dùng ngơn ngữ kí hiệu nguyên tắc toán học việc xác hóa, đại hóa logic truyền thống Ý tưởng Leibniz đặt sau nhà toán 94 học G.Boole, G Ferge, Russell, Whitehead, tiếp tục hồn thiện Boole người thành cơng đem ngơn ngữ phép tốn vào biểu đạt hình thức quy luật tư Frege người tiếp tục mở rộng kết nghiên cứu vào cấu trúc cụ thể mệnh đề với hai khái niệm vị từ lượng từ, đồng thời trình bày đại số mệnh đề Boole sáng lập dạng hệ hình thức gọi hệ toán mệnh đề Sự đời logic mệnh đề tạo nên bước ngoặt quan trọng trình phát triển logic học lẫn toán học Logic mệnh đề phần giải mong muốn nhà khoa học cận đại khắc phục hạn chế logic học truyền thống đại hóa nội dung ngơn ngữ phương pháp tốn Ý nghĩa cách mạng logic mệnh đề việc khắc phục số hạn chế logic truyền thống thể tập trung hai hình thức suy luận chứng minh Mặt khác, sở logic mệnh đề, nhà logic học tiếp tục mở rộng phát triển logic vị từ hệ thống logic phi cổ điển khác Mỗi hệ thống logic học sau đời góp phần khắc phục hạn chế logic truyền thống cách triệt để nhất, đồng thời, bổ sung cho tư công cụ hữu hiệu xác q trình nhận thức giới Đối với toán học, nội dung logic mệnh đề có vai trò sở cho lập luận chứng minh tốn học Sự đời kết trực tiếp đồng thời góp phần giải số nghịch lý lỗ hổng sở logic toán Có thể nói, logic mệnh đề điểm giao tốn học logic học Sự gắn bó mật thiết đến mức toán học coi logic mệnh đề phận tốn có chức nghiên cứu sở lập luận chứng minh Còn số nhà triết học muốn biến tốn học thành phận logic học, quy vấn đề toán suy luận logic đơn giản Dù đứng quan điểm khơng thể phủ 95 nhận rằng: đời logic mệnh đề tạo nên cú hích thúc đẩy phát triển tốn học logic học Ý nghĩa nhận thức logic mệnh đề vươn xa nhiều so với yêu cầu ban đầu việc sáng tạo nên học thuyết logic Logic mệnh đề có ý nghĩa quan trọng đời phát triển khoa học điện tử, tin học trí tuệ nhân tạo Các cơng thức mệnh đề phép tốn logic mệnh đề đóng vai trò ngun tắc xuất phát để xây dựng thiết kế mạch điện, cung cấp chế vận hành cho thiệt bị tự động hóa, mã hóa thơng tin cho máy tính ngơn ngữ biểu diễn tri thức cho máy tính máy móc tự động khác v.v Trong phạm vi luận văn giới hạn nhận thức tác giả Luận văn dừng lại nhận diện phân tích có tính chất khái qt ý nghĩa nhận thức logic mệnh đề nhận thức khoa học, cụ thể với logic học toán học - hai ngành khoa học vai trò cơng cụ nhận thức Đồng thời, phân tích ý nghĩa logic mệnh đề đời phát triển điện tử học, tin học trí tuệ nhân tạo Còn nhiều khoa học ứng dụng khác, nhiều lĩnh vực ngành khoa học cụ thể nói chưa đề cập phân tích Như khẳng định, lý thuyết logic đời có vị trí vai trò định tiến trình phát triển logic học nhận thức khoa học Việc phác họa nên tranh tổng thể ý nghĩa nhận thức logic mệnh đề không góp phần khẳng định củng cố vị trí vai trò mà có tính chất gợi mở cho việc ứng dụng rộng rãi giá trị nhận thức nhận thức khoa học nói riêng tư người nói chung 96 DANH MỤC TÀI LIỆU THAM KHẢO I TIẾNG VIỆT Phan Hữu Chân, Nguyễn Tiến Tài (1996), Số học Logic tốn, Nxb Giáo dục, Hà Nội Dỗn Chính - Đinh Ngọc Thạch (2008), Triết học trung cổ Tây Âu, Nxb Chính trị Quốc gia, Hà Nội Hồng Chúng (1997), Logic học phổ thông, Nxb Giáo dục, Hà Nội Văn Như Cương (1977), Lịch sử hình học, Nxb Khoa học kĩ thuật Rene Descartes (1973) (Trần Thái Đỉnh dịch), Phương pháp luận, Nxb Nam Tùng Thư Nguyễn Đức Dân (1998), Logic tiếng Việt, Nxb Giáo dục, Hà Nội Phan Đình Diệu (1993), Lơgic hình thức nhận thức khoa học, Tạp chí Triết học, số Phan Đình Diệu (2006), Logic tốn sở toán học, Nxb Đại học Quốc gia Hà Nội Nguyễn Văn Dũng (1996), Aristotle với học thuyết phạm trù, Nxb Khoa học xã hội, Hà Nội 10 Phạm Văn Dương (2004), Logic học với việc xây dựng phương pháp nhận thức khoa học, Tạp chí Triết học, số 11 Phạm Văn Dương, Về chân lý logic kí hiệu (Luận văn thạc sĩ), Viện triết học 12 Vương Tất Đạt (2008), Logic học đại cương, Nxb Đại học Quốc gia Hà Nội 13 Nguyễn Bá Đô, Đỗ Mạnh Hùng, Nguyễn Văn Túc (2001), Các câu chuyện toán học, Tập - Khẳng định phủ định, Nxb Giáo dục, Hà Nội 97 14 Nguyễn Bá Đô, Đỗ Mạnh Hùng, Nguyễn Văn Túc (2001), Các câu chuyện tốn học, Tập - Hữu hạn vơ hạn, Nxb Giáo dục, Hà Nội 15 Nguyễn Đức Đồng, Nguyễn Văn Vĩnh (2001), Logic tốn, Nxb Thanh Hóa 16 Lưu Phóng Đồng, (1994), Triết học phương Tây đại, tập II, Nxb Chính trị Quốc Gia, Hà Nội 17 Phạm Gia Đức, Phạm Đức Quang (2007), Lịch sử toán học, Nxb Đại học Sư phạm, Hà Nội 18 S L Edenman (1981), Logic Toán, Nxb Giáo dục, Hà Nội 19 Nguyễn Như Hải (2008), Triết học khoa học tự nhiên, Nxb Giáo dục, Hà Nội 20 Nguyễn Như Hải (2011), Giáo trình Logic học đại cương, Nxb Giáo dục, Hà Nội 21 Trần Diên Hiển (2003), Các toán suy luận Logic, Nxb Giáo dục, Hà Nội 22 Đỗ Minh Hợp, Nguyễn Thanh, Nguyễn Anh Tuấn (2005), Đại cương lịch sử triết học Phương Tây, Nxb Tổng hợp TP Hồ Chí Minh 23 Nguyễn Mộng Hy (1997), Xây dựng hình học phương pháp tiên đề, Nxb Giáo dục, Hà Nội 24 E V Ilencov (2003), Lơgíc học biện chứng, Nxb Văn hóa Thơng tin 25 Phan Huy Khánh (2004), Lập trình logic prolog, Nxb Đại học Quốc gia, Hà Nội 26 Lê Văn Kiện (2008), Logic tốn vai trò nhận thức khoa học (Luận văn thạc sĩ), Đại học Khoa học xã hội nhân văn, ĐH Quốc gia Hà Nội 98 27 Trường Đại học Luật Hà Nội (2002), Giáo trình Logic học, Nxb Công an Nhân dân, Hà Nội 28 Đặng Văn Nghĩa (2004), Kĩ thuật số, Nxb Đại học sư phạm, Hà Nội 29 Phạm Đình Nghiệm (2005), Nhập môn Logic học, Nxb Đại học Quốc Gia Tp Hồ Chí Minh 30 Phạm Đình Nghiệm (2006), Logic học (Dùng cho chuyên ngành triết học), Nxb Đại học Quốc gia Tp Hồ Chí Minh 31 P.X Novicop (1971), Logic tốn, Nxb Khoa học kĩ thuật 32 Helena Rasiowa (1978) (Trần Tất Thắng dịch), Cơ sở toán học đại, Nxb Khoa học Kĩ thuật 33 Kenneth H Rosen (2007), Toán học rời rạc ứng dụng tin học, Nxb Giáo dục, Hà Nội 34 Đặng Huy Ruận (2002), Bảy phương pháp giải toán Logic học, Nxb Khoa học kĩ thuật 35 Hà Thiên Sơn (1996), Những bước Ph Bêcơn tới việc xây dựng phương pháp quy nạp, Tạp chí triết học, số 36 Hà Thiên Sơn (1999), Mối quan hệ biện chứng qui nạp diễn dịch nhận thức khoa học (Luận án tiến sĩ), Viện triết học 37 Hoàng Cao Tân (chủ biên) (1996), Mạch vi điện tử, Nxb Giáo dục, Hà Nội 38 Đinh Ngọc Thạch (1999), Triết học Hy Lạp cổ đại, Nxb Chính trị Quốc gia, Hà Nội 39 Nguyễn Tử Thành (1993), Logic học phương pháp nghiên cứu khoa học Nxb Trẻ 40 Nguyễn Gia Thơ (2005), Logic qui nạp vai trò nhận thức khoa học, Nxb Khoa học xã hội Hà Nội 99 41 Nguyễn Gia Thơ (2010), Về số lượng công thức tam đoạn luận đơn, Tạp chí Triết học, số 12 42 Nguyễn Trọng Thuần (2006), Điều khiển logic ứng dụng, Nxb Khoa học Kĩ thuật 43 Nguyễn Văn Trấn (1992), Logic vui, Nxb Chính trị Quốc gia, Hà Nội 44 Nguyễn Mạnh Trinh (1989), Logic toán, Nxb Giáo dục, Hà Nội 45 Nguyễn Mạnh Trinh (2001), Bước đầu làm quen với logic toán, Nxb Giáo dục, Hà Nội 46 Nguyễn Anh Tuấn (2011), Hỏi đáp Logic học đại cương, Nxb Đại học Quốc Gia, Hà Nội 47 Nguyễn Anh Tuấn (2012), Giáo trình Logic tốn lịch sử toán học, Nxb Đại học Sư phạm, Hà Nội 48 Nguyễn Thúy Vân, Nguyễn Anh Tuấn (2008), Logic học đại cương, Nxb Đại học Quốc gia, Hà Nội 49 Vũ Văn Viên (1991), Lơgic học hình thức tư xác, Tạp chí Triết học, số 50 Vũ Văn Viên (1993), Về thực chất tư khoa học đại, Tạp chí nghiên cứu Lý luận, số 51 Vũ Văn Viên, (2004), Logic học phi cổ điển ý nghĩa nó, Tạp chí Triết học, số 12 52 Vũ Văn Viên, (2005), Tư logic - phận hợp thành tư khoa học, Tạp chí Triết học, số 12 53 Nguyễn Hữu Vui (2007), Lịch sử triết học, Nxb Chính trị Quốc gia, Hà Nội 100 II TIẾNG ANH 54 Francis Becon (2000), The new organon, Cambridge University Press 55 George Boole (2005), The laws of thought, Download at www.gutenberg.net 56 V.A.Smirnov (Edited by Perter I Bystrov and Vadim N Sadovsky), Philosophical Logic and Logical philosophy, Kluwer Academic Publishers, Netherlands 57 L.Susan Stebbing (1960), A Modern elementary logic, Methuen Co LTD London 58 A.N.Whitehead –Bertrand Russell (1963), Principia mathematica, Cambridge University Press 101 ... trình bày logic mệnh đề mặt nội dung Hệ toán mệnh đề biểu logic mệnh đề dạng hệ hình thức Sự biểu logic mệnh đề dạng đại số mệnh đề hay hệ tốn mệnh đề có ý nghĩa quan trọng riêng nhận thức khoa... số mệnh đề hệ toán mệnh đề …………………………… 24 1.3.1 Đại số mệnh đề ………………………………………………………… 24 1.3.2 Hệ toán mệnh đề ……………………………………………………… 37 CHƯƠNG 2: Ý NGHĨA NHẬN THỨC CỦA LOGIC MỆNH ĐỀ 46 2.1 Ý nghĩa. ..  Trong mệnh đề trên, mệnh đề 1,3 mệnh đề 2,4 sai, mệnh đề sai cho x giá trị cụ thể Mệnh đề có giá trị kí hiệu (T 1), mệnh đề có giá trị sai kí hiệu (F 0) Trong logic mệnh đề, mệnh đề nhận hai