Бертран Рассел - Философия логического атомизма

Если придерживаться обыденного языка, сделать эту точку зрения ясной исключительно трудно, поскольку обыденный язык укоренён в определенном чувстве относительно логики, в определённом чувстве, которым обладали наши первобытные предки, и пока вы придерживаетесь обыденного языка, вы найдёте, что очень трудно отказаться от предубеждений, к которым вынуждает нас язык. Когда, например, я говорю: «Существует [некий] х такой, что х — человек» [ «There is a x such that x is a man»], это не та фраза, которую было бы предпочтительно использовать. «Существует [некий] х» [ «There is а х»] — бессмысленно. Что же так или иначе представляет собой «[некий] х» [ «а х»]? Нет такой вещи. Единственный способ, которым вы действительно можете установить её корректно, — это изобрести новый язык ad hoc, и высказать утверждение, непосредственно применимое к «х человек», как когда говорят «(х — человек) является возможным», или изобрести специальный символ для высказывания, что «х — человек» иногда является истинным. Я подробно останавливаюсь на этом пункте, потому что на самом деле он имеет весьма существенную важность. Я вернусь к существованию в следующей лекции: к существованию, как оно применимо к дескрипциям, что несколько более усложненный случай, чем я обсуждаю здесь. Я думаю, почти невероятное количество ложной философии вырастает из непонимания того, что означает «существование». Как я только что говорил, пропозициональная функция сама по себе есть ничто; она является просто схемой. Следовательно, в описании мира, которое я сейчас пытаюсь достичь, встаёт вопрос: Что же на самом деле соответствует ей в мире? Ясно, конечно, что общие пропозиции у нас есть в том же самом смысле, в котором у нас есть атомарные пропозиции. В данный момент я включаю пропозиции о существовании в общие пропозиции. У нас есть такие пропозиции, как «Все люди смертны» и «Некоторые люди — греки». Но у вас есть не только такие пропозиции; у вас также есть такие факты, и здесь вы, конечно, возвращаетесь к описанию мира: что, вдобавок к индивидуальным фактам, о которых я говорил в предыдущих лекциях, есть также общие факты и факты существования. Другими словами, есть не только пропозиции такого типа, но также и факты такого типа. Это достаточно важный пункт для осознания. Вы даже не сможете получить общий факт с помощью вывода из сколь угодно многочисленных индивидуальных фактов. Старая схема полной индукции, которая обычно встречается в книгах и о которой всегда предполагают, что она совершенно надёжна и легка в противоположность популярной индукции, эта схема полной индукции, если она не сопровождается по крайней мере одной общей пропозицией, не даёт того результата, к которому вы стремитесь. Предположим, например, вы хотите доказать таким способом, что «Все люди смертны». Вы предполагаете действовать по полной индукции и говорите «А человек, являющийся смертным», «Д — человек, являющийся смертным», «С — человек, являющийся смертным» и т. д., пока не закончите. Вы не сможете получить таким способом пропозицию «Все люди смертны», если не знаете, что дошли до конца. Иначе говоря, для того, чтобы на этом пути получить общую пропозицию «Все люди смертны», у вас уже должна быть общая пропозиция «Я перечислил всех людей». Вы никогда не сможете получить общую пропозицию посредством вывода из одних индивидуальных пропозиций. Среди посылок у вас всегда должна быть по крайней мере одна общая пропозиция. Я думаю, это иллюстрирует различные моменты. Один, эпистемологический, заключается в том, что если имеется, как оно по-видимому и есть, знание общих пропозиций, тогда должно быть примитивное знание общих пропозиций (под этим я подразумеваю знание общих пропозиций, не являющееся результатом вывода), поскольку, если вы никогда не способны вывести общую пропозицию кроме как из посылок, по крайней мере одна из которых является общей, ясно, что у вас никогда не будет знания таких пропозиций посредством вывода, если не существует знание некоторых общих пропозиций, не являющееся результатом вывода. Я думаю, что разновидность способа такого познания — или скорее убеждение, что мы обладаем таким познанием — встречающееся в обыденной жизни, вероятно является очень странным. Я хочу сказать, что мы по привычке допускаем общие пропозиции, которые в высшей степени сомнительны; так, например, если кто-то пересчитал людей в этой комнате, можно предположить, что он мог видеть их всех, а последнее является общей пропозицией; и весьма сомнительно, что здесь могут быть люди под столами. Но обособленно от такого типа вещей в любой эмпирической верификации общих пропозиций у вас имеется некоторого рода допущение, которое сводится к тому, что то, чего вы не видите, нет. Конечно, это может быть не совсем так, но с определёнными ограничениями и некоторыми оговорками вы должны предположить, что если вещь не явлена вашим чувствам, то её нет. Это общая пропозиция, и только посредством таких пропозиций вы приходите к обычным эмпирическим результатам, которые получают обычными способами. Если, например, вы проводите перепись населения, то предполагаете, что людей, которых вы не наблюдаете, нет, при условии, что вы действуете тщательно и надлежащим образом, иначе перепись была бы ошибочной. Некоторые допущения такого типа должны лежать в основе того, что кажется чисто эмпирическим. Вы не сможете эмпирически доказать, что то, чего вы не воспринимаете, нет, потому что эмпирическое доказательство состояло бы в восприятии, а, по предположению, это вами не воспринимается, так что любая пропозиция такого типа, если она признаётся, должна признаваться на основании своей собственной очевидности. Я рассматриваю это только как иллюстрацию. Есть много других иллюстраций, где можно взять разновидность пропозиций, которые обычно предполагаются, и многие из них с очень малым оправданием. Сейчас я приступаю к вопросу, ближе связанному с логикой, а именно, к причинам, по которым предполагают, что общие факты существуют, также как и общие пропозиции. Когда мы обсуждали молекулярные пропозиции, я заронил сомнение в предположение, что существуют молекулярные факты, но я не думаю, что могут быть сомнения в существовании общих фактов. Я думаю, совершенно ясно, что когда вы перечислили все атомарные факты в мире, ещё один факт о мире заключается в том, что это все существующие в мире атомарные факты, а последнее объективный факт о мире в той же степени, как и любой из них. Я думаю, ясно, что вы должны допустить общие факты как отличную форму сверх и помимо индивидуальных фактов. То же самое применимо и к «Все люди смертны». Когда вы рассмотрели всех отдельных имеющих место людей и нашли, что каждый из них в отдельности смертей, определённо новый факт в том, что все люди смертны; как новый факт, возникающий из того, о чём я только что говорил, он не может быть выведен из смертности отдельных людей, имеющих место в мире. Разумеется, не так трудно допустить и то, что я могу назвать фактами существования — факты типа «Люди существуют», «Овцы существуют» и т. д. Их, я думаю, вы с готовностью допустите как отдельные и отличные факты сверх и помимо атомарных фактов, о которых я говорил до этого. Данные факты должны входить в описание мира, и таким способом привходят пропозициональные функции, затрагиваемые при описании общих фактов. Я не претендую на знание того, что представляет собой правильный анализ общих фактов. Это исключительно трудный вопрос, вопрос, который мне весьма сильно хотелось бы видеть изученным. Я полагаю, что хотя пропозициональные функции дают удобную техническую трактовку, данный анализ не совсем правилен. Далее этого я не могу идти. Есть один вопрос, связанный с существованием молекулярных фактов. Я думаю, упоминал, что в отношении общих фактов встают определённые трудности, когда говорил, что не считаю, что дизъюнктивные факты существуют. Возьмем «Все люди смертны». Это означает: «„х — человек“ влечёт, что „х смертен“, чем бы ни был х». Вы сразу же можете видеть, что это гипотетическая пропозиция. Из неё не следует ни то, что какие-либо люди существуют, ни то, что является человеком, а что — нет; она просто говорит, что если есть нечто, являющееся человеком, то это нечто смертно. Как указывал м-р Брэдли во второй части своего труда Принципы логики [21] Рассел имеет в виду работу: Bradley F. Principles of Logic.- London, 1883. стр.64 — См., например: Рассел Б. Введение в математическую философию. — М.: Гнозис,1996.-С.47–55. , «Нарушители чужого права владения будут преследоваться в судебном порядке» может быть истинной пропозицией, даже если никаких нарушителей нет, поскольку она означает просто то, что если кто-нибудь нарушит чужое право владения, то он будет преследоваться. Это сводится к тому, что «то, что „х — человек“ влечет „х — смертен“, всегда истинно», является фактом. Вероятно, не слишком трудно видеть, каким образом может быть истинным, если кто-то собирается сказать, что «„Сократ — человек“ влечёт „Сократ смертен“» само не является фактом, т. е. то, что я предполагал, когда обсуждал дизъюнктивные факты. Я чувствую уверенность, что вы сможете обойти это затруднение. Я только полагаю его, как вопрос, который необходимо рассмотреть, когда отрицается существование молекулярных фактов, поскольку, если его нельзя обойти, мы должны будем допустить молекулярные факты. Теперь я хочу перейти к вопросу о совершенно общих пропозициях и пропозициональных функциях. Под ними я подразумеваю пропозиции и пропозициональные функции, которые содержат только переменные и более вообще ничего. Последнее охватывает всю логику. Всякая логическая пропозиция состоит всецело и только из переменных, хотя и неверно, что каждая пропозиция, состоящая всецело и только из переменных, является логической. Стадии обобщения вы можете рассмотреть, например, следующим образом: «Сократ любит Платона» «х любит Платона» «х любите» «xRy».