ИНДУКТИ́ВНАЯ ЛО́ГИКА

ИНДУКТИ́ВНАЯ ЛО́ГИКА, раз­дел ло­ги­ки, в ко­то­ром изу­ча­ет­ся ин­дук­ция. Ин­дук­ция как по­зна­ват. про­це­ду­ра, при­во­дя­щая к обоб­ще­нию в ре­зуль­та­те об­на­ру­же­ния сход­ст­ва на­блю­дае­мых пред­ме­тов, в совр. ло­ги­ке мо­жет быть фор­ма­ли­зо­ва­на разл. сред­ст­ва­ми, об­ра­зуя со­от­вет­ст­вую­щие ва­ри­ан­ты И. л. Ва­ри­ант фор­ма­ли­за­ции ин­дук­ции, пред­ло­жен­ный Р. Кар­на­пом, ос­но­ван на ин­тер­пре­та­ции ве­ро­ят­но­сти как ло­гич. от­но­ше­ния ме­ж­ду дву­мя вы­ска­зы­ва­ния­ми. Это от­но­ше­ние вы­ра­жа­ет сте­пень под­твер­жде­ния ги­по­те­зы эм­пи­рич. дан­ны­ми, обыч­но по­ни­мае­мы­ми как кон­ста­та­ция ре­зуль­та­тов на­блю­де­ний. Кар­нап от­ли­ча­ет по­ня­тие ло­гич. ве­ро­ят­но­сти от эм­пи­рич. ве­ро­ят­но­сти, изу­чае­мой в ве­ро­ят­но­стей тео­рии и ма­те­ма­тич. ста­ти­сти­ке. Х. Рей­хен­бах раз­вил кон­цеп­цию И. л. как бес­ко­неч­но­знач­ной ве­ро­ят­но­ст­ной ло­ги­ки.

Но­вым на­прав­ле­ни­ем в И. л. яви­лось ав­то­ма­тич. по­ро­ж­де­ние ги­по­тез, ста­вя­щее сво­ей це­лью фор­ма­ли­за­цию средств из­вле­че­ния за­ко­но­мер­но­стей из эм­пи­рич. ма­те­риа­ла, пред­став­лен­но­го в ба­зах дан­ных ком­пь­ю­тер­ных сис­тем. По­сыл­ка­ми ин­дук­тив­но­го вы­во­да в тео­ри­ях ав­то­ма­тич. по­ро­ж­де­ния ги­по­тез яв­ля­ют­ся тео­ре­тич. до­пу­ще­ния и эм­пи­рич. ут­вер­жде­ния, а след­ст­ви­ем – тео­ре­тич. ут­вер­жде­ния, пред­став­ляю­щие со­бой идук­тив­ные обоб­ще­ния. Ори­ги­наль­ная тео­рия ав­то­ма­тич. по­ро­ж­де­ния ги­по­тез (GUHA-ме­тод) бы­ла соз­да­на чеш. ма­те­ма­ти­ка­ми П. Гае­ком и Т. Гав­ра­не­ком.

Ме­то­ды об­на­ру­же­ния при­чин­но-след­ст­вен­ных за­ви­си­мо­стей, пред­ло­жен­ные Дж. С. Мил­лем, по­слу­жи­ли им­пуль­сом для раз­ви­тия тео­рии прав­до­по­доб­ных рас­су­ж­де­ний и, со­от­вет­ст­вен­но, ме­то­дов ав­то­ма­тич. по­ро­ж­де­ния ги­по­тез, в ко­то­рых был фор­ма­ли­зо­ван син­тез по­зна­ват. про­це­дур, пред­став­ляю­щий со­бой взаи­мо­дей­ст­вие ин­дук­ции, ана­ло­гии и аб­дук­ции (вы­вод, осу­ще­ст­в­ляю­щий при­ня­тие прав­до­по­доб­ных объ­яс­ни­тель­ных ги­по­тез). По­ня­тия и про­це­ду­ры И. л. при­меня­ют­ся в ис­сле­до­ва­ни­ях по ис­кусств. ин­тел­лек­ту, в при­клад­ных сис­те­мах ма­шин­но­го обу­че­ния.