«На обсуждение проблем объяснения в русле традиции аналитической философии оказала решающее влияние классическая статья К. Г. Гемпеля «Роль общих законов в истории», опубликованная в 1942 году в «The Journal of Philosophy». Концепции объяснения, аналогичные гемпелевской, уже выдвигались логическими позитивистами и другими представителями аналитической философии. По существу, все эти концепции являются вариантами теории объяснения, выдвинутой еще классическим позитивизмом, в частности Миллем.
Ретроспективно кажется почти иронией судьбы то, что наиболее полная и ясная формулировка позитивистской теории объяснения была разработана применительно к области, для которой эта теория подходит, очевидно, в наименьшей степени, а именно к области истории. Но может быть, именно поэтому гемпелевская статья породила такое огромное количество споров и дискуссий.
Теория Гемпеля получила известность как модель (или теория) объяснения посредством закона. Это название принадлежит одному из критиков данной теории Уильяму Дрею. Другое и, может быть, более удачное название ее – «подводящая» теория объяснения.
В ряде последующих публикаций Гемпель расширил, разъяснил и несколько модифицировал свои первоначальные воззрения. Он также провел различие между двумя подмоделями общей модели объяснения посредством охватывающего закона. Мы будем называть их дедуктивно-номологической и индуктивно-вероятностной моделями. Первую можно схематически описать следующим образом.
Пусть E будет событием, имеющим место и нуждающимся в объяснении. Почему произошло E? Чтобы ответить на этот вопрос, мы указываем на некоторые другие события или положения дел Е1,…, Em и на одно или несколько общих суждений или законов L1,…, Ln, таких, что из этих законов и того факта, что имеют место (существуют) другие события (положения дел), логически следует Е.
В приведенном схематическом описании дедуктивно-номологической модели Гемпеля Е называется экспланандумом или экспликандумом. Я буду называть его также объектом объяснения. Е1,…, Еm я буду называть экспланансом или экспликатом. Можно назвать их также базисом объяснения. L1,…, Ln представляют собой «охватывающие законы», под которые при объяснении подводятся эксплананс и экспланандум.»
Аксиома о возможности графа.