Ứ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 Error! Bookmark not defined Cơ sở lý luận phương pháp nghiên cứu Error! Bookmark not defined Đối tượng phạm vi nghiên cứu Error! Bookmark not defined Ý nghĩa đề tài Error! Bookmark not defined Kết cấu Error! Bookmark not defined 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 Error! Bookmark not defined 1.1 Một số vấn đề lý luận phƣơng pháp hình thức hóa Error! Bookmark not defined 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 Error! Bookmark not defined 1.1.2 Phương pháp hình thức hóa phát triển logic học Error! Bookmark not defined 1.1.3 Sự biểu phương pháp hình thức hố qua số hình thức tư Error! Bookmark not defined 1.2 Một số vấn đề lý luận văn pháp luật Error! Bookmark not defined 1.2.1 Khái niệm văn pháp luật Error! Bookmark not defined 1.2.2 Những đặc điểm văn pháp luật Error! Bookmark not defined 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 Error! Bookmark not defined 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 độ hồn thiện văn pháp luật Error! Bookmark not defined 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 Error! Bookmark not defined 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 Error! Bookmark not defined Tiểu kết chƣơng Error! Bookmark not defined 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 ĐỀ ĐÓ Error! Bookmark not defined 2.1 Tính logic mệnh đề văn pháp luật Error! Bookmark not defined 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 Error! Bookmark not defined 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 Error! Bookmark not defined 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 Error! Bookmark not defined 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 Error! Bookmark not defined 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 Error! Bookmark not defined Tiểu kết chƣơng Error! Bookmark not defined KẾT LUẬN Error! Bookmark not defined DANH MỤC TÀI LIỆU THAM KHẢO 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 hoà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 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 hiệu quả, chưa toà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 chuyên 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 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à địi hỏi có tính ngun 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 trình xây dựng hoà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ế 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 hoá ứ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 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 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), Ngun 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 Hoà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 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) 10 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 11