Создание формализованных систем позволяет исследовать ряд важнейших логических свойств содержательных теорий, отображённых в данном формализме. К ним прежде всего относятся непротиворечивость, полнота и независимость исходных постулатов данной теории. Обнаружение общности логических структур различных в содержательном смысле научных теорий открывает большие возможности для перенесения идей и методов одной теории в область другой, для обоснования возможности сведения одной теории к другой и выявления их общих понятийных и методологических предпосылок. Это важно для унификации и упрощения систем научного знания, особенно в условиях быстрого возникновения и развития новых научных дисциплин.
Особое место в Л. н. занимают проблемы, связанные с эмпирическим обоснованием и проверкой естественнонаучных и социальных теорий и гипотез. Интенсивные исследования в этой области показали несостоятельность раннего неопозитивистского принципа полной верифицируемости, так же как и критерия фальсифицируемости. Затруднения, возникшие в неопозитивистской Л. н., привлекли внимание многих логиков и философов к проблеме связи и взаимодействия логических структур со структурами предметно-экспериментальной практической деятельности, что обусловило целый ряд новых подходов к Л. н. Этим в значительной степени объясняется наметившийся среди зарубежных логиков интерес к принципам теории познания диалектического материализма.
Особый интерес приобретают исследования по логической семантике, посвященные изучению смыслов и значений теоретических и эмпирических терминов в языках различных наук. Обнаружение того, что так называемые предикаты, с помощью которых выражаются понятия и формулируются законы определённых научных теорий, не сводятся исчерпывающим образом к предикатам наблюдения, фиксирующим результаты непосредственных научных наблюдений и экспериментов, выдвинуло целый ряд сложных проблем. Важнейшими среди них являются проблемы логического анализа словарей различных наук, правил перевода языка теории на язык наблюдений, исследования взаимодействия и соотношения естественных и искусственных языков и т.д. В связи с этим особую важность приобретают работы по изучению семантики общенаучных терминов, таких, как "система", "структура", "модель", "измерение", "вероятность", "факт", "теория" и т.д. Многозначность и различные способы их употребления, обнаружившиеся в связи с быстрым развитием кибернетики, структурной лингвистики, теории систем и т.п., делают логико-методологический анализ важнейшей предпосылкой эффективной реорганизации и эвристической полезности подобных понятий.
Последний период (с конца 50-х гг.) был переломным для развития Л. н. не только вследствие осознания принципиальной ограниченности её неопозитивистской интерпретации, но также и в силу того, что в этот период были сделаны наиболее значительные шаги для распространения идей и методов логического анализа на область социальных наук. Интенсивные исследования ведутся в сфере изучения языка, структур и правил рассуждения правовых, этических и отчасти социологических теорий. Достигнуты значительные результаты в логике решений, логике норм и оценок, логике систем и т.д. В этих отраслях современной Л. н. широкое распространение находят технические и понятийные средства тех разделов символической логики, которые принято называть неклассическими (различные виды многозначных логик, модальные логики, логика вероятностных и статистических рассуждений и т.п.). Однако применение Л. н. к ряду общественных дисциплин наталкивается на значительные трудности, связанные, с одной стороны, со сложностью закономерностей и теоретических структур этих наук, а с другой - с недостаточной разработанностью или отсутствием адекватного математического аппарата. Поэтому дальнейшее развитие Л. н. требует усиления исследований в области символической логики во всех её разнообразных видах.
В СССР исследования по Л. н. наиболее интенсивно ведутся в институтах философии АН СССР, АН УССР, АН Грузинской ССР, на философских факультетах Московского, Ленинградского и Тбилисского университетов.
Не нарушая общности рассуждений, оценку качества научного знания предлагается провести на основе таких составляющих познавательного аспекта, как гносеология, семантика (интерпретация, содержание) и синтаксис. Семиотический подход означает, что при оценке теоретического знания за существенное принимается либо его синтаксис (форма), либо семантика (содержание). В науке существует немало задач, в которых семиотический подход является существенным, а то и просто единственно возможным. Последнее особенно характерно для оценки формальных теорий, а иногда и для абстрактных содержательных теорий. Возможности оценивания теорий по семиотическим основаниям и аспекты, по которым их можно сравнивать, очень сильно зависят от семиотического типа теорий. Здесь нет необходимости полностью рассматривать семиотическую типологию теорий. Достаточно лишь точно выделить некоторые из этих типов. В первую очередь теории следует подразделить на формальные и содержательные. Формальные теории состоят из предложений, принадлежность которых к данной теории распознается только по их логической форме (вне зависимости от наличия у них семантики или содержания) с помощью формальных правил. Если для распознавания предложений теории их содержание существенно, т.е. без его учета нельзя обойтись, то такую теорию называют содержательной. Общеизвестные научные области знания (физические, биологические, социальные) являются содержательными.
Оценивание теорий по семиотическому основанию может быть многоаспектным. При этом в оценивании научного знания по семиотическим основаниям гносеология, безусловно, важна, но ее применение все же проявляется косвенно. В этом случае гносеология используется только для выявления гносеологических предпосылок, на основе которых решаются затем вопросы о сравнении теорий по семиотическим основаниям. Однако во многих задачах на первый план выступает непосредственно сравнение теорий по гносеологическому аспекту, а именно по степени адекватности отображения действительности. Ясно, что при этом речь идет о содержательных теориях, отображающих одну и ту же область действительности. Необходимость гносеологического анализа объясняется тем, что методология науки изучает методы образования и применения (или введения) абстракций (понятий), формирования суждений и установления их истинностных значений, построения и обоснования теорий, постановки вопросов (проблем), выдвижения и проверки гипотез, методы объяснений, предсказаний. Все эти задачи методология науки не может решать, не опираясь на гносеологию, хотя в явном виде на это обстоятельство редко когда указывается. В этом случае гносеология является инструментом решения методологических проблем. Это необходимо для того, чтобы, во-первых, в практике научного мышления правильно использовать понятия, оценивать суждения и т.п. Во-вторых, это поможет разобраться в тех запутанных, тупиковых (парадоксальных) и даже кризисных ситуациях, причиной которых является, как правило, непреднамеренное и неявное применение в решении методологических проблем метафизической гносеологии [1]. В этом и будет состоять значение гносеологического подхода к решению проблемы оценивания методологического аспекта научного знания. При рассмотрении методологического аспекта теоретического знания необходимо иметь в виду, что оно, являясь сложной развивающейся системой, выполняющей методологические функции, достаточно дифференцированно.
Оценивая знания, воспользуемся основными положениями алгебраического подхода [2], обеспечивающего эффективное решение задач подобного класса. Важным в алгебраическом подходе является понятие полноты, связывающее задачу выбора показателей для оценки качества знания и модели алгоритмов. Полнота некоторой задачи относительно модели означает, что при произвольном наборе показателей в рамках модели может быть построен алгоритм, дающий правильный ответ [3]. Подход предусматривает обогащение исходных эвристических алгоритмов с помощью алгебраических операций и построение комбинированного семейства алгоритмов. Это семейство алгоритмов рассматривается как некоторая алгебра, операции которой обеспечивают гарантированное получение решения. Алгоритм оценивания рассматривался как суперпозиция двух операторов: распознающего, который в качестве ответов формирует элементы, называемые оценками, и решающего правила, определяющего по оценкам окончательные ответы. При этом распознающий оператор "снимает" вопрос о необходимости иметь дело с "неудобными" пространствами исходных описаний и допустимых ответов, обеспечивая возможность вести коррекцию в пространстве оценок.
Ранее было установлено, что оценка качества знаний (сравнение теорий) является наиболее полной, когда она проводится по следующим аспектам: синтаксическому, семантическому (содержательный, интерпретированный) и гносеологическому. При этом сами гносеология, семантика и синтаксис могут рассматриваться в разных аспектах. Поэтому пространство оценок знания, определяющее ценность научно-технической продукции, сформируем базисными осями, в качестве которых выберем показатели методологической ценности (гносеологическая составляющая), научно-теоретической и практической ценности (семантическая составляющая), качество изложения и оформления научно-методического обеспечения (синтаксическая составляющая).