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

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