В работе исследуется проблема пополнения частичной информации о нечетких значениях истинности формул первого порядка на алгебраической системе. Предложен семантический подход к нечеткой логике. Данный подход основан на построении нечетких моделей и обобщенных нечетких моделей при помощи фазификации булевозначных моделей.