基础理论知识主要包括形式逻辑，辩证逻辑，（）和数学逻辑。