Предположения и опровержения. Рост научного знания

Для того чтобы понять, почему ситуация казалась столь безнадежной, достаточно вспомнить хотя бы один пример среди многих, а именно «Логико-философский трактат» Витгенштейна с его удивительно наивной, образной или проективной теорией истины. В «Трактате» предложение понимается как образ или проекция того факта, который оно описывает; факт и предложение имеют одну и ту же структуру (или «форму»). Отношение между предложением и фактом у Витгенштейна аналогично отношению между звуком и его граммофонной записью, которая действительно представляет собой образ или проекцию звука и обладает такими же структурными свойствами⁸.

Другая бесплодная попытка объяснить это соответствие восходит к Шлику, который сначала дал удивительно ясную и поистине сокрушительную критику⁹ различных теорий соответствия, включая и образную, или проективную, теорию истины, но затем сам, в свою очередь, построил еще одну такую теорию, которая была не лучше других. Интересующее нас соответствие он интерпретировал как одно-однозначное соответствие между нашими обозначениями и обозначаемыми объектами, хотя имеется чрезвычайно много контрпримеров (обозначения применимы одновременно к нескольким объектам, или к одному объекту относится несколько обозначений), показывающих несостоятельность такой интерпретации.

Ситуация изменилась после появления предложенной Тарским теории истины как соответствия высказываний фактам. Величайшее достижение Тарского и реальное значение его теории для философии эмпирических наук заключается, я думаю, в том, что он реабилитировал теорию соответствия, т.е. теорию абсолютной, или объективной, истины, к которой относились с подозрением. Он показал, что вправе использовать интуитивную идею истины как соответствия фактам. (Мнение о том, что его теория применима только к формализованным языкам, мне представляется ошибочным. Она применима к (373:) любому непротиворечивому языку, в том числе даже к «естественному» языку, при условии, что мы, опираясь на анализ Тарского, можем освободить такой язык от противоречий, для чего следует, по-видимому, внести некоторую долю «искусственности» или осторожности в использовании такого языка.)

Хотя я предполагаю, что у читателя есть некоторое знакомство с теорией истины Тарского, я хочу пояснить, каким образом эту теорию можно рассматривать — с интуитивной точки зрения — как простое выражение идеи соответствия фактам. Мне хочется подчеркнуть именно этот почти тривиальный момент, так как, несмотря на свою тривиальность, он будет играть ключевую роль в моей последующей аргументации.

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

Поэтому сначала мы рассмотрим следующие две формулировки, каждая из которых очень просто устанавливает (в метаязыке), при каких условиях определенное утверждение (объектного языка) соответствует фактам.

(1) Высказывание (или утверждение) «Снег бел» соответствует фактам тогда и только тогда, когда снег действительно бел.

(2) Высказывание (или утверждение) «Трава красная» соответствует фактам тогда и только тогда, когда трава действительно красная.

Эти формулировки (в которых слово «действительно» употреблено только для облегчения понимания и может быть опущено) выглядят, конечно, совершенно тривиально. Однако Тарскому удалось обнаружить, что, несмотря на свою видимую тривиальность, эти формулировки содержат решение проблемы объяснения идеи соответствия фактам. (374:)

Решающим является открытие Тарского, что для того, чтобы говорить о соответствии фактам, как это сделано в (1) и (2), мы должны использовать метаязык, в котором можно говорить о двух вещах: о высказываниях и о фактах, к которым относятся эти высказывания. (Такой метаязык Тарский называет «семантическим»; метаязык, в котором можно говорить об объектном языке, но не о фактах, к которым он относится, Тарский называет «синтаксическим».) Как только была осознана необходимость использования семантического метаязыка, все стало ясным. (Заметим, что в то время как высказывание (3) «"Джон закричал" истинно» принадлежит к такому метаязыку, высказывание (4) «Истинно, что Джон закричал» может принадлежать тому же языку, которому принадлежит высказывание «Джон закричал». Поэтому выражение «Истинно, что», которое, подобно двойному отрицанию, логически избыточно, существенно отличается от металингвистического предиката «истинно». Последний необходим для утверждений, подобных таким, как «Если заключение неистинно, то посылки не могут все быть истинными» или «Однажды Джон произнес истинное высказывание».)