Đây là một vấn đề mà người nghiên cứu phải đặt ra khi muốn đi đến cội nguồn của một khái niệm nào đó và sử dụng nó có hiệu quả trong quá trình tư duy và hoạt động thực tiễn.
Tìm hiểu logic hình thành khái niệm Trần Thị Ngọc Anh Tạp chí Triết học 10:14' AM - Chủ nhật, 10/12/2006 Đây vấn đề mà người nghiên cứu phải đặt muốn đến cội nguồn khái niệm sử dụng có hiệu q trình tư hoạt động thực tiễn Như biết, tư phạm trù triết học Tư hiểu theo nghĩa tồn đời sống tinh thần người, phạm trù đối lập với phạm trù vật chất (nghĩa dùng nói vấn đề triết học) Tư hiểu theo nghĩa hẹp giai đoạn cao nhận thức (nhận thức lý tính) Theo nghĩa thứ hai, tư có trình hình thành, vận động phát triển Khái niệm hình thức tư - đương nhiên có q trình sinh thành, vận động phát triển Quá trình sinh thành, vận động phát triển (gọi tắt trình hình thành) khái niệm có logic Vậy, logic hình thành khái niệm gì? Để trả lời câu hỏi nêu trên, trước hết cần phải làm rõ "logic gì”? Thuật ngữ "logic" bắt nguồn từ thuật ngữ “logos" triết học Hi Lạp cổ, với nghĩa lời nói, tư tưởng, lý tính, quy luật Triết học macxít khơng sử dụng thuật ngữ "logos", mà thay vào thuật ngữ “logic" Thuật ngữ "logic" đùng để thuộc tính tất yếu, khách quan trình, tượng Tính tất yếu, khách quan người nhận thức nhiều cấp độ khác Ở cấp độ thứử nhất, logic tính tất yếu vật, tượng, trình với tư cách đơn Khi tìm hiểu logic hình thành khái niệm cấp độ này, cần làm rõ chế quy trình hình thành nên khái niệm, tính thao tác cách tất yếu trình tư đến khái niệm, yếu tố cần đủ cho đời tồn khái niệm… Ở cấp độ thứ hai, logic tính tất yếu nhóm nhỏ vật, tượng, có nghĩa tính tất yếu có lặp lại số vật, tượng hữu hạn với tư cách đặc thù Ở cấp đủ logic hiểu thuộc tính, bên cạnh nhiều thuộc tính khác nữa, thuộc tính hiểu tính quy luật Khi tìm hiểu logic hình thành khái niệm cấp độ này, cần xét theo nhóm Ví dụ, nhóm khái niệm triết họe, nhóm khái niệm khoa học xã hội, nhóm khái niệm khoa học tự nhiên Ở cấp độ thứ bạ (cấp độ cao nhất), logic đồng nghĩa với quy luật Đó mối liên hệ phổ biến, tất yếu, tương đối ổn định lặp lặp lại nhiều vật, tượng khác Khi tìm hiểu logic hình thành khái niệm cấp độ này, cần phải tìm quy luật hình thành khái niệm nói chung Đây công việc phức tạp Dù nghiên cứu logic hình thành khái niệm cấp độ nữa, phải làm rõ tính tết yếu khách quan hình thành khái niệm Đương nhiên, cần ý rằng, phân biệt "một nhóm khái niệm" với "nhiều khái niệm" tương đối Nhìn góc độ khác, tìm hiểu logic hình thành khái niệm, tiếp cận khái niệm trường hoạt động Trường thứ khảo sát khái niệm tính lịch đại, nghĩa xét logic hình thành khái niệm q trình lịch sử nó, tính tất yếu nội thân nó, cá nhân nhận thức hay chưa, nhận thức đến đâu Nói khơng có nghĩa phủ nhận vai trị người, q trình hình thành khái niệm thực sở nhận thức người, diễn não người Ở đây, khái niệm không cịn nằm khn khổ tư cá nhân xác định, mà kết tinh trí tuệ lồi người Với phát triển khơng ngừng tri thức nhân loại, phát triển khái niệm đến "độ" định tự sản sinh khái niệm mới, tự mở đường đến lãnh địa mới, tự phát triển diễn nào? Chúng ta tìm lời đáp cho vấn đề "Khoa học logic" Hêgen Ở Hêgen nói chuyển hóa liên tục "tồn tại" thông qua nấc thang trung gian, mà hiểu tự triển khai khái niệm thông qua khái niệm trung gian khác để đưa nhận thức đến trình độ cao Theo đó, khái niệm coi kết lại trở thành khái niệm trung gian khái niệm mới, q trình khơng có điểm dừng Trường thứ hai khảo sát khái niệm tính đồng đại, nghĩa cần cắt ngang trình hình thành phát triển khái niệm để nghiên cứu yếu tố, điều kiện cần đủ cho khái niệm tồn hoạt động Ở đây, khái niệm coi có, kết trình tư Trong trường hợp này, chữ "xuất hiện" chữ "tồn tại" Chúng ta xét khái niệm trình, mà trình co lại, rút lại, đồn nén lại Có thể làm logic vận động tư tưởng đầu óc người riêng rẽ lặp lại sát nhập với logic phát triển lịch sử tư duy, xét đại thể tồn bộ, hình thức vắn tắt "được lược bỏ" Nói "rút gọn" mà khơng bỏ qua này, Ph.Ăngghen viết "Biện chứng tự nhiên" sau: "Sự phát triển khái niệm đó, hay mối quan hệ khái niệm lịch sử tư phát triển đầu óc nhà biện chứng riêng rẽ phát triển thể cổ sinh vật học phát triển bào thai học (hay, nói rõ lịch sử mầm mống riêng rẽ)" Đến đây, người nghiên cứu vấp phải vấn đề có tính chất phương pháp luận: Giải mối quan hệ lịch sử logic nào? Khảo sát khái niệm theo trường thứ liệu có làm cho logic bị ảnh hưởng, cịn khảo sát khái niệm theo trường thứ hai liệu cung cấp làm cho lịch sử bị tổn thương? Cách là, lựa chọn việc khảo sát khái niệm theo hướng (lịch đại hay đồng đại), phải tôn trọng mối quan hệ mật thiết lịch sử logic Bởi chìa khóa để tìm đến logic hình thành khái niệm Lịch sử thân trình vận động phát triển thực, diễn với tất tính đa dạng mn vẻ nó, bao hàm tiến trình tuần tự, bước nhảy ngẫu nhiên Còn logic trừu tượng hóa từ lịch sử, thể mối quan hệ, liên hệ, tác động lẫn mặt, trình lịch sử, với tư cách quy luật Mối quan hệ lịch sử logic mối quan hệ thống biện chứng có chứa đựng mâu thuẫn Sự thống chúng thể chỗ, lịch sử hàm chứa logic, cịn logic ln chứng minh lịch sử Sự mâu thuẫn chúng thể chỗ, lịch sử ngẫu nhiên, quanh co, khúc khuỷu, logic gạt bỏ ngẫu nhiên ấy, lại hạt nhân quy luật Theo Rơdentan, logic có hai đặc điểm, mà hai đặc điểm thể thống với lịch sử Thứ nhất, logic tái sản sinh cô đặc, vắn tắt lịch sử, tẩy tất ngẫu nhiên thứ yếu (như cách nói Hêgen), thóat khỏi hình thức lịch sử cụ thể, cô lại, nhào lại, cải tạo lại lịch sử Nhưng logic đơn giản, "khơng có linh hồn", cứng đờ q trình lịch sử, mà lịch sử sửa chữa lại, uốn nắn lại tinh thần phù hợp với quy luật mà thân trình lịch sử hàm chứa Thứ hai, phản ánh lịch sử, logic tái sản sinh lịch sử trình độ cao sở đạt trình độ nhận thức phát triển Trình độ nhận thức "chịi quan sát" mà ta nhìn lại tiến trình dài lịch sử qua khuynh hướng lịch sử diễn thời gian tới Đây sở cho đời "trước thực" nhiều khái niệm Về vấn đề này, dẫn câu nói tiếng C.Mác: giải phẫu người chìa khóa để giải phẫu vượn Mối quan hệ biện chứng lịch sử logic thể cách rõ nét khái niệm, khái niệm phản ánh chân thực lịch sử cách giữ lại logic thực tư Nghiên cứu khái niệm theo lát cắt đồng đại cho thấy lịch sử dồn nén Cịn nghiên cứu khái niệm lịch sử, khơng thóat ly khỏi lịch sử (theo lịch đại) lại nguyên tắc bắt buộc Xác định nơi bắt đầu lịch sử để tìm nơi bắt đầu tư duy, nơi hình thành nên khái niệm vấn đề đơn giản, thân lịch sử có muôn vàn mặt khác nhau, mặt coi khởi điểm Vậy dựa vào tiêu chí nào? C.Mác đưa tiêu chí nghiên cứu tư bản: việc nghiên cứu chỗ lịch sử bắt đầu, cần phải làm thành bước chuyển, làm thành mắt xích nối liền khứ với Nghiên cứu khái niệm vậy, phải tìm thực nối liền khái niệm có với khái niệm hình thành Hiện thực kiện Khi bám vào lịch sử để tìm logic, nhận thức khoa học đề cao vai trò sư kiện Các kiện với tư cách mặt, yếu tố đa dạng thực, người thụ cảm ghi nhận, giúp người sâu vào chất khách thể Tuy nhiên, không nên quan niệm phương pháp lịch sử liệt kê, mô tả cách giản đơn kiện chồng chất, dẫn đến nhầm lẫn ngẫu nhiên tất nhiên hậu đến khái niệm Điều có nghĩa xuất phát từ lịch sử, phải vạch tính quy luật kiện ấy, tìm tính tất nhiên ẩn giấu sau ngẫu nhiên Như vậy, "nếu phương pháp logic phương pháp lịch sử, thóat khỏi hình thức lịch sử, đến lượt mình, phương pháp lịch sử phải bao hàm yếu tố phương pháp nghiên cứu logic" Lênin đường biện chứng nhận thức chân lý, mà đường triển khai khái niệm Song, nên hiểu đường biện chứng nào? Về vấn đề này, Rơdentan viết: "Nhiều hồn cảnh làm cho tư người thành phức tạp, không cho phép trình nhận thức diễn dạng "thuần tuý" trường hợp hãn hữu theo dõi trực tiếp thấy q trình trực quan sinh động từ trực quan sinh động chuyển thành khái niệm, quy luật Trong phần lớn trường hợp, tư người bắt đầu từ khái niệm, lý luận nêu biết từ trước gọi khái niệm công cụ, xuất phát điểm để nhận thức vươn tới chân trời Nếu tư lại trực quan sinh động, trực quan sinh động bị nhét đầy khái niệm, ý niệm trừu tượng, mối liên hệ từ sang khác hoàn toàn bị che lấp Những khái niệm công cụ hay khái niệm trung chuyển từ vốn tri thức, hiểu biết có chủ thể sang khía cạnh mới, lĩnh vực thực đóng vai trị khởi điểm trình hình thành nên khái niệm Việc rút khái niệm từ khái niệm khác việc làm hồn tồn mang tính tư biện, mà phải dựa sở phản ánh tính tất yếu khách thể Nghiên cứu khái niệm tính lịch sử, tinh thần logic biện chứng Luận điểm có liên quan đến vấn đề kinh nghiệm Những xét kinh nghiệm, phải tránh sa vào chủ nghĩa kinh nghiệm chủ nghĩa kinh viện, sử dụng phương pháp lịch sử mà khơng có logic dễ rơi vào chủ nghĩa kinh nghiệm hẹp hòi.Theo nghĩa rộng, kinh nghiệm hiểu vốn tri thức tích luỹ thơng qua hoạt động thực tiễn nhân loại từ xuất ý thức Lênin phải đảo ngược Hêgen quan điểm: "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 hình tượng có ý nghĩa công lý" Với bề dày lịch sử, kinh nghiệm loài người đúc kết lại thành kho tàng vô giá, hệ nối tiếp hệ bồi đắp thêm Song, kinh nghiệm thực có giá trị người biết cách vận dụng nó, mà gương điển hình vận dụng C.Mác, chủ nghĩa Mác thí dụ rõ ràng chủ nghĩa cộng sản phát sinh từ tổng số kiến thức nhân loại, tất mà xã hội loài người sáng tạo ra, Mác nghiền ngẫm lại cách có phê phán, khơng bỏ sót điểm nào" Những tác phẩm C.Mác đánh giá kiệt tác kết tinh tư tưởng nhân loại óc thiên tài Nhưng bên cạnh đó, tác phẩm ơng mang luồng sinh khí mạnh mẽ, chúng kiểm chứng qua phong trào đấu tranh giai cấp cơng nhân Ở đây, vai trị kinh nghiệm theo nghĩa hẹp phát huy tác dụng Theo nghĩa hẹp, kinh nghiệm hiểu vốn tri thức đúc kết lại thông qua hoạt động thực tiễn thân chủ thể Ph.Ăngghen khẳng định cần thiết việc nghiên cứu lịch sử phát triển khái niệm, lý luận, khái niệm lý luận nói chung "khơng phải bẩm sinh mà ý thức bình thường ngày đem lại, mà địi hỏi tư trải qua lịch sử kinh nghiệm lâu dài" Sức thuyết phục lý luận chỗ Nếu chép đơn thuần, chắp nối vụng kinh nghiệm có lý luận sức sống tự thân Để thấy điểm khác ý nghĩa nêu lý luận Hêgen có so sánh: "Giống như, câu cách ngôn luân lý, niên nói ra, hiểu cách hồn tồn đắn, lại khơng có ý nghĩ tầm rộng câu xuất phát từ miệng người trải việc đời, nói câu đó, người nói lên tồn sức mạnh nội dung nó” Lênin nhận xét "sự so sánh hay, vật" Việc tổng kết kinh nghiệm, phân tích lịch sử điểm xuất phát cho nhận thức khoa học mà đó, khái niệm triển khai, "mài sắc, gọt giũa, mềm dẻo, động" Từ lịch sử mà ta thấy sức mạnh khái niệm vận động Rõ ràng, "toàn sức mạnh nội dung khái niệm” nằm tất yếu việc hình thành nên khái niệm ấy, nằm hàm lượng tri thức nhân loại dồn nén nó, nằm phát triển, tự triển khai dạng tiềm Như vậy, để khai thác toàn sức mạnh nội dung khái niệm, cần phải làm rõ logic hình thành khái niệm Muốn làm rõ logic hình thành khái niệm, phải bắt đầu nghiên cứu khái niệm từ lịch sử thực để đời sống riêng nó, nêu lên liên hệ với khứ tương lai, đồng thời phải nghiên cứu khái niệm tính hệ thống, nghĩa nghiên cứu tác động khái niệm chuỗi tác động tới chuỗi khái niệm khác Lơgíc học khoa học hình thức quy luật tư Muốn phản ánh thực khách quan tư người phải tuân theo quy tắc quy luật định Đó quy tắc quy luật nhận thức, suy nghĩ, tư mà lơgíc học nghiên cứu Việc tuân theo quy tắc quy luật điều kiện thiếu để đạt tới chân lý khách quan trình nhận thức Cuốn sách Lơgíc học bao gồm lơgíc hình thức lơgíc biện chứng nhằm giúp cho sinh viên nắm vững biết vận dụng hình thức, quy tắc quy luật chi phối phát triển tư vào học tập, nghiên cứu vào sống; biết xem xét phân tích tư tưởng khơng mặt nội dung mà kết cấu; biết vận dụng thủ thuật lơgíc để tiếp thu cách có hiệu mơn khoa học mà họ học tập, nghiên cứu; biết sử dụng tài liệu tri thức tích luỹ vào hoạt động nhận thức hoạt động thực tiễn Nghiên cứu lơgíc học cịn giúp người học biết giải thích cách khoa học kiện; biết cách nêu giả thuyết, chứng minh bắt bẻ, bác bỏ tư tưởng, luận điểm không chân thực tranh luận, bút chiến, chống lại tư tưởng sai lầm khoa học đời sống thực KHAC: View Full Version : Những tư tưởng Hegel logic học với tính cách logic biện chứng Butchi 09-20-2009, 01:04 PM Thông thường để xây dựng hệ thống triết học mình, triết gia phải xuất phát từ điểm xuất phát triết học riêng biệt Theo Ăngghen, điểm xuất phát vấn đề triết học mà giải lập trường triết gia Hegel cho rằng, điểm xuất phát có vị trí vơ quan trọng trình hình thành nên học thuyết triết học Nó khắc phục hạn chế học thuyết có từ trước Chính Hegel xác định điểm xuất phát triết học ông đồng tâm tư tồn ý niệm tuyệt đối Nói cách khác Hegel nhà triết học tâm khách quan, nghĩa ông tư tưởng phản ánh giới thực khách quan, trái lại vật tượng giới thể ý niệm tuyệt đối, mà ý niệm tồn trước giới xuất Căn vào phát triển ý niệm tuyệt đối mà Hegel cấu trúc hệ thống triết học ông thành logic học, Triết học tự nhiên Triết học tinh thần Bài viết muốn đề cập đến tư tưởng Hegel logic học với tính cách logic biện chứng hệ thống triết học Hêghen Theo Hêghen, đồng tư tồn có nghĩa quy luật tư logic học nghiên cứu, thực chất quy luật tồn (của tự nhiên, lịch sử) Vì logic học phận sinh động hệ thống triết học Hêghen, phép biện chứng ơng thể cách đầy đủ Để xây dựng logic học với tính cách làlogic biện chứng, Hegel nghiên cứu tồn q trình phát triển logic hình thức cổ điển trước Tuy khơng phủ nhận ý nghĩa vai trị logic hình thức lịch sử nhận thức, Hegel hạn chế Theo Hêghen, logic học trước ơng khoa học hình thức tư chủ quan, chưa đầy đủ chưa đáp ứng với phát triển triết học khoa học Trên sở Hegel sáng tạo hệ thống logic học - logic biện chứng nhằm đem lại cho triết học phương pháp luận phép biện chứng Phép biện chứng Hegel thành tựu quí giá triết học cổ điển Đức nói riêng lịch sử triết học trước Mác nói chung Tuy nhiên Hegel sáng tạo logic biện chứng lập trường tâm ông xuất phát từ sở đồng tư tồn coi qui luật tự nhiên, lịch sử quy luật tư Để lý giải điều này, Hegel cho rằng, người có khả nhận thức giới cách tuyệt đối đầy đủ, nghĩa tư người nhận thức giới tự nhiên xã hội Từ ơng coi tư chất chúng Đồng thời quan niệm Hegel thống chủ thể khách thể không giống quan niệm chủ nghĩa vật, mà ơng coi đồng hồn tồn chúng Điều có nghĩa Hegel khách thể tư không khác biệt với thân tư Những khách thể tư thực chất quy định tư mà thơi Theo Hêghen, tư hồn tồn khơng xem xét sản phẩm đặc biệt óc người, nét đặc thù người Hegel đồng tư với hoạt động ý niệm tuyệt tư cách sở vật, tượng giới Hơn tư đồng thời vừa khách thể, vừa chủ thể, vừa tư duy, vừa tư Tuy nhiên, Hegel thừa nhận cảm giác, trực giác, biểu tượng, mong muốn hình thức ý thức người Nhưng tất chúng ông thể không đầy đủ, nét hoa văn bên tư duy, tư tưởng Vì vật chất theo ơng, thuộc tư duy, tư tưởng mà Hegel cho rằng, đối tượng đắn tư tưởng thân tư tưởng, tư tưởng chân lý vật Cho nên phát triển cần phải tiến hành theo quy luật tư tưởng, theo quy luật logic học Chủ nghĩa tâm tuyệt đối Hegel xác định chủ nghĩa tâm logic Ý niệm tuyệt đối tư tư duy, đồng thời có nghĩa tự nhận thức, mở rộng xác định logic vốn có Những phạm trù xác địnhlogic này, chúng thề phát triển ý niệm tuyệt đối Theo Hêghen, phạm trù phản ánh giới thực khách quan, mà khái niệm túy Trong "Khoa họclogic" Hegel thể tư tưởng Thượng đế có trước giới người xuất Đây tính qui luật ý niệm tuyệt đối tồn trước thân giới thuộc tính siêu nhiên thần thánh Theo Ăngghen, Cơ đốc giáo giới sáng tạo cách đơn giản Thượng đế, triết học Hegel sáng tạo có hình thức phức tạp khó hiểu Theo Hêghen, logic học "thể Chúa chất vĩnh Đức chúa trước sáng tạo giới tự nhiên tinh thần hữu hạn" tức người cụ thể Như nêu trên, phạm trù triết học Hegel phản ánh giới khách quan, điều khơng có nghĩa chúng hồn tồn khơng chứa đựng nội dung Trái lại, phạm trù Hegel cịn có ý nghĩa thể luận Một khác biệt triết học Hegel Cantơ điểm Theo Cantơ, phạm trù mối liên hệ với giới thực khách quan, chúng sản phẩm ý thức người Vì vậy, phạm trù tự chúng khơng chứa đựng nội dung khách quan Cịn Hegel phạm trùlogic khơng phải khác trừu tượng tách từ thân thực, chúng có nội dung sinh động, phong phú, từ tạo nên nội dung sâu sắc Khoa họclogic Tuy nhiên góc độ tâm Hegel đánh giá phạm trù cao giới khách quan, ông coi chúng vải mộc, cịn tượng, q trình giới hoa văn trang trí vải Theo Hêghen, ý niệm tuyệt đối chất tự nhiên tinh thần Tất vật chân lý chừng chúng thể ý niệm Các vật tự thời, tận khơng phải chân lý Chỉ có ý niệm tuyệt đối tồn hệ thống phạm trù vĩnh viễn, sở vật, tượng giới Hegel cho rằng, giới khách quan logic học ứng dụng, logic học học thuyết ý niệm tuyệt đối, "hệ thống phạm trù tư duy, đối lập tính khách quan chủ quan bị triệt tiêu” Hegel nhấn mạnh rằng, phạm trù thực chất khái niệm mà tư thông thường thưởng sử dụng chúng Trong tư thông thường phạm trù hoà nhập với nội dung trực quan biểu tượng, theo Hêghen, thực chất chúng không rõ ràng Để làm rõ phạm trù nhiệm vụ khoa học logic phải giải phóng chúng khỏi nội dung cảm giác, kinh nghiệm Hegel đồng khoa học logic vớilogic học tâm.logic học sử dụng kết phát triển khoa học tự nhiên Theo Hêghen, khoa học có nhiệm vụ chuẩn bị tài liệu chologic học nhằm phát quy luật, khái niệm chung logic học tâm Hegel coi khoa học hình thức khác đặt đấu ấn vào chúng Nó quy luật khái niệm khoa học tự nhiên thể khơng đầy đủ phạm trù lý tính tuý Tác phẩm chủ yếu Hegel Khoa họclogic gọi Đại logic logic học phần đầu Bách khoa toàn thư khoa học triết học hay gọi Tiểulogic nghiên cứu phạm trùlogic hệ thống phát triển, gắn liền thống với Chính Khoa học logic nhưlogic học Hegel trình bày cách đầy đủ sâu sắc phép biện chứng sở tâm Theo Mác, phép biện chứng Hegel (hay Hegel gọi phương pháp tuyệt đối) trừu tượng vận động, trừu tượng phát triển giới thực khách quan Phép biện chứng Hegel hình dung vận động hình thức trừu tượng, vận động lý tính tuý Trong logic học Hegel trình bày qui luật phủ định phủ định quy luật quan trọng phép biện chứng Hegel đồng quy luật với tam đoạn thức: đề - phản đề - hợp đề Từ ơng xây dựng nên hệ thống triết học phần hệ thống Mỗi phạm trù phép biện chứng Hegel xếp hình thức đề Chính đề trình vận động, phát triển trở thành phản đề sau chúng hồ nhập vào khái niệm cao hợp đề Hợp đề quay trở lại cách đơn giản đề, mà giai đoạn phát triển cao yếu tố phủ định Quy luật phủ định phủ định vạch khuynh hướng phát triển từ thấp cao Theo Hegel mặt phủ định thể phạm trù, khái niệm sở, điều kiện trình phát triền Ở Hegel vạch mâu thuẫn nguyên nhân làm cho phạm trù, khái niệm chuyển từ giai đoạn đến giai đoạn khác Trong Khoa họclogic Hegel nhấn mạnh mâu thuẫn nguồn gốc vận động sức sống Chỉ có mâu thuẫn thân mà vận động, có mạch đập hoạt động Khi đặt sở phép biện chứng Hegel cho rằng, phương pháp xuất phát từ vận động, phát triển mâu thuẫn diễn khái niệm Sự vận động mặt khẳng định đến mặt phủ định việc xem xét thống chúng chất nhận thức trừu tượng, nhận thức biện chứng Nhận thức Hegel đối lập lại với nhận thức lý trí,logic hình thức Như cấu trúclogic Hegel mang tính chất trừu tượng tuý Hegel xem xét hệ thống phạm trùlogic phát triển sơ đồ tiên nghiệm phát triển giới Mặc dù với lối tư có tính chất tư biện, trừu tượng Hêghen, phạm trù logic học ông suy cho rút từ giới thực khách quan Cho nên Bút ký triết học Lênin rằng, Hegel đoán cách thiên tài phép biện chứng vật, tượng, giới tự nhiên phép biện chứng khái niệm Sự khẳng định thể phát triển khái niệm logic học Hêghen Chính Mác cho rằng, Hegel trình bày cách tư biện, trừu tượng thường lại đưa trình bày thực bao gồm vật Chính quan điểm tạo nên giá trị to lớn phép biện chứng Hêghen, mà sau chủ nghĩa vật biện chứng kế thừa phát triển Tuy nhiên, hạn chế chủ nghĩa tâm không cho phép Hegel thực nhiệm vụ đặt triết học ông cống hiến cho toàn đời vật Đúng Mác nói chung Hegel chủ yếu quan tâm đến làlogic vật, mà cơng việc củalogic Điều có nghĩa Hegel có quan tâm đến nhận thức giới thực phản ánh nhận thức vào phạm trù không lớn tới mức ông tạo nên thực từ khái niệm phạm trù Trong thực tế Hegel xây dựng hệ thống nói chung nhưlogic học nói riêng theo sơ đồ tam đoạn thức Bằng đường Hegel thường bịa phạm trù mà chúng có thực Vì số phạm trù logic học ơng có tính chất giả tạo Điều xuất phát từ tư tưởng Hegel tất phong phú giới nẩy sinh từ vận động khái niệm Theo Mác, Hegel tất diễn diễn giới đồng với diễn tư vốn có ơng Như vận động phát triển phạm trù theo Hegel thể phát triển tự nhiên, xã hội, tất biểu văn hóa người Bới biết, Hegel xuất phát từ thống nhất, mà từ đồng tư tồn ông cho rằng, không cần phải nghiên cứu cách cụ thể chi tiết phát triển tự nhiên, xã hội phát triển chúng phản ánh phát triển khái niệm Cho nên theo Hêghen, phân tích khái niệm phương tiện nhận thức thực dễ nghiên cứu cách cụ thể thân thực Xuất phát từ quan niệm mà Hegel coi phát triển giới phát triển khái niệm Từ ơng buộc phải đưa số phạm trù mà chúng chưa có thực, đặc biệt chuyển biến cách giả tạo từ khái niệm nẩy sinh khái niệm khác Theo Hêghen, nhiệm vụ củalogic học thể hệ thống phạm trù hệ thống có sẵn trước, bất động mà hệ thống phát triển không ngừng Phù hợp với điều Hegel vạch phát triển phạm trù từ trực tiếp, đơn giản, trừu tượng đến cụ thể, phức tạp gián tiếp "Khoa học logic" nhưlogic học hệ thống Hegel gồm ba phần học thuyết tồn tại, học thuyết chất học thuyết khái niệm Ý nghĩa phát triển phạm trù chỗ, logic học Hegel xuất phát từ tồn Từ vận động phạm trù tồn mà xuất phạm trù chất chất phản đề phủ định tồn Sau đó, từ vận động phạm trù chất mà phát khái niệm sở sâu sắc tồn q trình phát triển phạm trù Như vậy, khái niệm biểu hợp đề tồn chất phủ định phủ định Có thể nhận thấy phát triển phạm trù học thuyết tồn tại, chất, khái niệm phần nhỏ logic học thực theo sơ đồ tam đoạn thức Hegel đề Theo Hêghen, học thuyết tồn học thuyết chất logic học Logic khách quan học thuyết khái niệm làlogic chủ quan Trong logic khách quan Hegel chủ yếu nghiên cứu phạm trù tư tưởng, mà chúng đồng thời phạm trù giới tự nhiên vơ Cịn logic chủ quan Hegel nghiên cứu vận động biện chứng phạm trù hình thức tư tưởng tuý trưởng thành đời sống tinh thần, ý thức khái niệm giới hữu người Tuy nhiên phân chia logic học thành logic khách quan vàlogic chủ quan có tính chất tương đối Bởi thực tế logic khách quan Hegel bên cạnh phân tích phạm trù giới vơ cơ, ơng có đề cập đến phạm trù có quan hệ với ý thức người Trái lại logic chủ quan đồng thời với việc trình bày phạm trù đời sống hữu Hegel đưa phạm trù có mối liên quan với giới tự nhiên vô Lần lịch sử triết học, Hegel tạo lý luận biện chứng phát triển với tư cách logic học phương pháp Ông kết hợp phép biện chứng logic học thành quan niệm thống logic biện chứng Phép biện chứng linh hồn logic học nhờ khoa học logic trở thành thể sống, phạm trù khô cứng logic học trước Công lao Hegel so với bậc tiền bối chỗ, ơng đưa phân tích biện chứng, khái quát tất phạm trù quan trọng triết học hình thành nên ba qui luật tư sở tâm Khơng nghi ngờ khẳng định "Tính chất thần bí mà phép biện chứng mắc phải tay Hegel khơng ngăn cản Hegel trở thành người trình bày cách bao qt có ý thức hình thái vận dụng chung phép biện chứng đó” Logic, từ tiếng Hy Lạp cổ điển λόγος (logos), nghĩa nguyên thủy từ ngữ, điều nói, (nhưng nhiều ngơn ngữ châu Âu trở thành có ý nghĩa suy nghĩ lập luận hay lý trí) Logic thường nhắc đến ngành nghiên cứu tiêu chí đánh giá luận cứ, định nghĩa xác logic vấn đề bàn cãi triết gia Tuy nhiên môn học xác định, nhiệm vụ nhà logic học cũ: làm đẩy mạnh tiến việc phân tích suy luận có hiệu lực suy luận ngụy biện để người ta phân biệt luận hợp lý luận có chỗ khơng hợp lý Theo truyền thống, logic nghiên cứu nhánh triết học Kể từ kỉ 19 logic thường nghiên cứu toán học luật Gần logic áp dụng vào khoa học máy tính trí tuệ nhân tạo Là ngành khoa học hình thức, logic nghiên cứu phân loại cấu trúc khẳng định lý lẽ, hai thông qua việc nghiên cứu hệ thống hình thức việc suy luận qua nghiên cứu lý lẽ ngôn ngữ tự nhiên Tầm bao quát logic rộng, từ đề tài cốt lõi nghiên cứu lý lẽ ngụy biện nghịch lý, đến phân tích chuyên gia lập luận, chẳng hạn lập luận có xác suất lý lẽ có liên quan đến quan hệ nhân Ngày nay, logic sử dụng phổ biến lý thuyết lý luận Qua suốt trình lịch sử, có nhiều quan tâm việc phân biệt lập luận tốt lập luận khơng tốt, logic nghiên cứu số dạng nhiều quen thuộc Logic Aristotle chủ yếu quan tâm đến việc dạy lý luận cho tốt, ngày dạy với mục đích đó, trong logic tốn học triết học phân tích (analytical philosophy) người ta nhấn mạnh vào logic đối tượng nghiên cứu riêng, logic nghiên cứu mức độ trừu tượng Các quan tâm loại logic khác giải thích logic khơng phải nghiên cứu chân không Trong logic thường tự cung cấp thúc đẩy nó, môn học phát triển tốt lý mà quan tâm đến logic đặt cách rõ ràng (trích theo http://vi.wikipedia.org/wiki/Logic) LƠGIC TRUYỀN THỐNG: truyền thống lôgic học phức tạp đa dạng Song có hai truyền thống lớn: truyền thống lơgic hình thức truyền thống lơgic biện chứng Lơgic học cổ truyền chưa có phân ngành rõ rệt Các hệ thống lôgic hàm chứa hệ thống lôgic hình thức yếu tố lơgic biện chứng Về sau, truyền thống lôgic học phương Tây khác hẳn truyền thống lôgic học phương Đông Truyền thống lôgic học phương Đơng tiếp tục đặc trưng khơng phân hình thức biện chứng Trong đó, phương Tây kể từ thời kì Phục hưng, diễn phân hố thành hai phân ngành lớn lơgic học: lơgic hình thức lơgic biện chứng Lơgic hình thức truyền thống phương Tây có cơng trình đánh mốc thời đại lịch sử, lôgic quy nạp Bêcơn F (F Bacon), lôgic suy diễn Đêcac R (R Descartes), vv Trong trước tác Laibnit G.V (G W Leibniz), khơng có hồn thiện hệ thống quy luật quy tắc lơgic hình thức truyền thống, mà cịn hàm chứa tư tưởng đại hố lơgic hình thức phương thức hình thức hố tốn học hố triệt để lập luận lơgic Truyền thống lơgic học biện chứng thực cơng trình lôgic cuả Kantơ I (I Kant) ông phân biệt rõ rệt hai mơn lơgic: "lơgic phổ thơng" lơgic hình thức truyền thống "lơgic tiên nghiệm", thực chất lôgic biện chứng Hêghen G.V.F (G W F Hegel) với cơng trình lơgic vĩ đại ơng "Khoa học lơgic" kết thúc thời kì lơgic biện chứng truyền thống, đồng thời mở giai đoạn cho lôgic biện chứng, giai đoạn lôgic biện chứng cổ điển LTT phương Đơng có nhiều tư tưởng lơgic mà ngày phong trào đại hố tư lôgic người phương Đông lẫn người phương Tây hội nhập vào trào lưu chung lôgic phi cổ điển Theo nghĩa định, lôgic phi cổ điển phương Tây thực chất đại hố lơgic phương Đơng cổ truyền Logic 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" logic 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 qt 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ể 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 đốn Một đặc điểm logic 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 đố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 đố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 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 đố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 khơng phải 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, tố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 tố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 khơng 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, 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 hồ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 đố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 đố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 Ta trở lại vấn đề phần sau Ngay phạm vi hai giá trị logic hình thức có khơng vấn đề khơng thể 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 logic hình thức địi hỏi tính chân lý phán đố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 "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 đó, để phủ định tồn tại, ố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 nghịch lý logic, thí dụ bảo khơng có Thượng đế hẳn bạn phải mơ tả thượng đế để bảo khơng có chứ, mơ tả 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 toán thuật toán nọ, phải đợi đến 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 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) tốn học để xây dựng khái niệm giải tích tố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à 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 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 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 việc nghiên cứu thực tự động hố nhiều q trình hoạt động từ tuệ nguyên tắc, máy tính điện tử thực q trình mang tỉnh chất thuật tốn, liệu quy 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? 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à ngồi tốn học liên quan đến tố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 khơng có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 khơng thể thích dụng Con người thực hàng ngày xử lý chúng nhu 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 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 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 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ất chấ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 tồ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à cịn 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 biết nhược điểm đố, ta tin có nhược điểm nhận thức khơng 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ư trừu tượng logic hình thức toàn hoạt động nhận thức người Nguồn: Tạp chí Triết học LƠGÍC HỌC TRONG DẠY HỌC VẬT LÝ Tác giả: Đỗ Hương Trà Nhà xuất bản: Đại học Sư phạm Ngôn ngữ: Việt Chuyên ngành: Vật lý - KT Từ khố: Lơgíc Khổ: 17 x 29 cm Giá bìa: 22,000 member ID 16277 10/19/2006 Logic học -Suy diễn lập luận Như nói trên, vào thời trung cổ, động cho việc nghiên cứu logic để ta học cách phân biệt luận tốt với luận khơng tốt, nhờ tranh luận diễn thuyết hiệu hơn, có lẽ để trở thành người tốt Động cịn tồn tại, khơng cịn đóng vai trị trung tâm tranh tồn cảnh logic; thông thường, logic biện chứng cấu thành trung tâm khóa học tư phê phán (critical thinking), khóa bắt buộc nhiều trường đại học, đặc biệt trường theo mơ hình Mỹ Logic toán học Logic toán học thực nói hai lãnh vực nghiên cứu khác nhau: thứ áp dụng kỹ thuật ngôn ngữ hình thức vào tốn học lập luận tốn học, thứ hai, theo hướng khác, áp dụng kỹ thuật toán học vào việc biểu diễn phân tích logic hình thức Những áp dụng sớm tốn học hình học quan hệ với logic triết học truy ngược người Hy Lạp cổ đại Euclid, Plato, Aristotle Nhiều triết gia cổ đại trung cổ khác áp dụng ý tưởng phương pháp toán học vào khẳng định triết học họ Cố gắng táo bạo để áp dụng logic vào toán học chắn chủ nghĩa luận lý (logicism) triết gia kiêm nhà logic Gottlob Frege Bertrand Russell tiên phong: ý tưởng lý thuyết tốn học điều khẳng định mang tính logic, chương trình cần chứng minh điều cách suy giản toán học logic Nhiều cố gắng khác để tiến hành việc gặp phải loạt thất bại, từ việc dự án Frege cơng trình Grundgesetze bị nghịch lý Russell làm cho lụn bại, đến thất bại chương trình Hilbert trước định lý Gưdel khơng tồn vẹn (của hệ thống logic nào) Cả khẳng định Chương trình Hilbert phủ nhận Gưdel dựa cơng trình họ, thiết lập nên lãnh vực thứ hai logic toán học, áp dụng tốn học vào logic hình thức lý thuyết chứng minh Mặc cho chất phủ định định lý khơng tồn vẹn, định lý Gưdel tồn vẹn, kết lý thuyết mơ hình áp dụng khác tốn học vào logic, hiểu cách cho thấy logicism gần đạt tới tính đắn nào: lý thuyết tốn định nghĩa chặt chẽ thâu tóm cách xác lý thuyết logic bậc nhất; [[tính tốn chứng minh] Frege đủ để mơ tả tồn tốn học khơng tương đương với Do thấy hai ngành hỗ trợ lẫn Nếu lý thuyết chứng minh lý thuyết mơ hình sở logic tốn học, chúng hai bốn trụ cột ngành học Lý thuyết tập hợp bắt nguồn nghiên cứu Georg Cantor vơ hạn, nguồn nhiều vấn đề quan trọng thách thức logic toán học, từ định lý Cantor, qua vị Tiên đề chọn lựa (Axiom of Choice) câu hỏi độc lập giả thuyết tính liên tục (continuum hypothesis), đến tranh cãi đại tiên đề số đếm cực lớn (large cardinal) Lý thuyết đệ quy thu tóm ý tưởng việc tính tốn với toán hạng logic số học; thành tựu cổ điển lý thuyết tính khơng định toán Entscheidungsproblem mà Alan Turing tìm ra, trình bày ơng luận đề Church-Turing Ngày nay, lý thuyết đệ quy liên quan chủ yếu đến toán tinh vi lớp độ phức tạp tính tốn(complexity class) tốn giải cách hiệu quả? phân loại mức độ không giải -Logic triết học -Logic triết học làm việc với miêu tả hình thức ngơn ngữ tự nhiên Đa số triết gia giả sử phần lớn lập luận đắn "bình thường" thu tóm logic, người ta tìm phương pháp đắn để dịch từ ngôn ngữ thông thường thành logic Về chất, logic triết học tiếp tục ngành khoa học truyền thống gọi "Logic" trước bị hất cẳng phát minh logic tốn học Logic triết học có mối quan tâm lớn tới mối quan hệ ngôn ngữ tự nhiên logic Kết là, nhà logic triết học đóng góp nhiều vào phát triển logic không chuẩn (v.d., logic tự do, logic thời) mở rộng khác logic cổ điển (v.d., logic mô thái), ngữ nghĩa không chuẩn cho loại logic (v.d., kỹ thuật Kripke đánh giá trội ngữ nghĩa logic) Logic triết học ngơn ngữ có liên hệ mật thiết với Triết học ngơn ngữ có liên quan đến nghiên cứu tương tác ngôn ngữ suy nghĩ Logic có tác động lãnh vực nghiên cứu Nghiên cứu logic mối liên quan logic ngôn ngữ thông thường giúp người tổ chức lý lẽ họ cách tốt giúp phê phán lý lẽ người khác Nhiều lý lẽ thông dụng chứa đầy lỗi nhiều người khơng huấn luyện logic khơng biết cách trình bày lý lẽ cho Triết học ngôn ngữ trải qua thời kỳ phục hưng kỉ 20 cơng trình Ludwig Wittgenstein Logic tính tốn Logic nội dung trung tâm khoa học máy tính từ ngành hình thành: cơng trình Alan Turing Entscheidungsproblem theo sau từ cơng trình Kurt Gưdel định lý khơng tồn vẹn, khái niệm máy tính dành cho mục đích tổng qt bắt nguồn từ cơng trình có tầm quan trọng mang tính tảng nhà thiết kế máy tính năm 1940 Trong năm 1950 1960, nhà nghiên cứu dự đoán tri thức người biểu diễn logic ký hiệu tốn học, có khả tạo máy tính có khả lập luận, hay nói cách khác trí tuệ nhân tạo Điều hóa khó khăn dự đốn phức tạp lập luận người Trong lập trình logic, chương trình bao gồm tập hợp tiên đề luật Các hệ thống lập trình logic Prolog tính tốn hệ tiên đề luật để trả lời truy vấn Ngày nay, logic ứng dụng rộng rãi lãnh vực trí tuệ nhân tạo, khoa học máy tính, ngành cung cấp nguồn dồi tốn logic hình thức phi hình thức Lý thuyết lý luận ví dụ tốt cho thấy logic áp dụng vào trí tuệ nhân tạo Thêm vào đó, máy tính sử dụng cơng cụ cho nhà logic học Ví dụ, logic biểu tượng logic toán học, chứng minh người hỗ trợ máy tính Sử dụng chứng minh định lý tự động, máy tính tìm kiểm tra chứng minh, làm việc với chứng minh dài cho việc viết tay Lý thuyết lý luận -Lý thuyết lý luận ngành nghiên cứu logic khơng hình thức, điều phi lý, câu hỏi phê phán liên quan đến tình thực tế hàng ngày Các hội thoại cụ thể phân tích xem xét để làm lộ giả thuyết, kết luận, điều vô lý Lý thuyết lý luận ngày áp dụng trí tuệ nhân tạo luật ... đối Nhìn góc độ khác, tìm hiểu logic hình thành khái niệm, tiếp cận khái niệm trường hoạt động Trường thứ khảo sát khái niệm tính lịch đại, nghĩa xét logic hình thành khái niệm q trình lịch sử... để khai thác toàn sức mạnh nội dung khái niệm, cần phải làm rõ logic hình thành khái niệm Muốn làm rõ logic hình thành khái niệm, phải bắt đầu nghiên cứu khái niệm từ lịch sử thực để đời sống riêng... làm thành bước chuyển, làm thành mắt xích nối liền khứ với Nghiên cứu khái niệm vậy, phải tìm thực nối liền khái niệm có với khái niệm hình thành Hiện thực kiện Khi bám vào lịch sử để tìm logic,