Con người phát hiện ra các quy luật của tư duy thông qua hoạt động nhận thức trải nhiều thế kỷ chứ không phải bẩm sinh đã biết đến chúng. Con người biết cách vận dụng các quy luật đó, biết suy luận tuân theo các quy luật đó là nhờ quá trình học tập và rèn luyện chứ không phải có tính chất bản năng. Việc hiểu rõ các quy luật của Lôgic hình thức thật sự rất quan trọng và có ý nghĩa vô cùng to lớn với mỗi con người và đặc biệt là thế hệ sinh viên chúng ta.
Mục lục Phần MỞ ĐẦU Lý chọn đề tài Lơgic học hình thức (cổ điển) nhà Triết học Hy Lạp cổ đại Aritotle sáng lập Nó mơn học chun nghiên cứu hình thức quy luật tư Sự nhận thức cảm tính phản ánh mối liên hệ vận động cảy tự nhiên, vào não người trờ thành vật tượng có tính ổn định sác định tương đối, với mối liên hệ, quan hệ chúng Sự nhận thức lý tính giai đoạn phản ánh gián tiếp trừu tượng, khái quát vật, thể qua hình thức khái niệm, phán đốn, suy luận Trong q trình hình thành phát triển xã hội lồi người, nhận thức người nâng cao dần, từ nhận thức cảm tính sang nhận thức lý tính - tức tư Ta xét ví dụ: (1) Mọi người phải chết, người, tơi phải chết (2) Vợ phụ nữ, em phụ nữ, em vợ Rõ ràng suy luận thứ đúng, cịn suy luận thứ hai sai Nhưng vào sở mà ta xác định vậy? Tất nhiên trực tiếp vào thực tiễn Tuy nhiên thực việc gặp phải nhiều khó khăn, [Nhập môn Lôgic học] sau kiểm tra thấy kết luận ta khơng thể nói chắn suy luận Một phương pháp khác thuận tiện hiệu nhiều sử dụng quy luật tư duy, tức quy luật mà môn Lôgic nghiên cứu, để làm sở cho việc xét đốn Suy luận tn theo quy luật hợp lý, đúng; suy luận khơng tn theo quy luật vơ lý, sai Các quy luật Lơgic hình thức đề tài phong phú, mang lại nhiều kiến thức bổ ích từ thự tiễn sống, nhóm em chọn để tài “Các quy luật Lơgic hình thức” cho tiểu luận Mục đích nghiên cứu Chúng em tự hỏi rằng: _ Cơ sở lý luận Lơgic hình thức nào? _ Những quy tắc Lơgic hình thức? _ Vai trị ý nghĩa Lơgic hình thức khoa học sống Con người phát quy luật tư thông qua hoạt động nhận thức trải nhiều kỷ bẩm sinh biết đến chúng Con người biết cách vận dụng quy luật đó, biết suy luận tuân theo quy luật nhờ q trình học tập rèn luyện khơng phải có tính chất Việc hiểu rõ quy luật Lơgic hình thức thật quan trọng có ý nghĩa vơ to lớn với người đặc biệt hệ sinh viên Ý nghĩa thực tiễn tính cấp thiết đề tài Tư lơgíc hình thành cách tư lơgíc tự phát Tư lơgíc hình thức tự phát gây trở ngại cho việc nhận thức khoa học, dễ mắc phải sai lầm q trình trao đổi tư tưởng với nhau, vấn [Nhập mơn Lơgic học] đề phức tạp Chính việc hiểu rõ để áp dụng lơgic hình thức vào sống quan trọng cấp thiết Đối tượng nghiên cứu Đối tượng nghiên cứu tiểu luận quy luật Lơgic hình thức bào gồm: Quy luật đồng tư duy, Quy luật cấm mâu thuẫn, Quy luật trung, Quy luật lý đầy đủ Phương pháp nghiên cứu Để tìm hiểu cặn kẽ xác vấn đề chúng em áp dụng phương pháp: tra cứu, tìm hiểu thơng tin nhiều phương tiện khác trang mạng, báo chí, sách vỡ … Từ cố gắng phân tích lập lập luận, đưa luận điểm khách quan, luận xác thực để mang đến tiểu luận rõ ràng, cụ thể dể hiểu Kết cấu tiểu luận Bài tiểu luận gồm có ba phần: Phần 1: Mở đầu Phần 2: Nội dung _ Chương 1: _ Chương 2: Phần 3: Kết luận *Lời ngỏ Là sinh viên năm nhất, với kiến thức kinh nghiệm cịn hạn chế, [Nhập mơn Lơgic học] nên nội dung tiểu luận khơng tránh khỏi thiếu xót Chúng em mong nhận xét đóng góp ý kiến thầy cô bạn Điều giúp chúng em bổ sung kiến thức, kinh nghiệm, nhằm khơng ngừng hồn thiện thân Chúng em xin chân thành cảm ơn PSG.TS Đoàn Đức Hiếu (Giảng viên Đại học Sư phạm Kỹ thuật HCM) giúp đỡ chúng em suốt q trình tìm hiểu mơn học Nhập môn Lôgic học việc thực tiểu luận [Nhập môn Lôgic học] Phần 2: NỘI DUNG CHƯƠNG 1: CƠ SỞ LÝ LUẬN VỀ LƠGIC HÌNH THỨC 1.1 Lơgic hình thức gì: Lơgic hình thức cịn biết đến tốn học Lơgic kí hiệu ngành khoa học nằm miền giao thoa tốn học triết học tự nhiên Lơgic hình thức sử dụng kí hiệu hình thức phép toán đại số với nguyên tắc định giá trị chân lý nhằm để xác định tính đắn lập luận Lơgic hình thức nghiên cứu quy luật hình thức tư trừu tượng Nếu trình nhận thức khoa học “từ trực quan sinh động đến tư trừu tượng lại từ tư trừu tượng trở với thực tiễn” Lơgic hình thức cho ta quy luật để suy luận giai đoạn tư trừu tượng tồn q trình nhận thức Đặc trưng nhận thức khoa học khái quát hóa tri thức kinh nghiệm để tìm kiếm quy luật phổ biến, cách tổng hợp quy luật phổ biến từ nhiều khía cạnh khác trở lại nhận thức tượng vật cụ thể Như vậy, Lơgic hình thức khơng quan tâm đến nội dung phán đoán, mà quan tâm đến quan hệ chuyển đổi giá trị chân lý phán đốn mà thơi Về sau này, với việc sử dụng phương pháp ký hiệu tốn học, phán đốn tron Lơgic hình thức xem ký hiệu A, B, p, q, đưọc gán giá trị (đúng) (sai) Lôgic khoa học lý luận đắn Theo từ điển Webster, lý luận “rút luận giải hay kết luận từ thực tế cho trước hay biết” Lý luận diễn dịch cấu trúc phép Lôgic khoa học [Nhập môn Lôgic học] nghiên cứu từ hàng ngàn năm trước Một nhà Lôgic học tiếng nhà khoa học người Hy Lạp Aristotle (384-322 TCN) Ơng học trị nhà triếu học Plato thầy dạy Alexander Đại đế Triết học Aristotle có tầm ảnh hưởng sâu rộng triết học Phương Tây đại Trong hàng ngàn kỷ, phép Lơgic Aristotle nằm chương trình học luật sư trị gia Phương Tây, dùng để phân biệt giữ lập luận với lập luận sai Trải qua hai nghìn năm, Lơgic hình thức cơng cụ đắc lực góp phần hình thành phát triển nhiều ngành khoa học khác nhau, cơng cụ tư hợp lý mặt đời sống nhận thức người Ngày nay, giai đoạn mà người có tham vọng dùng máy móc để tự động hóa bước hoạt động trí tuệ mình, Lơgic không công cụ để nghiên cứu Và từ nhiều vấn đề nảy sinh, mà việc nghiên cứu chúng chắn đưa đến hiểu biết phong phú hoạt động tư nhận thức Lơgic hình thức cho ta quy luật để hình thành khái niệm, phán đốn đặc biệt phương pháp suy lý để tiến hành lập luận phán đốn giá trị chân lý xác thực, tức phán đoán đúng, sai Và quy luật suy lý cho ta cách lập luận để từ giá trị chân lý phán đoán xét Theo quan điểm Aristotle, Lôgic công cụ cần thiết để tra vấn, ông xây dựng phép Tam đoạn luận Tam đoạn luận lập luận bao gồm mệnh đề gọi tiền đề (bao gồm đại tiền đề tiểu tiền đề), kết luận kết tiền đề Cho tập hợp tiền đề, kết luận lập luận chắn (nghãi đến kết luận trường hợp), lập luận xem (có hiệu lực) Ngược lại có trường hợp mà kết luận đạt được, lập luận sai (khơng có hiệu lực ) Một kết luận kinh điển phép Tam đoạn luận Aristole [Nhập môn Lôgic học] sau: Mọi người chết (đại tiền đề) Socrates người (tiểu tiền đề) Do đó, Socrates chết (kết luận) Phép lý luận diễn dịch gọi modus ponens Lưu ý rằng, lập luận (có hiệu lực) khơng nghĩa kết luận thật Một lập luận kết luận hiển nhiên sở tiền đề cho Khi đề cập đến tính lập luận người ta khơng đề cập tới tính chân lý tiền đề Như xem xét đến tính lập luận người ta không xem xét kết luận hay sai Nói lập luận có nghĩa sở tiền đề cho, lý luận để đưa tới kết luận hợp Lôgic Tuy nhiên, tiền đề lập luận có hiệu lực kết luận 1.2 Các quy luật Lơgic hình thức 1.2.1 Quy luật đồng nhất: Cơ sở khách quan quy luật: tính ổn định tương đối, trạng thái đứng im tương đối đối tượng Quy luật đồng xác định ý nghĩa, tư tưởng đối tượng định phẩm chất xác định, thân ý nghĩ tuần thủ quy luật phản ánh đồng trừu tượng đối tượng với Nội dung cơng thức quy luật: Trong trình suy nghĩ, lập luận tư tưởng phải xác định, nghĩa, đồng với Cơng thức quy luật: “a a”, a tư tưởng phản ánh đối tượng xác định Nói cách khác, ý nghĩ rút từ điều kiện cần đủ cho tính chân thực “a a” [Nhập mơn Lơgic học] Luật đồng trở thành quy tắc cho ý nghĩ: ý nghĩ vừa vừa khơng phải Nó phải đồng với giá trị Lơgic Luật đồng u cầu phản ảnh đối tượng phẩm chất xác định (tồn khoảng thời gian, không gian quan hệ xác định), đối tượng tồn với tư cách khơng tùy tiện thay đổi đối tượng phản ánh; không thay đổi nội dung tư tưởng hay đánh tráo ngơn từ diễn đạt tư tưởng Chính điều thể tính xác định quán tư tưởng phản ánh đối tượng xác định Có thể phân tích tác động luật đồng tư qua yếu tố cụ thể sau: Các yêu cầu luật đồng lỗi Lơgic mắc phải vi phạm chúng: u cầu 1: Phải có đồng tư với đối tượng mặt phản ánh, tức lập luận đối tượng xác định đó, tư phải phản ánh với nội dung xác định Cơ sở yêu cầu là: Thứ nhất, đơi tượng khác phân biệt với nhau, tư phản ánh đối tượng rõ gì? Khơng lẫn lộn với đối tượng khác Thứ hai, đối tượng vận động, biến đổi; thân chúng có nhiều hình thức thể giai đoạn phát triển khác Tư phản ánh đối tượng phải ý thức phản ánh đổi tượng hình thức nào, giai đoạn phát triển nào, khơng lẫn lộn hình thức giai đoạn phát triển khác đối tượng Có thể sơ đồ hóa để yêu cầu sau: Lỗi ngộ biện (sai mà không biết): xảy tư vơ tình mà khái qt tượng ngẫu nhiên thành tất nhiên trình độ nhận thức [Nhập mơn Lơgic học] cịn thấp (chưa đủ điều kiện, phương tiện, sở nhận thức, đánh giá, xem xét vật) nên phản ánh sai thực khách quan Lỗi ngụy biện (biết sai mà vơ tình mắc vào): xảy lý do, động cơ, múc đích vụ lợi mà người ta cố tình phản ánh sai lệch thức khách quan, nhằm biến sai thành đúng, vô lý thành hợp lý Yêu cầu 2: Phải có đồng tư tưởng với ngơn ngữ diễn đạt Cơ sở khách quan yêu cầu mối quan hệ tư ngôn ngữ diễn đạt Một tư tưởng, ý nghĩa phải “vật chất hóa” ngơn ngữ Vì thế, tư tưởng, ý nghĩa nào? Về gì? ngơn ngữ diễn đạt phải thể vậy, tránh tạo trường hợp tư tưởng, ý nghĩa phản ánh đối tượng này, ngôn ngữ diễn đạt lại cho thấy đối tượng mà đối tượng khác đối tượng mà đối tượng khác (tức khơng xác đinh) Có thể sơ đồ hóa yêu cầu sau Tóm lại, khơng đồng tư tưởng khác không coi tư tưởng đồng khác Các lỗi Lôgic tương ứng thường mắc vi phạm yêu cầu luật đồng đánh tráo đối tượng, đánh tráo khái niệm, nhầm lẫn khái niệm 1.2.2 Quy luật cấm mâu thuẫn Cơ sở khách quan luật cấm mâu thuẫn, sở luật đồng tính xác định vật chất đối tượng bảo toàn thời gian định Từ suy ra, có đối tượng đồng thời khơng thể khơng tồn ; khơng thể có thuộc tính xác định vật chất đồng thời lại chúng, khơng thể vừa nằm vừa khơng nằm quan hệ với đối [Nhập mơn Lơgic học] tượng khác Đặc điểm giới thức sở khách quan luật mâu thuẫn Nội dung công thức luật cấm mâu thuẫn Mâu thuẫn Lôgic tượng tư duy, nêu hai phán đoán loại trừ đối tượng xét thời gian quan hệ Mâu thuẫn Lôgic làm lộ rõ tính quy luật là: hai phán đốn đối lập mẫu thuẫn đối tượng, xét thời gian, quan hệ, chân thực, chúng giả dối Công thức quy luật: 7(a A 7a) Yêu cầu phi mâu thuẫn tư tưởng lỗi Lôgic thường có thực tiễn tư Sự tác động luật mâu thuẫn tư yêu cầu người không mâu thuẫn lập luận, công việc liên kết tư tưởng Để chân thực tư tưởng phải quán phi mâu thuẫn tư tưởng giải dối có chứa mâu thuẫn Lôgic Do yêu cầu nêu mà luật mâu thuẫn gọi luật cấm mâu thuẫn Gọi luật cấm mâu thuẫn có nghĩa đồng với yêu cầu người định hình lên sở quy luật (“ nguyên tắc phi mâu thuẫn”) Yêu cầu cấm mâu thuẫn Lôgic khai triển cụ thể sau: Thứ nhất, khơng có mâu thuẫn trực tiếp lập luận khẳng định đối tượng đồng thời lại phủ định Thứ hai, khơng có mâu thuẫn gián tiếp tư duy, tức khẳng định đối tượng, lại phủ nhận hệ tất suy từ 1.2.3 Quy luật trung Luật gắn liền với luật mẫu thuẫn, với cần thiết phải loại bỏ mâu thuẫn Lôgic tư Như nêu trên, luật mâu thuẫn khẳng định, hai tư [Nhập môn Lôgic học] tưởng mâu thuẫn chân thực Nhưng khơng cho biết, chúng giả dối không Luật trung trả lời câu hỏi Theo nghĩa này, coi bổ sung cho luật mâu thuẫn (và suy ra, cho luật đồng nhất) Sự tác động bị chế định tính xác định tư duy, tính qn phi mâu thuẫn Nhưng luật trung cịn có tính độc lập tương đối, có lĩnh vực tác động vai trị riêng Cơ sở khách quan luật trung Cũng tính xách định chất đối tượng, tồn hay khơng tồn tại, thuộc tầng lớp hay lớp khác, có hay khơng có tính chất Nội dung luật trung: “Hai phán đoán mẫu thuẫn đối tượng, khảo cứu thời gian quan hệ, đồng thời giả dối; chúng định phải chân thực, lại phải giả dối, khơng có trường hợp thứ 3” Cơng thức: “a v a” Lĩnh vực tác động luật trung hẹp so với luật mâu thuẫn, đâu có luật trung, thiết có luật mâu thuẫn, nhiều nơi luật mẫu thuẫn tác động, luật trung lại không Luật trung tác động quan hệ phán đoán mâu thuẫn (A – O; E – I), điều có nghĩa luật trung dùng để loại bỏ mâu thuẫn trường hợp nêu phán đoán trái ngược ba kiểu: (A-E, đơn nhất); (A-O); (E-I) Trong ba trường hợp, theo luật trung phán đốn định phải chân thực, cịn phải đốn giả dối Nhưng khơng tác động mối quan hệ qua lại phán đoán đối lập, dù luật mâu thuẫn tác động đây: [Nhập môn Lôgic học] chúng đồng thời chân thực, đồng thười giả dối, mà khơng thiết tn theo luật chung Những yêu cầu luật chung lỗi vi phạm chúng Luật chung yêu cầu phải lựa chọn – hai – theo nguyên tắc “Hoặc là, là” (khơng có giải pháp thứ ba) Điều có nghĩa việc giải vấn đề mang tính giải pháp khơng lảng tránh câu trả lời xác định; khơng thể tìm trung gian, đứng giữa, thứ ba Sự vi phạm yêu cầu lựa chọn thường biểu khác Nhiều vấn đề đặt ra, định hìnhh khơng phải theo giải pháp mâu thuẫn Nói chung, luật chung tác động mệnh đề mâu thuẫn nêu trên, chúng phải mệnh đề có nghĩa Nếu câu hỏi nêu thích hợp dạng tinh thể phải lựa chọn, việc lảng tránh câu trả lời xác đinh, cố tìm thứ ba, sai lầm 1.2.4 Quy luật lý đầy đủ Cơ sở khách quan nội dung luật lý đầy đủ Sự phụ thuộc lẫn tồn khách quan đối tượng sở quan trọng cho xuất tác động tư luật lý đầy đủ Nội dung luật: “Mọi tư tưởng định hình coi chân thực rõ toàn sở đầy đủ cho phép xác minh hay chứng minh tính chân thức ấy” Cơng thức là: “A chân thực có B sở đầy đủ” Cơ sở Lơgic liên quan chặt chẽ với sở khách quan, khác với Nguyên nhân sở khách quan, kết tác động hệ Cịn sở Lơgic việc dẫn đến nguyên nhân, mà hệ để suy kết luận khác Luật lý đầy đủ kết khái quát thực tiễn suy luân.Luật biểu thị quan hệ tư tưởng chân thực với tư tưởng khác – quan hệ kéo [Nhập môn Lôgic học] theo Lôgic, xét đến cùng, đảm bảo tương thích chúng với thực Có nghĩa là, kết luận ln có đầy đủ sở lập luận Do vậy, lĩnh vực tác động quy luật trước hết suy luận, sau chứng minh Ngay tồn chứng chứng tỏ có quy luật Những yêu cầu luật lý đầy đủ lỗi vi phạm chủng Luật lý đầy đủ đặt cho tư yêu cầu sau: Mọi tư tưởng chân thực cần phải luận chứng, hay: không công nhận tư tưởng chân thực, chưa có sở cho việc cơng nhận Nói khác, chưa nên tin vào gì: cần phải dựa sở kiện tin cậy luận điểm kiểm chứng từ trước Luật chống lại tư tưởng phi Lôgic, không liên hệ với nhau, vô tổ chức, thiếu chứng minh, kết luận thiết sức thuyết phục, không suy từ khác Lỗi Lôgic quan trọng vi phạm yêu cầu luật lý đầy đủ lỗi: “Kéo theo ảo” Nó bộc lộ nơi thật khơng có mối quan hệ Lôgic đầy đủ tiền đề kết luận, luận đề luận cứ, người ta lại tưởng có mối liên hệ Tóm lại, kết thúc nghiên cứu quy luật Lơgic hình thức, nhận thấy, việc tn theo yêu cầu chúng quan trọng cần thiết, chúng đảm bảo trình nhận thức tính qn, tính phi mâu thuẫn Lơgic, tính có sở chứng minh [Nhập mơn Lơgic học] CHƯƠNG 2: VAI TRÒ VÀ Ý NGHĨA CÁC QUY LUẬT CỦA LƠGIC HÌNH THỨC TRONG KHOA HỌC VÀ ĐỜI SỐNG 2.1 Vai trị quy luật Lơgic hình thức khoa học đời sống Lơgic hình thức nghiên cứu quy luật hình thức tư trù tượng Nếu trình nhận thức (khoa học) từ trực quan sinh động đến tư trù tượng lại từ tư trừu tượng trở với thực tiễn Lơgic hình thức cho ta quy luật để suy luận giai đoạn tư trừu tượng tồn q trình q trình nhận thức Đặc trưng nhận thức khoa học khái qt hóa tri thức kinh nghiệm để tìm kím quy luật phổ biến, bách cách tổng hợp quy luật phổ biến từ nhiều khía vật cụ thể Lơgic hình thức cho ta quy luật để hình thành khái niệm, phán đoán đặc biệt phương pháp suy lý để tiến hành lập luận phán đốn Một đặc điểm cuả Lơgic hình thức xem phán đốn có giá trị chân lý xác định, tức phán đoán đúng, sai Và quy luật suy lý cho ta cách lập luận để từ giá trị chân lý số phán đoán cho trước suy giá trị chân lý phán đoán xét Hơn nghành khoa học khác, tốn học có đối tượng nghiên cứu quuan hệ cấu trúc dạng trừu tượng khái quát nhất, nên toán học địa hạt mà Lơgic hình thức ứng dụng cách đầy đủ rộng rãi Và đền lượt mình, tốn học cung cấp kiểu mơ hình trừu trượng phương pháp xử lý mơ hình trừu tượng cho nghành khoa học khác việc phân tích nghiên cứu đối tượng Lơgic hình thức cơng cụ tư trừu tượng, công cụ quan trọng nhận thức khoa học Hệ thống quy luật Lơgic hình thức sử dụng ổn định suốt hai nghìn nắm nay, dường tính đến khơng [Nhập mơn Lơgic học] cịn phải bàn cãi Với phương pháp tiên đề hóa hình thức hóa đầu kỷ XX, Lơgic hình thức, dạng cổ điển nó, chứng minh phi mâu thuẫn đầy đủ, Thế nhưng, đầy đủ tự nổ, đáng hồi nghi tình đầy đủ vời tư cách công cụ tư nhận thức Như nói trên, Lơgic hình thức Lơgic hai giá trị, địi hỏi phán đốn mà xét phải có giá trị sai Nhưng thực tiễn nhận thức đời sống, ta lại gặp nhiều phán đốn mà tính sai khó xác định rõ ràng Vậy trường hợp đó, liệu tiến hành lập luận Lôgic không ? Tất nhiên không, ta dừng lại Lơgic hình thức cổ điển Có thể mớ trộng để có Lơgic khác cho phép tiến hành cac lập luật tri thức mà tính sai khơng xác đình rõ ràng rõ ràng mức độ khác ? Người ta phải phát triễn nhiều lý thuyết theo hướng đó, Lơgic nhiều giá trị, Lơgic modal, Lơgic mở (fuzzy), Lôgic xác suất… Ngay phạm vi hai giá trị Lơgic hình thức có khơng vấn đề giải cách dễ dàng Đa sổ vấn đề liên quan đến tính trừu tượng cực đoan thân Lơgic hình thức địi hỏi tính chân lý phán đoán phải xét độc lập với nội dung ngữ nghĩa phán đốn Thí dụ nói tính sai phán đốn phức hợp “ A B “ vơ nghĩa đề cập đến tình sai phán đốn thành phần A B mà khơng quan tâm đến quan hệ nội dung có tính chất nhân A B Nếu để khẳng định phán đoán tồn mốt đối tượng thc loại ta khơng cần biết tập hợp tất đối tượng loại đó, để phủ định tồn tại,oái oăm thay ta lại cần biết tập hợp tất đối tượng loại đó, tất nhiên biết tập hợp với tư cách tập hợp biết cụ thể đối tượng tập hợp Cái khơng đơi gây nên nhựng nghịch lý Lơgic, thí dụ bảo khơng có Thượng đế hẵn bạn bạn phải mơ tả Thượng đế để bảo khơng có chứ, mơ tả [Nhập mơn Lơgic học] có nghĩa tồn đồng rồi! Trong tốn học chứng minh khơng thường khó nhiều so với chứng minh có Chẳng hạn, từ hàng nghìn năm trước người ta chứng minh có thuật tốn thuật toán nọ, phải đợi đến thể kỷ XX sau xây dựng lý thuyết đầy đủ thuật tốn, khó khăn người ta chứng minh khơng có thuật tốn để giải số toán định Một nhược điểm khác Lơgic hình thức tách rời hành vi lập luận với đối tượng lập luận Chú ý đối tượng lập luận Lôgic khái niệm trừu tượng, đẩy xa trừu trượng hóa đến độ làm cho quy luật Lôgic nhựng giá trị mà vốn có từ đầu Thí dụ võ rệt việc sử dụng trừu tượng hóa vơ hạn thực (actual infnite) toán học để xây dựng khái niệm cúa giải tích tốn học Lơgic hình thức áp dụng lên khái kiệm đưa đến khẳng định tồn nhiều đối tượng mà tốn học khơng có cách chúng tồn đâu, tìm chúng Nói chúng tồn mà khơng có cách tìm chúng liệu lý thuyết trừu tượng cịn có ý nghĩa lý luận thực tiễn không Sự phê phán làm xuất yêu cầu xây dựng lại toán học sở quan điểm chủ nghĩa trực quan chủ nghịa kiến thiết, quan điểm địi hỏi khơng sử dụng phép trừu tượng hóa q “ phóng khống “ vơ hạn thực tại, khơng cơng nhận tính phổ dụng quy luật Lơgic hình thức cho giới, đặc biệt cho phép trừu tượng hóa q phóng khống nói Trong vài chục năm gần đây, việc ứng dụng ngày rộng rãi máy tính điện tử thúc đẩy việc nghiên cứu thực tự động hóa nhiều q trình hoạt động trí tuệ nguyên tắc,cho đến máy tính điện tử thực q trình mang tình chất thuật tốn, liệu thuật tốn nhiều hoạt động trí tuệ người, máy tính có tốc độ suất tính tốn cực lớn ? Nghành trí tuệ nhân tạo đời,gần [Nhập môn Lôgic học] phát triễn nhanh chóng phát triễn tham vọng nghịch lý Để cho máy tính có khả trí tuệ “ nhân tạo “, phải cấp cho tổ chức khả lý luận, lý giải sở tri thức gần người vốn có Mà ngồi tốn học liên qn đến tốn học ra, tri thức người vốn có thường khơng xác khơng Khơng xác nhiều khái niệm sử dụng sống vốn khơng có nội dung xác, khơng chắn kiện khách quan nhưng ta không đủ khả để biết Rõ ràng, với loại tri thức Lơgic hình thức cổ điển hai giá trị khơng thể thích dụng Con người thực ngày xử lý chúng nào, ta chưa biết rõ Phải cần có Lơgic khác cho loại tri thức đó? Và, biết Lơgic đó, phải ta “ thuật tốn hóa “ chúng để cho máy tính bắt chước? Mơ tả tính khơng xác tri thức khái niệm mờ (fuzzy), người ta xây dựng lý thuyết Lôgic mở, mơ tả tính khơng chắn tri thức số xác suất hàm tin tương (belief function), người ta phát triển lí thuyết xác suất lý thuyết tin tưởng … Trí tuệ nhân tạo trí tuệ mà người gắn vào cho máy Không biết máy móc có khả trừu tượng hóa người để hình dung thứ “vơ hạn” đủ khả lưu trữ hàng tỷ bytes, trí nhớ máy ln hữu hạn Lơgic hình thứ cổ điển tự cho lực phổ dụng, bất chấp đối tượng hữu hạn vơ hạn, khơng thích hợp với tri thức máy Thí dụ, nhớ máy lưu trữ danh sách 1000 người tồn đàn ơng câu hỏi “có đàn bà giới khơng” chắn trả lời “khơng” Tính hữu hạn thiếu khả tưởng tượng máy buộc phải tìm cho Lơgic khác, Lơgic thường có tính chất khơng đơn điệu, nghĩa việc mở rộng tri thức không thiết kéo theo việc mở rộng tập hợp định lí [Nhập mơn Lơgic học] Việc nghiên cứu phát triển nhiều lý thuyết Lơgic kể làm giảm vai trị Lơgic hình thức (cổ điển) tư trừu tượng người hay không Con người, hoạt dộng tư trừu tượng dùng hình thức Lơgic hình thức trước hay dùng đồng thời hình thức khác Có lẽ câu trả lời thích đáng là: loại Lơgic kể hoạt động thực chất mô hoạt động nhận thức người tình trí thức khác nhau, mơ có chút tương tự, khơng thiết phải phù hợp với thực tế nhận thức người tình đó, điều mà bí ẩn Vì vậy, loại Lơgic đối tượng nghiên cứu khoa học, xem đối tượng tư công cụ tư trừu tượng Lơgic hình thức cổ điển 2.2 Ý nghĩa quy luật Lơgic hình thức khoa hoa đời sống Hình thức biểu bên ngồi tư ngôn ngữ Trong trường tư theo Lơgic hình thức, ngơn ngữ tự nhiên (con gọi ngôn ngữ thông thường ngôn ngữ gia tiếp) Vậy ngôn ngữ tự nhiên đối tượng phải tn thủ Lơgic hình thức Nếu ta mà dùng ngôn ngữ tự nhiên mà thiếu hiểu biêt ngôn ngữ hình thức dễ dàng dẫn tới chỗ lập luận nhận thức sai lầm Tuy tùy theo đặc thù riêng mình, ngành khoa học áp dụng hình thức Lơgic riêng phù hợp với Trong lĩnh vực khoa học tự nhiên, ngơn ngữ tốn học Lơgic tốn học hồn tồn ngự trị Những ngơn ngữ tốn ngơn ngữ khác có nhược điểm riêng Chúng khơng có khả bao qt hết lĩnh vực khoa học đời sống xã hội Ngôn ngữ tự nhiên chất sẵn có mình, có khả tác động trực tiếp vào giới quan người, phản ánh trực tiếp hình ảnh trực quan giới tự nhiên, qua tác động đến nhân sinh quan lối sống người Vì vậy, ngơn ngữ tự nhiên chiếm phần quan khoa học đời sống xã hội, mà khơng ngơn ngữ khác thay đổi [Nhập môn Lôgic học] Thật vậy, dù ngành khoa học cụ thể mà dùng ngơn ngữ riêng, theo Lơgic riêng phù hợp với Thì khơng loại bỏ hồn tồn ngơ ngữ tự nhiên Bởi khơng có ngành khoa học tồn độc lập, cô lập tách biệt với đời sống xã hội ngành khác Mà chúng tồn mơi liên hệ khăng khít với nhau, tác động qua lại với nhau, thúc đẩy phát triển Những kết thu từ ngành khoa học này, phải phổ biến ngành khoa học khác đời sống xã hội thu nhận Ngược lại có nhu cầu tiếp thu thành đạt ngành khác để phát triển Nhưng thực tế ngành khoa học lại có ngơn ngữ riêng mình, mà nhà khoa học ngành khác người dân bình thường xã hội khó mà hiểu Từ lý đó, việc yêu câu có ngơn ngữ chung thống nhất, đảm bao có khả bao quát hết lĩnh vực khoa học đợi sống xã hội Việc thiếu hiểu biết Lơgic hình thức khả sử dụng dẫn tới chỗ tư ko xác, cho kết sai lầm Làm cản trở tiến khoa học đời sống xã hội Trên trình bày sơ lược vài nét phát triển Lơgic hình thức vấn đề liên quan đến năm gần Ngày nay, khoa học đạt đến trình đồ phát triễn rực rỡ lúc người nhận thấy rõ rảng nhận thức bàng đường khoa học phương pháp nhận thức nói chung Con đường khoa học, tư trừu tượng với việc vận dụng Lơgic hình thức nhằm đạt tới quy luật phổ biến từ quy luật phổ biến trở lại quy luật nhận thức cụ thể, sâu sắc có tính chất gián tiếp, ln cho ta chân lí tương đôi thật xấp xỉ Ta biết nhược điểm đó, ta tin có nhược điểm nhận thức khơng có ngày khác Nhưng phải thật thế, phải chăng, với phương pháp nhận thức khoa học, người vốn có cách nhận thức khác, khơng nhận thiết qua hình thức học trừu tượng mà trực tiếp từ cụ thể đến cụ thể, kiểu hịa nhập chủ thể nhận [Nhập môn Lôgic học] thức với đối tượng nhận thức? Và chăng, bối cảnh ta xác định đắn vị trí sức mạnh tư trừu tượng Lơgic hình thức toàn hoạt động nhận thức người [Nhập môn Lôgic học] Phần 3: KẾT LUẬN Những quy luật lơgíc hình thức tiêu chuẩn bắt buộc tư xác có ý nghĩa tất họat động tư lơgíc Việc lĩnh hội cách sâu sắc quy luật có ý nghĩa quan trọng lĩnh vực nhận thức khoa học Các quy luật có quan hệ chặc chẽ với nhau, không tách rời hay coi trọng quy luật trình vận dụng Sử dụng quy luật lơgíc phạm vi, vị trí khơng có ý nghĩa nhận thức mà cịn có ý nghĩa thực tiễn to lớn Nó cịn công cụ mạnh mẽ đấu tranh lý luận, tư tưởng nhằm chống lại quan điểm sai trái chủ nghĩa xét lại chủ nghĩa hội Tuân thủ nghiêm quy luật trình bày giúp suy nghĩ trình bày tư tưởng cách rõ ràng, xác, ngắn gọn, mạch lạc, dễ hiểu Ứng dụng quy luật dễ dàng phát sai lầm suy luận người khác để phản bác, để vạch trần ngụy biện, để tránh sai lầm Trang 21 [Nhập môn Lôgic học] DANH MỤC TÀI LIỆU THAM KHẢO [Nhập mơn Lơgic học] Hồng Chúng (2006), Logic học phổ thông, Nhà xuất Tổng hợp thành phố Hồ Chí Minh TS Trần Hồng (2004), Logic học nhập môn, Nhà xuất Đại học Sư phạm thành phố Hồ Chí Minh Tập giảng Logic học, Thư viện trường Đại học Sư phạm Kỹ thuật thành phố Hồ Chí Minh TS Lê Ngọc Thơng, Các quy luật logic hình thức, Topica, http://eldata11.topica.edu.vn/HocLieu/LOG101/PDF%20slide/LOG101_Bai3_v1.0014105215.pdf Nguyễn Văn Sinh, Vấn đề vận dụng logic học, Công ty luật TNHH Đại Việt, http://www.luatdaiviet.vn/xem-tin-tuc/vai-van-de-trong-vandung-logic-hoc-de-chung-minh-mot-luan-de-khoa-hoc-xa-hoi ... nhận thức tính qn, tính phi mâu thuẫn Lơgic, tính có sở chứng minh [Nhập mơn Lơgic học] CHƯƠNG 2: VAI TRÒ VÀ Ý NGHĨA CÁC QUY LUẬT CỦA LƠGIC HÌNH THỨC TRONG KHOA HỌC VÀ ĐỜI SỐNG 2.1 Vai trị quy luật. .. theo quy luật hợp lý, đúng; suy luận khơng tn theo quy luật vơ lý, sai Các quy luật Lơgic hình thức đề tài phong phú, mang lại nhiều kiến thức bổ ích từ thự tiễn sống, nhóm em chọn để tài ? ?Các quy. .. quy luật Lơgic hình thức? ?? cho tiểu luận Mục đích nghiên cứu Chúng em tự hỏi rằng: _ Cơ sở lý luận Lơgic hình thức nào? _ Những quy tắc Lơgic hình thức? _ Vai trị ý nghĩa Lơgic hình thức khoa học