РОЗУМАЗАКЛЮЧЭ́ННЕ,
форма мыслення або лагічнае дзеянне, у выніку якога з аднаго або некалькіх суджэнняў (пасылак) выводзіцца новае суджэнне (заключэнне або вывад). Р., атрыманае на аснове пэўных правіл логікі сапраўдных ведаў з сапраўдных пасылак, з’яўляецца найпрасцейшай формай доказу. Веданне мяркуемых пасылак і правіл логікі, якія выяўляюцца пры дапамозе фармалізацыі канкрэтных па змесце Р., дазваляе кантраляваць выкарыстанне розных відаў розумазаключальнай дзейнасці мыслення. Усе гіпотэзы, тэорыі і інш. развітыя формы арг-цыі навук. ведаў уяўляюць сабой разгорнутыя Р. або іх сістэмы. У залежнасці ад колькасці пасылак Р. падзяляюцца на непасрэдныя, у якіх заключэнне атрымліваецца з адной пасылкі, і апасродкаваныя, дзе заключэнне выводзіцца не менш як з 2 пасылак. Паводле характару сувязі паміж веданнем рознай ступені агульнасці, якая выражаецца ў пасылках і заключэнні, адрозніваюць 3 віды Р.: дэдукцыйныя (ад агульнага да прыватнага, гл. Дэдукцыя), індукцыйныя (ад прыватнага да агульнага, гл. Індукцыя), па аналогіі (ад прыватнага да прыватнага). Фармалізаванае выражэнне структуры дэдукцыйных Р. распрацавана ў сілагістыцы Арыстоцеля. У індукцыйных Р., распрацаваных Ф.Бэканам і Дж.Мілем, пры сапраўднасці пасылак і захаванні адпаведных лагічных працэдур (напр., правіл абагульнення) заключэнне ў агульным выпадку можа быць як сапраўдным так і памылковым. Такім, напр., можа аказацца сцвярджэнне: «калі электраправоднасцю валодаюць некаторыя прадстаўнікі класа металаў, то і ўсе металы электраправодныя». Але гэта заключэнне будзе з неабходнасцю вынікаць, калі пераканацца, што ўсе прадстаўнікі металаў валодаюць уласцівасцю электраправоднасці; у такім выпадку няпоўная індукцыя пераходзіць у поўную. У залежнасці ад структуры складаных суджэнняў і лагічных звязак Р. логікі суджэнняў падзяляюцца на ўмоўна-катэгарычныя, чыста-ўмоўныя, раздзяляльна-катэгарычныя, умоўна-раздзяляльныя (дылема). Асобную групу несілагістычных Р. складаюць Р. адносін. Такімі Р. з’яўляюцца, напр., Р. роўнасці (калі x=y, y=z, то x=z), Р. ступені (калі A>B; B>C, то A>C), Р. роднасці (Іван — брат Пятра, Пётр — брат Андрэя, значыць, Іван — брат Андрэя). У працэсе мыслення некаторыя пасылкі часта прапускаюцца, а правілы вываду робяцца на інтуітыўнай аснове, што вядзе да з’яўлення лагічных памылак і няправільных Р. (паралагізм, сафізм). Навук. распрацоўкі тэорыі Р. і звязанай з ёю тэорыі доказу ажыццяўляюцца ў рамках фармальнай матэм. логікі.
Літ.:
Колмогоров А.Н., Драгалин А.Г. Введение в математическую логику. М., 1982;
Бочаров В.А. Аристотель и традиционная логика. М., 1984;
Брюшинкин В.Н. Практический курс логики для гуманитариев. М., 1996;
Минто В. Дедуктивная и индуктивная логика: Пер. с англ. СПб., 1995.
С.Ф.Дубянецкі.
т. 13, с. 401