不揣固陋,大胆回答一下,仅供参考：顾名思义,形式语义学是以逻辑为基础的新型语义学,而逻辑又有一阶逻辑和高阶逻辑之分,所以一阶语言很可能就是指形式语义学中的一阶逻辑语言,即经典逻辑,特别是形式逻辑和谓词逻辑的语言.学识浅陋,如不当请见谅!