Как уже было отмечено, знаменитый австрийский философ Карл Поппер выступал официальным критиком Венского кружка, в недрах которого и родился неопозитивизм. Одним из направлений его критики заключалось в том, что принцип верифицируемости не может быть применён к любым научным утверждениям, а потому он не позволяет проверить отрицательные экзистенциальные утверждения (например, «Нигде во Вселенной не летает маленький чайник, невидимый даже в самый мощный телескоп») и положительные универсальные утверждения (например, «Все во́роны чёрные»). Что это значит?
Можно рассмотреть следующее утверждение, выраженное на обывательском языке – «По орбите между Землёй и Марсом летает маленький чайник». Каким бы абсурдным оно ни казалось, его можно перевести на протокольный язык, и оно будет выглядеть примерно так – «Такой-то учёный наблюдал маленький чайник в такое-то время в таком-то месте (координаты)». Это немного неуклюжее выражение как раз имеет протокольную форму, и её легко проверить. Достаточно рассчитать орбиту маленького чайника, получить его новые координаты для текущего времени, взять мощный телескоп и проверить (верифицировать) это протокольное утверждение. Фактически, на язык формальной логики это можно перевести как «На орбите между Землёй и Марсом существует маленький чайник». Это и есть положительное экзистенциальное утверждение. В исчислении предикатов первого порядка положительным экзистенциальным утверждениям соответствует квантор существования.
А отрицательное экзистенциальное утверждение – это утверждение типа «Во Вселенной нигде нет маленького чайника». Как же его можно было бы верифицировать? Придётся проверить каждую локацию во Вселенной, причём в динамике, чтобы достоверно убедиться в том, что нигде в космосе действительно нет никаких маленьких чайников. Сделать это на практике невозможно, поэтому неопозитивисты ограничились потенциальной верифицируемостью. Именно за это их и критиковал Карл Поппер.
То же самое касается универсальных суждений. Универсальным суждениям в исчислении предикатов первого порядка соответствует квантор всеобщности. Если квантор всеобщности используется сам по себе, то это положительное универсальное суждение, а если с отрицанием – то это отрицательное универсальное суждение. Например, суждение «Все во́роны чёрные» является положительным универсальным высказыванием. С другой стороны, суждение «Не все во́роны чёрные» является отрицательным универсальным. Теперь можно видеть, что отрицательные универсальные суждения верифицировать легко – достаточно привести пример во́рона-альбиноса. А вот с положительными универсальными суждениями такая же проблема, как и с отрицательными экзистенциальными – нужно перебрать и рассмотреть всех во́ронов, чтобы убедиться, что все они чёрные.
Карл Поппер в ответ на эти трудности принципа верифицируемости публикует в 1934 году труд «Логика научного открытия», в котором предлагает новый критерий для решения проблемы демаркации науки. Это – критерий фальсифицируемости. Если говорить на простом языке, то критерий фальсифицируемости заключается в том, что суждение следует считать научным, если существует методологическая возможность его опровержения при помощи постановки того или иного эксперимента, даже если такой эксперимент ещё не был поставлен. Другими словами, если некоторую гипотезу невозможно опровергнуть, то она не может считаться научной. За примерами далеко ходить не надо – любая религиозная система в своих основах не является ни верифицируемой, ни тем более фальсифицируемой, поэтому наука и не занимается (старается не заниматься) спорами с адептами таких систем.
Критика логического позитивизма обычно основывается на том, что сами по себе эти критерии верифицируемости и фальсифицируемости сформулированы таким образом, что их невозможно подвергнуть проверке самими собой. Действительно, можно ли верифицировать критерий верифицируемости? Судя по всему, это положительное универсальное суждение, а потому критерий верифицируемости к нему не подходит. То же самое можно сказать и о возможности фальсифицировать фальсифицируемость. Это отрицательное универсальное суждение, к которому не подходит уже критерий фальсифицируемости. Верифицировать фальсифицируемость и фальсифицировать верифицируемость тоже затруднительно по тем же причинам – это тоже отрицательное и положительное универсальное суждения соответственно.
В качестве примера неверифицируемой и, главное, нефальсифицируемой космогонической теории, которая, кажется, может объяснить вообще всё, но при этом не привносит в такое объяснение действие чуда или чего-то подобного, может быть следующий мысленный эксперимент. Единственное «чудо» в этом эксперименте – первоначальная установка, которая принимается аксиоматически.
Итак, пусть есть некоторый «первоначальный мир» – бесконечный как во времени, так и в пространстве. То есть он существовал всегда и будет существовать вечно. И этот мир протяжён во все стороны всех своих пространственных измерений в бесконечность. При этом даже не важно, сколько в нём измерений, но, скорее всего, должно быть не менее трёх. Этот мир должен быть наполнен взаимодействующими частицами, некоторые из которых являются «элементарными» (неделимыми), а другие могут состоять из более мелких частиц, в том числе элементарных. Взаимодействие частиц и состоящих из них объектов может повышать степень упорядоченности материи этого мира (в современных физических терминах – локально снижать уровень энтропии). Взаимодействие должно, как минимум, включать в свой состав такие формы, как слияние нескольких малых объектов в более крупный объект (системообразование) и разделение объекта, если только он не является элементарной частицей, на компоненты.
Поскольку описанный мир бесконечен как в пространстве, так и во времени, ненулевая вероятность самосборки произвольного объекта в процессе взаимодействия частиц, когда-нибудь где-нибудь реализуется (да ещё и бесконечное количество раз). Речь идёт именно о самосборке – примерно так же, как самостоятельно и случайным образом собирается «мозг Больцмана» в известном одноимённом мысленном эксперименте.
Поэтому когда-нибудь где-нибудь в этом мире самособерётся красный автомобиль со скафандром на борту, самолёт и даже человеческий мозг. Впрочем все такие и подобные им объекты разрушатся через какое-то время. Но иногда в этом бесконечном мире будут самособираться более крупные объекты – например, звёздная система, галактика или даже целая Вселенная.
В бесконечном количестве самособравшихся вселенных найдётся некоторое количество звёздных систем, в которых есть подходящие для развития жизни планеты. На каких-нибудь их этих планет за бесконечное время появится первая молекула-репликатор, функционирование которой приведёт к появлению жизни в том виде, в котором мы её знаем. А, быть может, и в каком-нибудь совершенно ином виде. Но это будет именно жизнь в общем смысле этого слова. И когда-нибудь где-нибудь среди бесконечного количества планет с жизнью появится разум.
Когда-нибудь где-нибудь одна из разумных рас, появившихся на бесконечном количестве планет в бесконечном количестве вселенных задумается о смысле жизни и начнёт эксперименты по созданию искусственной жизни в виртуальных мирах. Для этого будут созданы огромные вычислительные мощности, на которых будут построены виртуальные миры высочайшей точности, и эти миры будут населены или репликаторами, чтобы изучить то, как наличие репликаторов приводит к появлению разума, или же сразу искусственными агентами с интеллектом и без него.
Исходя из этой гипотезы, наша Вселенная вполне может оказаться таким виртуальным миром, в котором жизнь представляет собой объект исследования со стороны тех, кто создал этот виртуальный мир. Но было бы слишком самонадеянно предполагать, что наша Вселенная является виртуальным миром первого уровня – миром, созданным первоначально разумной расой, появившейся в самособравшейся вселенной. Более вероятно то, что наша Вселенная находится где-то далеко в глубине иерархии виртуальных миров. Ведь во многих (в бесконечном количестве) виртуальных мирах, которые были населены репликаторами, появилась разумная раса, которая также задумалась о том, что такое жизнь, а потому решила использовать методы построения виртуальных миров для исследования этого процесса. Ведь человеческая цивилизация сегодня точно также идёт по этому пути.
