Tiểu luận Chuyên đề Lôgíc học

Tiểu luận Chuyên đề Lôgíc học PHẦN MỞ ĐẦU Trải qua hàng nghìn năm lịch sử, loài người hoàn thiện cách nhận thức chất giới cải tạo giới Để so sánh hay đánh giá trình độ phát triển loài người thường xem xét tiêu chí là: người nhận thức chất giới đến đâu? Và từ việc nhận thức người cải tạo giới phù hợp với mục đích nhu cầu Suy luận với tư cách hình thức tư đóng vai trò công cụ phương tiện chủ yếu để chủ thể thực trình nhận thức Chúng không gắn kết tri thức thành tổ hợp phức tạp, tương đối hoàn thiện - kết cấu tư tưởng, mà làm phong phú, giàu tri thức ấy, mạnh mẽ thêm tri thức Một khối lượng tri thức đồ sộ mà ngày loài người có nhờ vào phép suy luận Hơn xã hội đại với văn minh tri thức, suy luận, đặc biệt suy luận biện chứng, ngày có vai trò quan trọng giúp nhận thức sâu khám phá đầy đủ chất bên thực khách quan, góp phần đạo thực tiễn Đặc biệt chương trình học logic đại cương thấy suy luận, suy luận diễn dịch có điểm đặc biệt cần ý, cần làm sáng tỏ để tránh hiểu lầm, tránh quan điểm không suy luận Với lý muốn xem xét, nghiên cứu hình thức tư duy, góp phần làm phong phú thêm nhận thức tư góc độ tính chân lý Những vấn đề hình thức tư nói chung vấn đề suy luận nói riêng đặt từ thời cổ đại Những vấn đề thu hút ý nhiều nhà khoa học giới nhiều tác giả nước bàn tới khía cạnh định Tuy nhiên tìm hiểu điểm đặc biệt suy luận logic qua khảo sát tam đoạn luận chưa HVTH: Lê Đức Thọ - Lớp Cao học Triết học khoá 2009 – 2011 Trang Tiểu luận Chuyên đề Lôgíc học thấy tác giả bàn cụ thể vấn đề Vì thế, tài liệu khó khăn trình thực đề tài Vấn đề nghiên cứu nêu đề tài hoàn toàn mới, trái lại nêu số sách như: Lôgic học đại cương hai tác giả Nguyễn Thuý Vân Nguyễn Anh Tuấn, Nxb CTQG., HN 2003 hay Giáo trình lôgic hình thức tác giả PGS Bùi Thanh, HàNội.1998 số giáo trình lôgic học khác Nhưng vấn đề nêu đại thể, sơ lược phải thực nhiệm vụ phổ biến kiến thức không phân tích, không làm sáng tỏ HVTH: Lê Đức Thọ - Lớp Cao học Triết học khoá 2009 – 2011 Trang Tiểu luận Chuyên đề Lôgíc học II NỘI DUNG Lôgic gì? Sự cần thiết Tại nói “Logic chìa khóa mở vào chân lý?” (Logic - c’est done la clé de vérité)(1) Bởi chân lý người - khởi từ - hữu Chủ Tri suy lý - lý trí biểu ngôn ngữ, logic hệ thống suy luận cao ngôn ngữ (nếu ngôn ngữ hạt cát rời rạc) Có nghĩa là, ngôn ngữ đại biểu cao nhất, tiên phong, hệ thống chảy từ nguồn mạch tư đến cứu cánh vật thể, đưa lý trí người đạt tới chân lý Cụ thể, logic gì? Theo người Hy Lạp, “logic” khởi nguồn từ chữ “logos” nghĩa là: trật tự vật thể đến thời gian Theo quan niệm rút ra, logos là: Trong không gian: Là trật tự vật thể đặt cách hệ thống Trong thời gian: Là trật tự có tính kế tục Trật tự không gian, chẳng hạn, đầu tầu - “đầu kéo” phải trước toa tàu (nếu “đầu đẩy” phía sau), với bánh lái tàu nước, trái lại, bánh lái phải phía sau Trật tự thời gian, chẳng hạn, người ta phải nói người lớn lên từ trẻ đến già, nói ngược lại, vật chạy từ A đến B, phải nói vận động từ A đến B, nói ngược lại Người Hy Lạp ra: “Logos số lý trí, đo lường, đối thoại…” (“logos” c’est le nombre, c’est la raison et la mesus c’est la discour) (2) Nhưng đó, họ đặc biệt nêu lên, “đối thoại” hệ trọng Lần ngược thời cổ đại Hy Lạp, triết gia Socrate chủ trương tách rời môn vật lý - quan sát ngoại vật, cách quay vào tâm hồn qua phép biện chứng để thiết lập ngành triết học Cuộc đời triết học Socrate đối thoại suy lý không ngừng HVTH: Lê Đức Thọ - Lớp Cao học Triết học khoá 2009 – 2011 Trang Tiểu luận Chuyên đề Lôgíc học Đến Platon, ông đề cao phép biện chứng lên chúa tể tư tưởng Ông nói: “Toán học, vũ trụ học, âm nhac khoa học thực sự… Khoa học cao nhất, xứng với tên gọi nhắm đối tượng tư tưởng, biện chứng”(3) Và “Biện chứng pháp có sức mạnh đạt tới điều thiện, khoa học cao vừa công việc vừa vành nguyệt quế”(4) Ý tưởng Platon rõ ràng, ông cho “khoa học điều thiện” - tức đạo đức, lớn môn khoa học nhắm khác làm đối tượng Và điều thiện có tư - lương tri đạt tới Và đạt tới ngôn ngữ, từ sản sinh hiến pháp, tín điều, hay pháp luật ngôn ngữ Còn Aristote gọi logic suy tưởng suy tưởng - lao lên nguyên lý tối thượng Ông nói: “Logic luôn theo đuổi từ trừu tượng đến cụ thể, đến tư tưởng tuyệt đối nguyên lý tối thượng” Aristote gọi “suy tưởng suy tưởng” (Aristote appelait la pensée de la pensé)(5) Sau thiết định logic mô thức cao tư tưởng, Aristote cho ngôn ngữ dịnh danh hữu thể, đưa hữu thể vào vòng nguyên lý suy lý logic Như logic mô thức suông chứa ngôn ngữ không nội dung, mà logic dẫn tư đến hữu thể chân lý Ông nói: “Hữu thể bao hàm nhiều chấp thuận, chấp thuận định danh tự tạo thành quan hệ vào nguyên lý nhất”(6) Đến đây, logic, chìa khóa chân lý mở rõ Để khẳng định điều hệ trọng đó, triết gia Peirce cho rằng: “Logic học thuyết chân lý, tính chất chân lý phương pháp phát chân lý”(7) Thật tôn vinh hết cỡ với logic: Logic không học thuyết chân lý mà là: Logic tính chất chân lý Như vậy, logic cấu thành tư tham gia trực tiếp song hành - song sinh chân lý Nói dễ hiểu, HVTH: Lê Đức Thọ - Lớp Cao học Triết học khoá 2009 – 2011 Trang Tiểu luận Chuyên đề Lôgíc học chân lý có hai mặt: khách thể chủ thể Logic chủ thể chân lý Chưa hết: Logic phương pháp phát chân lý Với triết gia Kant, thì: “Logic giáo luận hòa hợp nguyên tắc, để phục vụ phán đoán dựa sử dụng thường nghiệm quan niệm”(8) Theo Kant thì, logic làm giáo luật kết hợp khái niệm vào chuỗi nguyên tắc hòa hợp, người phán đoán Tư có khái niệm dòng suối, sông biển cả, xâu chuỗi thứ vào nguyên lý”nước chảy chỗ trũng” suy lý: dòng suối chảy biển Chính xem xét phát triển tính tất yếu quy luật, mà Hegel định nghĩa rằng: “Logic, phát triển tư tính tất yếu nó”(9) hay: “Khoa học logic, siêu hình học chân triết học túy tự biện”(10) Hai định nghĩa trên, cách Lênin lĩnh hội ghi chép “Bút ký triết học” Trong sách “Bách khoa khoa học triết học”, Mat-xcơ-va xuất 1974 (tập 1, tr 107), có dẫn định nghĩa Hegel logic là: “Logic khoa học tư quy luật nó” Còn “Những nhà triết học lớn phương Tây” (Les Grands Philosophes de l’Occident), F Tomlin cho rằng: “Khoa học lý trí - có khoa học phổ quát, Hegel cho tên: logic” (la science de la raison est done la seul science universelle, et Hegel lui donne un nom: c’est la logique) (tr 221) Theo Hegel coi: Logic vừa khoa học lý trí, vừa khoa học phổ quát, nghĩa Logic đường công lý để tới chân lý Để khép lại, phần định nghĩa logic, xin dẫn nghiên cứu triết gia Morfaux “Nhận thức lý trí” (La connaissance et la raison): “Logic toán học tham gia vào lĩnh vực khoa học hình thức Cả hai mô thức đối thoại, có HVTH: Lê Đức Thọ - Lớp Cao học Triết học khoá 2009 – 2011 Trang Tiểu luận Chuyên đề Lôgíc học nghĩa mô thức tư tuân thủ hòa hợp nguyên tắc cấu thành, theo phát triển theo sau, để tiếp diễn cách chắn, quy trình chữ viết biểu tượng vận động với ký hiệu ý nghĩa nguyên tắc sử dụng xác định đầy nghiêm ngặt Chúng khoa học hình thức - người ta nói thường xuyên ngôn ngữ hình thức - chúng thể yêu cầu“hình thức” - có nghĩa hình thành trung nguyên lý không mâu thuẫn từ bên (non contradiction intern) (tr 113) Và: “Logic khoa học “logos” không mang ý nghĩa ngôn ngữ thường ngày: khoa học yêu cầu của“logos”, tư trật tự liên quan (logos = tính toán, đối thoại, lý trí) Logic ngữ pháp, ngôn ngữ” Các quy luật Lôgíc học 2.1 Qui luật đồng nhất: Một quy luật lôgic hình thức Trong lôgic hình thức truyền thống, QLĐN phát biểu sau: A A, hay A đồng với QLĐN yêu cầu chủ thể tư phải bảo đảm tính xác định tư tưởng, phản ánh tính cô lập bất biến tương đối vật tượng Yêu cầu chủ thể tư không phép đánh tráo khái niệm trình lập luận Các phép biến đổi hình thức tư phải bảo đảm nguyên tắc đồng thức, nghĩa không thay đổi giá trị chân lí hình thức biến đổi Rõ ràng QLĐN lôgic hình thức phát huy tác dụng phạm vi định hạn hẹp Đó phạm vi tính đồng trừu tượng Lôgic biện chứng không phủ nhận ý nghĩa tính đồng trừu tượng trường hợp giới hạn đồng cụ thể, kết trừu tượng hoá tính đồng cụ thể Tính đồng cụ thể bao hàm khác biệt mối liên hệ phổ biến vận động, phát triển không ngừng vật tượng Chính trình vận động, phát triển vật, tượng, HVTH: Lê Đức Thọ - Lớp Cao học Triết học khoá 2009 – 2011 Trang Tiểu luận Chuyên đề Lôgíc học tính đồng cụ thể chuyển hoá từ vật thống đa dạng cũ sang thống đa dạng Trong trình lập luận tư tưởng lập luận phải đồng với Cho A tư tưởng AA hay AA - Đồng theo nghĩa thông thường : giống tính chất Ví dụ : Có cô bán chợ đêm đông Cô lấy chồng chợ đông - Trong thực : Đồng tồn mối liên hệ khác biệt Ví dụ : Sinh đôi đồng trứng - Đồng theo lôgic học nghĩa tư phản ánh trạng thái A A phải đồng với + Cơ sở quy luật : Trong thực vật biến đổi không ngừng trạng thái ổn định ngắn A phải đồng với A Yêu cầu quy luật : + Trong giới hạn suy luận hay buổi thảo luận không tuỳ tiện thay đổi đối tượng tư cách vô + Trong tư không đồng khái niệm giống , định nghĩa khái niệm giống gọi đánh tráo khái niệm + Tư thường vi phạm quy luật đồng trường hợp sau : - Sử dụng khái niệm không xác (từ ngữ đồng âm ,đồng nghĩa ,đa nghĩa,các kiện) - Tuỳ tiện thay đổi đối tượng thảo luận (cố ý,vô tình ) Tác dụng , ý nghĩa : + Nắm vững ta tránh mập mờ tư nghĩa + Tránh sai lầm ( thay luận đề ) 2.2 Quy luật không mâu thuẫn (mâu thuẫn) HVTH: Lê Đức Thọ - Lớp Cao học Triết học khoá 2009 – 2011 Trang Tiểu luận Chuyên đề Lôgíc học Nội dung : Trong trình lập luận đối tượng không vừa phủ định , vừa khẳng định cài quan hệ Ví dụ : Mọi loại xà phòng làm khô da bạn có xà phòng Lux làm da bạn trắng trẻo , mịn màng Yêu cầu quy luật : + Không có mâu thuẫn trực tiếp tư + Không khẳng định dấu hiệu A lại phủ định hệ dấu hiệu A Tác dụng , ý nghĩa: + Nhận thức mâu thuẫn vật ,hiện tượng giới khách quan 2.3 Quy luật loại trừ thứ 3: a,Nội dung : Hai phán đoán mâu thuẫn với giả dối , mâu thẫn phải chân thực Ví dụ : Cái bảng màu xanh Cái bảng không màu xanh b,Yêu cầu suy luận : + Tư tưởng phải rõ ràng , dứt khoát , mâu thuẫn tư + Đứng trước vấn đề đặt phải trả lời dứt khoát A , không trả lời cách lơ lửng (vừa phải,vừa không phải) c,Tác dụng,ý nghĩa: + Tác dụng : Nếu nắm vận dụng quy luật có vai trò quan trọng khoa học hoạt động thực tiễn , giúp cho tư người biết lựa chọn giải tình xảy thực tiễn + Ý nghĩa : Quy luật chung thừa nhận tính chất mâu thuẫn vốn có xem xét thân vật tượng Ví dụ: Ánh sáng vừa có tính chất sóng , vừa có tính chất hạt 2.4 Qui luật lí đầy đủ: HVTH: Lê Đức Thọ - Lớp Cao học Triết học khoá 2009 – 2011 Trang Tiểu luận Chuyên đề Lôgíc học Quy luật lôgic hình thức Trong lôgic hình thức truyền thống, QLLDĐĐ phát biểu sau: ý nghĩa chân thực phải có chân thực, rút từ tiên đề chân thực (bằng suy diễn, quy nạp, loại tỉ ), bảo vệ luận chân thực (bằng chứng minh) QLLDĐĐ bảo đảm tính vững tư đắn Vì yêu cầu ý nghĩa chân thực phải bảo vệ nhiều tiên đề luận chân thực khác Như vậy, tính vững tư đắn bảo đảm hệ thống lập luận hợp lôgic Nhưng quy luật khác lôgic hình thức, QLLDĐĐ mang tính chất trừu tượng hình thức Hơn nữa, phạm vi tác dụng rốt bị hạn chế Vấn đề chỗ, tư xét chất tự bảo vệ tính chân thực Bởi vì, có thực tiễn tiêu chuẩn tối cao chân lí khách quan Mỗi tư tưởng thừa nhận chân thực có lí đầy đủ Cơ sở lôgic cua quy luật phạm trù nhân quy luật yêu cầu lập luận cho tư tưởng chân thực Nó không lập luận cho tư tưởng giả dối => Đây sở để phân biệt tư khoa học với tư không khoa học Ví dụ : Nếu cho dòng điện qua dây dẫn dây dẫn xuất dòng điện Cơ sở lôgic Hệ lôgic => Không phạm quy luật Ví dụ : Con người ăn chết Cơ sở lôgic Hệ lôgic => Phạm quy luật c, Tính chất, ý nghĩa: Thông thường sở logic trùng với nguyên nhân thực có nhiều trường hợp sở logic không trùng với nguyên nhân thực thực tiễn cần phân biệt sở logic với nguyên nhân thực việc xem HVTH: Lê Đức Thọ - Lớp Cao học Triết học khoá 2009 – 2011 Trang Tiểu luận Chuyên đề Lôgíc học xét đánh giá chất vật, tượng nhằm tránh loại bỏ sai lầm logic trình tư Suy luận lôgíc nhận thức khoa học Hơn ngành khoa học khác, toán học có đối tượng nghiên cứu quan 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à logichình thức ứng dụng cách đầy đủ rộng rãi Và đến lượt minh, toán học cung cấp kiểu mô hình trừu tượng phương pháp xử lý mô hình trừutượng cho ngành khoa học khác việc phân tích nghiên cứu đối tượng Logic 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 Iôgich hình thức sử dụng ổn định suốt hơnhai nghìn năm nay, dường tính đến bàn cãi Với phương pháp tiên đề hóa hình thức hóa đầu kỷ XX, logic hình thức, dạng cổ điển nó, chứng minh phi mâu thuẫn đầy đủ Thế nhưng, nócó thể đầy đủ tự nó, đáng hoài nghi tính đầy đủ với tư cách công cụ tư nhận thức Như nói trên, logic hình thức logic hai giá trị, đòi hỏi phán đoá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 thường gặp nhiều phán đoán mà tính sai khó xác định rõ ràng Vậy trường hợp đó, liệu tiến hànhcác lập luận logic không? Tất nhiên không, ta dùng lại logic hình thức cổ điển Có thể mở rộng để có logic khác cho phép tiến hành lập luận tri thức mà tính sai không xác định rõ ràng rõ ràng mức độ khác nhau? Người ta phát triển nhiều lý thuyết theo hướng đó, logic nhiều giá tri, logic modal, logic mờ (fuzzy), logic xác suất Ngay phạm vi hai giá trị logic 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 khácực đoan thân logic hình thức đòi HVTH: Lê Đức Thọ - Lớp Cao học Triết học khoá 2009 – 2011 Trang 10 Tiểu luận Chuyên đề Lôgíc học 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 đoán Thí dụ, nói tính sai phán đoán phức hợp "nếu A B" vô nghĩa đề cập đến tính sai phán đoá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 đối tượng thuộc loại ta không cần biết tập hợp tất đối tượng loại đó, thìđể phủ định tồn tạ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 gây nên nghịch lý logic, thí dụ bảo Thượng đế hẳn bạn phải mô tả thượng đế để bảo chứ, mô tả có nghĩa tồn đồng rồi! Trong toá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 toán thuật toán nọ, phải đợi đến kỷ XX sau xây dựng lý thuyết đầy đủ thuật toán, khó khăn người ta chứng minh thuật toán để giải số toán định Một nhược điểm khác logic 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 logic khái niệm trừu tượng, đẩy xa trừu tượng hóa đến độ làm cho quy luật logic giá trị mà vốn có từ đầu Thí dụ rõ 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 giải tích toán học Logic hình thức áp đụng lên khái niệm đưa đến khẳng định tồn nhiều đối tượng mà toán học cách chúng tồn đâu, tìm chúng Nói chúng tồn mà cách tìm chúng liệu lý thuyết trừu tượng 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 HVTH: Lê Đức Thọ - Lớp Cao học Triết học khoá 2009 – 2011 Trang 11 Tiểu luận Chuyên đề Lôgíc họ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 "phóng khoáng" vô hạn thực tại, không công nhận tính phổ dụng quy luật logic hình thức cho giới, đặc biệt cho giới đối tượng hình thành nên từ phép trừu tượng hóa phóng khoá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 việc nghiên cứu thực tự động hoá nhiều trình hoạt động từ tuệ nguyên tắc, máy tính điện tử thực trình mang tỉnh chất thuật toán, liệu quy thuật toán nhiều hoạt động trí tuệ người, máy tính có tốc độ suất tính toán cực lớn? Ngành trí tuệ nhân tạo đời, gần 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ả tập luận, lý giải sở tri thức gần người vốn có Mà toán học liên quan đến toán học ra, trì tri thức người vốn có thường không xác không chắn Không xác nhiều khái niệm sử dụng sổng vốn nội dung xác, không chắn kiện khách quan nhung ta không đủ khả để biết Rõ ràng, với loại tri thức logic hình thức cổ điển hai giá tri thích dụng Con người thực hàng ngày xử lý chúng nào, ta chưa biết rõ Phải cần có logic khác cho loại tri thức đó? Và, biết logic đó, phải ta "thuật toá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 logic 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 logic 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 đến máy có khả trừu tượng hóa HVTH: Lê Đức Thọ - Lớp Cao học Triết học khoá 2009 – 2011 Trang 12 Tiểu luận Chuyên đề Lôgíc học người để hình dung thứ "vô hạn", dù có khả lưu trữ hàng tỷ bytes, trí nhớ máy luôn hữu hạn Logic hình thức cổ điển tự cho lực phổ dụng, bấtchấp đối tượng hữu hạn hay 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 toàn đàn ông, câu hỏi "có đàn bà gian 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, logic 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 đinh lý Việc nghiên cứu phát triển nhiều lý thuyết logic kể có làm giảm vai trò logic hình thức (cổ điển) tư trừu tượng người hay không Con người, trọng hoạt động tư trừu tượng dùng logic hình thức trước hay dùng đồng thời nhiều logic khác Có lẽ câu trả lời thích đáng là: loại logic kể vê thực chất mô hoạt động nhận thức người tình tri thức khác nhau, mô có chút tương tự, không thiết 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 logic đối tượng nghiên cứu khoa học, xem đối tượng tư công cụ tư trừu tượng logic hình thức cổ điển Trên trình bày sơ lược vài nét phát triển logic 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 đườ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 logic 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 nhận thức cụ thể, sâu sắc có tính chất gián tiếp, lườn cho ta chân lý tương đối thật xấp xỉ Ta HVTH: Lê Đức Thọ - Lớp Cao học Triết học khoá 2009 – 2011 Trang 13 Tiểu luận Chuyên đề Lôgíc học biết nhược điểm đó, ta tin có nhược điểm nhận thức cách 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 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 thức đối tượng nhận thức? Và chăng, bối cảnh ta xác đinh đắn vị trí sức mạnh tưduy trừu tượng logic hình thức toàn hoạt động nhận thức người Quan hệ lôgíc hình thức lôgíc biện chứng Lôgic học với tư cách khoa học tư coi nhiệm vụ nghiên cứu làm sáng tỏ điều kiện đạt tới tri thức chân thực, phân tích kết cấu trình tư duy, vạch thao tác lôgic tư phương pháp luận nhận thức chuẩn xác Lôgic học tiến hành xem xét, đánh giá kinh nghiệm suy nghĩ thông thường , phát chất sâu sắc đạo, hướng dẫn cho việc tư đắn Dù biết hay lôgic học việc suy nghĩ người phụ thuộc vào quy luật lôgic hình thức tư Và vậy, lôgic học chiếu rọi vào kinh nghiệm tư người giúp cho người tư chủ động tự giác hơn, thể tính xác, tính đắn, nâng cao hiệu tính thuyết phục tư tưởng Quan trọng hơn, việc nghiên cứu lôgic học giúp phát sai lầm lôgic người khác, để tránh khỏi sai lầm lôgic vô tình hay hữu ý phạm phải Hình thức tư trình nhận thức suy luận Nó xuất phát từ phán đoán biết để rút phán đoán Cá nhân qua quan sát tư tưởng nhiều người thông qua tài liệu, sách báo, hay sinh hoạt đời sống, công tác gặp ghi nhận nhiều loại lỗi suy luận Bên cạnh lỗi tính chân thực gắn với quan sát thực tế, kiến thức nhiều ngành, HVTH: Lê Đức Thọ - Lớp Cao học Triết học khoá 2009 – 2011 Trang 14 Tiểu luận Chuyên đề Lôgíc học lĩnh vực tri thức khác nhau, có số lượng đáng kể lỗi liên quan đến thao tác suy luận Những lỗi gây kết luận sai Lỗi suy luận chí trường hợp kết cuối Trong phạm vi viết này, phân loại lỗi suy luận vào vi phạm nguyên lý quy luật logic, gồm: loại lỗi vi phạm quy luật lôgíc hình thức lỗi vi phạm quy luật lôgíc biện chứng Việc phát hiện, mô tả rõ lỗi thường gặp giúp sửa chữa cách suy nghĩ hàng ngày, nâng cao hiệu hoạt động nhận thức thực tiễn Lôgíc học ngành khoa học nghiên cứu tư với tư cách trình nhận thức Đây tự ý thức hoạt động tư Tư với tư cách vật, tượng đặc thù có trình vận động phát triển Trong trình ấy, thân tư thống hai trạng thái động tĩnh Việc nghiên cứu tư phải xem xét với trạng thái tĩnh trạng thái động Trạng thái tĩnh đối tượng nghiên cứu lôgic hình thức, trạng thái động đối tượng nghiên cứu lôgíc biện chứng Ví dụ, loại hình tư cổ đại, cổ điển – vật đồng trừu tượng đối tượng lôgic hình thức, ngược lại vận động tư từ loại hình cổ đại lên loại hình cổ điển đối tượng lôgic học biện chứng Cũng tương tự vậy, hình thức tư khái niệm, phán đoán, suy lý nằm thống trạng thái động trạng thái tĩnh Với hình thức này, lôgic hình thức lôgíc biện chứng có nhiệm vụ khác Lôgic hình thức nghiên cứu chúng trạng thái tĩnh (Ví dụ, vạch thuộc tính, dấu hiệu phản ánh thời điểm cố định, quan hệ định) Trái lại, lôgic biện chứng nghiên cứu trạng thái động chúng (ví dụ, vận động, phát triển khái niệm; vận động, phát triển thuộc tính, dấu hiệu khái niệm) HVTH: Lê Đức Thọ - Lớp Cao học Triết học khoá 2009 – 2011 Trang 15 Tiểu luận Chuyên đề Lôgíc học Lôgic học tập trung làm rõ tính chân thực tư tưởng, thống phận: lôgic học hình thức lôgic học biện chứng Những lý luận hình thức lôgic hình thức có sở thực tế khách quan đứng im tương đối ranh giới xác định vật Khi người nhận thức trạng thái ổn định, không quan tâm đến mối liên hệ vật môn lôgic hình thức với phạm trù cố định cần thiết có hiệu quả, tuyệt đối hoá vai trò lôgíc hình thức dẫn đến sai lầm Lôgic biện chứng vượt phạm vi lôgic hình thức, không phản ánh khác vật mà phải ánh mối liên hệ chúng, không phản ánh trạng thái yên tĩnh vật mà phản ánh trình vận động vật Con người nhận thức trạng thái vận động, quan tâm đến mối liên hệ vật môn lôgic biện chứng với phạm trù biến động cần thiết có hiệu Lôgic hình thức lôgic biện chứng bổ sung cho Trong trình nhận thức vi phạm quy luật lôgic hình thức, dẫn đến mâu thuẫn làm cho tư rối loạn Mẫu thuẫn lôgic sai lầm chủ quan người trình nhận thức, mẫu thuẫn thực khách quan Để nhận thức mâu thuẫn thực, trước hết phải theo quy luật lôgic hình thức, loại trừ mâu thuẫn lôgic, sở vận dụng phương pháp tư biện chứng nhận thức biện chứng khách quan, phát mâu thuẫn thân vật Ta gọi quy luật tính chất chung, đắn có hiệu lực làm sở cho trình tư có lôgíc III KẾT LUẬN HVTH: Lê Đức Thọ - Lớp Cao học Triết học khoá 2009 – 2011 Trang 16 Tiểu luận Chuyên đề Lôgíc học Trải qua hai nghìn năm, từ thời Arixtốt đến nay, logic 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, logic không công cụ để nghiên cứu, mà thần trở thành đối tượng 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 người Logic 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 đoán Một đặc điểm logic hình thức xem phán đoá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 Như vậy, logic 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 đoán mà Về sau này, với việc sử dụng phương pháp ký hiệu toán học, phán đoán logic hình thức xem ký hiệu A, B, p, q… gán giá trị (đúng) (sai) Các quy luật logic hình thức quy luật đồng (A A), quy luật trung (A không A), quy luật phi mâu thuẫn (không thể A không A) Luật suy lý tam đoạn luận, dạng thu gọn modus ponens, nói A A - B đúng, B Các quy luật trung phi mâu thuẫn khẳng định logic hình thức logic hai giá trị, logic phán đoán nhận hai giá trị (đúng sai) Khi xét cấu trúc chủ từ - tân từ phán đoán, ta logic tân từ quy luật mối quan hệ loại phán đoán phổ biến, đặc thù, đơn Thí dụ, quy luật HVTH: Lê Đức Thọ - Lớp Cao học Triết học khoá 2009 – 2011 Trang 17 Tiểu luận Chuyên đề Lôgíc học vật có thuộc tính A có vật có thuộc tính không A" cho ta khẳng định phán đoán tồn (đặc thù) từ việc phủ định phán đoán phổ biến Hơn ngành khoa học khác, toán học có đối tượng nghiên cứu quan 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à logic hình thức ứng dụng cách đầy đủ rộng rãi Và đến lượt minh, toán học cung cấp kiểu mô hình trừu tượng phương pháp xử lý mô hình trừu tượng cho ngành khoa học khác việc phân tích nghiên cứu đối tượng Logic 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 Iôgich hình thức sử dụng ổn định suốt hai nghìn năm nay, dường tính đến bàn cãi Với phương pháp tiên đề hóa hình thức hóa đầu kỷ XX, logic 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 hoài nghi tính đầy đủ với tư cách công cụ tư nhận thức Như nói trên, logic hình thức logic hai giá trị, đòi hỏi phán đoá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 thường gặp nhiều phán đoá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 logic không? Tất nhiên không, ta dùng lại logic hình thức cổ điển Có thể mở rộng để có logic khác cho phép tiến hành lập luận tri thức mà tính sai không xác định rõ ràng rõ ràng mức độ khác nhau? Người ta phát triển nhiều lý thuyết theo hướng đó, logic nhiều giá tri, logic modal, logic mờ (fuzzy), logic xác suất HVTH: Lê Đức Thọ - Lớp Cao học Triết học khoá 2009 – 2011 Trang 18 Tiểu luận Chuyên đề Lôgíc học MỤC LỤC HVTH: Lê Đức Thọ - Lớp Cao học Triết học khoá 2009 – 2011 Trang 19 ... Cao học Triết học khoá 2009 – 2011 Trang Tiểu luận Chuyên đề Lôgíc học xét đánh giá chất vật, tượng nhằm tránh loại bỏ sai lầm logic trình tư Suy luận lôgíc nhận thức khoa học Hơn ngành khoa học. .. Cao học Triết học khoá 2009 – 2011 Trang 15 Tiểu luận Chuyên đề Lôgíc học Lôgic học tập trung làm rõ tính chân thực tư tưởng, thống phận: lôgic học hình thức lôgic học biện chứng Những lý luận. . .Tiểu luận Chuyên đề Lôgíc học thấy tác giả bàn cụ thể vấn đề Vì thế, tài liệu khó khăn trình thực đề tài Vấn đề nghiên cứu nêu đề tài hoàn toàn mới, trái lại nêu số sách như: Lôgic học đại