形式逻辑研究的对象决定了它既不是有关世界观的学问，也不是给人们提供有关自然和社会的具体知识的具体科学，而是一门类似语法的工具性的科学