Валентин Асмус - ЛОГИКА

Так было с гипотезой эпициклов. Когда измерения угловых расстояний между звёздами достигли большей точности, оказалось, что и допущение эпициклов и деферентов не может привести к согласию данных наблюдения с движениями, предусмотренными вспомогательной гипотезой. Пришлось внести в гипотезу Птоломея новые и ещё более усложняющие общую картину мира допущения. Пришлось допустить, что планета движется по эпициклу вокруг точки, которая движется по окружности другого эпицикла, и только уже центр этого последнего движется по окружности деферента вокруг Земли.

Но именно крайняя искусственность этой постройки выдавала, что все эти вспомогательные гипотезы были не объяснением реально существующих движений, но лишь средством поддержать — вопреки новым данным наблюдения — учение о центральном положении и о неподвижности Земли, пришедшее в явное противоречие с данными наблюдениями. Как известно, дальнейшие успехи астрономии состояли в том, что Коперник отказался от построения новых вспомогательных гипотез, смело признал ложной самую основу птоломеевой теории — учение о неподвижности Земли и о её центральном положении — и объяснил наблюдаемое неравенство в движении планет как видимый результат не одинаково быстрого движения Земли и других планет вокруг Солнца.

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

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

В рассмотренном нами примере гипотеза отправляется от суждения о конкретном предмете . Филолог нашёл в других местах у того же автора то самое слово, которое он предполагает подменённым в исследуемой им фразе, и притом нашёл его в том самом контексте, каков контекст исследуемой фразы. Он переносит это слово в испорченный контекст, так как, согласно имеющемуся у него знанию об исследуемом авторе, единственно только это слово может подходить к данному контексту.

§ 16.Другой вид гипотезы представляет гипотетический вывод, в котором субъект, переносимый из одного суждения в другое, есть не мысль о конкретном предмете, как в предыдущем примере, но мысль о предмете, рассматриваемом в качестве представителя известной логической группы .

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