показаться, что это не так. Все пропозиции и факты, о которых я говорил до сих пор, таковы, что затрагивали только совершенно определённые индивиды, отношения, качества или вещи такого рода, никогда не затрагивая тот тип неопределённых предметов, на которые ссылаются посредством неопределённого артикля и таких слов, как 'все', 'некоторый', 'любой', и к этой разновидности пропозиций и фактов я приступаю сегодня. На самом деле все пропозиции того типа, о котором я собираюсь говорить сегодня, собираются в две группы - первая: обо 'всех' и вторая: о 'некоторых'. Эти две разновидности взаимосвязаны; они являются отрицаниями друг друга. Если, например, вы говорите: 'Все люди смертны', это будет отрицанием того, что 'Некоторые люди бессмертны'. В отношении общих пропозиций различие утвердительного и отрицательного произвольно. Собираетесь ли вы рассматривать пропозицию обо 'всех' как утвердительную, а пропозицию о 'некоторых' как отрицательную, или наоборот, исключительно дело вкуса. Например, если я говорю: 'По дороге мне никто не встретился', по внешнему виду этой пропозиции вы подумали бы, что она является отрицательной. На самом деле эта пропозиция конечно же обо 'всех', т.е. 'Все люди находятся среди тех, кого я не встретил'. Если, с другой стороны, я говорю: 'По дороге я встретил человека', вы нашли бы эту пропозицию утвердительной, тогда как её отрицанием будет: 'Все люди находятся среди тех, кого я не встретил по дороге'. Рассматривая пропозиции типа 'Все люди смертны' и 'Некоторые люди бессмертны', вы можете сказать, что более естественно брать общие пропозиции как утвердительные, а пропозиции о существовании как отрицательные, но просто потому что совершенно произвольно, что должно выбрать, лучше забыть эти слова и говорить только об общих пропозициях и пропозициях, утверждающих существование. Все общие пропозиции отрицают существование того или иного. Если вы говорите: 'Все люди смертны', это отрицает существование бессмертного человека и т.д. Я хочу подчеркнуть, что общие пропозиции должны интерпретироваться как не затрагивающие существования. Когда, например, я говорю: 'Все греки являются людьми', я не хочу, чтобы вы предполагали, что эта пропозиция влечёт существование греков. Её необходимо подчёркнуто рассматривать как то, что не влечёт существование, которое должно быть добавлено как отдельная пропозиция. Если вы хотите интерпретировать её в этом смысле, нужно добавить ещё одно высказывание 'и греки существуют'. Последнее служит целям практического удобства. Включая факт существования греков, вы сводите две пропозиции в одну, а это приводит в вашей логике к ненужному смешению, поскольку типы пропозиций, которые вам требуются, содержат и пропозиции, утверждающие существование чего-либо, и общие пропозиции, которые не утверждают существования. Если бы случилось так, что греков не было, то и пропозиция 'Все греки являются людьми', и пропозиция 'Ни один грек не является человеком' были бы истинными. Пропозиция 'Ни один грек не является человеком' - это, конечно же, пропозиция 'Все греки не являются людьми'. Если бы случилось так, что греков не было, обе пропозиции были бы истинными одновременно. Любые утверждения о всех элементах некоторого класса, не имеющего элементов, являются истинными, поскольку высказывание, противоречащее любому общему высказыванию, утверждает существование а, стало быть, в этом случае является ложным. Разумеется, такое понятие общих пропозиций, которые не затрагивают существования, отсутствует в традиционном учении о силлогизме. В традиционном учении о силлогизме предполагается, что когда у вас есть такое высказывание, как 'Все греки являются людьми', отсюда следует, что греки существуют, а это приводит к ошибкам. Например, 'Все химеры являются животными, и все химеры извергают пламя, следовательно, некоторые животные извергают пламя'. Это - силлогизм, построенный по модусу Darapti, но, как показывает пример, этот модус силлогизма ошибочен. Последний момент, между прочим, имеет определённый исторический интерес, поскольку он воспрепятствовал Лейбницу в его попытке построить математическую логику. Его всегда привлекала попытка построить такую математическую логику, какая сейчас есть у нас, или скорее такую, какую построил Буль*, и он всегда терпел неудачу, из-за своего почтения к Аристотелю. Всякий раз изобретая действительно хорошую систему, а это было в нескольких случаях, он всегда выявлял, что такой модус, как Darapti, ошибочен. Если вы говорите: 'Все А есть В, и все А есть С, следовательно, некоторые В есть С' - если вы говорите так, вы всегда подвержены ошибке, но он не смог заставить себя поверить в ошибочность этого и поэтому начинал сначала. Это демонстрирует вам, что нельзя слишком уж почтительно относиться к выдающимся людям'. Итак, когда вы начинаете задаваться вопросом, что же действительно утверждается в общей пропозиции, например такой, как 'Все греки - люди', вы находите, что утверждается истина всех значений того, что я называю пропозициональной функцией. Пропозициональная функция есть просто любое выражение, которое содержит неопределённую конституенту или несколько неопределённых конституент и которое становится пропозицией, как только определяются неопределённые конституенты. Если я говорю: 'х - человек' или 'и - число', это - пропозициональные функции; таковой является любая формула алгебры, скажем, (х + + у)(х - у) = х2 - у2. Пропозициональная функция есть ничто, но, как и большинство того, о чём намереваются вести речь в логике, она из-за этого не теряет своей важности. Действительно, единственное, что вы можете сделать с пропозициональной функцией, так это утверждать, что она либо всегда истинна, либо иногда истинна, либо никогда не истинна. Когда вы берёте:
'Если х - человек, то х смертей', это всегда истинно (и тогда, когда х не является человеком, в той же степени, когда х является человеком); если вы берёте:
'х-человек', это иногда истинно; если вы берёте:
'х - единорог', это никогда не истинно. Можно назвать пропозициональную функцию
необходимой, когда она истинна всегда; возможной, когда она истинна иногда; невозможной, когда она не истинна никогда.
Много ложной философии вырастает из смешения пропозициональных функций и пропозиций. В обычной традиционной философии есть много такого, что связано просто с приписыванием пропозициям таких предикатов, которые приложймы только к пропозициональным функциям и иногда, что ещё хуже, с приписыванием индивидуумам [individuals] предикатов, приложимых единственно к пропозициональным функциям. Случай с необходимостью, возможностью, невозможностью как раз такой. В любую традиционную философию входит раздел 'модальности', где необходимость, возможность и невозможность обсуждаются как свойства пропозиций, тогда как на самом деле они являются свойствами пропозициональных функций. Пропозиции же являются только истинными или ложными.
Если вы берёте 'х есть х', это - пропозициональная функция, являющаяся истинной при каком угодно х, т.е. необходимая пропозициональная функция. Если вы берёте 'х - человек', это - возможная пропозициональная функция. Если вы берёте 'х - единорог', это - невозможная пропозициональная функция. Пропозиции могут быть только истинными или ложными, но пропозициональные функции обладают этими тремя возможностями. Я думаю, важно осознать, что всё учение о модальностях прило-жимо только к пропозициональным функциям, а не к пропозициям. В обыденном языке пропозициональные функции затрагиваются в огромном количестве случаев, где их обычно не осознают. Например, высказывание типа 'Я встретил [какого-то] человека' [I met a man], вы можете понять совершенно правильно, не зная, кого я встретил, и фактический человек не является конституенгой пропозиции. На самом деле здесь утверждается, что определённая пропозициональная функция иногда является истинной, а именно, пропозициональная функция 'Я встретил х, и х - человек'. Существует по крайней мере одно значение х, для которого она является истинной, следовательно, она - возможная пропозициональная функция. Где бы вы не встретили неопределённый артикль или слова типа 'некоторый', 'все', 'каждый', это всегда знак присутствия пропозициональной функции, так что эти вещи, так сказать, не отдалены и переделаны; они очевидны и хорошо знакомы. Пропозициональная функция к тому же входит в такое утверждение, как 'Сократ смертей', поскольку 'быть смертным' означает 'умереть в тот или иной момент времени'. Имеется в виду, что существует момент времени, в который Сократ умрёт, и это вновь затрагивает пропозициональную функцию, а именно, что '/ - момент времени, и Сократ умрёт в момент времени /' является возможным. Если вы скажете: 'Сократ бессмертен', последнее также будет затрагивать пропозициональную функцию. Если мы рассматриваем бессмертие, как затрагивающее существование в течение всего прошлого и в течение всего будущего, то последнее означает, что 'Если / - какой-то момент времени вообще; Сократ жив в момент времени f. Но если мы рассматриваем бессмертие только как затрагивающее существование в течение всего будущего, интерпретация 'Сократ бессмертен' становится более сложной, а именно, 'Существует такой момент времени /, что если / - любой момент времени, наступивший позднее /, то Сократ жив в момент времени /'. Таким образом, когда вы начинаете переписывать надлежащим образом то, что подразумевается значительным количеством обыденных утверждений, последние оказываются немного усложнённым. 'Сократ смертей' и 'Сократ бессмертен' не противоречат друг другу, поскольку и то и другое
