Текст книги "Открытое общество и его враги"

Автор книги: Карл Поппер

сообщить о нарушении

Текущая страница: 68 (всего у книги 86 страниц)

Относительно аристотелевского различения между демонстративным и интуитивным знанием см. последнюю главу «Второй аналитики», II, 19, особенно 100b 5-17; см. также 72b 18-24, 75b 31, 84а 31, 90а 6/91а П. По поводу связи между демонстративным знанием и «причинами» вещи, «сущность которых есть нечто другое» и которые в связи с этим требуют среднего термина, см. «Вторая аналитика», II, 8, в частности, 93а 5, 93b 26. По поводу аналогичной связи между интеллектуальной интуицией и «неделимой формой», которую она схватывает, – неделимой сущностью и индивидуальной природой, которая тождественна с ее причинами, – см. «Вторая аналитика», 72b 24, 77а 4, 85а 1, 88b 35. См. также «Вторая аналитика», 90а 31: «Знать, что именно есть, и знать, почему есть» (т.е. причину) «означает… одно и то же», и 93b 21: «Суть некоторых [вещей] не опосредствована, и, стало быть, она начало».

Относительно аристотелевского утверждения о том, что мы где-то должны остановиться в регрессе доказательств, или демонстраций, и принять определенные принципы без доказательства, см., к примеру, «Метафизика», 1006а 7: «Для всего без исключения доказательства быть не может, ведь иначе приходилось бы идти в бесконечность…» См. также «Вторая аналитика», II, 3, 90b 18-27.

Следует упомянуть, что мой анализ теории определений у Аристотеля в основном согласуется с анализом Дж. Гроута, но частично расходится с анализом У. Росса. Самое большое различие между интерпретациями этих двух авторов может быть охарактеризовано при помощи двух цитат, заимствованных из глав их сочинений, посвященных анализу «Второй аналитики» Аристотеля (книга II). «Во второй книге Аристотель обращается к рассмотрению доказательств как инструментов, при помощи которых образуются определения» (W. Ross. Aristotle. 2nd ed., p. 49). Этому можно противопоставить: «Определение никогда не может быть доказано, поскольку оно только разъясняет сущность субъекта… тогда как доказательство предполагает сущность уже известной…» (G. Grote. Aristotle. 2nd ed., p. 241; см. также pp. 240-241. Ср. конец прим. 29 к настоящей главе.)

11.28

Аристотель. «Метафизика» 1031b 7 и 1031b 20. См. также 996b 20: «Мы обладаем знанием чего-либо… когда нам известно, что оно такое».

11.29

«Определение есть речь, обозначающая суть бытия (вещи]» (Аристотель. «Топика», I, 5, 101b 36; VII, 3, 153а, 153а 15; см. также «Метафизика», 1042а 17). – «Определение выражает суть [вещи]» («Вторая аналитика», II, 3, 91а 1). – «Под определением разумеют речь о сути [вещи]» («Вторая аналитика», П, 10, 93b 28). – «Быть определенным нечто свойственно лишь сущностям» («Метафизика», 1030а 5 и след.). – «Суть бытия каждой вещи, обозначение которой есть ее определение, также называется ее сущностью» («Метафизика», 1017b 21) – «Итак, совершенно очевидно, что определение есть обозначение сути бытия вещи…» («Метафизика», 1031а 13).

Рассматривая эти принципы, т.е. начала или базисные посылки доказательств, мы должны различать два вида таких начал: (1) Логические принципы (см. «Метафизика», 996b 25 и след.) и (2) Посылки, из которых должно исходить доказательство и которые, в свою очередь, не могут быть доказаны, если мы хотим избежать регресса в бесконечность (см. прим. 27 к настоящей главе). Посылки представляют собой определения: «Определения суть начала доказательств» («Вторая аналитика», II, 3, 90b 23; ср. 89а 17, 90а 35, 90b 23). См. также W. Ross. Aristotle, p. 45-46, в частности его комментарий по поводу «Второй аналитики», I, 4, 20-74а 4: «Начала науки, – пишет Росс (р. 46), – будут, нам говорят, per se в смысле (а) или (b)». А на предшествующей странице мы узнаем, что некая посылка необходима per se (или существенно необходима) в смысле (а) или (b), если она основывается на определении.

11.30

«И для всего остального, если оно имеет имя, будет обозначение, указывающее, что то-то присуще тому-то», – говорит Аристотель («Метафизика», 1030а 14, см. также 1030b 24) и объясняет, что не всякое обозначение имени есть определение, но если имя представляет собой один из видов некоторого рода, то его обозначение будет определением.

Важно заметить, что при моем способе использования термина «определение» (а я следую здесь современному использованию этого термина) определение всегда относится к целому предложению-определению, тогда как Аристотель (и другие, кто в этом следуют за ним, например, Гоббс) иногда использует это слово также как синоним «дефиниенса».

Не бывает определений единичных вещей. Определения всегда относятся только к универсалиям (см. «Метафизика», 1036а 28) и только к сущностям, т.е. к тому, что является видом некоторого рода (т.е. последним видовым отличием – см. «Метафизика», 1038а 19) и неделимой формой (см. «Вторая аналитика», II, 13, 97b 6 и след.).

11.31

Некоторую неясность аристотелевской трактовки этой проблемы можно усмотреть из конца прим. 27 к этой главе и из дальнейшего сравнения двух интерпретаций теории определения Аристотеля, выдвинутых Дж. Гроутом и У. Россом. Совершенно неясна аристотелевская трактовка способа, при помощи которого в процессе индукции мы восходим к определениям, выражающим первые начала (см., в частности, «Вторая аналитика», II, 19, 100а и след.).

11.32

По поводу платоновской доктрины см. прим. 25-27 к гл. 8 и соответствующий текст.

Дж. Гроут пишет (С. Grate. Aristotle, 2nd ed., p. 260): «Аристотель унаследовал от Платона его доктрину непогешимого нуса, или ума, полностью застрахованного от ошибок». Дж. Гроут продолжает, подчеркивая, что в противоположность Платону Аристотель не презирает наблюдение и вообще опыт, однако приписывает, скорее, своему нусу (т.е. интеллектуальной интуиции) «позицию термина и соотносит его с процессом индукции» (loс. cit., см. также op. cit., p. 577). Это так, но наблюдения, по-видимому, имели своей задачей, согласно Аристотелю, лишь функцию возбуждения и развития нашей интеллектуальной интуиции универсальной сущности. Действительно, никто до сих пор не объяснил, каким образом определения, являющиеся безошибочными, можно получить с помощью индукции.

11.33

Аристотелевское воззрение тождественно платоновскому, поскольку для обоих в этом случае не существует, в конечном счете, возможности обратиться к аргументации. Все, что можно сделать, – это догматически приписать некоторому определению статус истинного описания сущности и вместо ответа на вопрос о том, почему именно это, а не другое описание истинно, отослать к «интуиции сущности».

Аристотель говорит об индукции, по крайней мере, в двух смыслах – в эвристическом смысле метода, помогающего нам «созерцать общий принцип» (см. «Первая аналитика», 67а 22 и след., 27b 25-33, «Вторая аналитика», 71а 7, 81а 38/81b 5, 100b 4 и след.), и в эмпирическом смысле (см. «Первая аналитика», 68b 15-37, 69а 16, «Вторая аналитика», 78а 35, 81b 5 и след., «Топика», 105а 13, 156а 4, 157а 34).

Во «Второй аналитике» имеется явное противоречие, которое, однако, может быть прояснено. Аристотель утверждает (77а 4), что определение не является ни всеобщим, ни частным. Я полагаю, что решение возникающей в этой связи проблемы состоит не в том, что определение «строго говоря, вообще не является суждением» (как предлагает Дж. Мюр в оксфордском переводе «Второй аналитики»), а в том, что оно не просто всеобщее, а «соразмерное», т.е. всеобщее и необходимое (см. 73b 26, 96b 4, 97b 25).

Относительно упомянутых в тексте «аргументов» из «Второй аналитики» см. 100b 6 и след. По поводу мистического единства познающего и познаваемого см. «О душе», в частности, 425b 30 и след., 430а 20, 431а 1; очень важный отрывок для нас – это 430b 27 и след.: «Ум, направленный на существо предмета как суть его бытия, истинен [всегда]… так же как видение того, что свойственно воспринимать зрению, всегда истинно». Относительно теологических рассуждений в «Метафизике» см., в частности, 1072b 20 («соприкосновение») и 1075а 2; см. также прим. 59 (2) к гл. 10, прим. 36 к гл. 12 и прим. 3, 4, б, 29-32 и 58 к гл. 24.

По поводу «предмета [науки] в целом», упомянутого в следующем абзаце, см. конец «Второй аналитики», 100b 15 и след.

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

11.34

Я развил этот взгляд на научный метод в моей «The Logic of Scientific Discovery», см. например, р. 278 и след. (русский перевод: К. Поппер. Логика и рост научного знания. М., 1983, с 226 и след.). На р. 315 и след. «The Logic of Scientific Discovery» опубликован полный перевод моей статьи «On the so-called "Logic of Induction" and the "Probability of Hypotheses''» («Erkenntnis», vol. 5, 1934, p. 170 и след.), в которой я писал: «Нам следует привыкнуть понимать науку не как "совокупность знаний", а как систему гипотез, т.е. догадок и предвосхищений, которые в принципе не могут быть обоснованы, но которые мы используем до тех пор, пока они выдерживают проверки и о которых мы никогда не можем с полной уверенностью говорить, что они "истинны", "более или менее достоверны" или даже "вероятны"».

11.35

Приводимая цитата заимствована из моей заметки «A Criterion of the Empirical Character of Theoretical Systems» из «Erkenntnis» (vol. 3, 1933), позднее опубликованной в моей «The Logic of Scientific Discovery», pp. 312 и след. (русский перевод: К. Поппер. Логика и рост научного знания. М., 1983, с. 239). Эта цитата является парафразой и обобщением высказывания о геометрии, сделанного Эйнштейном в его «Геометрии и опыте» (A. Einstein. Geometry and Experience).

11.36

Безусловно, нельзя оценить, что важнее для науки: теории, аргументация и рассуждения или наблюдение и эксперимент, поскольку наука представляет собой теорию, проверяемую наблюдением и экспериментом. Вместе с тем ясно, что все «позитивисты», которые пытаются доказать, что наука является «совокупностью наших наблюдений» или что она имеет скорее наблюдательный, чем теоретический характер, определенно ошибаются. Роль теории и аргументации в науке вряд ли можно переоценить. Об отношении между доказательством и логической аргументацией см. прим. 47 к настоящей главе.

11.37

См., например, «Метафизика», 1030а 6 и 14 (см. прим. 30 к настоящей главе).

11.38

Я хочу подчеркнуть, что говорю здесь о споре «номинализм versus эссенциализм» в чисто методологическом ключе. Я не занимаю какой-либо определенной позиции по отношению к метафизической проблеме универсалий, т.е. по отношению к метафизической проблеме «номинализм versus эссенциализм» (термин «эссенциализм» я предлагаю использовать вместо традиционного термина «реализм»). И я, конечно, не защищаю метафизический номинализм, хотя и защищаю методологический номинализм (см. также прим. 27 и 30 к гл. 3).

Противопоставление номиналистского и эссенциалистского определений, проведенное в тексте, представляет собой попытку реконструировать традиционное различие между «вербальными» и «реальными» определениями. Для меня при этом самым важным является следующий вопрос следует ли читать определения справа налево или слева направо, или, другими словами, следует ли заменять длинный текст коротким или короткий текст – длинным.

11.39

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

Можно, конечно, сказать, что К. Менгер рекурсивно определил «измерение», а А. Тарский определил «истину». Однако такой способ выражения может привести к недоразумениям. На самом деле Менгер дал чисто номиналистское определение классов множеств точек, которые он назвал «n-размерными», потому что оказалось возможным заменить во всех существующих контекстах интуитивное математическое понятие «n-размерный» новым понятием. То же самое можно сказать о понятии «истина», сформулированном А. Тарским. Тарский предложил номиналистское определение (или, скорее, метод построения номиналистских определений) понятия «истина», так как он показал, как некоторая система предложений может быть выведена из определения понятия «истина», соответствующего этим предложениям (типа закона исключенного третьего). При этом речь идет именно о тех предложениях, которые использовались многими логиками и философами в связи с тем, что они называли «истиной».

11.40

В случае необходимости мы можем добиться точности нашего языка, устранив все определения и взяв на себя колоссальные хлопоты по использованию определяющих терминов вместо определяемых. Дело в том, что в современных методах определения кроется некоторый источник неточности. Р. Карнап разработал в 1934 году метод, который можно назвать первым методом устранения противоречий в языке, использующем определения (см. R. Carnap. Logical Syntax of Language, 1937, § 22, p. 67; см. также D. Hilbert, P. Bernays. Grundlagen der Matheraatik, 1939, Bd. II, S. 295, note 1). Карнап показал, что в большинстве случаев язык, допускающий определения, будет противоречивым, даже если определения удовлетворяют общим правилам их построения. Сравнительная практическая несущественность этой противоречивости просто основывается на том факте, что мы всегда можем устранить определяемые термины, заменяя их на определяющие термины.

