Если, например, вы проводите перепись населения, то предполагаете, что людей, которых вы не наблюдаете, нет, при условии, что вы действуете тщательно и надлежащим образом,

иначе перепись была бы ошибочной. Некоторые допущения такого типа должны лежать в основе того, что кажется чисто эмпирическим. Вы не сможете эмпирически доказать, что то, чего вы не воспринимаете, нет, потому что эмпирическое доказательство состояло бы в восприятии, а, по предположению, это вами не воспринимается, так что любая пропозиция такого типа, если она признаётся, должна признаваться на основании своей собственной очевидности. Я рассматриваю это только как иллюстрацию. Есть много других иллюстраций, где можно взять разновидность пропозиций, которые обычно предполагаются, и многие из них с очень малым оправданием.    Сейчас я приступаю к вопросу, ближе связанному с логикой, а именно, к причинам, по которым предполагают, что общие факты существуют, также как и общие пропозиции. Когда мы обсуждали молекулярные пропозиции, я заронил сомнение в предположение, что существуют молекулярные факты, но я не думаю, что MOiyr быть сомнения в существовании общих фактов. Я думаю, совершенно ясно, что когда вы перечислили все атомарные факты в мире, ещё один факт о мире заключается в том, что это все существующие  в мире атомарные факты, а последнее объективный факт о мире в той же степени, как и любой из них. Я думаю, ясно, что вы должны допустить общие факты как отличную форму сверх и помимо  индивидуальных фактов. То же самое применимо и к 'Все люди смертны'. Когда вы рассмотрели всех отдельных имеющих место людей и нашли, что каждый из них в отдельности смертей, определённо новый факт в том, что все люди смертны; как новый факт, возникающий из того, о чём я только что говорил, он не может быть выведен из смертности отдельных людей, имеющих место в мире. Разумеется, не так трудно допустить и то, что я могу назвать фактами существования - факты типа 'Люди существуют', 'Овцы существуют' и т.д. Их, я думаю, вы с готовностью допустите как отдельные и отличные факты сверх и помимо атомарных фактов, о которых я говорил до этого. Данные факты должны входить в описание мира, и таким способом привходят пропозициональные функции, затрагиваемые при описании общих фактов. Я не претендую на знание того, что представляет собой правильный анализ общих фактов. Это исключительно трудный вопрос, вопрос, который мне весьма сильно хотелось бы видеть изученным. Я полагаю, что хотя пропозициональные функции дают удобную техническую  трактовку, данный анализ не совсем правилен. Далее этого я не могу идти.    Есть один вопрос, связанный с существованием молекулярных фактов. Я думаю, упоминал, что в отношении общих фактов встают определённые трудности, когда говорил, что не считаю, что  дизъюнктивные факты существуют. Возьмем 'Все люди смертны'. Это означает:

       "'х - человек" влечёт,         что "х смертей",         чем бы ни был х'.

 Вы сразу же можете видеть, что это гипотетическая пропозиция.  Из неё не следует ни то, что какие-либо люди существуют, ни то,  что является человеком, а что - нет; она просто говорит, что если  есть нечто, являющееся человеком, то это нечто смертно. Как ука зывал м-р Брэдли во второй части своего труда Принципы логики*,  'Нарушители чужого права владения будут преследоваться в су дебном порядке' может быть истинной пропозицией, даже если  никаких нарушителей нет, поскольку она означает просто то, что  если кто-нибудь нарушит чужое право владения, то он будет пре следоваться. Это сводится к тому, что

    'то, что "х - человек" влечет "х - смертей", всегда истинно',

является фактом. Вероятно, не слишком трудно видеть, каким образом может быть истинным, если кто-то собирается сказать, что "'Сократ - человек" влечёт "Сократ смертей"' само не является фактом, т.е. то, что я предполагал, когда обсуждал дизъюнктивные факты. Я чувствую уверенность, что вы сможете обойти это затруднение. Я только полагаю его, как вопрос, который необходимо рассмотреть, когда отрицается существование молекулярных фактов, поскольку, если его нельзя обойти, мы должны будем допустить молекулярные факты.    Теперь я хочу перейти к вопросу о совершенно общих пропозициях и пропозициональных функциях. Под ними я подразумеваю пропозиции и пропозициональные функции, которые содержат только переменные и более вообще ничего. Последнее охватывает всю логику. Всякая логическая пропозиция состоит всецело и только из переменных, хотя и неверно, что каждая пропозиция, состоящая всецело и только из переменных, является логической. Стадии обобщения вы можете рассмотреть, например, следующим образом: