Это значит, что (предложение)
Формула Тарского сыграла очень большую роль в последующей эволюции взглядов на познание. Ведь корреспондентная теория истины уже давно подвергалась критике. Многие философы утверждали, что она ничего нового не дает, а выражает только субъективную уверенность говорящего. Так, например, сказать «истинно, что Цезарь был убит в 44 г. до нашей эры», это все равно, что сказать просто: «Цезарь был убит». Понятие «истинно» — ничего не добавляет к этой фразе.
Подобное рассуждение смущало многих. Формула Тарского, как бы ее ни толковать, позволила восстановить теорию истины как соответствия, так сказать, примириться с нею.
Что касается семантики, то одним из важных результатов ее дальнейшей разработки Р.Карнапом была созданная им теория «языковых каркасов», изложенная в статье «Эмпиризм, семантика и онтология» (1950).
Эта теория должна была решить проблему абстрактных объектов или, вернее, проблему высказываний, имеющих своим предметом абстрактные объекты (числа, суждения, свойства вещей, классы и т. д.). Она была призвана обосновать правомерность подобных высказываний. При этом она должна была не только сделать это в рамках неопозитивистской концепции, но сделать это так, чтобы подтвердить данную концепцию.
Карнап говорит, что хотя эмпиристы подозрительно относятся ко всякого рода абстрактным объектам, тем не менее в некоторых научных контекстах их едва ли можно избежать. Поскольку же свести высказывания об абстрактных объектах к элементарным или протокольным предложениям или же к высказываниям о «чувственных данных» явно не удалось, то необходимо объяснить правомерность таких высказываний.
Кроме того, когда в обычном или научном языке заходит речь о подобных абстрактных объектах, то обычно задается вопрос: существуют ли такие объекты реально? На этот вопрос реалисты отвечают утвердительно, номиналисты же отрицательно. Например, если речь идет о числах, то философ реалистического склада готов признать их объективное существование, впадая в платонизм.
Некоторые же эмпиристы пытались решить вопрос, рассматривая всю математику как чисто формальную систему, которой не может быть дано никакой содержательной интерпретации. В соответствии с этим они утверждали, что говорят не о числах, функциях и бесконечных классах, а только о лишенных смысла символах и формулах. Однако уже в физике избежать абстрактных объектов гораздо труднее, если это вообще возможно.
Такова проблема. Карнап пытался решить ее в духе неопозитивизма посредством анализа языка. Он не ставит вопрос: что представляют собой абстрактные объекты? Он подходит к проблеме по-другому. Ведь фактически мы
Для решения этой проблемы Карнап вводит понятие о языковых
Согласно Карнапу, языковых каркасов может быть много. Простейшим примером такого каркаса может служить
Итак, допустим, что мы решили принять такой языковой каркас, который позволит нам говорить в данном случае о вещах.
Тогда, считает Карнап, мы должны различать два рода вопросов: о существовании или реальности объектов.
1. Вопрос о существовании тех или иных объектов внутри данного каркаса. Это
2. Вопрос о существовании или реальности системы объектов в целом.
По отношению к миру вещей, или к вещному языку, внутренними вопросами будут такие:
«Есть ли на моем столе клочок белой бумаги?»
«Действительно ли жил король Артур?»
«Являются ли единороги и кентавры реальными или только воображаемыми существами?» — то есть можно лишили можно ли было, их обнаружить в опыте?