Россия и Современность: проблемы совмещения. Опыт рационального осмысления. Павел Крупкин

проектировании. В этом плане нефальсифицируемые теории имеют свое множество ложного пустым, т. е. в ее рамках любые мыслимые варианты оказываются приемлемыми.

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

      Рассматривая все высказывания-теории данной науки, мы можем увидеть, что не все теории равнозначны. Часть теорий признается сообществом исследователей в качестве базовых понятий, базовых принципов науки. Теория, которая может быть выведена из базовых принципов, называется формальной. Все прочие теории называются эвристическими.

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

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

      В рамках оформления теории в виде дедуктивной системы, дедуктивного комплекса легко строится общая