宋文坚、周北海、刘壮虎、叶峰参加“2007年全国现在逻辑学术讨论会”。此次会议由中国逻辑学会现代逻辑委员会和燕山大学文法学院联合主办。周北海、刘壮虎、叶峰分别在研讨会上作学术报告《名与指称——从场景的观点看》、《自动扩展和修正的知识系统》和《克里普克模态性的一个自然主义模型》