TTLV：应用形式化方法评估法律文本中命题的逻辑一致性。

硕士论文相关信息

1. 学生姓名：阮氏秋 2. 性别：女

3. 出生日期：1987年7月12日

4. 出生地：Quat Lam - Giao Thuy - Nam Dinh

5. 2009 年 10 月 14 日，越南河内国家大学社会科学与人文学院院长签发的第 1528/2009/QD-XHNV-KH&SDH 号学生录取决定。

6. 培训流程变更：无

7. 论文题目：“运用形式化方法评估法律文本中命题的逻辑一致性。“

8. 专业：哲学；代码：60.22.80

9. 科学导师：越南河内国家大学社会科学与人文学院哲学系主任阮翠云副教授博士。

10. 论文研究结果总结：

+ 概述形式化方法的基本理论问题及其在认知和实践活动中的作用。

+ 提出一些有关法律文件的普遍理论问题。

+ 分析形式化方法在评估越南法律文件逻辑一致性方面的应用。

11. 实际应用：本主题可作为逻辑学、法律及相关专业学生的参考资料。

12. 未来研究方向：法律逻辑、法治。

13. 与论文相关的已发表作品：无

硕士论文相关信息

1. 姓名：阮氏秋 (NGUYEN THI THU) 2. 性别：女

3. 出生日期：1987年7月12日 4. 出生地：南定

5. 录取决定编号：1528/2009/QD-XHNV-KH - SĐH。日期：2009年10月14日。越南河内国家大学社会科学与人文学院院长签发。

6. 学术流程变化：无变化

7. 正式论文题目：形式化方法在法律文件条款逻辑评估中的应用。

8. 专业：哲学 9. 代码：60.22.80

9. 指导老师：副教授阮翠云博士，越南河内国家大学社会科学与人文学院。

10. 论文研究结果总结：

- 概括形式化方法的基本理论问题及其在认知和实践活动中的作用。

- 介绍法律文件中的一些一般性理论问题。

- 分析形式化方法在越南法律文件逻辑评估中的应用。11. 实际应用价值：该论文可作为逻辑学、法学及其他一些专业学生的参考资料。

12. 进一步研究方向：法律逻辑、法治……

13. 与论文相关的出版物：无