形式逻辑属于社会科学，是一门以思维的基本形式