Экстенсиональность и атомистичность

зулътате мы приходим к следующему суждению: «Существует некто, кто обладает таким свойством, что либо он человек, но не смертен, либо он Сократ, но не человек, либо Сократ смертен». (Некто, о ком идет речь, как мы можем узнать, является Сократом, но мы игнорируем этот фрагмент знания.) Теперь мы можем структурировать наше суждение несколько по-другому и сказать: «Некто является человеком, но не смертным, или Сократ не человек, или Сократ смертен». Здесь мы имеем три альтернативы; поэтому, если первая из них ложна, одна из остающихся должна быть истинной. Если же «Некто является человеком, но не смертным» — ложно, тогда «все люди смертны» — истинно. Итак, мы приходим к высказыванию «Если все люди смертны, тогда либо Сократ не человек, либо Сократ смертен», которое эквивалентно высказыванию «Если все люди смертны, то если Сократ человек, Сократ смертен». Мы пришли к этому, исходя из первоначального молекулярного суждения, используя один раз процедуру помещения слова «некоторый» на место «Сократа»; это такой логический процесс, с помощью кото- \ рого, если дано, что α обладает некоторым свойством а, мы можем заключать, что «нечто обладает свойством а».

До сих пор новые суждения, которые мы производили, были логическими следствиями более ранних суждений. С этого момента, однако, мы будем иметь дело с процессом получения суждений, которые не являются логическими следствиями тех, из которых они получены. Наше последнее высказывание все еще содержало три «константы», а именно «Сократ», «человек» и «смертен». К каждой из них мы применяем процесс обобщения, подставляя χ на место Сократа, а— для человека,/?— для смертного... и утверждая результат для всех значений переменных. Таким образом, мы получаем высказывание «Для всех возможных значений χ, α, β, если все α-тьте являются /Иыми, и χ есть а, тогда χ есть β>. Это — логическое суждение, частным случаем которого будет наше первоначальное суждение. Но нас сейчас интересует не то обстоятельство, что мы пришли к истинному суждению, но что мы пришли к суждению.