11.41

Несколько примеров использования этого метода введения нового термина только после того, как возникла в этом потребность, можно найти в настоящей книге. Имея дело, как в этой книге, с философскими позициями, вряд ли можно избежать введения ради краткости имен для этих позиций. Именно по этой причине я использую столь многочисленные «измы». Однако в большинстве случаев эти имена вводятся только после того, как рассматриваемые позиции уже были охарактеризованы.

11.42

При более систематической критике эссенциалистского метода следует различать три проблемы, которые эссенциализм не может ни избежать, ни решить: (1) Проблема ясного различения между вербальными конвенциями и эссенциалистскими определениями, которые «истинно» описывают сущность. (2) Проблема отличения «истинных» эссенциалистких определений от «ложных». (3) Проблема устранения регресса в бесконечность в определениях. Я кратко остановлюсь только на второй и третьей из этих проблем. Третья проблема рассматривается в тексте книги, а по поводу второй см. прим. 44 (1) и 54 к настоящей главе.

11.43

Тот факт, что высказывание истинно, иногда может помочь объяснить, почему оно кажется самоочевидным. Таков например, случай с «2 + 2 = 4» или с предложением «Солнце излучает как свет, так и тепло». Однако противоположное определенно не имеет места. То, что некоторое предложение кажется кому-то или даже всем нам «очевидным», т.е. тот факт, что некоторые из нас или даже все мы твердо верим в его истинность и не можем представить его ложности, не дает никаких оснований для того, чтобы оно действительно было истинным. (То, что мы неспособны представить ложность данного высказывания, во многих случаях говорит только о том, что наше воображение недостаточно развито.) Одной из самых серьезных ошибок философии всегда было выдвижение самоочевидности в качестве аргумента в пользу истинности предложения. Так поступали практически все философы-идеалисты. Это свидетельствует о том, что идеалистические философские учения часто были системами апологетики догматических убеждений.

Мы часто находимся в положении, когда нам приходится принимать некоторые предложения на основании их самоочевидности, поскольку у нас нет лучшего основания. Однако это оправдание не является достаточным. Принципы логики и научного метода (в частности, «принцип индукции» или «закон единообразия природы») обычно приводятся в качестве примеров высказываний, которые мы принимаем и которые оправдываются только их самоочевидностью. Даже если это и так, честнее было бы сказать, что мы не можем их оправдать и оставляем без достаточного обоснования. Вместе с тем в действительности нет никакой необходимости в «принципе индукции» (см. мою «The Logic of Scientific Discovery»). А что касается «принципов логики», то в последние годы много было сделано, чтобы показать, что теория самоочевидности безнадежно устарела (см., в частности, R. Сагпар. Logical Syntax of Language. London and New York, 1937; R. Carnap. Introduction to Semantics. Cambridge, Mass., 1942; см. также прим. 44 (2) к настоящей главе).

11.44

(1) Применив эти соображения к интеллектуальной интуиции сущностей, мы сразу же увидим, что эссенциализм не способен решить следующую проблему: как возможно установить, истинно ли данное формально правильное определение? Или, иначе говоря: каким образом совершать выбор между двумя конкурирующими определениями? Очевидно, что для методологического номиналиста ответ на вопросы такого рода тривиален. Предположим, что кто-то утверждает (вместе с «Oxford Dictionary»), что «Щенок – это самовлюбленный, пустоголовый, дерзкий молодой человек», и настаивает на принятии этого определения наперекор тем, кто цепляется за данное в тексте определение («Щенок – это молодой пес»). В этом случае номиналист, если он обладает достаточным терпением, укажет на то, что спор о ярлыках не интересует его, поскольку их выбор совершенно произволен, и может предложить, если существует какая-либо опасность двусмысленности, ввести два разных ярлыка, например «щенок1» и «щенок2». Если же какая-то третья сторона будет настаивать на том, что «Щенок – это коричневая собака», то номиналист терпеливо предложит ввести еще один ярлык «щенокз». Если противоборствующие стороны все же продолжат свой спор, потому что кто-то будет претендовать на то, что только его определение щенка может считаться законным, или настаивать на том, что только щенок в его понимании должен считаться «щенком1», то даже очень терпеливый номиналист лишь пожмет плечами. (Чтобы избежать недоразумений следует сказать, что методологический номинализм вообще не касается вопроса о существовании универсалий, поэтому Гоббс не является методологическим номиналистом, а защищает направление онтологического номинализма.)

