notion在逻辑学中如何翻译