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

(р. 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.