Вместе с тем эта тривиальная проблема оказывается непреодолимым препятствием для эссенциалистского метода. Мы уже рассматривали ситуацию, в которой эссенциалист настаивает, к примеру, на том, что предложение «Щенок – это коричневый пес» не является правильным определением сущности «щенковости». Однако, как можно обосновать этот тезис? Только обращаясь к интеллектуальной интуиции сущностей, что на практике может обернуться полной беспомощностью эссенциалиста в том случае, если его определение подвергают сомнению. Существуют только два способа, посредством которых он может прореагировать на это. Во-первых, упрямо повторять, что его интеллектуальная интуиция является единственно правильной, на что, естественно, его оппонент может ответить точно так же, и мы – вместо абсолютно окончательного и достоверного знания, обещанного нам Аристотелем, – попадаем в тупик. Во-вторых, допустить, что интуиция оппонента столь же истинна, как и его собственная, но что она относится к другой сущности, которую он неудачно обозначил тем же самым именем. В этом случае возникает предложение использовать два разных имени для двух разных сущностей, например «щенок1» и «щенок2». Однако этот шаг равносилен отказу от эссенциалистской позиции, поскольку он означает, что мы начинаем с определяющей формулы и приписываем ей некоторый ярлык, т.е. что мы действуем «справа налево», а также, что мы приписываем эти ярлыки совершенно произвольно. Это становится очевидным, если принять во внимание, что попытка настаивать на том, что щенок1 по своей сущности является молодым псом, а коричневый пес может быть только щенком2, явно привела бы к той же самой трудности, которая поставила эссенциализм перед настоящей дилеммой. В соответствии с этим каждое определение следует считать приемлемым в равной степени (при условии формальной правильности). Это означает, если использовать терминологию Аристотеля, что одна базисная посылка столь же истинна, как и любая другая (противоположная ей), и что «невозможно сформулировать ложное высказывание». (Можно сказать, что на это указывал уже Антисфен – см. прим. 54 к настоящей главе.)

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

(2) Критику гуссерлевской интуиции сущностей см. в J. Kraft. From Husserl to Heidegger. Germ, ed., 1932 (см. также прим. 8 к гл. 24). Из авторов, которые придерживаются подобных взглядов, наибольшее влияние на рассмотрение социологических проблем имел, вероятно, М. Вебер. Он предлагал для наук об обществе «метод интуитивного понимания», а его «идеальные типы» Соответствуют в основном сущностям Аристотеля и Гуссерля. Следует отметить, что, несмотря на эти тенденции, Вебер видел неприемлемость опоры на самоочевидность: «Тот факт, что некоторая интерпретация обладает высокой степенью самоочевидности, ничего не доказывает относительно ее эмпирической обоснованности» (M. Weber. Gesammelte Aufsaetze, 1922, S. 404). К тому же он правильно говорил, что интуитивное понимание «всегда должно находиться под контролем обычных методов» (loc. cit., курсив мой). Однако в таком случае этот метод присущ не только науке о «человеческом поведении», как считал Вебер, но характерен также для математики, физики и т. п. Получается, что сторонники признания интуитивного понимания специфическим методом наук о «человеческом поведении» придерживаются такого взгляда в основном потому, что не могут вообразить, как математик или физик способны входить в столь тесный контакт с объектом своего исследования, что «приобретают чувство объекта», – аналогично тому, как социолог «приобретает чувство» человеческого поведения.

11.45

«Наука предполагает определение всех ее терминов» (W. D. Ross. Aristotle, p. 44; ср. Аристотель. «Вторая аналитика», I, 2; см. также прим. 30 к настоящей главе).

11.46

Цитата заимствована из R. Н. S. Crossman. Plato Today, 1937, p. 71 и след.

Аналогичная теория предложена в М. R. Cohen, Е. Nagel. An Introduction to Logic and Scientific Method, 1936, p. 232: «Многие споры об истинной природе собственности, религии, закона… безусловно, исчезли бы, если бы вместо этих слов были подставлены точно определенные эквиваленты». (См. также прим. 48 и 49 к настоящей главе.)

