Г. И. Рузавин методология научного

Первую группу составляют проблематические у м о з а к л ю ч е н и я , 
п о с ы л к а м и которых я в л я ю т с я гипотезы и л и о б о б щ е н и я эмпириче¬
ских д а н н ы х . П о э т о м у их м о ж н о назвать собственно гипотетиче¬
с к и м и у м о з а к л ю ч е н и я м и , поскольку и с т и н н о с т н о е з н а ч е н и е их по¬
с ы л о к остается н е и з в е с т н ы м . 
Вторая группа состоит и з у м о з а к л ю ч е н и й , п о с ы л к а м и которых 
служат п р е д п о л о ж е н и я , противоречащие к а к и м - л и б о утверждениям. 
Выдвигая такое п р е д п о л о ж е н и е , и з него выводят следствие, которое 
оказывается я в н о н е соответствующими о ч е в и д н ы м ф а к т а м и л и 
твердо у с т а н о в л е н н ы м п р и н ц и п а м и л и з а к о н а м . 
Хорошо известны способы таких умозаключений. 
Во-первых, это метод рассуждения от противного, часто исполь¬
зуемый в математических доказательствах. Д о п у с к а я н е к о т о р ы й те¬
зис и л и утверждение л о ж н ы м , и з него выводят следствие, которое 
оказывается н е в е р н ы м . Тогда по закону и с к л ю ч е н н о г о третьего за¬
ключают, что первоначальное в ы с к а з ы в а н и е д о л ж н о быть истин¬
н ы м . Доказательства, п о л у ч е н н ы е с п о м о щ ь ю этого метода, не при¬
м е н и м ы к б е с к о н е ч н ы м м н о ж е с т в а м и поэтому не используются в 
к о н с т р у к т и в н о й математике. 
Rescher N. Hypothetical reasoning. — Amsterdam, 1964. — P. 3. 
119 

---

Во-вторых, это приведение к нелепости (reductio ad absurdum) — 
и з в е с т н ы й еще в а н т и ч н о й л о г и к е п р и е м о п р о в е р ж е н и й , когда вре¬
м е н н о допускают о п р о в е р г а е м ы й тезис и с т и н н ы м . Затем из него 
выводят следствие, которое оказывается я в н о п р о т и в о р е ч а щ и м дей¬
ствительности и даже абсурдным. А п о с к о л ь к у и з и с т и н ы не может 
следовать л о ж ь , то д о п у с к а е м ы й тезис оказывается о ш и б о ч н ы м и 
тем с а м ы м опровергнутым.