Биография Зайцев Дмитрий Владимирович
(р. 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.
коробейникова лариса томск
Биография Зайцев Дмитрий Владимирович
Биография Зайцев Дмитрий Владимирович