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

Это различие выдает еще одно, более глубокое. Верификация Карнапа направлена снизу вверх: делай наблюдения и смотри, как они подтверждают или верифицируют более общее утверждение. Фальсификация Поппера направлена сверху вниз: сначала сформируй теоретическое утверждение, а затем выводи следствия и проверяй их на истинность.

Карнап действует в рамках традиции, ставшей общепринятой начиная с семнадцатого века и полагавшей, что наука является индуктивной по своей природе. Исходно это обозначало, что исследователь должен делать точные наблюдения, проводить аккуратные эксперименты, честно записывать результаты, затем делать обобщения и проводить аналогии, постепенно вырабатывая гипотезы и теории, все время разрабатывая новые понятия для того, чтобы осмысливать и организовывать факты. Если теории выдерживают последующие проверки, значит, они содержат некоторые знания о мире. Мы даже можем прийти к основополагающим законам природы. Философия Карнапа — это форма такого подхода, принадлежащая двадцатому веку. Карнап думал о наших наблюдениях как об основаниях нашего знания и провел свои последние годы в попытках изобрести индуктивную логику, которая объяснила бы, как наблюдаемое свидетельство может поддерживать разнообразные гипотезы.

Существует более ранняя традиция. Древнегреческий рационалист Платон восхищался геометрией, но не думал так лестно о высокоразвитых металлургии, медицине или астрономии своих дней. Это преклонение перед дедукцией сохранилось в учении Аристотеля: подлинное знание, то есть наука, заключается в выведении следствий из исходных принципов с помощью доказательства. Поппер питал отвращение к идее исходных принципов, но его часто называют дедуктивистом, потому что он считал, что есть только одна логика — дедуктивная. Поппер соглашался с Дэвидом Юмом, который в 1739 году выдвинул тезис о том, что наше стремление к обобщению опыта является лишь психологической склонностью. Такая склонность не может служить основанием для индуктивного обобщения, так же как склонность молодого человека не доверять своему отцу не является основанием доверять первому больше, чем второму. Согласно Попперу, рациональность науки не имеет ничего общего с тем, как хорошо наш опыт поддерживает наши гипотезы. Рациональность, полагает он, — суть метода, а метод, заключается в выдвижении гипотез и их опровержении. Образуем далеко идущие предположения о мире, выведем из них некоторые наблюдаемые следствия. Проверим, истинны ли они. Если да, проведем другие проверки. Если нет, пересмотрим предположения или, еще лучше, придумаем новые.

Согласно Попперу, мы можем сказать, что гипотеза, прошедшая множество проверок, является подкрепленной (corroborated), но это не значит, что она хорошо поддерживается эмпирической очевидностью. Это означает лишь, что эта гипотеза удержалась на плаву в бурном море критических проверок. Карнап, напротив, пытался создать теорию подтверждения, анализируя то, как соответствие с эмпирическими данными делает гипотезу более вероятной. Сторонники Поппера упрекают сторонников Карнапа за то, что те не создали жизнеспособной теории подтверждения (confirmation). Те же, в отместку, говорят, что разговоры Поппера о подкреплении либо пусты, либо являются скрытым способом ввести в обсуждение понятие подтверждения.

Карнап думал, что концепции значения и теория языка важны для философии науки. Поппер презирал эти проблемы как схоластические. Карнап предпочитал верификацию как средство для отличения науки от ненауки. Поппер поддерживал фальсификацию. Карнап пытался сформулировать хорошие основания для такого различения в терминах теории подтверждения, а Поппер считал, что рациональность заключается в методе. Карнап думал, что знание имеет основания, а Поппер считал, что оснований нет и все наше знание подвержено ошибкам (fallible). Карнап верил в индукцию, а Поппер считал, что нет иной логики, кроме дедукции.

Все это создает впечатление, что до Куна не было стандартного, общепринятого «образа» науки. Но это не так: как только мы встречаем двух философов, расходящихся по десятку различных пунктов, мы знаем, что на самом деле они согласны практически во всем. Они разделяют один и тот же образ науки, образ, отвергаемый Куном. Если бы два человека и в самом деле были бы не согласны по поводу основных вопросов, они не нашли бы общей почвы для последовательного обсуждения специфических отличий.

Карнап и Поппер полагали, что естественные науки — наилучший образец рационального мышления. Приведем другие положения, по которым они сходились. Они использовали эти положения по-разному, но важно то, что такие общие положения были.

Оба философа думали, что существует довольно четкое различие между наблюдением и теорией. Оба считали, что рост знания в общем кумулятивен (т е. носит накопительный характер). Поппер придавал большое значение опровержениям, но считал, что наука развивается эволюционно и стремится к истинной теории универсума. Оба философа считали, что у науки довольно строгая дедуктивная структура. Оба считали, что научная терминология является или должна быть достаточно строгой. Оба верили в единство науки. Эго означает, что все науки должны применять одни и те же методы, так что гуманитарные науки должны иметь ту же методологию, что и физика. Более того, они полагали, что по крайней мере естественные науки являются частью одной науки, и мы вправе ожидать от биологии, что она будет сведена к химии, так же как химия сводится к физике. Поппер пришел к мысли, что по крайней мере часть психологии и социального мира не сводится строго к физическому миру, но у Карнапа не было подобных сомнений. Он был основателем серии томов под общим названием «Энциклопедия единой науки».

Оба соглашались с тем, что существует фундаментальное отличие контекста подтверждения (justification) от контекста открытия. Эти термины принадлежат Гансу Рейхенбаху, третьему знаменитому философскому эмигранту этого поколения. Обсуждая контекст открытия, историки, экономисты, социологи или психологи зададут уйму вопросов: Кто сделал открытие? Когда? Было ли это счастливой догадкой, идеей, украденной у соперника, или вознаграждением за двадцатилетний упорный труд? Кто оплачивал исследование? Какая религиозная или социальная среда способствовала или препятствовала этой разработке? Все эти вопросы возникают в контексте открытия.

Теперь рассмотрим конечный интеллектуальный продукт: гипотезу, теорию или мнение. Разумна ли она, подтверждена ли фактами, подкреплена ли экспериментом, прошла ли строгую проверку? Эго вопросы о подтверждении или непротиворечивости. Философы заботятся о подтверждении, логике, причине, непротиворечивости, методологии. С профессиональной точки зрения Поппера и Карнапа не интересовали исторические обстоятельства открытия, психологические нюансы, общественные взаимодействия, экономическая среда. Как говорил Кун, они использовали историю только в хронологических целях или как источник различных примеров, пригодных для иллюстрации своих концепций. Поскольку представление Поппера о науке более динамично и диалектично, оно ближе историцисту Куну, чем плоский формализм работ Карнапа по подтверждению. Но все же, в основном, философские системы Карнапа и Поппера аисторичны: они рассматривают науку вне времени, вне истории.