Философия логического атомизма

Не очень легко видеть, что представляют собой консппуенгы логической пропозиции. Когда рассматривают 'Сократ любит Пла тона', 'Сократ' - это конституенга, 'любит' - это констигуента, 'Платон' - это констигуента. Затем вы преобразуете 'Сократ' в х, 'любит' в R и 'Платон' в у. х, R и у суть ничто, и они не являются конституентами, поэтому всё выглядит так, как если бы все пропо зиции логики были полностью лишены консппуент. Я не думаю, что последнее может быть совершенно истинным. Но тогда един ственное, что вы, по-видимому, можете сказать, так это то, что форма является конституентой, что пропозиции определённой формы всегда истинны; это может быть правильный анализ, хотя я и очень сильно в этом сомневаюсь. Однако необходимо заметить как раз то, что форма пропозиции никогда не является конституентой самой этой пропозиции. Если вы утверждаете, что 'Сократ любит Платона', форма этой пропо зиции есть форма двухместного отношения, но она не является констигуентой пропозиции. Если бы это было так, у вас должна была бы быть конституента, имеющая отношение к другим консти- туентам. Вы сделали бы форму слишком субстанциальной, если бы думали о ней как действительно об одной из вещей, что имеет дан ную форму, поэтому форма пропозиции определённо не является констигуентой самой пропозиции. Тем не менее она, вероятно, может быть конституентой общего высказывания о пропозициях, имеющих эту форму, поэтому, я думаю, возможно, чтобы логиче ские пропозиции могли интерпретироваться как пропозиции о формах. В заключение в отношении конституенг логических пропозиций я могу сказать только то, что эта проблема достаточно нова. Осо бой возможности рассмотреть её нет. Я не думаю, что вообще име ется какая-либо литература, которая как-то её затрагивает, и это интересная проблема. Как раз теперь я хотел бы привести несколько иллюстраций пропозиций, которые могут быть выражены на языке чистых пере менных, но не являются пропозициями логики. В совокупность пропозиций, являющихся пропозициями логики, включены все пропозиции чистой математики; не все они могут быть выражены только в логических терминах, но могут также быть дедуцированы из логических предпосылок, а стало быть, они являются логиче скими пропозициями. Обособленно от них имеется много таких пропозиций, которые могут быть выражены в логических терми нах, но не могут быть доказаны из логики и определённо не явля ются пропозициями, образующими часть логики. Предположим, вы берёте пропозицию типа 'В мире существует по крайней мереодна вещь'. Эту пропозицию вы можете выразить в логических терминах. Если вам угодно, она будет выражать то, что пропозициональная функция 'х = х' является возможной. Стало быть, эту пропозицию вы в состоянии выразить в логических терминах; но из логики вы не сможете узнать, является она истинной или ложной. Поскольку вы её знаете, вы знаете её эмпирически, потому что может случиться так, что универсума нет, и тогда она не была бы истинной. То, что универсум существует, так сказать, простая случайность. Пропозиция о том, что в мире имеет место в точности 30.000 предметов, также может быть выражена в чисто логических терминах, и она определённо является не пропозицией логики, но эмпирической пропозицией (истинной или ложной), потому что мир, содержащий более 30.000 предметов, и мир, содержащий менее 30.000 предметов, оба возможны, поэтому, если случится так, что существует в точности 30.000 предметов, последнее можно назвать случайностью и это не является пропозицией логики. Кроме того, есть две пропозиции, используемые в математической логике, а именно, аксиома мультипликативности и аксиома беско--нечности*. Они также могут быть выражены в логических терминах, но не могут быть доказаны или опровергнуты логикой. В отношении аксиомы бесконечности невозможность логического доказательства или опровержения можно считать установленной, но в случае с аксиомой мультипликативности это, вероятно, всё ещё в некоторой степени открыто для сомнения. Всё то, что является пропозицией логики, должно быть в том или ином смысле подобно тавтологии. Последнее должно быть чем-то таким, что обладает некоторыми особыми качествами, которые я не знаю как определить и которые принадлежат только логическим предложениям, и никаким другим. Примерами типичных логических предложений являются: