狭义逻辑学的对象