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.03.01

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.03.01

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

10. 论文研究结果总结：

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

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

- 分析形式化方法在越南法律文件逻辑评估中的应用。

11. 实际应用价值：该论文可作为逻辑学、法学及其他一些专业学生的参考资料。

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

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