ВАСЮКОВ Владимир Леонидович
ВАСЮКОВ Владимир Леонидович
Родился 2 ноября 1948 г. в г. Рига (Латвия). Окончил физический факультет. Львовского государственного университета (1972). В 1986 г. защитил кандидатскую диссертацию «Семантический и синтаксический анализ квантовых логик». В 1998 г. защитил докторскую диссертацию «Формальная феноменология (исчисления, семантика)». С 1996 г. в Институте философии РАН, с 2007 г. заведующий кафедрой истории и философии науки. С 2001 г. проф. кафедры логики философского факультета Московского государственного университета им. М.В. Ломоносова. С 2010 г. проф. кафедры онтологии, логики и теории познания НИУ-ВШЭ. Членкорреспондент Бразильской академии философии (Рио-де-Жанейро). Приз на конкурсе за лучшую работу по комбинации логик на III Всемирном конгрессе по универсальной логике (Лиссабон, 2010). Специалист в области неклассических логик, онтологии, феноменологии, аналитической философии, философии сознания и философии науки. Исследует квантовые логики, категорные логики, многозначные логики, логики времени, системы Ст. Лесьневского, не-фрегевские логики, комбинационные логики В.А. Смирнова, универсальная логика и комбинации логик, теоретико-игровая семантика, формальная эпистемология. Онтологические исследования посвящены проблемам формальной онтологии и формальной феноменологии (феноменологической онтологии). В области философии науки исследования посвящены логическим основаниям науки (проделан логический анализ междисциплинарности), исследования по философии сознания привели к разработке концепции логического функционализма. Формальная феноменология. М., 1999; Квантовая логика. М., 2005; Категорная логика. М., 2005; Формальная онтология. М., 2006; Logica Ludicra: аспекты теоретико-игровой семантики и прагматики. СПб., 2014. В соавт.
Источник: Философы современной России. 2015 г.
ВАСЮКОВ Владимир Леонидович
(р. 2.11.1948) — спец. по логике и филос. науки, д. филос. н. Р. в Риге. Окончил физ. ф-т Львовского гос. ун-та им. И. Франко (1972). В 1980-90 - н. с. вычислительного центра Львовского политехнического ин-та, в 1991-95 — ст. н. с. Обществ. Ин-та логики, когнитологии и развития личности (Москва), в 1996-98 - ст. н. с, в 1999-2007 - вед. н. с, в наст. вр. — зав. кафедрой ист. и филос. науки ИФ РАН. Докт. дисс. — «Формальная феноменология (исчисления, семантика)» (1998). В. выдвинуты и обоснованы концепции квантовой логики времени и квантовой логики наблюдаемых, построены соответствующие исчисления и семантика, доказана полнота и непротиворечивость разработанных систем. Доказана полнота фактор-семантики для бесконечнозначных логик Лукасевича, разработаны комплекснозначные расширения некоторых систем многозначных логик. Построена теоретико-категорная семантика ряда неклассических логик (квантовой, модальной, релевантной, многозначной, паранепротиворечивой, брауэровской, Н-В-логик исчислений Айдукевича-Ламбека) и доказана полнота и непротиворечивость этих систем относительно данной семантики. На основе этих результатов предложена концепция лингвистической математики. Построены алгебраические семантики для логики времени Шираиши, логики направленного времени. Разработаны феноменологически ориентированные формальные языки, которые позволяют интерпретировать рациональные моменты философских учений таких выдающихся философов XX в., как Ф. Брентано, Э. Гуссерль, А. Мейнонг, К. Твардовский, Р. Ингарден, Ж.-П. Сартр. Предложена и обоснована концепция формальной феноменологии как нового самостоятельного направления логико-философской мысли, возникшей на стыке нескольких философских дисциплин — онтологии, логики и феноменологии. Разработаны системы ситуационной онтологии и ситуационной формальной феноменологии, основывающиеся на идеях Л. Витгенштейна. В последнее время В. занимается разработкой концепции логического функционализма в философии сознания, проблемами логического содержания модальной логики и исследованиями в области универсальной логики — нового раздела логики, занимающегося глобальным металогическим анализом многообразия логических систем.
Соч.: Формальная феноменология. М., 1999; Квантовая логика. М., 2005; Категорная логика. М., 2005; Формальная онтология. М., 2006; Проблема сознания с точки зрения логического функционализма// Философия науки. Вып. 12. М., 2006; Как возможна алетическая модальная логика // Труды научно-исследовательского семинара логического центра Института философии РАН. Вып. XVIII. М., 2007; Проблема контекста интерпретации в универсальной логике // Логические исследования. Вып. 14. М., 2007.
Соч.: Формальная феноменология. М., 1999; Квантовая логика. М., 2005; Категорная логика. М., 2005; Формальная онтология. М., 2006; Проблема сознания с точки зрения логического функционализма// Философия науки. Вып. 12. М., 2006; Как возможна алетическая модальная логика // Труды научно-исследовательского семинара логического центра Института философии РАН. Вып. XVIII. М., 2007; Проблема контекста интерпретации в универсальной логике // Логические исследования. Вып. 14. М., 2007.
Источник: Философы России начала XXI столетия Биографии идеи труды. Энциклопедический словарь 2009