ВРЕМЕННА́Я ЛО́ГИКА

ВРЕМЕННА́Я ЛО́ГИКА, раз­дел совр. мо­даль­ной ло­ги­ки, изу­чаю­щий ло­гич. свя­зи вре­менны́х ут­вер­жде­ний (в ко­то­рых вре­мен­ной па­ра­метр вклю­ча­ет­ся в ло­гич. фор­му). В. л. воз­ник­ла в 1950-х гг. (ра­бо­ты англ. ло­ги­ка А. Н. Прай­о­ра), хо­тя пер­вые по­пыт­ки учесть роль вре­ме­ни в ло­гич. вы­во­де от­но­сят­ся ещё к ан­тич­но­сти (Ари­сто­тель, Дио­дор Крон). В. л. вклю­ча­ет мно­же­ст­во ло­гич. сис­тем (ло­гик), рас­па­даю­щих­ся на две груп­пы: 1) A-ло­ги­ки вре­ме­ни, рас­смат­ри­ваю­щие вре­мен­ны́е ут­вер­жде­ния, ис­тин­но­ст­ное зна­че­ние ко­то­рых мо­жет быть раз­ным в раз­ные мо­мен­ты вре­ме­ни (ут­вер­жде­ния с пе­ре­мен­ным мо­мен­том от­не­се­ния, в ка­че­ст­ве ко­то­ро­го обыч­но вы­сту­па­ет «на­стоя­щее», т. е. мо­мент про­из­не­се­ния ут­вер­жде­ния: «Гре­мит гром» и т. п.); 2) B-ло­ги­ки вре­ме­ни, имею­щие де­ло с вре­мен­ны­́ми ут­вер­жде­ния­ми, ис­тин­но­ст­ное зна­че­ние ко­то­рых не ме­ня­ет­ся с те­че­ни­ем вре­ме­ни («Ге­гель ро­дил­ся в 1770», «Пло­тин жил рань­ше Бо­эция» и т. п.). A-ло­ги­ки ори­ен­ти­ро­ва­ны на вре­мен­ной ряд «про­шлое – на­стоя­щее – бу­ду­щее», B-ло­ги­ки – на вре­мен­ной ряд «рань­ше – од­но­вре­мен­но – поз­же». По­след­ние рас­смат­ри­ва­лись гл. обр. в кон­тек­сте кон­крет­ных про­блем, свя­зан­ных с фор­ма­ли­за­ци­ей фраг­мен­тов фи­зи­ки, био­ло­гии, апо­рий Зе­но­на Элей­ско­го и др. (Р. Кар­нап, Дж. Вуд­жер, С. Ши­раи­ши). A-ло­ги­ки обыч­но фор­му­ли­ру­ют­ся в тер­ми­нах «бы­ло», «есть» и «бу­дет». Ут­вер­жде­ния­ми, до­ка­зуе­мы­ми в рас­ши­ре­ни­ях т. н. ми­ни­маль­ных вре­мен­ных ло­гик, пред­по­ла­га­ют­ся оп­ре­де­лён­ные эм­пи­рич. свой­ст­ва вре­ме­ни (та­кие, как его бес­ко­неч­ность или ко­неч­ность, плот­ность или дис­крет­ность). Пред­ло­жен­ная Г. Х. фон Вриг­том ло­ги­ка вре­ме­ни с дву­ар­гу­мент­ным опе­ра­то­ром «и за­тем» мо­жет ин­тер­пре­ти­ро­вать­ся так­же как ло­ги­ка из­ме­не­ния.

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