任教宁大后潜心研究逻辑学