|
[88] И можно показать, что во всех онтологических доказательствах бытия Бога имеется в виду именно это понятие Бога. См. приложение: «К истории онтологического доказательства». [89] Ennead. Ill, 7, 3. [90] Ближе всего к этой мысли подошел Шуппе (Erkenntnisstheoretische Logik, с. 193 и сл.). [91] Шуппе. Erkenntnisstheor. Logik, с. 85. [92] Если я имею отдельную частную связь между содержанием 5 и Р, причем 5 есть основание Р, то я могу, конечно, различать два способа перехода: от присутствия 5 к присутствию Р и от отсутствия Р к отсутствию 5. Но второе умозаключение в качестве перехода от non–Р к поп-5 формально подходит под общий тип перехода от A к В: А (поп–Р) есть; если естьА (поп–Р), есть и В (поп-5); следовательно, В (поп-5) есть. Гипотетическая посылка этого умозаключения (если есть non–Р, есть и поп-5) в отношении данного содержания есть сама вывод из первоначальной исходной посылки «если есть 5, то есть и Р» — вывод, который в свою очередь получен через посредство общего типа перехода от Основания к следствию: «из 5 следует Р; если из 5 следует Р, то из поп–Р следует non?S (принцип так называемого противопоставления сказуемому, contrapositio); следовательно, из поп–Р следует non?S». Ср.: Coutumt. Principes des mathematiques, 1905, с. 11 и 14. Sigwart. Logik, В. I, 2–е изд., с. 425 прим. [93] Этот вопрос имеет, очевидно, тесную связь с проблемой синтетического суждения «А есть В», с которой нам уже пришлось иметь дело выше (гл. 1, 2). Эту связь мы оставляем пока в стороне, чтобы потом вернуться к ней, и исследуем вопрос здесь с иной стороны, с которой он еще не был в указанном месте затронут нами. [94] Этот закон современная математическая логика выделяет в качестве «принципа дедукции» и строго отличает от «принципа силлогизма» («если из А следует В, и из В — С, то из А следует С») именно тем, что лишь закон дедукции выражает правомерность самого содержания вывода («В есть»), тогда как принцип силлогизма выражает лишь условную связь следствия с основанием. См.: Couturat. Prinzipien der Logik в Encyclopadie d. — philos. Wissensch. В. 1, 1912, c. 144–145. Дело ясно само собой, и вряд ли надо приводить неуклюжие формулы этих новых принципов и типов силлогизма. Но для тех, кто хотел бы проверить это, мы на всякий случай даем образчик дальнейшего умозаключения, предполагаемого вышеприведенным умозаключением. Принцип этого последнего, играющий в новом умозаключении роль гипотетической посылки, очевидно, таков:. — 127 —
|