Взгляды Л. Витгенштейна на проблему определения понятий, выраженные им в «Логико-философском трактате» (1921/22), как и взгляды некоторых его последователей, не столь определенны, как у Р. Кроссмана, М. Коэна и Э. Нагеля. Прежде всего необходимо отметить, что Витгенштейн резко настроен против метафизики. «Книга, – пишет он в «Предисловии» к «Логико-философскому трактату», – излагает философские проблемы и показывает, как я полагаю, что постановка этих проблем основывается на неправильном понимании логики нашего языка» (см. L. Wittgenstein. Tractatus Logico-Philosophicus. London, 1922, все цитируемые в этом примечании утверждения Витгенштейна взяты с pp. 75 и 77; русский перевод: Л. Витгенштейн. Логико-философский трактат. М., 1958, с. 29, далее цитируется также с. 50). Витгенштейн стремится показать, что метафизика – это «просто бессмыслица» и пытается провести в нашем языке границу между смыслом и бессмыслицей: «Эту границу можно… установить только в языке, и все, что лежит по ту сторону границы, будет просто бессмыслицей» (русский перевод: там же). В своей книге Витгенштейн утверждает, что предложения имеют смысл. Они истинны или ложны. Философских предложений не существует. Они только похожи на предложения, но в действительности не имеют смысла. Граница между смыслом и бессмыслицей совпадает с границей между естествознанием и философией: «Совокупность всех истинных предложений есть все естествознание (или совокупность всех естественных наук). – Философия не является одной из естественных наук» (русский перевод: там же, с. 50). Истинная задана философии, следовательно, не в том, чтобы формулировать предложения, а в том, чтобы прояснять их: «Результат философии – не некоторое количество "философских предложений", но прояснение предложений» (русский перевод: там же). Тот, кто не понимает этого и формулирует философские предложения, говорит метафизическую чепуху.

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

Сказанное можно резюмировать следующим образом. Витгенштейн ищет линию демаркации между смыслом и бессмыслицей и обнаруживает, что эта демаркация совпадает с линией демаркации между наукой и метафизикой, т. е. между научными предложениями и философскими псевдопредложениями. (То, что он неправильно отождествляет область естественных наук с областью истинных предложений, нас здесь не заботит; см., однако, прим. 51 к настоящей главе.) Изложенная интерпретация целей Витгенштейна подтверждается следующим его высказыванием: «Философия ограничивает… область естествознания» (L. Wittgenstein. Tractatus Logico-Philosophicus. London, 1922, p. 77; русский перевод: Л. Витгенштейн. Логико-философский трактат. М., 1958, с. 50).

Итак, каким же образом можно в конце концов провести линию демаркации? Каким образом «науку» можно отделить от «метафизики» и тем самым отделить «смысл» от «бессмыслицы»? Ответ на эти вопросы показывает сходство между теорией Витгенштейна и теорией Кроссмана и других близких к нему авторов. Витгенштейн считает, что термины или «знаки», используемые учеными, имеют значение, тогда как метафизик «не дает никакого значения некоторым знакам в своих предложениях». Вот что он пишет: «Правильным методом философии был бы следующий: не говорить ничего, кроме того, что может быть сказано, – следовательно, кроме предложений естествознания, т.е. того, что не имеет ничего общего с философией, – и затем всегда, когда кто-нибудь захочет сказать нечто метафизическое, показать ему, что он не дал никакого значения некоторым знакам в своих предложениях» (L. Wittgenstein, op. cit., pp. 187 и 189; русский перевод: там же, с. 97). На практике это означает, что мы должны спросить метафизика: «Что вы имеете в виду под этим словом? Что вы имеете в виду под тем словом?» Иначе говоря, мы должны потребовать от него определений и если определения не будут даны, то мы можем предположить, что его слова лишены значения.

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

Следует отметить, что в одной из статей М. Шлика, опубликованной в «Erkenntnis», vol. I, p. 8 и след., где М. Шлик разбирает учение Л. Витгенштейна, он упоминает о проблеме регресса в бесконечность. Однако то решение, которое он предлагает (и которое, по-видимому, состоит в использовании индуктивных определений и, возможно, некоторых принципов операционализма – см. прим. 50 к этой главе), не является сколь-нибудь ясным и не открывает никаких перспектив для решения проблемы демаркации. Я думаю, что некоторые намерения Л. Витгенштейна и М. Шлиха, требовавших создания философии значения, реализованы в той логической теории, которую А. Тарский назвал «семантикой». Однако я полагаю, что соответствие намерений Л. Витгенштейна и М. Шлика и задач семантики не столь уж велико. Действительно, семантика формулирует некоторые предложения для обсуждения, а не только «проясняет» их. – Мои критические замечания по поводу теории Л. Витгенштейна будут продолжены в прим. 51-52 к настоящей главе (см. также прим. 8 (2) и 32 к гл. 24 и прим. 10 и 25 к гл. 25).