Васюков Владимир Леонидович

(р. 02.11.1948) — спец. по логике; д-р филос. наук, вед. н. с. Род. в г. Рига (Латвия).

Окончил физ. ф-т Львовского гос. ун-та (1972). С 1980 по 1990 — н. с. вычислительного центра Львовского политехн. ин-та, в 1991—1995 — ст. н. с. Обществ, ик-та логики, когнитологии и развития личности (Москва), с 1996 по 1998 — ст. н.с, в наст. вр. — вед. н. с. сектора логики ИФ РАН. Докт. дисс. — "Формальная феноменология (исчисления, семантика)" (1998). В. выдвинуты и обоснованы концепции квантовой логики времени и квантовой логики наблюдаемых [объектов], построены соответствующие исчисления и семантика, обоснована полнота и непротиворечивость разработанных систем, обоснованы полнота и фактор семантики для бесконечнозначных логик Лукасевича, разработаны комплекснозначные расширения нек-рых систем многозначных логик. Построена теор.-категориальная семантика ряда некласс. логик (квантовой, модальной, релевантной, многозначной, паранепротиворечивой, брауэровской, Н-В-логик, исчислений Айдукевича-Ламбека) и доказана полнота и непротиворечивость этих систем относительно данной семантики.

Предложена концепция лингвистич. математики.

Построены алгебраические семантики для логики времени Шираиши и системы R релевантной логики.

Им разработаны феноменологически ориентированные формальные языки, к-рые позволяют интерпретировать рациональные моменты филос. учений выдающихся философов XX века Э.Гуссерля, Ж.-П.Сартра и др. Предложена и обоснована концепция формальной феноменологии как нового самостоятельного направления логико-филос. мысли, возникшей на стыке нескольких дисциплин — онтологии, логики и феноменологии.

Разработаны системы ситуационной онтологии и ситуационной формальной феноменологии, основывающиеся на идеях Л.Витгенштейна.

Соч.: Квантовая логика времени // Логические исследования.

М., 1983; Квантовая логика наблюдаемых // Семантический и синтаксический анализ неэкстенсиональных логик. М., 1989; Развивая Тарского // Логические исследования.

Вып.3. М., 1995; Формальная феноменология.

М., 1999.