Зайцев, Дмитрий Владимирович

Найдено 1 определение
Зайцев, Дмитрий Владимирович

(р. 21.02.1962) — спец. по логике; канд. филос. наук. Род. в Москве. Окончил филос. ф-т МГУ (1988), асп. филос. ф-та (1991). Канд. дисс. — "Релевантная логика и социология: семантические проблемы" (1991). С 1991 работает на кафедре логики филос. ф-та МГУ, в наст. вр. в должности доц. Занимается проблемами релевантной логики, алгебры логики и представления информации. Им построены реляционные семантики по т.н. "американскому плану" для осн. систем релевантной логики. Предложил информац. семантики обобщенных описаний состояния для нек-рых систем релевантной логики. Развивал прикладные семантические и синтаксические теории релевантного следования первого уровня. Разрабатывает обобщенную теорию чистого релевантного следования.



Соч.: Интенсиональная конъюнкция и следование // Логико-философские исследования. Вып.2. М., 1991; Ученый и время. [В соавт.] // В. МГУ. Сер."Философия". 1993. № 5; Релевантное отрицание и воображаемая логика Васильева // В. МГУ. Сер."Философия". 1993. № 5; Модальности и импликация // Труды научно-исследовательского семинара по логике ИФ РАН. М., 1998; Теория релевантного следования I: аксиоматика // Логические исследования. Вып.5, 1998; Yet another semantics for first-degree entailment // Bulletin of the section of logic. 1998.

Источник: Большая русская биографическая энциклопедия. 2008