ЛО́ГИКА ВОПРО́СОВ

ЛО́ГИКА ВОПРО́СОВ, эро­те­ти­че­ская [от греч. ἐρωτητιϰή (τέχνη) – эро­те­ти­ка, нау­ка и ис­кус­ст­во за­да­вать во­про­сы], или ин­тер­ро­га­тив­ная (от лат. interroga­tivus – во­про­си­тель­ный), ло­ги­ка, раз­дел не­клас­си­че­ской ло­ги­ки, ис­сле­дую­щий во­прос­но-от­вет­ные от­но­ше­ния фор­маль­ны­ми ме­то­да­ми. Обыч­но вы­де­ля­ют сле­дую­щие ти­пы во­про­сов: «ли-во­про­сы» (Чёт­но или не­чёт­но чис­ло два?), «ка­кой-во­про­сы», «сколь­ко-во­про­сы», «по­че­му-во­про­сы» и др. Ин­тер­ро­га­ти­вы, яв­ляю­щие­ся фор­маль­ным пред­став­ле­ни­ем во­про­са, – это вы­ра­же­ния ви­да ?ρσ, где σ – субъ­ект во­про­са, ρ – пред­по­сыл­ка, а ? обо­зна­ча­ет функ­цию, со­пос­тав­ляю­щую пред­по­сыл­ке и субъ­ек­ту во­прос.

Л. в. на­ча­ла раз­ви­вать­ся с 1930-х гг. в ра­бо­тах К. Ай­ду­ке­ви­ча (пер­вым при­ме­нил фор­маль­но-ло­гич. сред­ст­ва для ана­ли­за во­про­сов), А. и М. Прай­ор (Новая Зеландия; в 1955 вве­ли тер­мин «эро­те­ти­че­ская ло­ги­ка»), Т. Ку­бинь­ско­го (Поль­ша), Я. Хин­тик­ки, Н. Бел­на­па и Т. Сти­ла (США), Е. К. Войш­вил­ло, Ю. А. Пет­ро­ва и др.

Л. в. ис­поль­зу­ет­ся в ин­фор­мац. сис­те­мах, ори­ен­ти­ро­ван­ных на ре­ше­ние ин­фор­ма­ци­он­но-по­ис­ко­вых за­дач. Фор­ма­ли­за­ция во­про­сов в ин­фор­мац. язы­ке осу­ще­ст­в­ля­ет­ся на ба­зе про­блем­но ори­ен­ти­ро­ван­ной се­ман­ти­ки, ка­ж­до­му ти­пу во­про­сов со­от­вет­ст­ву­ет спец. во­прос­но-от­вет­ное от­но­ше­ние, а во­прос по­ни­ма­ется как за­прос, ад­ре­со­ван­ный ин­фор­мац. сис­те­ме.