Аннотация:Одной из наиболее известных программ обоснования научного знания, предложенной в ХХ в., является программа логического позитивизма. Ее отличительная особенность — систематическое использование богатого формально-логического инструментария для экспликации и решения ряда традиционных философско-методологических проблем. В рамках данной программы была предложена так называемая стандартная («высказывательная») трактовка научной теории, предполагавшая формулировку некоторой естественно-научной теории в определенном формальном языке и представление ее в виде частично упорядоченного множества предложений, связанных отношением дедуктивной выводимости. Подобное представление рассматривалось в качестве инструмента обнаружения фундаментальных и несомненно истинных основ научного знания, формулировки процедур сведения теоретического знания к эмпирическому, а также критериев различения аналитических и синтетических предложений в составе теории. В дальнейшем две последние задачи были признаны неосуществимыми и объявлены критиками данной программы двумя догмами логического эмпиризма. В настоящем исследовании предпринята попытка анализа основных критических аргументов, выдвинутых против техники различения аналитических и синтетических предложений в составе теории. Сделан вывод об их несостоятельности.