2.逻辑学与命名语言学