когда такая процедура пока еще не создана.
Однако для того чтобы теорию считать научной, одного соответствия фактам отнюдь не достаточно. Теории для этого надо быть еще и фальсифицируемой. Данный критерий появляется из интуитивного требования проверяемости теории, и он равносилен тому, чтобы всегда была возможность ее опровержения. Теории, которые не могут быть опровергнуты в принципе, выводятся за пределы науки. Пример подобной нефальсифицируемой теории: «Все происходит по воле Божьей». Обычно возможность фальсификации теории следует из того, что в научной картине мира принципиально воображаемы какие-то «факты», с которыми теория может не совпасть. Другими словами, теория фальсифицируема (и научна) тогда и только тогда, когда она в области своего действия (своих проекций на пространство фактов) выделяет как множество истинного, так и множество ложного. Если при этом реальный факт оказывается в множестве истинного, то такой факт подтверждает теорию. Если же он окажется в области ложного, то опровергает ее. И именно непустота области ложного делает теорию научной. Именно то, что теория позволяет сузить пространство допустимого и отметать какие-то заведомо неприемлемые варианты при практическом проектировании. В этом плане нефальсифицируемые теории имеют свое множество ложного пустым, т. е. в ее рамках любые мыслимые варианты оказываются приемлемыми.
Очевидно, что теории, допускающие измеримость разницы между фактами и проекциями теории на данные факты (количественные теории), являются фальсифицируемыми. Интересно также отметить, что принцип фальсифицируемости по сути является «вычленением» того самого ключевого качества количественных теорий, которое делает данные теории полезными для практики. Причем появляется возможность обнаружить данное качество и у неколичественных теорий.
Рассматривая все высказывания-теории данной науки, мы можем увидеть, что не все теории равнозначны. Часть теорий признается сообществом исследователей в качестве базовых понятий, базовых принципов науки. Теория, которая может быть выведена из базовых принципов, называется формальной. Все прочие теории называются эвристическими.
Особенностью базовых понятий является то, что очень часто их верификация очень затруднена и не менее часто они относятся к классу нефальсифицируемых теорий (т. е. по сути своей не являются научными). Например, долгое время к числу подобных гипотез относился принцип «все вещества состоят из атомов и молекул». Это продолжалось до открытия рентгеновских лучей в конце XIX века, которые позволили зафиксировать результаты своей дифракции на атомах кристаллической решетки, чем перевели данный принцип в число фальсифицируемых (научных) и истинных.
Самый общий способ выделения базовых принципов науки основан на формальной логике, которая по своей сути является правилами трансформации высказываний, правилами языковой игры, в соответствии с которыми истинность передается от посылок к выводам/следствиям.
