Причина такой отчужденности от практики, экспериментальной проверки состоит в том, что логика

Однако, для того, чтобы данный логический аппарат можно было использовать, обязательно должно быть выполнено условие о том, что все субъекты и предикаты, понятия всех высказываний, участвующих в конкретном исчислении, должны принадлежать одному универсуму. Универсумом (и) называется множество такое, что все рассматриваемые в системе множества (понятия) являются подмножествами и [38, с.44]. Другими словами, каждый субъект или предикат, участвующий в исчислении высказываний, должен представлять собой элемент подмножества (подмножество) одного, общего для всех них множества - универсума. Это условие, с легкостью выполняемое, например, в математике, является огромной проблемой для любой гуманитарной науки. Преодоление этой проблемы является важным шагом на пути достижения любой наукой высоты науки теоретической.

Было бы неверным думать, что все научные теории разрабатывались с использованием исчисления предикатов. Многие теоретики в работе довольствовались своим представлением о правильности, здравым смыслом, которые, в свою очередь, хоть и в неявном виде, опираются на логику. Ведь именно логика контролирует правомерность того, что строится с помощью понятий.

Более того, всякая теория для своего изложения использует язык, который сам по себе является логической структурой. Таким образом, логичность языка также даёт теории логическое основание.