Определимость

ОПРЕДЕЛИМОСТЬ – понятие методологии дедуктивных наук, связанное с выразимостью в рамках некоторой формальной системы одних понятий через другие. Говоря об определимости, имеют в виду те условия, при которых можно считать, что значение того или иного термина полностью или частично определено некоторой совокупностью предложений. Т.к. имена и предметные функторы выразимы посредством соответствующих предикатов, то вопрос об определимости дескриптивных терминов может быть сведен к вопросу об определимости предикатов.