Ứng dụng phương pháp hình thức hóa trong việc thẩm định tính logic của các mệnh đề trong các văn bản pháp luật

ĐẠI HỌC QUỐC GIA HÀ NỘI TRƢỜNG ĐẠI HỌC KHOA HỌC XÃ HỘI VÀ NHÂN VĂN *** NGUYỄN THỊ THU ỨNG DỤNG PHƢƠNG PHÁP HÌNH THỨC HĨA TRONG VIỆC THẨM ĐỊNH TÍNH LOGIC CỦA CÁC MỆNH ĐỀ TRONG CÁC VĂN BẢN PHÁP LUẬT LUẬN VĂN THẠC SĨ Chuyên ngành: Triết học Hà Nội - 2014 ĐẠI HỌC QUỐC GIA HÀ NỘI TRƢỜNG ĐẠI HỌC KHOA HỌC XÃ HỘI VÀ NHÂN VĂN *** NGUYỄN THỊ THU ỨNG DỤNG PHƢƠNG PHÁP HÌNH THỨC HĨA TRONG VIỆC THẨM ĐỊNH TÍNH LOGIC CỦA CÁC MỆNH ĐỀ TRONG CÁC VĂN BẢN PHÁP LUẬT Luận văn Thạc sĩ chuyên ngành: Triết học Mã số: 60 22 80 Người hướng dẫn khoa học : PGS TS Nguyễn Thuý Vân Hà Nội - 2014 LỜI CAM ĐOAN Tơi xin cam đoan cơng trình nghiên cứu riêng hướng dẫn PGS.TS Nguyễn Thuý Vân Học viên Nguyễn Thị Thu LỜI CẢM ƠN Để hồn thành luận văn này, trước tiên, tơi xin gửi lời cảm ơn sâu sắc đến PGS TS Nguyễn Thuý Vân, người hết lòng giúp đỡ tơi suốt q trình thực luận văn thạc sỹ Tôi xin chân thành cảm ơn quý thầy, ngồi trường tạo điều kiện, nhiệt tình giúp đỡ tơi Đặc biệt,tơi xin cảm ơn thầy cô Khoa Triết học, trường Đại học Khoa học xã hội nhân văn cung cấp cho tảng kiến thức quý báu giúp đỡ tận tình để tơi hồn thành luận văn Cuối cùng, tơi xin gửi lời biết ơn sâu sắc đến gia đình quan tạo điều kiện tốt cho suốt trình học thực luận văn Hà Nội, ngày 31 tháng 10 năm 2014 Học viên Nguyễn Thị Thu MỤC LỤC MỞ ĐẦU Tính cấp thiết đề tài Tình hình nghiên cứu đề tài Mục đích nhiệm vụ nghiên cứu Cơ sở lý luận phương pháp nghiên cứu 10 Đối tượng phạm vi nghiên cứu 10 Ý nghĩa đề tài 10 Kết cấu 11 CHƢƠNG NHỮNG VẤN ĐỀ LÝ LUẬN CHUNG VỀ PHƢƠNG PHÁP HÌNH THỨC HỐ VÀ VĂN BẢN PHÁP LUẬT 12 1.1 Một số vấn đề lý luận phƣơng pháp hình thức hóa 12 1.1.1 Phương pháp hình thức hố u cầu phương pháp hình thức hóa 12 1.1.2 Phương pháp hình thức hóa phát triển logic học 19 1.1.3 Sự biểu phương pháp hình thức hố qua số hình thức tư .25 1.2 Một số vấn đề lý luận văn pháp luật 35 1.2.1 Khái niệm văn pháp luật 35 1.2.2 Những đặc điểm văn pháp luật 38 1.2.3 Một số yêu cầu nội dung ngôn ngữ văn pháp luật nhìn từ góc độ logic học 41 1.3 Tính tất yếu việc ứng dụng phƣơng pháp hình thức hóa vào kiểm tra mức độ hoàn thiện văn pháp luật 52 1.3.1 Những yêu cầu mặt logic để xác định chất lượng văn pháp luật 52 1.3.2 Tầm quan trọng việc ứng dụng phương pháp hình thức hóa vào kiểm tra tính hồn thiện hệ thống văn pháp luật 59 Tiểu kết chƣơng 63 CHƢƠNG TÍNH LOGIC CỦA CÁC MỆNH ĐỀ TRONG VĂN BẢN PHÁP LUẬT VÀ VIỆC ỨNG DỤNG PHƢƠNG PHÁP HÌNH THỨC HỐ VÀO THẨM ĐỊNH TÍNH LOGIC CỦA CÁC MỆNH ĐỀ ĐÓ 64 2.1 Tính logic mệnh đề văn pháp luật 64 2.1.1 Yêu cầu gắn kết hình thức mệnh đề văn pháp luật với nội dung cần phản ánh 64 2.1.2 u cầu đảm bảo tính qn, tính khơng mâu thuẫn, tính xác định tính có văn pháp luật 70 2.2 Các bƣớc dùng phƣơng pháp hình thức hố để thẩm định tính logic mệnh đề văn pháp luật 78 2.2.1 Chuyển đổi nội dung mệnh đề văn pháp luật sang hình thức tư tưởng mã hố chúng 78 2.2.2 Dùng lý thuyết phương pháp hình thức để kiểm tra tính đắn nội dung hình thức thể văn 82 Tiểu kết chƣơng 100 KẾT LUẬN 101 DANH MỤC TÀI LIỆU THAM KHẢO .103 MỞ ĐẦU Tính cấp thiết đề tài Thế kỷ XXI, giới bước vào giai đoạn phát triển cao tri thức khoa học công nghệ Cùng với xâm nhập lẫn lĩnh vực kinh tế, trị, văn hóa… q trình tồn cầu hóa xâm nhập khác diễn khoa học, ngành khoa học khác nhau, lĩnh vực tri thức khác nhân loại Sự xâm nhập mặt giúp khoa học gạt bỏ biên giới tuyệt đối chúng, mặt khác giúp cho người khắc phục hạn chế ngành khoa học giải vấn đề hoàn toàn mà thân ngành khoa học giải Xu liên kết lĩnh vực tri thức, hay nghiên cứu liên ngành xu tất yếu thời đại Nó phản ánh phát triển khách quan lịch sử tư người Đã đến giai đoạn mà khoa học độc tôn phạm vi định phải nhường chỗ cho thời kỳ giao thoa liên kết lĩnh vực tri thức khác Trong bối cảnh đó, giao thoa logic học luật học không ngoại lệ Sự liên kết bổ sung hai lĩnh vực khoa học thể liên kết tất nhiên bổ sung cần thiết cho hai khía cạnh bản: thứ nhất, logic học giúp tinh chỉnh tính hợp logic đắn văn pháp luật; thứ hai, vận động thực tiễn vấn đề liên tục phát sinh lĩnh vực pháp luật đặt yêu cầu nhà logic học nhiệm vụ xây dựng phương pháp tư khoa học để giúp người tiến hành hoạt động nhận thức cải tạo giới có hiệu Trong lĩnh vực luật pháp, hoạt động xây dựng ban hành văn pháp luật hoạt động chủ yếu Văn pháp luật có tác động trực tiếp sâu sắc đến hiệu lực, hiệu quản lý nhà nước Do đó, nâng cao chất lượng văn pháp luật xác định biện pháp quan trọng để tăng cường lực hoạt động quan nhà nước nâng cao tính hiệu việc áp dụng văn pháp luật thực tiễn đời sống Cùng với đó, ổn định phát triển xã hội có hay khơng phụ thuộc phần lớn vào tính hiệu đắn việc xây dựng hệ thống pháp luật hồn chỉnh Để thực chức đó, logic học chiếm vai trị vơ quan trọng Nó đóng vai trị cơng cụ để thẩm định tính đắn văn pháp luật mặt logic đắn, phù hợp văn pháp luật với thực sống Trên thực tế, nhiều văn pháp luật xây dựng nước ta năm gần cịn nhiều điểm bất cập như: thiếu tính thực tiễn, khơng chặt chẽ, xác, mâu thuẫn với văn pháp luật ban hành không điều chỉnh hết vấn đề nảy sinh vận động quan hệ xã hội v.v Vì thế, áp dụng vào thực tiễn, văn pháp luật khó vào sống, hiệu áp dụng không cao Nhiều mệnh đề văn không rõ ràng dẫn đến cách hiểu áp dụng khác Đây “lỗ hổng” pháp luật, hội để người thực pháp luật lách luật theo cách có lợi để đạt mục đích mình… Điều cho thấy hệ thống văn pháp luật nước ta cịn hiệu quả, chưa tồn diện, chưa thực đáp ứng yêu cầu thực tiễn Vậy làm để tạo văn pháp luật có tính chun nghiệp cao, đảm bảo tính hiệu vào sống? Một cách thức để giải vấn đề vận dụng đắn phương pháp quy luật logic vào việc xây dựng thẩm định tính logic văn pháp luật, cụ thể ứng dụng phương pháp hình thức hóa Việc hình thức hố văn pháp luật có tác động quan trọng, vừa giúp kiểm tra tường minh, xác mặt nội dung văn pháp luật, đồng thời đảm bảo cụ thể hóa văn luật thành văn luật xác, cụ thể nhờ đảm bảo tính hiệu q trình ban hành thực Vì lý trên, tơi chọn đề tài: “Ứng dụng phương pháp hình thức hố việc thẩm định tính logic mệnh đề văn pháp luật” để nghiên cứu Theo chúng tôi, không nhu cầu cấp thiết mặt lý luận mà cịn địi hỏi có tính nguyên tắc thực tiễn xây dựng pháp luật nước ta Điều ảnh hưởng quan trọng tới q trình xây dựng hồn thiện Nhà nước pháp quyền xã hội chủ nghĩa nước ta thời kỳ phát triển Tình hình nghiên cứu đề tài Việc ứng dụng phương pháp hình thức hố vào việc thẩm định tính logic mệnh đề văn pháp luật nhu cầu cấp thiết Nhưng lĩnh vực mẻ Việt Nam nên chưa có cơng trình nghiên cứu trực tiếp vấn đề này, có cơng trình nghiên cứu có khả hỗ trợ gián tiếp nằm rải rác hai lĩnh vực nghiên cứu: - Những cơng trình nghiên cứu lĩnh vực luật pháp văn pháp luật Lĩnh vực luật học nghiên cứu nhiều vấn đề, phạm vi nghiên cứu mình, luận văn tập trung nghiên cứu vấn đề liên quan đến văn pháp luật, luật luật cụ thể: + Giáo trình xây dựng văn pháp luật trường Đại học Luật Hà Nội, Nhà xuất Cơng an nhân dân Giáo trình lý giải vấn đề văn pháp luật vấn đề thuộc kỹ thuật pháp lý việc xây dựng văn pháp luật, bao gồm: kỹ thuật xây dựng văn quy phạm pháp luật, xây dựng văn áp dụng pháp luật, xây dựng văn hành kiểm tra, xử lý văn hành Cách tiếp cận giáo trình góp phần nâng cao chất lượng văn pháp luật hướng tới việc xây dựng hệ thống pháp luật hoàn chỉnh + “Kỹ thuật lập pháp” tác giả Phan Mạnh Hân, Nhà xuất Pháp lý, xuất năm 1985 Trong sách này, tác giả trình bày vấn đề kỹ thuật lập pháp, văn pháp quy, trình bày quy phạm pháp luật, ngơn ngữ, cách hành văn tính logic văn pháp quy hệ thống hóa văn pháp quy Đặc biệt phần IV, tác giả phân tích chi tiết yêu cầu cách dùng chữ, cách đặt vấn đề bố cục rõ ràng, mạch lạc xây dựng văn pháp quy + Luận án “Một số đặc điểm ngôn ngữ luật pháp tiếng Việt” cuả NCS Lê Tiến Hùng Luận án tập trung miêu tả đặc điểm ngôn ngữ luật pháp như: từ vựng, ngữ pháp văn văn luật pháp tiếng Việt so sánh với văn luật pháp tiếng Anh Đồng thời tác giả trình bày nét khái quát tình hình làm luật pháp hệ thống pháp luật Việt Nam, từ hạn chế cịn tồn hệ thống pháp luật Việt Nam + Đặc biệt, sách “Soạn thảo luật pháp tiến xã hội dân chủ - sổ tay cho nhà soạn thảo luật” Ann Seidman, Robert B Seidman Nail Abeyesekere biên soạn, Nhà xuất Kluwer Law International ấn hành xuất Việt Nam Nhà xuất Chính trị quốc gia Nội dung sách đề cập đến vấn đề phương pháp kỹ thuật lập pháp, xác định vai trò trách nhiệm nhà soạn thảo luật, nhwungx yếu tố cần quan tâm trình tự lập pháp, quy trình xây dựng dự luật cách khoa học… Cuốn sách trình bày kỹ soạn thảo văn cụ thể giúp nhà làm luật xây dựng đạo luật có hiệu + “Góp phần bàn cải cách pháp luật Việt Nam nay” Tiến sĩ Luật học Ngô Huy Cương Trong cơng trình này, tác giả trình bày tồn diện vấn đề lớn liên quan đến công cải cách pháp luật Chúng ta tìm thấy sách quan niệm cải cách pháp luật, kinh nghiệm số công cải cách pháp luật lớn giới, cần thiết cải cách pháp luật, khiếm khuyết hệ thống pháp luật nước ta nguyên nhân, định hướng lớn, cách thức cải cách, chiến lược lập pháp, quan điểm cải cách cụ thể lĩnh vực luật tư luật công - Những công trình nghiên cứu lĩnh vực lơgíc học, tốn học nghiên cứu phương pháp hình thức hố ứng dụng tư logic số lĩnh vực đời sống xã hội: + Giáo trình Lơgíc học đại cương Vương Tất Đạt; Giáo trình Lơgíc hình thức GS Bùi Thanh Quất làm chủ biên; Lơgíc học đại cương PGS.TS Nguyễn Anh Tuấn PGS.TS Nguyễn Thuý Vân Trong giáo trình này, tác giả trình bày đầy đủ, sâu sắc vấn đề Lơgíc học hình thức, phương pháp hình thức hố hình thức tư lơgíc Từ đó, người đọc cung cấp đầy đủ, chi tiết kiến thức hình thức tư như: khái niệm, phán đoán, suy luận cách suy diễn để đạt tri thức đắn phù hợp với thực tiễn khách quan Thực chất phán đoán đơn mệnh đề nhận định nguyên tắc có khả kiểm nghiệm giá trị chân lý chúng Phán đoán đơn sử dụng rộng rãi giao tiếp, suy nghĩ văn pháp luật Muốn có giá trị khoa học thực tiễn trước hết thân phán đoán phải phán đoán chân thực Để phán đoán chân thực, sử dụng phán đoán cần tránh số lỗi sau: + Phán đoán phản ánh sai lầm quan hệ chủ từ vị từ Phán đoán đơn cấu thành từ liên kết chủ từ vị từ khái niệm Trong phán đoán cụ thể, khái niệm nằm mối quan hệ xác định Nếu phán đoán phản ánh quan hệ phán đoán chân thực, ngược lại phán đoán sai lầm Do đó, để có phán đốn chân thực, thiết phải xác định xác quan hệ khái niệm tham gia vào phán đoán Việc cịn lại xây dựng phán đốn để biểu diễn quan hệ chúng Như vậy, sơ đồ quan hệ cho phán đoán chắn chân thực + Xây dựng sử dụng phán đốn đơn khơng xác định thời gian Đặc trưng tư hình thức giá trị logic tư có ý nghĩa xác định trạng thái tĩnh, có nghĩa phạm vi thời gian cụ thể mà ta xem xét Trong khoảng thời gian định, phán đốn chân thực, phán đốn sai làm điều kiện thời gian khác Vì vậy, sử dụng phán đoán để xây dựng quy phạm pháp luật thiết phải xác định nhận định nhà nước khoảng thời gian định, cho tư chặt chẽ, xác, không tư trở nên không xác định Chính lẽ đó, hệ thống pháp luật hành, văn pháp luật đời ghi rõ: “Văn có hiệu lực từ ngày ký (hoặc từ ngày … tháng … năm) Các văn khác trái với văn khơng có hiệu lực” Hoặc là: “Văn thay cho tất văn khác ban hành”… Thực chất quy định xác định hiệu lực mặt thời gian văn bản, làm cho quy phạm pháp luật văn có hiệu lực khung thời gian ấn định 94 + Sử dụng phán đoán khơng xác định xác khơng gian Tư hình thức phản ánh vật, tượng khơng gian xác định Chỉ có tính xác định tư hình thức trở nên rõ ràng, minh bạch phản ánh thực Cũng khoảng khơng gian xác định xác định tính chân thực hay giả dối phán đoán + Áp dụng phán đoán sai quan hệ Mỗi vật, tượng tồn mối liên hệ phổ biến Nhưng tư hình thức thời xem xét mặt, phương diện, mối quan hệ cụ thể vật Trên sở đó, phán đốn hình thức tư hình thức nhận định giới hạn mối quan hệ cụ thể đối tượng khn khổ quan hệ đó, giá trị logic phán đốn xác định cịn nhận định áp đặt cho mối quan hệ khác giá trị phán đốn thay đổi Do đó, cần phải xác định xác quan hệ áp dụng phán đốn để tạo giá trị chân thực cho phán đốn + Lỗi logic phán đoán phức Lỗi sử dụng phán đốn phức liên kết có phán đốn thành phần khơng chân thực Phán đoán phức liên kết tạo thành từ phán đốn đơn sở phép hội Cơng thức phép hội: H = a ˄ b Vì vậy, phán đốn liên kết chân thực tất phán đốn thành phần chân thực Ví dụ: Quyền kết hôn quyền dân công dân, theo nam, nữ có đủ điều kiện kết theo quy định pháp luật hôn nhân gia đình có quyền tự kết hơn; khơng bên ép buộc, lừa dối bên nào; không cưỡng ép cản trở Bằng phương pháp hình thức hóa, có cấu trúc đoạn văn trên: S = P1 ˄ P2 ˄ P3 Trong đó, P1: có quyền tự kết hôn; P2: không bên ép buộc bên nào, lừa dối bên nào; P3: không cưỡng ép cản trở Như vậy, hình thức, nội dung sau dấu “;” thành phần ngang hàng, nhiên thành phần thứ (P1) “quyền”, hưởng Thành phần thứ (P2) thứ (P3) nghĩa vụ, phải tuân thủ Dấu “;” vừa tham gia vào cấu trúc câu phức cách diễn đạt tác giả, lại vừa 95 đóng vai trò tham gia vào cấu trúc câu đầu niên câu thành câu liệt kê Để khắc phục lỗi logic cần đưa vào sau dấu “;” từ “nhưng” Ta có đoạn văn sửa sau: … có quyền tự kết hôn; không bên ép buộc, lừa dối bên nào; không cưỡng ép cản trở + Lỗi logic sử dụng phán đoán phân liệt Phán đoán phân liệt tạo thành từ phán đoán đơn sở sử dụng phép tuyển Phán đoán phân liệt chia thành hai loại tùy thuộc vào phép tuyển sử dụng với nghĩa lựa chọn tuyệt đối mang tính loại trừ hay lựa chọn tương đối khơng loại trừ Phán đốn phân liệt sử dụng phép tuyển tương đối phán đoán phức phân liệt liên kết Cấu trúc phán đoán phức phân liệt: T = a v b Phán đốn phức phân liệt liên kết chân thực có phán đốn thành phần chân thực Nó giả dối khơng có thành phần chân thực Cịn phán đốn phức phân liệt sử dụng phép tuyển tuyệt đối phán đoán phức phân liệt tuyệt đối Cấu trúc là: T = a v b Phán đoán phức phân liệt tuyệt đối chân thực có phán đốn thành phần chân thực Nó giả dối khơng có thành phần chân thực có từ hai thành phần chân thực trở lên Nói khác đi, chấp nhận phương án Do vậy, giới vô cùng, vơ tận, vật tượng mn màu, mn sắc, quan hệ xã hội chồng chéo, đối tượng nghiên cứu trở nên phức tạp Khái quát vội vàng dẫn đến quy kết chủ quan Đây sai lầm nguy hại việc xác định đối tượng điều chỉnh ngành luật; xây dựng văn quy phạm pháp luật thống nhất, không mâu thuẫn; hay điều tra, xét xử, việc nhận định, đánh giá sai lầm dẫn đến án oan bỏ xót tội phạm + Lỗi logic sử dụng phán đốn có điều kiện Phán đốn có điều kiện giả dối phán đoán nguyên nhân (điều kiện) chân thực cịn phán đốn hệ giả dối Cơng thức phán đốn có điều kiện: K = a → b Sai làm nhà làm luật áp dụng pháp luật sử dụng phán đoán có điều kiện nhằm dự báo, nhận định quan hệ nhân đối tượng nghiên cứu lại nhầm lẫn quan hệ nhân hệ nhân Họ nhận định quan hệ vốn không nhân – 96 quan hệ nhân – quả, từ dẫn đến xác định sai lầm nguyên nhân tượng nghiên cứu + Lỗi logic sử dụng phán đốn tương đương Cơng thức: a ↔ b = [(a → b) ˄ (b → a)] Phán đoán tương đương chân thực phán đoán thành phần giá trị, sai lầm hai thành phần trái giá trị Tức là, phán đoán tương đương tuân thủ theo nguyên tắc sai sai, đúng Điều cần lưu ý phán đốn thành phần khơng tương đương giá trị, chân lý mà cịn đồng phương diện nội dung Điều có nghĩa có a suy b ngược lại có b suy a + Lỗi logic sử dụng phán đoán phủ định Phán đoán phủ định phán đoán phức tạo thành nhờ thực phép phủ định phán đoán Khi sử dụng phán đoán phủ định nhiều dễ dẫn đến lỗi logic Từ phán đoán đơn, thực phép phủ định phủ định chất lượng Trong số trường hợp đặc biệt phủ định phán đốn đơn có chất chuyển sang chất đối lập, cịn lượng khơng thay đổi (vì chủ từ có đối tượng nên không thay đổi) Từ tượng đặc biệt với cách diễn đạt tiếng Việt khơng có phân biệt rõ ràng dấu hiệu phủ định tồn phán đốn phủ định chất hay phủ định vị từ chúng, dẫn đến nhầm lẫn đáng tiếc * Lỗi logic suy luận - Các lỗi logic suy luận trực tiếp + Lỗi logic suy luận đảo ngược mở rộng tính chu diên thuật ngữ kết luận so với tiền đề Suy luận trực tiếp dạng diễn dịch, tức rút kết luận cá biệt từ tiền đề nhận định khái quát Vì lẽ dạng diễn dịch kết luận không vượt tiền đề Nếu tiền đề, thuật ngữ khơng chu diên kết luận phải khơng chu diên Tuy nhiên, thuật ngữ tiền đề chu diên kết luận theo chiều hướng cá biệt hóa thành khơng chu diên hoàn toàn hợp logic Khi suy luận đảo ngược kết luận hẹp khả cho phép kết luận Tuy nhiên, suy luận đảo ngược có dấu hiệu mở rộng tính chu diên thuật ngữ sai lầm 97 + Lỗi logic suy luận trực hình vng logic Trong logic, người ta mơ tả quan hệ phán đốn đơn thuộc tính hình vng logic Căn vào tính chất quan hệ phán đốn, từ phán đốn biết suy tính chân thực hay giả dối phán đoán khác Tuy nhiên, thực tế khả suy đoán có giới hạn, khn khổ quy tắc xác định Trong thực tế vận dụng, dễ sai lầm vi phạm quy tắc + Suy luận sai logic nhận diện sai lầm phán đốn Các phán đốn dạng ngơn ngữ thông thường nhận diện nhờ từ đặc trưng cho cấu trúc nó, từ thể như: tất cả, mọi, thiểu số, đa số, nếu, vì, dẫn đến, thì, tương đương, khi… Tuy nhiên cách diễn đạt phán đốn ngơn ngữ tự nhiên nhiều vắng thiếu từ cụm từ báo hiệu cấu trúc Người ta cần phải nhận diện phán đốn thơng qua ý nghĩa, tính chất thơng tin hàm chứa phán đoán + Các lỗi logic suy luận có điều kiện suy luận phân liệt Thứ nhất: Suy luận thực chất sai sơ đồ logic Lỗi thường xuất người sử dụng nhớ khơng xác sơ đồ logic, áp dụng sơ đồ na ná, gần giống sơ đồ chuẩn quy vào sơ đồ chuẩn + Thứ hai: Đồng vô kết luận với suy luận Một suy luận tức suy luận hợp logic (tuân thủ theo quy tắc ứng với sơ đồ suy luận chuẩn đó) tiền đề tất yếu chân thực Từ hai điều kiện trên, suy luận cho kết luận tất yếu chân thực mà không cần trình chứng minh hay kiểm nghiệm khác Vậy suy luận hợp logic kết luận chưa tất yếu tiền đề khơng chân thực Cịn suy luận cho kết luận Trái lại suy luận cho kết luận chưa suy luận hợp logic, chưa suy luận Song thực tế, người hay bị chi phối thói quen tâm lý hiệu tức cuối tốt tốt Khi gặp kết luận đúng, người ta vội đồng kết luận với suy luận mà không chịu suy 98 xét cẩn thận Lâu ngày nếp tư sai logic trở nên ổn định, gây hậu cho hoạt động thực tiễn + Thứ ba: Suy luận sơ đồ logic kết luận vượt khả loại hình suy luận Về bản, người suy luận nắm kiến thức, kỹ tư logic Lập luận, suy nghĩ theo sơ đồ logic chuẩn Nhưng sơ suất xuất nhầm lẫn kết luận mang tính tuyệt đối kết luận khả dự báo Sai phạm thường xảy suy luận có điều kiện suy luận phân liệt mà sơ đồ logic cho kết luận tương đối, xác suất + Thứ tư: Lỗi không sử dụng hết khả loại hình suy luận cho phép Lỗi bị vi phạm mà từ sơ đồ logic chuẩn cho phép rút kết luận mang tính tuyệt đối chắn Nhưng nhà thực thi pháp luật lý hạn chê tư vơ tình hay lý cố ý rút kết luận hạn chế mang tính dự báo Lỗi trường hợp thông thường người ta thường tặc lưỡi bỏ qua Nhưng số trường hợp lỗi logic dẫn đến hậu khó lường - Những lỗi logic quy nạp Trong hoạt động xây dựng văn pháp luật cần tránh số lỗi logic quy nạp sau: Thứ nhất: Lỗi khái quát vội vàng, thiếu tiêu biểu Trên sở nghiên cứu số đối tượng, nhà làm luật rút kết luận cho tập hợp đối tượng Kết luận có xác suất cao đối tượng nghiên cứu đủ lớn đối tượng lựa chọn nghiên cứu mang tính ngẫu nhiên phải đảm bảo tính tiêu biểu, đặc trưng cho tập hợp đối tượng nghiên cứu Vi phạm yêu cầu trên, nhà làm luật rút kết luận không đáng tin cậy, lại sử dụng chân lý, từ dẫn đến sai lầm khác Thứ hai: Lỗi biến kết luận xác suất thành kết luận tất yếu Quy nạp kể thông thường hay khoa học cho kết luận mang tính xác suất Điều có nghĩa kết luận nhận định mang tính đốn, dự báo, cho dù độ xác cao đến đâu Nhà làm luật, lãng quên điều vơ tình biến dự 99 báo thành chân lý bất khả xâm phạm mà xây dựng nên điều luật trời, không vào sống Thứ ba: Lỗi logic bắt nguồn từ phép quy nạp, từ thơng tin khơng chất, bỏ sót điều kiện khách quan Khi nghiên cứu quan hệ xã hội để xác định quy phạm pháp luật điều chỉnh, nghiên cứu chưa sâu sắc, chưa đưa thông tin chất quan hệ xã hội mà áp dụng suy luận khoa học dẫn đến sai lầm Biểu phổ biến lỗi logic lỗi bỏ sót điều kiện, sót phương án, từ quy kết trở nên hồ đồ Do đó, dẫn đến tình trạng xuất văn pháp luật mâu thuẫn, chồng chéo nhau, khơng thống Tiểu kết chƣơng Phương pháp hình thức hóa đem đến cho người tri thức đắn đối tượng thời điểm định Thế giới vận động phát triển, không xem xét đối tượng hồn cảnh cụ thể người nhận thức chất đối tượng trạng thái xác định toàn trình phát triển đối tượng Vận dụng phương pháp hình thức hóa giúp người nhận thức đối tượng cách xác thời điểm quan hệ xác định đối tượng Trong đời sống xã hội, tất lĩnh vực, phương pháp hình thức hóa giúp người tiếp cận với chất vấn đề, khai thác đối tượng biến đổi chúng theo nhu cầu mục đích người Sự phát triển ngành khoa học, đặc biệt khoa học tự nhiên ngôn ngữ nhân tạo sử dụng lĩnh vực máy tính điện tử, phương pháp hình thức hóa đưa người bước vào thời đại văn minh xã hội loài người Khi sử dụng phương pháp hình thức hóa vào thẩm định tính logic mệnh đề văn pháp luật ta xác định cụ thể vấn đề tồn mệnh đề hệ thống văn pháp luật Việt Nam Với việc sử dụng phương pháp hình thức hóa sở tuân thủ yêu cầu quy tắc logic hình thức góp phần khắc phục hạn chế hướng tới xây dựng hệ thống văn pháp luật hoàn thiện 100 KẾT LUẬN Nhà nước pháp quyền nhà nước thượng tơn pháp luật việc tổ chức toàn đời sống kinh tế, xã hội quốc gia Nhà nước pháp quyền đòi hỏi hệ thống pháp luật hoàn thiện phù hợp với thực tiễn đời sống Xây dựng hệ thống pháp luật hồn thiện địi hỏi điều kiện tiên nhà nước pháp quyền Tuy nhiên, hệ thống pháp luật nước ta q trình hồn thiện phát triển cho phù hợp với yêu cầu thực tiễn Và q trình đó, hệ thống pháp luật nước ta có phát triển mạnh mẽ, với nhiều thành tựu to lớn cịn khơng hạn chế tồn văn pháp luật hành Một hạn chế lớn tính thiếu logic mệnh đề văn pháp luật Tính thiếu logic mệnh đề ngun nhân dẫn đến tình trạng mâu thuẫn, khơng thống nhất, không rõ ràng, thiếu hệ thống văn pháp luật nước ta Do đó, việc sử dụng phương pháp hình thức hóa cách thức để kiểm tra tính đắn văn pháp luật thông qua việc kiểm tra tính logic mệnh đề văn pháp luật yêu cầu cấp bách cần thiết Tuy nhiên, phương pháp hình thức hóa khơng phải công cụ vạn cho phép loại trừ sai phạm logic tư tưởng Phương pháp hình thức hóa phát huy tác dụng việc phát sai phạm logic chuỗi lập luận thẩm định tính chặt chẽ logic lập luận mà Tức là, chuỗi tư tưởng gắn kết theo trật tự logic định suy luận logic áp dụng phương pháp hình thức hóa nhằm thẩm định tính logic suy luận Nhưng, khơng dùng phương pháp hình thức hóa để kiểm tra chuỗi suy luận sai phạm logic khơng phát giá trị logic tư tưởng giai đoạn xác định không kiểm chứng Mặc dù nhiều hạn chế, những giá trị mà phương pháp hình thức hóa đem lại khơng nhỏ Nhờ việc ứng dụng phương pháp hình thức hóa mà hạn chế văn pháp luật phần phát giải góp phần hoàn thiện hệ thống văn pháp luật nước ta Vì vậy, việc ứng dụng phương pháp hình thức hố việc thẩm định tính lơgíc mệnh đề văn pháp luật có vai trị đặc biệt quan trọng Nó khơng 101 đáp ứng yêu cầu thực tiễn mà khoa học đặt ra, việc giải vấn đề liên ngành mà cụ thể vấn đề logic học luật học, từ mở hướng nghiên cứu cho ngành khoa học, giải vấn đề triết học thực tiễn Bên cạnh đó, nội dung mà đề tài nghiên cứu góp phần nâng cao chất lượng văn pháp luật nâng cao lực quản lý quan chức năng, hiệu thực thi văn pháp luật đời sống xã hội Tuy nhiên, hướng nghiên cứu mà luận văn hướng tới bước đầu nghiên cứu vấn đề liên ngành logic học luật học nên khơng tránh khỏi thiếu sót Vì vậy, kính mong nhận nhận xét, đóng góp quý thầy cô người quan tâm đến vấn đề để tác giả phát triển vấn đề nghiên cứu 102 DANH MỤC TÀI LIỆU THAM KHẢO Ann Seidman, Robert B Seidman (2003), Soạn thảo luật pháp tiến xã hội dân chủ, Nxb Chính trị quốc gia, Hà Nội Bộ luật dân nước cộng hoà xã hội chủ nghĩa Việt Nam (2006), Nxb Chính trị quốc gia, Hà Nội Bộ luật hình nước cộng hồ xã hội chủ nghĩa Việt Nam (2006), NXB Chính trị Quốc gia, Hà Nội Bộ luật lao động nước cộng hoà xã hội chủ nghĩa Việt Nam năm 1994 (2007), NXB Chính trị quốc gia, Hà Nội Trường Đại học Luật Hà Nội (2009), Nhà nước pháp luật, Nxb Công an nhân dân, Hà nội Ngô Huy Cương (2006), Dân chủ pháp luật dân chủ, Nxb Tư pháp, Hà Nội Ngô Huy Cương (2006), Góp phần bàn cải cách pháp luật Việt Nam, Nxb Tư pháp, Hà nội Hà Hùng Cường (2009), “Hoàn thiện hệ thống pháp luật đáp ứng yêu cầu xây dựng nhà nước pháp quyền XHCN”, Tạp chí nghiên cứu lập pháp, 139 – 140 (2 + 3), 17 – 25 Vương Tất Đạt, (2002), Logic học đại cương, Nxb Đại học quốc gia Hà nội, Hà nội 10 Đặng Thị Thuý Diệu (2008), Vấn đề quy luật tư logic học phương Tây, Luận văn thạc sĩ Triết học, Trường Đại học KHXH NV (ĐHQG Hà Nội), Hà Nội 11 Edgar Morin (2008), Phương pháp 4: tư tưởng: nơi cư trú, sống, tập tính, tổ chức tư tưởng, Nxb Đại học quốc gia Hà Nội, Hà Nội 12 E V Ilencôv (2003), Lôgic học biện chứng, Nxb Văn hố – Thơng tin, Hà Nội 13 Đỗ Ngọc Hải (2005), Tăng cường pháp chế xã hội chủ nghĩa hoạt động lập pháp, lập quy Việt Nam nay, Nxb Chính trị quốc gia, Hà Nội 14 Phan Mạnh Hân (1985), Kỹ thuật lập pháp, Nxb Pháp lý, Hà Nội 103 15 Hoàng Minh Hiếu, Trần Thị Ninh (2009), “Tiêu chí xem xét, đánh giá chương trình xây dựng luật, pháp lệnh”, Tạp chí nghiên cứu lập pháp, tập 143 (số 6), 10 – 15 16 Mai Thị Kim Huế (2009), “Một số quan điểm quan trọng luật ban hành văn quy phạm pháp luật năm 2008”, Tạp chí nghiên cứu lập pháp, tập138 (số 1), 28 – 32 17 Nguyễn Lai (1997), Những giảng ngôn ngữ học đại cương, tập 1, Nxb Đại học quốc gia Hà Nội 18 L.Montesquineu (1996), Tinh thần pháp luật, Nxb Giáo dục, Hà Nội 19 Luật ban hành văn quy phạm pháp luật (2008), Nxb Tư pháp, hà Nội 20 Luật giao thông đường (2009), NXB Tư pháp, Hà Nội 21 Luật hôn nhân gia đình năm 2000 (2006), Nxb Tư pháp, Hà Nội 22 Luật phịng, chống tham nhũng (2006), Nxb Chính trị Quốc gia, Hà Nội 23 Luật sở hữu trí tuệ (2010), NXB Lao động, Hà Nội 24 Luật thi hành án dân (2010), NXB Lao động, Hà Nội 25 Ngơ Đức Mạnh (2009), Tiếp tục hồn thiện quy trình, thủ tục làm việc Quốc hội, Tạp chí nghiên cứu Lập pháp, 141 (4), – 13 26 Hồ Chí Minh (2000), Bàn nhà nước pháp luật, Nxb Chính trị Quốc gia, Hà Nội 27 M.M.Rơđentan (1962), Nguyên lý logic biện chứng, Nxb Đại học Quốc gia Hà Nội, Hà Nội 28 Phan Thanh Quang (1995), Giai thoại toán học, tập 2, NXB Giáo dục, Hà Nội 29 Nguyễn Duy Quang (2008), Đại cương nhà nước pháp luật, Nxb ĐHQGHN, Hà Nội 30 Bùi Thanh Quất, Nguyễn Tuấn Chi (1994), Giáo trình logic học hình thức, Nxb Trường Đại học Tổng hợp, Hà nội 31 Hồng Thị Kim Quế (2005), Giáo trình lý luận chung nhà nước pháp luật Nxb ĐHQGHN, Hà nội 104 32 Bùi Ngọc Sơn (2005), Góp phần nghiên cứu hiến pháp nhà nước pháp quyền, Nxb Tư pháp, Hà Nội 33 Bùi Ngọc Sơn (2006), Những góc nhìn lập pháp, Nxb trị quốc gia, Hà Nội 34 Hà Thiên Sơn (1999), Mối quan hệ quy nạp diễn dịch nhận thức khoa học, LATS Triết học, Viện Triết học 35 Stép-tu-lin (1989), Phương pháp nhận thức biện chứng, Nxb Tiến Nxb Sự thật, Hà nội 36 Nguyễn Thanh Tân (2005), Logic vận động khái niệm tư lý luận, LATS Triết học, Trường Đại học khoa học xã hội nhân văn 37 Phạm Thái (1986), Bình luận luật hình (T1), Nxb Pháp Lý, Hà Nội 38 Tìm hiểu luật dân nước cộng hoà xã hội chủ nghĩa Việt Nam (2005), Nxb Thống kê, Hà nội 39 Trường Đại học Luật Hà nội (2006), Giáo trình luật dân Việt Nam, Nxb CAND, Hà Nội 40 Trường Đại học Luật Hà nội (2009), Giáo trình lý luận Nhà nước pháp luật, Nxb CAND, Hà Nội 41 Trường Đại học Luật Hà nội (2009), Giáo trình xây dựng văn pháp luật, Nxb CAND, Hà Nội 42 Trường Đại học Luật Hà nội (2013), Giáo trình luật hình Việt Nam, tập 1, Nxb CAND, Hà Nội 43 Nguyễn Anh Tuấn (2004), Ứng dụng logic học hình thức (trong quản lý hành nhà nước), Nxb Đại học quốc gia Thành phố Hồ Chí Minh, Thành phố Hồ Chí Minh 44 Lê Hùng Tiến (1999), Một số đặc điểm ngôn ngữ luật pháp tiếng Việt, Luận án Tiến sỹ Ngữ văn, Nxb Trường Đại học Khoa học xã hội nhân văn, Hà Nội 45 Nguyễn Thuý Vân, Nguyễn Anh Tuấn (2003), Logic học đại cương, Nxb Chính trị Quốc gia, Hà Nội 46 Nguyễn Thuý Vân, Tập giảng, Logic học luật pháp (Bản đánh máy) 105 47 Nguyễn Cửu Việt (2003), Giáo Trình lý luận chung nhà nước pháp luật, Nxb ĐHQGHN, Hà Nội 48.Nguyễn Cửu Việt (1997), Nhà nước Pháp luật đại cương, Nxb ĐHQGHN, Hà Nội 49 Vũ Văn Viên (1991), Logic học hình thức tư xác, Tạp chí Triết học, (4), 46 – 48 50 Vũ Văn Viên (1997), Vấn đề xác quy luật logic học hình thức, Tạp chí Triết học, tập 100 (số 6), 38-41 51 Vũ Văn Viên (2006), Tư logic phận hợp thành tư khoa học, Tạp chí Triết học, tập 187 (số12), 32-39 52 Vũ Văn Viên (1998), Triết học Aristotle, Nxb Khoa học xã hội, Hà Nội 106 ... CHƢƠNG TÍNH LOGIC CỦA CÁC MỆNH ĐỀ TRONG VĂN BẢN PHÁP LUẬT VÀ VIỆC ỨNG DỤNG PHƢƠNG PHÁP HÌNH THỨC HỐ VÀO THẨM ĐỊNH TÍNH LOGIC CỦA CÁC MỆNH ĐỀ ĐĨ 64 2.1 Tính logic mệnh đề văn pháp luật. .. quát vấn đề lý luận phương pháp hình thức hố, văn pháp luật tầm quan trọng việc ứng dụng phương pháp hình thức hóa xây dựng văn pháp luật + Thứ hai: Phân tích tính logic mệnh đề văn pháp luật +... luận văn trình ứng dụng phương pháp hình thức hố để thẩm định tính logic mệnh đề văn pháp luật - Phạm vi nghiên cứu: Phạm vi nghiên cứu phương pháp hình thức hố logic học hình thức văn pháp luật