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