История и философия науки

3. Как верифицировать S?

4. Какой смысл имеет S?

(1) – корректная формулировка; формулировка (2) представляет собой способ выражения, характерный для логики, (3) – манера выражения теории познания, (4) – философии (феноменологии). Как показано Витгенштейном, то, что философы имели в виду под (4), раскрывается через (2): смысл предложения лежит в его критерии истинности. (1) представляет собой «металогическую» формулировку; подробное описание металогики как теории синтаксиса и смысла, т. е. отношений выведения, будет дано позже в другом месте.

Значение многих слов, а именно преобладающего числа всех слов науки, можно определить путем сведения к другим словам («конституция», «дефиниция»). Например: «членистоногие есть животные беспозвоночные, с расчлененными конечностями и имеющие хитиновый панцирь». Этим, для элементарной формы предложения «вещь х есть членистоногое», дается ответ на поставленный выше вопрос: установлено, что предложение этой формы должно быть выводимо из посылок вида: «х есть животное», «х есть беспозвоночное», «х имеет расчлененные конечности», «х имеет хитиновый панцирь» и что, наоборот, каждое из этих предложений должно быть выводимо из первого. Путем определения выводимости (другими словами, владея критерием истинности, методом верификации, смыслом) элементарного предложения о «членистоногих» устанавливается значение слова «членистоногие». Таким образом, каждое слово языка сводится к другим словам и, наконец, к словам в так называемых «предложениях наблюдения», или «протокольных предложениях». Посредством такого сведения слово получает свое содержание. Вопрос о содержании и форме первичных предложений (протокольных предложений), на который доныне не найдено окончательного ответа, мы можем оставить в стороне. В теории познания обычно говорят, что «первичные предложения относятся к данному»; однако в вопросе трактовки самого данного нет единства. Иногда высказывают мнение, что предложения о данном представляют собой высказывания о простейших чувственных качествах (например, «теплый», «синий», «радость» и т. п.); другие склоняются к мнению, что первичные предложения говорят об общих переживаниях и отношениях сходства между таковыми; согласно следующему мнению, первичные предложения говорят уже о вещах. Независимо от различия этих мнений, мы утверждаем, что ряд слов только тогда обладает смыслом, когда установлено, как он выводится из протокольных предложений, какого бы качества они ни были.

Если значение слова определяется его критерием (другими словами, отношениями выведения его элементарного предложения, его критерием истинности, методом его верификации), то после установления критерия нельзя сверх этого добавлять, что «подразумевается» под этим словом. Следует указать не менее, чем критерий; но нужно также указать не больше, чем критерий, ибо этим определяется все остальное. В критерии значение содержится имплицитно; остается только представить его эксплицитно.

Результат нашего исследования можно резюмировать следующим образом: пусть «а» есть некоторое слово и S(a) – элементарное предложение, в которое оно входит. Достаточное и необходимое условие того, чтобы «а» имело значение, может быть дано в каждой из следующих формулировок, которые в своей основе выражают одно и то же:

1. Известны эмпирические признаки «а».

2. Установлено, из каких протокольных предложений может быть выведено S(a).

3. Установлены условия истинности для S(a).

4. Известен способ верификации S(a).

3. Метафизические слова без значения

Многие слова метафизики, как теперь обнаруживается, не отвечают только что указанным требованиям, а, следовательно, не имеют значения.