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