Елена Середкина - Философия и методология науки XX века: от формальной логики к истории науки. Хрестоматия.

• Название: Философия и методология науки XX века: от формальной логики к истории науки. Хрестоматия.
• Автор: Елена Середкина
• Издательство: Пермский Государственный Технический Университет
• Жанр: Философия
• Год: 2009

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

---

“Брут убил Цезаря” осмысленно, но “Убитый убил Цезаря” — бессмысленно, поэтому мы не можем заменить “Брута” “убитым”, хотя оба слова имеют значение. Это — очевидность здравого смысла, но, к сожалению, почти вся философия пытается забыть это. Например, следующие слова по самой их природе грешат против этого: атрибут, отношение, комплекс, факт, истина, ложь, нет, лжец, всеведение. Чтобы придать значение этим словам, мы должны выбрать окольный путь посредством слов и символов и различных способов, в которых они могут иметь значение. И даже тогда мы обычно приходим не к одному значению, а к бесконечному ряду различных значений. Слова, как мы видели, все имеют тот же самый логический тип. Таким образом, когда значения двух слов имеют различные типы, тогда отношения этих слов к тому, что они обозначают, также имеют различные типы. Атрибутивные и реляционные слова имеют тот же самый тип, следовательно мы можем осмысленно сказать: “атрибутивные и реляционные слова имеют различное применение”. Но мы не можем осмысленно сказать, что “атрибуты не являются отношениями”. В соответствии с нашим определением типов, поскольку отношения являются именно отношениями, то форма слов “атрибуты являются отношениями” должна быть не ложной, но бессмысленной, а форма, образованная из слов “атрибуты не являются отношениями” подобно первой, должна быть не истинной, но бессмысленной. Тем не менее, утверждение “атрибутивные слова не являются реляционными словами” осмысленно и истинно.

Мы можем теперь коснуться вопроса о внутренних и внешних отношениях, напомнив, что обычная их формулировка с обеих сторон является несовместимой с доктриной типов. Я начну с попыток установить доктрину внешних отношений. Бесполезно говорить, что “термины независимы от своих отношений”, потому что “независимы” — слово, которое не обозначает ничего. Два события, можно будет сказать, станут каузально независимыми, если никакая каузальная цепь не приводит от одного из них к другому. Это происходит в специальной теории относительности, когда разделение между событиями пространственно подобно. Очевидно, такой смысл “независимости” является иррелевантным. Когда мы говорим, что “термины независимы от своих отношений”, мы имеем в виду, что “два термина, которые имеют данное отношение, будут теми же самыми, если они не находятся в таком отношении”, что, очевидно, ложно. Ведь будучи тем, чем они являются, они имеют это отношение, и следовательно, все, что не имеет такого отношения, будет отличаться от них. Если мы намерены считать — как оппоненты внешних отношений предлагают нам делать, — что отношение есть третий термин, который оказывается между двумя другими терминами и как-то связывает их, то это очевидный абсурд, ибо в таком случае отношение перестает быть отношением и все, что является подлинно реляционным, так это сцепление отношений с терминами. Концепция отношения как третьего термина между двумя другими грешит против доктрины типов, и ее всеми силами следует избегать.

Что же тогда мы подразумеваем под доктриной внешних отношений? Прежде всего, что реляционные предложения в общем не являются формально-логически эквивалентными одному или нескольким субъектно-предикатным предложениям. Сформулируем это более точно: если дана реляционная пропозициональная функция “х R у”, то в общем мы не можем обнаружить предикаты a, b, c, такие, что для всех значений х и у, х R у эквивалентно х а, у b, (x, у) c, (где (х, у) обозначает все, состоящее из х и у) или любому одному или двум из них. Это и только это я имею в виду, когда утверждаю доктрину внешних отношений. И это, по крайней мере, отчасти есть то, что отрицает Брэдли, когда он формулирует доктрину внутренних отношений.

Вместо “объединений” или “комплексов” я предпочитаю говорить о “фактах” Должно быть понятно, что слово “факт” не может появляться осмысленно в любом месте предложения, где встречается осмысленно слово “простой”, а также, что факт не может появляться там, где может встретиться простое. Мы не должны говорить “факты не являются простыми”. Но мы можем сказать: “Символ для факта не должен заменяться символом для простого, и наоборот, если должно быть сохранено значение”. Но следует заметить, что в этом предложении слово “для” имеет различные значения в двух случаях его использования. Если мы должны иметь язык, который обезопасит нас от ошибок относительно типов, то символ для факта должен быть предложением, а не отдельным словом или буквой. Факты могут утверждаться или отрицаться, но не именоваться. (Когда я говорю, что “факты не могут именоваться”, то это, строго говоря, не имеет смысла. То, что мы можем сказать, не впадая в бессмыслицу, так это то, что “символ для факта не есть имя”). Это показывает, как значение выступает различным отношением для разных типов. Способ придать значение факту состоит в его утверждении, а способ придания значения простому — в его именовании. Очевидно, именование отличается от утверждения, и подобные различия существуют там, где встречаются более развитые типы, хотя язык и не имеет никаких средств для выражения этих различий.

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

Я перехожу теперь к некоторым критическим замечаниям Брэдли. Он говорит: “Основная позиция Рассела остается мне непонятной. С одной стороны, я пришел к мысли, что он защищает строгий плюрализм, который не допускает ничего, кроме простых терминов и внешних отношений. С другой стороны, Рассел, кажется, настойчиво утверждает и использует всюду идеи, которые, конечно, такой плюрализм отрицают. Он везде выдвигает объединения, которые являются сложными, и которые не могут анализироваться в терминах и отношениях. Эти две позиции, по моему мнению, несовместимы, так как вторая, как я понимаю, категорически противоречит первой”.

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

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

Когда я говорю о “простом”, я обязан объяснить, что речь идет о чем-то невоспринимаемом, как таковом, но известном только в результате вывода как предел анализа. Весьма возможно, что посредством большего логического искусства необходимость в таком допущении исчезнет. Логический язык не приведет к ошибке, если его простые символы (то есть те, которые не имеют частей, являющихся символами или любыми значимыми структурами) все будут обозначать объекты некоторого одного типа, даже если эти объекты не являются простыми. Единственный недостаток такого языка состоит в том, что он не в состоянии иметь дело с чем-то более простым, чем объекты, которые представлены простыми символами. Но я признаю и мне кажется очевидным (как это казалось и Лейбницу), что то, что является сложным должно быть построено из простых [элементов], хотя число таких конституентов может быть неограниченным. Также очевидно, что логическое использование старого понятия субстанции (то есть использование понятия, которое не предполагает временной длительности) может быть осуществлено только, если это вообще возможно, по отношению к простым [элементам]. Объекты другого типа не имеют того вида бытия, который ассоциируется с субстанцией. С символической точки зрения, сущность субстанции состоит в том, что она может быть только именована в старомодном языке, она никогда не встречается в предложении, кроме как в качестве субъекта или как один из терминов отношения. Если то, что мы рассматриваем как простое, есть в действительности сложное, тогда мы можем попасть в затруднение, именуя его, когда все, что мы обязаны делать, так это утверждать его. Например, если Платон любит Сократа, то не существует особого объекта “Платоновская любовь к Сократу”, а только факт, что Платон любит Сократа. И даже говоря об этом, как о “факте”, мы уже делаем его более субстанциальным и единым, чем мы имеем право делать это.