-истинности) и логической истинности (
L-истинности)
[49], а также понятия (фактической) эквивалентности (
F-эквивалентности) и логической эквивалентности (
L-эквивалентности). Если для установления
F-истинности предложения необходимо обращаться к внеязыковым фактам, то
L-истинность устанавливается на основе одних лишь семантических правил языка. Два предложения являются
F-эквивалентными, если они одновременно F-истинны или одновременно
F-ложны. Понятие
F-эквивалентности Карнап распространяет, с соответствующими уточнениями, на все виды десигнаторов и на его основе определяет
L-эквивалентность: два десигнатора
L-эквивалентны, если их
F-эквивалентность вытекает из одних только семантических правил, т. е. если они одновременно
L-истинны или одновременно
L-ложны. Все эти понятия нужны Карнапу для того, чтобы сформулировать следующие два постулата. 1. Два десигнатора имеют один и тот же экстенсионал, если и только если они
F-эквивалентны. Это означает, что экстенсионалом индивидного выражения является объект, предикатора — класс объектов, а предложения — истинностное значение. 2. Два десигнатора имеют один и тот же интенсионал, если и только если они
L-эквивалентны. В результате интенсионалом индивидного выражения является индивидный концепт (смысл), предикатора — свойство или отношение, предложения — выражаемое им суждение
[50]. Интенсионал десигнатора — это то, что известно человеку, когда он понимает данный десигнатор. Экстенсионалы десигнаторов определяются их интенсионалами, и механизм этого определения обеспечивается связью между интенсионалом и аналитической истиной. Так, в случае индивидных выражений этот механизм состоит в том, что некоторый объект входит в экстенсионал некоторого выражения, если и только если он имеет характеристики, включенные в интенсионал данного выражения
[51].
Итак, в логической семантике Карнапа допускаются в качестве экстенсионалов разного рода языковых выражений (т. е. того, что обозначается ими) не только отдельные «индивиды», но и такие абстрактные сущности, как классы, свойства и т. п. Многие его молодые коллеги (У. В. О. Куайн, Н. Гудмен и др.) усмотрели в таком решении проявление платонизма и стали настаивать на том, что нельзя просто «гипостазировать» подобные сущности; необходимо доказать, что они «действительно существуют». Ответ на возражения своих оппонентов Карнап дал в статье «Эмпиризм, семантика и онтология» (1950), где и сформулировал теорию языковых каркасов. Чтобы лучше понять, чем вызвана предложенная в рамках этой теории трактовка онтологических вопросов, необходимо принять во внимание ряд важных аспектов логического эмпиризма Карнапа.
