TTLV: Applying the formalization method in assessing the logical consistency of propositions in legal texts.

INFORMATION ABOUT THE MASTER'S THESIS

1. Student's full name: Nguyen Thi Thu 2. Gender: Female

3. Date of birth: July 12, 1987

4. Place of birth: Quat Lam - Giao Thuy - Nam Dinh

5. Decision on student admission No. 1528/2009/QD-XHNV-KH&SDH dated October 14, 2009, by the Rector of the University of Social Sciences and Humanities, Vietnam National University, Hanoi.

6. Changes in the training process: none

7. Thesis title: “Applying the formalization method to assess the logical consistency of propositions in legal texts."

8. Major: Philosophy; Code: 60.22.80

9. Scientific supervisor: Assoc. Prof. Dr. Nguyen Thuy Van, Head of the Philosophy Department, Faculty of Social Sciences and Humanities, Vietnam National University, Hanoi.

10. Summary of the thesis results:

+ An overview of the basic theoretical issues of the formalization method and its role in cognitive and practical activities.

+ Present some general theoretical issues regarding legal documents.

+ Analyzing the application of formalization methods to assessing the logical consistency of legal documents in Vietnam.

11. Practical applications: This topic can be used as a reference for students majoring in logic, law, and related fields.

12. Future research directions: Logic in law, the rule of law.

13. Published works related to the thesis: None

INFORMATION ON MASTER'S THESIS

1. Full name: NGUYEN THI THU 2. Sex: Female

3. Date of birth: July 12, 1987 4. Place of birth: Nam Dinh

5. Admission decision number: 1528/2009/QD-XHNV-KH - SĐH. Dated: October 14, 2009 of The Rector of University of Social Sciences and Humanities, Vietnam National University, Hanoi

6. Changes in academic process: No change

7. Official thesis title: The application of formalization method in the evaluation of logic of the clause in the legal documents.

8. Major: Philosophy 9. Code: 60.22.80

9. Supervisors: Assoc. Pro. Dr. Nguyen Thuy Van, University of Social Sciences and Humanities, Vietnam National University, Hanoi.

10. Summary of the findings of the thesis:

- Generalizing the basic theoretical issues of formalization method and its role in cognition and practical activities.

- Presenting some general theoretical issues in legal documents.

- Analyzing the application of formalization method in the evaluation of logic of the legal documents legal documents in Vietnam.11. Practical applicability: The thesis can be used as reference for students of logic, law and some other deparments

12. Further research directions: Logic of Law, rule of law…

13. Thesis-related publications: no