СУЩЕСТВОВАНИЕ. Характерно, что дискуссия о существовании, в которой принимали участие все видные философы и логики того времени - Рудольф Карнап, Алонзо Черч, Уиллард Куайн, разгорелась вовремя второй мировой войны. Скорее закономерно, чем парадоксально, что этот вопрос обострился в период торжества тоталитарной культуры и государственности, когда главенствующую роль играет отрицание существующего и наделение атрибутами С. иллюзий, химер, устаревших мифов. С другой стороны, не сдавал позиций традиционный идеализм(ср. абсолютный идеализм), утверждавший, что реально существуют лишь идеи предметов, а не сами предметы. Известен знаменитый доклад в Британской академии Дж. Э. Мура, одного из основателей аналитической философии, "Доказательство существования внешнего мира".
Доказательство состояло в том, что Мур поочередно поднимал то правую, то левую руку и громко говорил: "Я точно знаю, что моя рука существует". С логической точки зрения такие вопросы, как "Существует ли Бог?" или "Существуют ли единороги?" являются реальной проблемой, потому что слово "существовать" выступает в речи одновременно в двух функциях. Когда мы говорим: "Он спит", мы тем самым подразумеваем, что "он" существует. Любому утверждению о фактах предшествует молчаливая презумпция, чтоэти факты существуют. В этой функции глагол "существовать" называется экзистенциальным квантором, или квантором (как бы счетчиком) С. Уиллард Куайн придумал остроумный тест на С. Предметы существуют, если их можно сосчитать. Но вернемся к единорогам. Их нельзя сосчитать, потому что они не существуют, но тем не менее мы не можем сказать, что единороги не существуют, ибо тогда вообще не о чем было бы говорить. Эту проблему понимал еще Платон, она и известна как "борода Платона": небытие в некотором смысле должно быть, в противном случае оно есть то, чего нет. Эта парадоксальность возникает благодаря тому, что глагол "существовать" выступает и в функции обычного предиката; и вот когда они встречаются в одном утверждении: квантор С.(существует такой Х) и предикат С. (Х существует), то получается путаница. Мы хотим сказать: "Единорогов не существует", а в результате получается: "Существует такой Х, как единорог, который не существует".
Выходов из парадокса С. было два. По первому пути пошел один из последних идеалистов ХХ в. немецкий философ Алексиус Майнонг, считавший, что есть два мира: мир вещей, в котором существуют все материальные предметы, и мир идей и представлений, в котором существуют Пегас, круглый квадрат, единороги и т.п. В принципе по тому же пути пошла модальная логика (см. модальности, семантика возможных миров, философия вымысла), которая на вопрос "Существует ли Шерлок Холмс?" отвечала: "Существует в художественном мире рассказов Конан-Дойля", а на вопрос "Существует ли Дед Мороз", -"Существует в детских представлениях о Новом годе".
Недостатком этой стратегии было то, что она в результате совершенно размывала границы между существующим и несуществующим, между иллюзией и реальностью (см.). По второму пути пошел Бертран Рассел. Он считал, что мир у нас более или менее один. Надо только уметь грамотно в логическом смысле выражать то, что может быть выражено (см. логический позитивизм). Рассел решил парадокс существования при помощи так называемой теории определенных дескрипций (описаний), которая заключается в том, что каждое слово является скрытым описанием, то есть его можно представить при помощи других слов (ср. семантические примитивы).Тогда мы сможем непротиворечиво говорить о том, что единорогов не существует. Мы разложим слово "единорог" на описание: "животное, являющееся по природе рогатым", и тогда мы скажем: "Все животные, являющиеся по природе рогатыми, имеют два рога, и при этом нет ни одного из них, которое по природе имело бы один рог". Вот мы и разделались с единорогами.
Рассела поддержал один из столпов аналитической философии американский философ Уиллард Куайн. В 1940 -1950-е гг. стало модным говорить о модальных логиках (см. модальности), то есть о том, что возможно, невозможно или необходимо. И вот популярными стали концепции о возможно существующих объектах. Сюда попал и злополучный единорог. Единороги не существуют, говорили сторонники этой теории, но логически нет ничего невозможного, чтобы единороги существовали, они являются возможно-существующими объектами. Под эту же мерку попадали Шерлок Холмс, Дед Мороз, Микки Маус, Винни Пух и Григорий Мелехов.
Куайн восстал против, как он выражался, "разбухшего универсума" модальной логики. Он писал в статье "О том, что есть", что, когда мы говорим о возможно-существующих объектах, теряется критерий их тождества: возможные объекты нельзя сосчитать. Представьте себе, говорил Куайн, одного возможного толстяка, стоящего у двери, а теперь представьте другого возможного толстяка, стоящего у двери. Сколько возможных толстяков стоит у двери? Может быть, это один и тот же возможный толстяк? Нет никаких критериев, чтобы решить, сколько возможных толстяков стоит у двери, потому что это нереальные сущности". Борода Платона, говорит Куайн, слишком спутана, Современная философия и картина мира пошла скорее за Майнонгом Если вспомнить, какое количество фильмов посвящено виртуальным двойникам, инопланетянам, притворяющимся людьми; если вспомнить, какую роль сейчас играют виртуальные реальности, то становится ясным, что проблема С. еще далека от разрешения и едва ли не более парадоксальна сейчас, в конце века, чем в его середине.
Лит.:
Рассел Б. Введение в математическую философию. - М., 1996.
Целищев В.В. Логика существования. - Новосибирск, 1971.
Куайн У. О том, что есть // Даугава, 1989.- В. 11.