逻辑学家（）从符号逻辑的水平首先确认了不分明性。