Словарь логики

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