模态逻辑
南开大学逻辑学专业由著名哲学家、逻辑学家温公颐先生所创建
南开大学逻辑学专业由著名哲学家、逻辑学家温公颐先生所创建,是目前国内高校中仅有的两个在本科阶段所设的逻辑学专业之一,属于国家文科人才培养基地中的重点专业。逻辑学专业现有教师8人(教授6人。副教授1人,讲师1人),在学本科生60余人
逻辑学专业学生主要学习逻辑学、数学、计算机科学和哲学方面的基
逻辑学专业学生主要学习逻辑学、数学、计算机科学和哲学方面的基本理论和基础知识,受到公理化方法、形式化方法和语义分析方面的基本训练,具有专业研究的基本能力。 数学分析、高等代数、抽象代数、概率统计、逻辑导论、数理逻辑、集合论、模态逻辑、归纳逻辑、应用逻辑、逻辑史、逻辑哲学、中国逻辑史、西方逻辑史、现代逻辑思想史、程序语言设计、操作系统等。 本专业培养具备系统的逻辑学基础知识,一定的数学素养以及计算机理论和操作能力,能在高等院校、科研单位、国家机关及企事业管理部门从事逻辑学的教学、科研和应用方面的工作,并能从事计算机科学和语言学的科研和应用方面相关工作的逻辑学高级专门人才