Про логику - есть логика формальная, нечеткая, с исключенным третьим или включенным.
Некоторые предлагают диалектическую логику, я пытаюсь приспособить гистерезисную логику с учетом первой производной изменения состояния.
Правило бритвы Окамма позволяет уменьшать количество используемых предпосылок, но без него существующее является функцией от всех элементов. Просто, некоторые элементы с бесконечно близкими к 0 коэффициентами :-)
Т.е. агностики тоже не на пустом месте появились. Но прогноза на их подходе, когда разрешено все, что не запрещено не выработать...