- Ứ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. - Hà Nội - 2014. - PHƢƠNG PHÁP HÌNH THỨC HOÁ VÀ VĂN BẢN PHÁP LUẬT. - Một số vấn đề lý luận về phƣơng pháp hình thức hóa. - Phương pháp hình thức hoá và những yêu cầu của phương pháp hình thức hóa. - Phương pháp hình thức hóa trong sự phát triển của logic học. - Sự biểu hiện phương pháp hình thức hoá qua một số hình thức cơ bản của tư duy. - Một số vấn đề lý luận về văn bản pháp luật Error! Bookmark not defined.. - Khái niệm văn bản pháp luật. - Những đặc điểm cơ bản của văn bản pháp luật. - Một số yêu cầu về nội dung và ngôn ngữ văn bản pháp luật nhìn từ góc độ logic học. - Tính tất yếu của 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 của các văn bản pháp luật. - Những yêu cầu về mặt logic để xác định chất lượng của các văn bản pháp luật. - Tầm quan trọng của việc ứng dụng phương pháp hình thức hóa vào kiểm tra tính hoàn thiện của hệ thống văn bản pháp luật. - 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 HOÁ VÀO THẨM ĐỊNH TÍNH LOGIC CỦA CÁC MỆNH ĐỀ ĐÓ. - Tính logic của các mệnh đề trong văn bản pháp luật. - Yêu cầu gắn kết hình thức của các mệnh đề văn bản pháp luật với nội dung cần phản ánh. - Yêu cầu đảm bảo tính nhất quán, tính không mâu thuẫn, tính xác định và tính có căn cứ trong các văn bản pháp luật. - Các bƣớc dùng phƣơng pháp hình thức hoá để thẩm định tính logic của mệnh đề trong các văn bản pháp luật . - Chuyển đổi nội dung của các mệnh đề trong văn bản pháp luật sang hình thức tư tưởng và mã hoá chúng. - Dùng lý thuyết của phương pháp hình thức để kiểm tra tính đúng đắn của nội dung và hình thức thể hiện của văn bản Error! Bookmark not defined.. - Sự liên kết và bổ sung giữa hai lĩnh vực khoa học này thể hiện sự liên kết tất nhiên và là sự bổ sung cần thiết cho nhau ở hai khía cạnh cơ bản: thứ nhất, logic học giúp tinh chỉnh tính hợp logic và đúng đắn của các văn bản pháp luật. - thứ hai, chính sự vận động của thực tiễn và những vấn đề mới liên tục phát sinh trong lĩnh vực pháp luật đặt ra yêu cầu các nhà logic học nhiệm vụ xây dựng các phương pháp tư duy khoa học mới để giúp con người tiến hành các hoạt động nhận thức và cải tạo thế giới có hiệu quả.. - Trong lĩnh vực luật pháp, hoạt động xây dựng và ban hành các văn bản pháp luật là hoạt động chủ yếu. - Văn bản pháp luật có tác động trực tiếp và sâu sắc đến hiệu lực, hiệu quả quản lý nhà nước. - Do đó, nâng cao chất lượng của các văn bản pháp luật được xác định là một trong những biện pháp quan trọng để tăng cường năng lực hoạt động của các cơ quan nhà nước và nâng cao tính hiệu quả của việc áp dụng các văn bản pháp luật trong thực tiễn đời sống. - quả và đúng đắn của việc xây dựng một hệ thống pháp luật hoàn chỉnh. - Nó đóng vai trò như là công cụ để thẩm định tính đúng đắn của các văn bản pháp luật về mặt logic cũng như sự đúng đắn, phù hợp của văn bản pháp luật đó với hiện thực cuộc sống.. - Trên thực tế, nhiều văn bản pháp luật được xây dựng ở nước ta trong những năm gần đây còn nhiều điểm bất cập như: thiếu tính thực tiễn, không chặt chẽ, chính xác, mâu thuẫn với những văn bản pháp luật đã ban hành hoặc không điều chỉnh được hết những vấn đề mới nảy sinh trong sự vận động của các quan hệ xã hội..v.v. - Vì thế, khi áp dụng vào thực tiễn, những văn bản pháp luật này khó đi vào cuộc sống, hiệu quả áp dụng không cao. - Nhiều mệnh đề trong các văn bản không rõ ràng dẫn đến những cách hiểu và áp dụng khác nhau. - Đây chính là những “lỗ hổng” của pháp luật, là cơ hội để những người thực hiện pháp luật có thể lách luật theo cách có lợi để đạt được mục đích của mình… Điều đó cho thấy hệ thống văn bản pháp luật ở nước ta hiện nay còn kém hiệu quả, chưa toàn diện, chưa thực sự đáp ứng được yêu cầu của thực tiễn. - Vậy làm thế nào để tạo ra được những văn bản pháp luật có tính chuyên nghiệp cao, đảm bảo tính hiệu quả khi đi vào cuộc sống? Một trong những cách thức để giải quyết vấn đề này là vận dụng đúng đắn các phương pháp và quy luật logic vào việc xây dựng và thẩm định tính logic của các văn bản pháp luật, cụ thể là ứng dụng phương pháp hình thức hóa. - Việc hình thức hoá các văn bản pháp luật có tác động rất quan trọng, nó vừa giúp kiểm tra sự tường minh, chính xác về mặt nội dung của các văn bản pháp luật, đồng thời nó đảm bảo sự cụ thể hóa các văn bản luật thành các văn bản dưới luật được chính xác, cụ thể và nhờ thế đảm bảo tính hiệu quả trong quá trình ban hành và thực hiện.. - Vì những lý do trên, tôi chọn đề tài: “Ứng dụng phương pháp hình thức hoá 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” để nghiên cứu. - Theo chúng tôi, đây không chỉ là một nhu cầu cấp thiết về mặt lý luận mà còn là một đòi hỏi có tính nguyên tắc của thực tiễn xây dựng pháp luật ở nước ta hiện nay. - Việc ứng dụng phương pháp hình thức hoá vào 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 là một nhu cầu cấp thiết. - Những công trình nghiên cứu trong lĩnh vực luật pháp và các văn bản pháp luật. - Lĩnh vực luật học nghiên cứu rất nhiều vấn đề, nhưng trong phạm vi nghiên cứu của mình, luận văn tập trung nghiên cứu các vấn đề liên quan đến văn bản pháp luật, các luật và các bộ luật cụ thể:. - Giáo trình xây dựng văn bản pháp luật của trường Đại học Luật Hà Nội, Nhà xuất bản Công an nhân dân. - Giáo trình đã lý giải được những vấn đề cơ bản về văn bản pháp luật và những vấn đề thuộc về kỹ thuật pháp lý trong việc xây dựng văn bản pháp luật, bao gồm: kỹ thuật xây dựng văn bản quy phạm pháp luật, xây dựng văn bản áp dụng pháp luật, xây dựng văn bản hành chính và kiểm tra, xử lý văn bản hành chính. - Cách tiếp cận của giáo trình này đã góp phần nâng cao chất lượng của văn bả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” của tác giả Phan Mạnh Hân, Nhà xuất bản Pháp lý, xuất bản năm 1985. - Trong cuốn sách này, tác giả đã trình bày những vấn đề về kỹ thuật lập pháp, văn bản pháp quy, các trình bày các quy phạm pháp luật, ngôn ngữ, cách hành văn và tính logic của các văn bản pháp quy và hệ thống hóa các văn bản pháp quy. - Đặc biệt trong phần IV, tác giả đã phân tích khá chi tiết những yêu cầu về cách dùng chữ, cách đặt vấn đề và bố cục rõ ràng, mạch lạc khi xây dựng văn bản pháp quy.. - Luận án đã tập trung miêu tả các đặc điểm của ngôn ngữ luật pháp như: từ vựng, ngữ pháp và văn bản trong văn bản luật pháp tiếng Việt trong sự so sánh với văn bản luật pháp tiếng Anh. - nét khái quát nhất về tình hình làm luật pháp và hệ thống pháp luật Việt Nam, từ đó chỉ ra những hạn chế còn tồn tại trong hệ thống pháp luật Việt Nam.. - Nội dung cuốn sách đề cập đến những vấn đề về phương pháp và kỹ thuật lập pháp, xác định vai trò và trách nhiệm của nhà soạn thảo luật, nhwungx yếu tố cần quan tâm trong trình tự lập pháp, quy trình xây dựng dự luật một cách khoa học… Cuốn sách đã trình bày những kỹ năng soạn thảo văn bản cụ thể giúp các nhà làm luật có thể xây dựng được một đạo luật có hiệu quả.. - “Góp phần bàn về cải cách pháp luật ở Việt Nam hiện nay” của 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 khá toàn diện các vấn đề lớn liên quan đến công cuộc cải cách pháp luật. - Chúng ta có thể tìm thấy trong cuốn sách này các quan niệm về cải cách pháp luật, kinh nghiệm của một số công cuộc cải cách pháp luật lớn trên thế giới, sự cần thiết cải cách pháp luật, các khiếm khuyết của hệ thống pháp luật của nước ta và các nguyên nhân, các định hướng lớn, cách thức cải cách, chiến lược lập pháp, các quan điểm cải cách cụ thể trong cả lĩnh vực luật tư và luật công.. - Những công trình nghiên cứu trong lĩnh vực lôgíc học, toán học nghiên cứu về phương pháp hình thức hoá và sự ứng dụng tư duy logic trong một số lĩnh vực của đời sống xã hội:. - Giáo trình Lôgíc hình thức do GS. - Trong những giáo trình này, các tác giả đã trình bày đầy đủ, sâu sắc những vấn đề cơ bản của Lôgíc học hình thức, phương pháp hình thức hoá cũng như những hình thức tư duy lôgíc. - Từ đó, người đọc được cung cấp đầy đủ, chi tiết những kiến thức cơ bản về các hình thức của tư duy như: khái niệm, phán đoán, suy luận cũng như những cách suy diễn để đạt được tri thức đúng đắn phù hợp với thực tiễn khách quan.. - Seidman (2003), Soạn thảo luật pháp vì tiến bộ xã hội dân chủ, Nxb Chính trị quốc gia, Hà Nội.. - Bộ luật dân sự 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 sự của 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 lao động của nước cộng hoà xã hội chủ nghĩa Việt Nam năm NXB Chính trị quốc gia, Hà Nội. - Trường Đại học Luật Hà Nội (2009), Nhà nước và pháp luật, Nxb Công an nhân dân, Hà nội.. - Ngô Huy Cương (2006), Dân chủ và 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 về 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 . - 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.. - Đặng Thị Thuý Diệu (2008), Vấn đề quy luật cơ bản của tư duy trong logic học phương Tây, Luận văn thạc sĩ Triết học, Trường Đại học KHXH và NV (ĐHQG Hà Nội), Hà Nội.. - Edgar Morin (2008), Phương pháp 4: tư tưởng: nơi cư trú, cuộc sống, tập tính, tổ chức của tư tưởng, Nxb Đại học quốc gia Hà Nội, Hà Nội.. - Ilencôv (2003), Lôgic học biện chứng, Nxb Văn hoá – Thông tin, Hà Nội.. - Đỗ Ngọc Hải (2005), Tăng cường pháp chế xã hội chủ nghĩa trong hoạt động lập pháp, lập quy ở Việt Nam hiện nay, Nxb Chính trị quốc gia, Hà Nội.. - Phan Mạnh Hân (1985), Kỹ thuật lập pháp, Nxb Pháp lý, Hà Nội. - Mai Thị Kim Huế (2009), “Một số quan điểm mới quan trọng của luật ban hành văn bả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ố . - Nguyễn Lai (1997), Những bài giảng về ngôn ngữ học đại cương, tập 1, Nxb Đại học quốc gia Hà Nội. - L.Montesquineu (1996), Tinh thần pháp luật, Nxb Giáo dục, Hà Nội.. - Luật ban hành văn bản quy phạm pháp luật (2008), Nxb Tư pháp, hà Nội 20. - Luật giao thông đường bộ (2009), NXB Tư pháp, Hà Nội.. - Luật hôn nhân và gia đình năm Nxb Tư pháp, Hà Nội.. - 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.. - Luật thi hành án dân sự (2010), NXB Lao động, Hà Nội. - Hồ Chí Minh (2000), Bàn về nhà nước và pháp luật, Nxb Chính trị Quốc gia, Hà Nội.. - 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.. - Phan Thanh Quang (1995), Giai thoại toán học, tập 2, NXB Giáo dục, Hà Nội 29. - ĐHQGHN, Hà Nội.. - 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.. - Hoàng Thị Kim Quế (2005), Giáo trình lý luận chung về nhà nước và pháp luật. - Nxb ĐHQGHN, Hà nội.. - Bùi Ngọc Sơn (2005), Góp phần nghiên cứu hiến pháp và nhà nước pháp quyền, Nxb Tư pháp, Hà Nội.. - Bùi Ngọc Sơn (2006), Những góc nhìn lập pháp, Nxb chính trị quốc gia, Hà Nội.. - Stép-tu-lin (1989), Phương pháp nhận thức biện chứng, Nxb Tiến bộ và Nxb Sự thật, Hà nội.. - Phạm Thái (1986), Bình luận bộ luật hình sự (T1), Nxb Pháp Lý, Hà Nội.. - Tìm hiểu bộ luật dân sự của nước cộng hoà xã hội chủ nghĩa Việt Nam (2005), Nxb Thống kê, Hà nội.. - Trường Đại học Luật Hà nội (2006), Giáo trình luật dân sự Việt Nam, Nxb CAND, Hà Nội.. - Trường Đại học Luật Hà nội (2009), Giáo trình lý luận Nhà nước và pháp luật, Nxb CAND, Hà Nội.. - Trường Đại học Luật Hà nội (2009), Giáo trình xây dựng văn bản pháp luật, Nxb CAND, Hà Nội.. - Trường Đại học Luật Hà nội (2013), Giáo trình luật hình sự Việt Nam, tập 1, Nxb CAND, Hà Nội.. - Lê Hùng Tiến (1999), Một số đặc điểm của 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 và nhân văn, Hà Nội.. - 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.. - Nguyễn Cửu Việt (2003), Giáo Trình lý luận chung về nhà nước và pháp luật, Nxb ĐHQGHN, Hà Nội.. - Nguyễn Cửu Việt (1997), Nhà nước và Pháp luật đại cương, Nxb ĐHQGHN, Hà Nội.. - Vũ Văn Viên (1991), Logic học hình thức và tư duy chính xác, Tạp chí Triết học . - Vũ Văn Viên (1998), Triết học Aristotle, Nxb Khoa học xã hội, Hà Nội.