Логика. Том 1. Учение о суждении, понятии и выводе - [200]
следовательно, он не был в 10 часов в Дрездене.
Этот вывод, конечно, «действительно был совершен»; его меньшей посылкой является только чисто описательное суждение, и на этом последнем, в конце концов, покоится все доказательство, которое должно привести к оправданию.
Если Вундт добавляет: «описательная форма, ближайшее определение места и времени безразличны для вывода», – то криминалисты будут сильно поражены, услышав от логика, что для доказательства alibi безразлично ближайшее определение места и времени.
Едва ли нужно добавлять, что повсюду в выводах эмпирического исследования основанием всего оперирования служат положения, которые чисто описательно констатируют отдельный факт, отдельное событие. Следовательно, и в этом я не могу признать себя опровергнутым.
Весьма достойную внимания мысль высказывает Лотце (Logik. 2-е изд., с. 135 и сл.), когда он развивает, что те выводы были бы, главным образом, ценными, которые не только приписывали бы S совершенно общее P через посредство M, но указывали бы, как особое видоизменение M, принадлежащее S, делает необходимым также особенное выражение P. Но также и это совершенно верное замечание приводит к особенной форме вывода, а требует лишь в основе других больших посылок, нежели обыкновенно рассматриваемые в категорическом выводе; больших посылок, которые указывают закон, по какому всякое видоизменение M влечет за собой видоизменение P; но из них вывод всегда должен будет совершаться согласно простым правилам условного вывода.
Если S есть фигура, M эллипс, P эксцентрическое, то
134. Theorie der Induction, стр. 17.
135. Если мы выставим все посылки, то они гласят:
Меркурий, Венера, Земля и т. д. движутся вокруг солнца с запада на восток.
Меркурий, Венера, Земля и т. д. суть планеты,
следовательно, столько-то и столько-то планет движутся вокруг солнца с запада на восток.
Число этих планет равно числу всех планет,
следовательно, все планеты движутся вокруг Солнца с запада на восток.
Характер процесса вывода является не иным, чем если бы я из M₁, M₂, M₃ имеют свойство P
M₁, M₂, M₃ суть три M
вывел следовательно, три M имеют свойство P.
Вывод к эмпирически общему суждению покоится, следовательно, на счете, на выражении данного множества при помощи определенного числового понятия; право заменить M₁, M₂, M₃ тремя M покоится на тождестве числа. Ср. выше, § 52, 4.
136. Ср. мое Programm, с. 40, и приведенные там примеры. Необходимость, которую высказывает условное суждение «Если Кай человек, то он смертен», покоится на невысказанном положении, что все люди смертны; суждение «Если земля движется вокруг Солнца, то неподвижные звезды имеют годовые параллаксы», предполагает целый ряд выводов, которых остальные посылки предполагаются как геометрически абсолютно достоверные положения и лишены совершенно условного характера. Но наряду с этими условными суждениями имеются также и другие, необходимость которых является непосредственно познанной.
