真概念 空类 虚假概念 概念认识 逻辑理论 逻辑特征 现实世界 未现概念 虚概念 可能世界 指导人 特有属性 已现概念 外延 形式逻辑