一、语义解释中的解释论循环