形式逻辑研究的对象及其特点决定形式逻辑是一门（）性学科，它是没有（）性的。