Когда, например, я говорю: 'Возможно, завтра будет дождь' - пропозиция 'Завтра будет дождь' относится к классу пропозиций 'Дождь идёт в момент времени /', где / - различные моменты времени. Отчасти мы подразумеваем, что нам не известно, будет дождь, или же нет, но также подразумеваем и то, что знаем, что этот тип пропозиции вполне способен быть истинным, что о значении пропозициональной функции нам известно, что какое-то значение является истинным. Я думаю, вы найдёте, что многие обычные употребления слова 'возможно' проходят под таким руководством. Другими словами, когда вы говорите о пропозиции, что она является возможной, у вас имеется следующее: 'В данной пропозиции есть некоторая констигуенга, которая, если преобразовать её в переменную, даст вам пропозициональную функцию, иногда являющуюся истинной'. Следовательно, вы не должны говорить о пропозиции просто, что она возможна, но скорее, что она является возможной в отношении такой-то и такой-то констнтуенты. Это было бы более полным выражением. Говоря, например: 'Львы существуют', 'я не имею в виду то же самое, как если бы сказал, что львы возможны; поскольку, когда вы говорите: 'Львы существуют', последнее подразумевает, что пропозициональная функция 'х - лев' является возможной в том смысле, что львы есть, тогда как, если вы говорите: 'Львы возможны', последнее вообще является другим типом высказывания, не подразумевающего, что случайное индивидуальное животное может быть львом, но скорее, что вид животного может быть видом, который мы называем 'львы'. Если вы, например, говорите: 'Единороги возможны', то подразумеваете, что вам не известна какая-либо причина, почему бы не быть единорогам, а это пропозиция совершенно отличная от 'Единороги существуют'. Относительно того, что вы подразумеваете, говоря о том, что единороги возможны, последнее всегда можно свести к тому же самому, как и 'Возможно завтра будет дождь'. Вы имели бы в виду, что пропозиция 'Единороги существуют' является одной из определённого множества пропозиций, из которых истинность некоторых известна, и что описание единорога не содержит ничего такого, что показывало бы невозможность существования подобных зверей. Когда я говорю, что пропозициональная функция является возможной, подразумевая существование случаев, в которых она является истинной, я сознательно использую слово 'возможно' в необычном смысле, поскольку мне требуется единственное слово для моей фундаментальной идеи, и я не могу найти какого-то слова в обычном языке, которое выражает то, что я имею в виду. Во-вторых, предполагается, что когда кто-нибудь говорит, что вещь существует, это подразумевает, что она находится во времени, или во времени и пространстве, по крайней мере во времени. Данное предположение является самым общим, но я не думаю, что на самом деле многое можно сказать в пользу такого использования этого слова; во-первых, поскольку не было бы нужды в отдельном слове, если бы это и было всё, что вы подразумевали. Во-вторых, поскольку, наконец, можно вполне стремиться к обсуждению вопроса, есть ли вещи, которые существуют безотносительно ко времени, в том смысле, чем бы ни был этот смысл, в котором о вещи, обычно рассматриваемой как существующая, говорится, что она существует. Ортодоксальная метафизика придерживается того, что то, что действительно является реальным, находится не во времени, что находиться во времени значит быть более или менее нереальным, и что реально существующее вообще не находится во времени. И ортодоксальная теология считает, что Бог не находится во времени. Я не вижу причины, почему бы вам не соорудить своё определение существования таким образом, чтобы предотвратить такое понятие существования. Я склонен думать, что есть вещи, которые не находятся во времени, и должен принести извинения за использование слова 'существование' в таком смысле, когда у вас уже была фраза 'бытие во времени', вполне удовлетворительно выражающее то, что подразумеваете вы. Другое возражение на это определение состоит в том, что последнее по крайней мере не годится для того типа употребления 'существования', который обосновывал моё рассуждение и который является общим с математикой. Когда вы берёте теоремы о существовании, например, говоря: 'Существует чётное простое число', вы имеете в виду не то, что число два находится во времени, но то, что вы способны найти число, о котором сможете сказать: 'Оно является чётным и простым'. Обычно в математике говорят о пропозициях такого типа, как теоремы о существовании, т.е. вы устанавливаете, что существует объект такого-то и такого-то типа; в математике этот объект является конечно логическим объектом, не индивидом, не вещью подобной льву или единорогу, но объектом подобным функции или числу, чему-то такому что явно вообще не имеет свойства бытия во времени, и эта разновидность смысла теорем о существовании релевантна обсуждению значения существования, с которым я имел дело в двух последнихлекциях. Конечно, я придерживаюсь того, что смысл существования можно привести к тому, чтобы охватывать более обычные употребления существования, и фактически дать ключ к тому, что обосновывает эти обычные употребления, как когда говорят, что 'Гомер существовал' или 'Ромул не существовал', или всё, что мы могли бы высказать в этом роде. Я перехожу теперь к третьему предположению о существовании, которое также является обыкновенным, когда об отдельно взятом 'это' вы можете сказать: 'Это существует', в том смысле, что оно не является фантомом, образом или универсалией. Сейчас я думаю, что использование существования затрагивает смешения, от которых исключительно важно освободить разум, действительно достаточно опасные ошибки. Прежде всего, мы должны отделить фантомы и образы от универсалий; они находятся на другом уровне. Фантомы и образы несомненно существуют в том смысле, чем бы он ни был, в котором существуют обычные объекты. Я имею в виду, что если вы закроете глаза и вообразите некоторую визуальную сцену, образы, которые проходят перед вашим разумом в процессе воображения, несомненно существуют. Они суть образы, нечто происходящее, а происходит то, что образы проходят перед нашим разумом, и эти образы представляют собой точно такую же часть мира, как столы, стулья и что-либо ещё. Они являются вполне приличными объектами, и вы только называете их нереальными (если вы так их называете) или трактуете их как несуществующие, поскольку они не обладают обычным типом отношений к другим объектам. Если вы закроете глаза, вообразите визуальную сцену и протянете руку, чтобы прикоснуться к воображаемому, вы не получите тактильного ощущения или, даже неизбежно, тактильного образа. Вы не получите обычной корреляции взгляда и прикосновения. Воображая тяжёлый дубовый стол, вы можете передвинуть его без какого-либо мускульного усилия, чего не случится с дубовым столом, который вы действительно видите. Общие корреляции ваших образов совершенно отличны от корреляций того, что предпочитают называть 'реальными' объектами. Но это не значит сказать, что образы являются нереальными. Это означает только то, что они не являются частью физики. Конечно, я знаю, что подобная вера в физический мир установлена некоторой разновидностью господствующего террора. Вы придерживаетесь того, чтобы неуважительно обходиться с тем, что не подходит физическому миру. Но на самом деле это очень несправедливо в отношении вещей, которые не подходят. Они существуют в той же степени, как и те, что подходят. Физический мир - это некоторый тип правящей аристократии, которой каким-то образом удаётся заставить обращаться с чем-либо другим неуважительно. Подобный тип установки недостоин философа. Мы должны в точности одинаково трактовать вещи, которые не стыкуются с физическим миром, и образы находятся среди них. Я полагаю, имеется в виду, что 'фантомы' отличаются от 'образов', будучи по природе галлюцинациями, предметами, которые не просто воображаются, но которые сопровождают убеждение. И вновь они совершенно реальны; единственно странное в них - это их корреляции. Макбет видит кинжал. Если бы он попытался дотронуться до него, он не получил бы какого-то тактильного ощущения, но из этого не следует, что он не видел кинжал, из этого следует, что он не дотронулся до него. Из этого никоим образом не следует, что визуального ощущения не было. Это означает только то, что тип корреляции между взглядом и прикосновением, которую мы обычно используем, является нормальным, но не универсальным правилом. Претендуя на его универсальность, мы говорим, что вещь является нереальной, когда она ему не соответствует. Вы говорите: 'Любой человек, который является человеком, будет делать то-то и то-то'. Затем, вы находите человека, который не будет поступать так, и говорите, что он не является человеком. Это как раз тот же самый случай, как и с кинжалом, до которого вы не можете дотронуться. В другом месте я объяснял смысл, в котором фантомы являются нереальными'. Когда вы видите реального человека, непосредственный объект, наблюдаемый вами, представляет собой объект целой системы индивидов, все они взаимопринадлежны и в совокупности продуцируют различные 'явления' человека для себя самого и других. С другой стороны, когда вы видите фантом человека, последний является изолированным индивидом, не соответствующим системе, как ей соответствуют индивиды, которые называют явлениями 'реального' человека. Сам по себе фангом является точно такой же частью мира, как и нормальные чувственные данные, но он утрачивает обычную корреляцию и поэтому приводит к ложным выводам и становится обманчивым. Что касается универсалий [universals], когда я говорю об индивиде, что он существует, я определённо не подразумеваю то же самое, как если бы говорил, что он не является универсалией. Высказывание относительно любого индивида, что он не является
Вы читаете Философия логического атомизма