БРИТВА ОККАМА

- методологический принцип, сформулированный англ, философом и логиком У. Оккамом и требующий устранения из науки всех понятий, не являющихся интуитивно очевидными и не поддающихся проверке в опыте: "Сущности не следует умножать без необходимости". У. Оккам, средневековый англ. философ и логик, направлял этот принцип против распространенных в то время попыток объяснить новые явления введением разного рода "скрытых качеств", ненаблюдаемых "сущностей", таинственных "сил" и т. п. "Б. О." может рассматриваться как одна из первых ясных формулировок принципа простоты, требующего использовать при объяснении определенного круга эмпирических фактов возможно меньшее количество независимых теоретических допущений. Принцип простоты проходит через всю историю естественных наук. Многие крупнейшие естествоиспытатели указывали, что он неоднократно играл руководящую роль в их исследованиях. В частности, Ньютон выдвигал особое методологическое требование "не излишествовать" в причинах при объяснении явлений.

Вместе с тем понятие простоты не является однозначным (простота в смысле удобства манипулирования, легкости изучения;

простота допущений, лежащих в основе теоретического обобщения; независимость таких допущений и т. д.). Неочевидно также, что само по себе стремление к меньшему числу посылок непосредственно связано с повышением эмпирической надежности теоретического обобщения.

В логике стремление к "экономии исходных допущений" выражается в требовании независимости: ни одна из принятых аксиом не должна выводиться из остальных. Это относится и к принимаемым правилам вывода.

С "Б. О." определенным образом связано и следующее обычное требование к доказательству: в числе его посылок не должно быть "лишних утверждений", т. е. утверждений, не используемых прямо при выведении доказываемого тезиса. Это требование "экономии посылок" не является, конечно, необходимым. Оно не представляется также достаточно ясным и не включается в само определение доказательства. Доказательство с "излишними" или чересчур сильными посылками в каком-то смысле несовершенно, но оно остается доказательством.