在新的课程改革的背景中，高中阶段开设数理逻辑课程，本文将采用文献研究、理论研究、测验调查、专家访谈等方法，分别从数理逻辑的应用价值、思维价值以及文化价值等不同侧面论证了在高中阶段开设数理逻辑课程的必要性以及数理逻辑课程知识内容的选择，并且论证了所选择出的课程内容是否能实现高中阶段数理逻辑的教育价值。 本文所研究的问题主要包括：(1) 数理逻辑课程内容选择的理论依据：(2) 对现行教材进行分析，查找不足：(3) 试编教材并施测，对施测结果进行分析；(4) 对编制教材提出建议。 通过对以上问题的研究，得出以下主要结论：(1) 试编的教材可以较好的发展学生的符号感；(2) 测验的题目也具有较好的难度和区分度。 本次测查的内容主要涉及：数学知识与技能，主要关注学生对知识技能的理解和运用，而不是对知识的机械记忆和过分技巧性的使用。数学思考，主要关注学生在符号感、推理等方面的发展状况。解决问题能力，主要关注学生能否从数学角度理解问题，并能综合运用所学的知识和技能解决问题；是否具备解决问题的一些基本策略；等等。 在掌握了数理逻辑的知识后，再从数理逻辑的高度重新认识初等数学中的一些知识，就会有更深的理解，对初等数学的知识内容也更容易掌握，同时也会体验到初等数学知识与高等数学知识的统一。有利于课程的后继发展和课程学习的衔接性，高中数学课程内容，