|  | 

З

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

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



коробейникова лариса томск

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