Венский кружок. Возникновение неопозитивизма.

Но это определение смысла через верифицируемость очень скоро вызвало решительную критику. Сначала Петцель указал на неприемлемые следствия этого понятия смысла⁷⁵, затем Ингарден на Пражском конгрессе 1934 г. высказал мысль о том, что «металогические» предложения также становятся бессмысленными или абсурдными⁷⁶, после него — Вайнберг⁷⁷. Против «требования эмпирического значения» Льюис выдвинул то возражение, что оно чрезмерно ограничивает сферу философского рассмотрения⁷⁸. Собственные возражения высказали также Нагель⁷⁹, Стэйк⁸⁰ и Рейхенбах⁸¹. В своей «Логике исследования» («Die Logik der Forschung»), содержащей много важных идей, Поппер выступил вообще против определения смысла, утверждая, что при этом речь идет о произвольном решении. «Нет ничего легче, чем дискредитировать какой-то вопрос как ‘бессмысленную псевдопроблему’. Для этого нужно только определить понятие ‘смысл’ так узко, чтобы относительно всех неудобных вопросов можно было сказать, что в них нельзя найти никакого 'смысла¹, и признать 'осмысленными' лишь вопросы эмпирической науки. Тогда все споры о понятии смысла оказываются бессмысленными: однажды признанная, эта догма смысла всегда отобьет любое нападение и останется ‘неприкосновенной и окончательной’»⁸², как сказал Витгенштейн в предисловии к своей книге. После этого Карнап в своем сочинении «Проверяемость и значение» («Testability and Meaning»)⁸³, которое во многих отношениях было принципиально важным, дал обстоятельную критику данного понятия смысла и предложил его новое истолкование. Он согласился с тем, что определение смысла на основе верифицируемости является чрезмерно узким, ибо оказываются лишенными смысла даже такие предложения, которые трудно признать бессмысленными. Скажем, отрицание аналитического предложения (в частности, пример Канта «Всякое тело протяженно») следует признать бессмысленным, ибо оно принципиально неверифицируемо как внутренне противоречивое предложение. Напротив, отрицание бессмысленного противоречивого предложения (например, «Высота башни Венской ратуши равняется как 50, так и 100 м») оказывается осмысленным, ибо оно верифицируемо. Два синтетических предложения, которые оба осмысленны, но несовместимы друге другом (например, «Высота башни Венской ратуши равна приблизительно 50 м» и «Высота башни Венской ратуши равна приблизительно 100 м»), при их конъюнктивном соединении дают бессмысленное предложение, ибо это неверифицируемое противоречие. Все это свидетельствует о том, что определение смысла через верифицируемость не может дать удовлетворительного критерия для проведения различия между осмысленными и бессмысленными предложениями.

Для прояснения понятия смысла требуется тщательный анализ семантической функции языка. Семантическая описательная система состоит из знаков и их комбинаций. Знаками могут быть слова, флажки, барабанная дробь и другие элементы подобного рода. Существуют семантические системы, языки, состоящие из знаков и их комбинаций с установленным твердым значением, например, языки, использующие флажки или звуки барабана. Языки животных также содержат лишь сигналы для ситуаций определенного рода. В таких языках какие-то ситуации могут быть представлены только в том случае, если для них установлены определенные комбинации знаков. Отличие языка людей от языка животных заключается в том, что в нем с помощью комбинации знаков всегда можно выразить новый смысл, который еще не был установлен. Это означает, что посредством ограниченного числа знаков можно представить безграничное число ситуаций, комбинируя знаки новыми способами. Такая возможность обеспечивается тем, что смысл некоторой комбинации знаков определяется не особым установлением, а образуется согласно общим правилам для комбинаций. Эти правила заложены в грамматике языка.

Знаки такого языка по своему значению распадаются на два класса⁸⁴: дескриптивные знаки, обозначающие вещи, свойства и отношения вещей, и логические знаки, служащие для связывания дескриптивных знаков в предложения и для характеристики условий их истинности. Дескриптивные знаки являются либо именами (вещей), либо обозначениями свойств и отношений — одно- или многоместными предикатами. Логические знаки являются либо константами, как «не», «и», «или», «если, то», «есть», «все», либо переменными, обозначающими пустые места для подстановки имен, предикатов или предложений.