Логические позитивисты Нейрат и Карнап в понимании истинности суждений выдвинули теорию когеренции. По их мнению, наука состоит из однотипных суждений, критерием истинности которых является непротиворечивость системы. Суждение проверяется через соответствие его другим суждениям на основе формального критерия непротиворечия.

В выхолащивании объективного содержания суждения Карнап идет дальше Шлика. «Развитие логики в последнем десятилетии...— пишет он,— обнаружило, что она лишь тогда может претендовать на точность, если она будет иметь дело не с суждениями (мыслями или содержанием мысли), но с языковыми выражениями, в особенности с предложениями. Только в отношении последних могут быть установлены строгие правила» (СНОСКА: R. Carnap, Logische Syntax der Sprache, Wien 1934, S. 1.). По его мнению, задача логического анализа состоит в том, чтобы переводить суждения в предложения чистого или описательного синтаксиса. С этой целью он предложил переводить предложения из материального модуса, где решается вопрос об источнике суждений, в формальный модус, где предложение имеет значение чисто синтаксического наименования. Предложение «луна есть небесное тело» в формальном модусе речи будет значить «луна есть слово, обозначающее небесное тело».

Карнап проводит различие между фактической истиной, зависящей от случайности фактов, и логической истиной, зависящей не от фактов, а от определенных семантических правил. «Семантическая система,— пишет Карнап,— это система правил, формулирующих условия истинности предложений какого-либо предметного языка и тем самым определяющих значение этих предложений» (СНОСКА: R. Carnap, Introduction to Semantics, v. I, Cambridge-Massachu-fietts 1946, p. 22.). Правила определяют значение и смысл суждений.

Карнап, как и другие семантики, склоняется к операционалистскому пониманию истины. Формальная истина — истина как обоснование — никак не связана с наблюдением и опытом. Она определяется через соответствие одного утверждения какому-нибудь другому утверждению посредством каких-либо правил, совершенно независимых от объективного мира.