Но это различие трудно сделать точным. Затем, есть факты, которые связаны с индивидуальными предметами, индивидуальными качествами или отношениями, и обособленно от них, совершенно общие факты того типа, что вы находите в логике, где нет никакого упоминания о какой бы то ни было констигуенте действительного мира, нет никакого упоминания о каком-либо индивидуальном предмете, индивидуальном качестве или индивидуальном отношении; и действительно строго можно сказать, что здесь не упоминается вообще ничего. Одна из характеристик логических пропозиций состоит в том, что они не упоминают ничего. Таковой является пропозиция: «Если один класс представляет собой часть другого класса, то элемент, являющийся членом первого класса, есть также и член второго класса». Все те слова, которые входят в утверждение чисто логической пропозиции, на самом деле относятся к синтаксису. Есть слова, которые просто выражают форму или связь, не упоминая какой-либо индивидуальной конституенты пропозиции, в которой они встречаются. Разумеется, этому требуется доказательство; я и не полагаю, что это самоочевидно. Затем, есть факты о свойствах единичных предметов; и факты об отношениях между двумя предметами, тремя предметами и т. д.; и какое угодно количество важных для разнообразных целей различных подразделений каких-то фактов, имеющих место в мире. Очевидно, что нет никакой двойственности истинных и ложных фактов, существуют как раз только факты. Разумеется, было бы ошибкой сказать, что все факты являются истинными. Это было бы ошибочно, потому что истина и ложь коррелятивны. Сказать, что нечто является истинным, можно было бы только в том случае, если это нечто также могло бы быть ложным. Факт же не может быть истинным или ложным. Это выводит нас на вопрос о высказываниях, пропозициях или суждениях, о всем том, что характеризуется двойственностью истины и лжи. Для целей логики, хотя, как я считаю, и не для целей теории познания, естественно сконцентрироваться на пропозиции, [proposition] как на том, что продолжает оставаться типичным для нас способом передачи двойственности истины и лжи. Можно сказать, что пропозиция является повествовательным предложением, предложением, которое нечто утверждает, а не вопросительным или побудительным предложением или предложением, выражающим желание. Она может быть также той разновидностью предложений, которым предшествует слово «что» [ «that»]. Например, «что Сократ жив» [ «That Socrates is alive»], «что два плюс два равно четыре» [ «That two and two is four»], «что два плюс два равно пяти» [ «That two and two is five»], всё подобное этому является пропозицией. Пропозиция есть только символ. Она представляет собой комплексный символ в том смысле, что состоит из частей, также являющихся символами; символ можно определить как комплексный, когда он состоит из частей, которые являются символами. В предложении, содержащим различные слова, каждое из этих слов является символом, стало быть, и предложение, состоящее из них, является комплексным в этом смысле. В теории символизма есть много такого, что имеет важное значение для философии, гораздо большее, чем я думал одно время. Я полагаю, что это значение почти всецело негативное, т. е. оно заключается в том, что при недостаточно бережном обращении с символами, при недостаточном осознании отношения символа к тому, что он символизирует, вы найдёте, что приписываете предмету те свойства, которые принадлежат только символу. В самых абстрактных исследованиях, таких как философская логика, это, разумеется, особенно вероятно, ибо предмет размышлений чрезвычайно труден и уклончив, причём настолько, что любой, кто хотя бы однажды попытался поразмыслить над ним, знает, что вы и не задумывались об этом, кроме может быть раз в полгода на полминуты. Остальное время вы думали о символах постольку, поскольку они осязаемы, но тот вопрос, который вам предлагается обдумать, чрезвычайно сложен и его не часто удаётся сделать предметом размышлений. Действительно хороший философ тот, кто раз в полгода хотя бы на минуту задумается об этом. Плохой философ не думает об этом никогда. Теория символизма имеет такое важное значение именно потому, что в противном случае свойства символизма определённо смешивались бы со свойствами предмета. К тому же она вызывает интерес и с другой стороны. Из непонимания того, что существуют различные виды символов и различные виды отношений между символами и тем; что символизируется, возникают очень серьёзные заблуждения. Тот тип противоречий, о котором в связи с типами я буду говорить в одной из последующих лекций, полностью вырастает из ошибок в символизме в результате подстановки одной разновидности символа на то место, где должна быть другая разновидность. Я считаю, что некоторые понятия, которые мыслятся в философии абсолютно фундаментальными, появляются исключительно из-за ошибок, относящихся к символизму, — например, понятие существования, или, если вам угодно, реальности. Эти два слова обозначали много такого, что было предметом философских дискуссий. Была и теория о том, что каждая пропозиция действительно описывает реальность в целом и т. п., и вообще эти понятия играли очень значительную роль в философии. Моё же собственное убеждение заключается в том, что они встречаются в философии всецело как результат путаницы с символизмом. При прояснении этой путаницы обнаруживается, что практически всё, что говорилось о существовании, есть явная и простая ошибка, и это всё, что можно сказать о нём. Я дойду до этого в одной из последующих лекций, но этот пример демонстрирует способ, раскрывающий значение символизма. Вероятно, я должен сказать пару слов о том, что же понимается под символизмом, поскольку, как я думаю, некоторые считают, что когда речь идёт о нём, имеется в виду только математический символизм. Я использую его в таком смысле, чтобы включить все языки, любого типа и любой разновидности, так что символом является каждое слово, каждое предложение и т. д. Говоря о символе, я просто имею в виду нечто такое, что «обозначает» что-то ещё, а относительно того, что подразумевается под «значением», я ещё не готов вам сказать. Постепенно я перечислю строго конечное число того, что может подразумевать «значение» и что по сути различно, но не буду считать, что, сделав это, я исчерпал дискуссию. Я думаю, что понятие значения всегда более или менее психологично, и что невозможно получить ни чисто логическую теорию значения, ни, следовательно, символизма. Я думаю, что в самой сущности объяснения того, что подразумевается под символизмом, необходимо учитывать познание, когнитивные отношения, а также, вероятно, и ассоциации. Во всяком случае, мне достаточно ясно, что теорию символизма и его использование нельзя объяснить в рамках чистой логики без учёта различных когнитивных отношений, которые могут связывать нас с предметами. Относительно того, что подразумевается под «значением», я приведу несколько иллюстраций. Вы скажете, например, что слово «Сократ» означает определённого человека; слово «смертный» означает определённое качество; и предложение «Сократ смертей» означает определённый факт. Но эти три вида значений совершенно различны, и если вы думаете, что слово «значение» имеет одно и то же значение в каждом из этих трёх случаев, вы получите самые безнадёжные противоречия. Очень важно не предполагать, что под «значением» подразумевается только что-то одно, и что, следовательно, есть только один вид отношения символа к тому, что символизируется. Имя должно быть собственным символом, который применяется для человека; предложение (или пропозиция) является собственным символом для факта. Убеждение или высказывание характеризуется двойственностью истины и лжи, которой не характеризуется факт. Убеждение или высказывание всегда затрагивает пропозицию. Вы говорите, что человек убеждён в том-то и том-то. Человек убеждён, что Сократ мёртв. Судя по внешнему виду, то, в чём он убеждён, является пропозицией, и для формальных целей удобно рассматривать пропозицию как нечто такое, что по сути обладает двойственностью истины и лжи. Очень важно, например, осознать то, что пропозиции не являются именами фактов. Это вполне очевидно, коль скоро вам на это укажут, но на самом деле я никогда не осознавал этого до тех пор, пока на это мне не указал Витгенштейн, мой прежний ученик