назад
                
Институт Философии
Российской Академии Наук




  Васюков Владимир Леонидович
Главная страница » Образование » Кафедра истории и философии науки » Сотрудники кафедры » Васюков Владимир Леонидович
печатать страницу

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

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

 

Дата и место рождения:

 

2 ноября 1948 г., Рига, Латвия.

 

Образование:

 

Львовский государственный университет им. И. Франко (год окончания: 1972; факультет: физический; специальность: физика).
Ученые степени:
  • Доктор философских наук. Докторская диссертация "Формальная феноменология (исчисления, семантика)", Институт философии РАН (специальность 09.00.07 - логика), 1998 г.;
  • Кандидатская диссертация "Семантический и синтаксический анализ квантовых логик", Московский государственный университет им. М.В. Ломоносова (специальность 09.00.07 - логика), 1986 г.

Сфера научных интересов:
  • Логика;
  • Аналитическая философия;
  • Онтология;
  • Феноменология;
  • Философия науки.

Лекционные курсы:
  • Логические проблемы онтологии (МГУ им. М.В. Ломоносова, философский факультет);
  • Алгебраические методы неклассической логики (МГУ им. М.В. Ломоносова, философский факультет);
  • Формальные онтологии (НИУ ВШЭ, факультет философии);
  • Логика (НИУ ВШЭ, отделение программной инженерии).

Исследовательские проекты:
  • Логический плюрализм и его онтологические и эпистемологические следствия (РГНФ, 2009 - 2010);
  • Философские концепции Львовско-Варшавской школы и их современная интерпретация (РГНФ, 2009 - 2010);
  • Структура универсальной логики (РГНФ, 2006 - 2008);
  • Аналитическое наследие Львовско-Варшавской школы и современность (РГНФ - НАН Украины, 2005 - 2007);
  • Ситуационная формальная феноменология (концептуальная структура, исчисления, семантика) (РГНФ, 2003 - 2005);
  • Квантовая логика (РФФИ, 2001 - 2003);
  • Категорная логика (РГНФ, 1999 - 2000);
  • Логико-методологические исследования В.А. Смирнова (РГНФ, 1997 - 1998);
  • Формальная феноменология (РГНФ, 1996).

Научные публикации:
  • Васюков В.Л. Логическая семантика и внутренняя онтология языка // Логическая семантика: перспективы для философии языка и эпистемологии, М.: Креативная экономика, 2011. С. 55-81;
  • Васюков В.Л. Виртуальные объекты, интенциональные объекты и возможные миры // Возможные миры. Семантика, онтология, метафизика. М.: Канон+, 2011. С. 186-213;
  • Vasyukov V.L. Logical Pluralism and Non-Classical Category Theory // Седьмые Смирновские чтения по логике. Материалы международной научной конференции (22-24 июня 2011 г.), Москва. М.: Изд-во «Современные тетради», 2011. С. 11-17;
  • Vasyukov V.L. Paraconsistency in Categories: Case of Relevant Logic // Studia Logica, vol. 98, issue 3, 2011. P. 429-443;
  • Vasyukov V.L. Combined Paraconsistent Logics and their (Co)Exponentials // Вестник Российского университета дружбы народов. Серия: философия. №3. 2011. С. 97-110;
  • Васюков В.Л. Паранепротиворечивые категории для паранепротиворечивой логики // Логические исследования, вып. 17. М. - СПб.: Центр гуманитарных инициатив, 2011. С. 69-83;
  • Васюков В.Л. Стратегия интенционального искусственного интеллекта // Актуальные проблемы современной когнитивной науки. Материалы четвертой всероссийской научно-практической конференции с международным участием (20-21 октября 2011 года).  Иваново: ОАО «Изд-во "Иваново"», 2011. С. 131-145;
  • Васюков В.Л. (в соавт.). Методологические аспекты инновационного развития России (Проектно-аналитическая записка по итогам работы КИР за 2009 г.) // Рефлексивные процессы и управление, №1-2, 2010. С. 5-28;
  • Васюков В.Л. Математический плюрализм и универсальная логика // Логические исследования, №16. М.: Центр гуманитарных инициатив, 2010. С. 107-120;
  • Васюков В.Л. Глобальные и локальные интерпретации квантовой логики в категориях // Современная логика: проблемы теории и истории. Материалы XI Международной конференции (24 - 26 июня 2010 г.). СПб, 2010. С. 314-315;
  • Васюков В.Л. Предисловие к книге «В.А. Смирнов» // В.А. Смирнов. Серия «Философия России второй половины ХХ века». М.: РОССПЭН, 2010. С. 5-16;
  • Васюков В.Л. В.А. Смирнов о научных теориях и взаимоотношениях между ними // В.А. Смирнов. Серия «Философия России второй половины ХХ века». М.: РОССПЭН, 2010. С. 81-122;
  • Васюков В.Л. Трансдисциплинарный потенциал феноменологии // Эпистемология и Философия науки, том ХХ, №2, 2009. С. 43-46;
  • Васюков В.Л. Бирезидуальная формулировка квантовой логики наблюдаемых // Труды научно-исследовательского семинара логического центра Института философии РАН, вып. XIХ, М.: ИФ РАН, 2009. С. 20-35;
  • Васюков В.Л. Внутренняя логика универсальной логики // Логические исследования, вып. 15. М.: Наука, 2009. С. 58-77;
  • Vasyukov V.L. Metalogical Pluralism // Шестые Смирновские чтения по логике. Материалы международной научной конференции (17 - 19 июня 2009 г.). Москва. М.: Изд-во "Современные тетради", 2009. С. 49-50;
  • Васюков В.Л. Онтология квантовой математики // Вестник Российского университета дружбы народов. Серия: Философия. №3, 2009. С. 57-70;
  • Васюков В.Л. Математический плюрализм // Философия, математика, лингвистика: аспекты взаимодействия. Материалы Международной научной конференции. СПб.: ВВМ, 2009. С. 222-227;
  • Васюков В.Л. Толерантность и универсализм // Философский журнал, №1, 2008. С. 148-160;
  • Васюков В.Л. Понятие границы сложной биологической системы: топологические аспекты // Философские проблемы биологии и медицины. Вып. 2: Междисциплинарные аспекты биомедицины. М.: Принтберри, 2008. С. 105-107;
  • Васюков В.Л. Потосы для паранепротиворечивой логики // Современная логика: проблемы теории, истории и применения в науке. Материалы Х Общероссийской научн. конференции, СПб, 2008. С. 264-265;
  • Васюков В.Л. Интенциональность и искусственный интеллект // Искусственный интеллект, №1, 2008. С. 103-112;
  • Васюков В.Л. Формальная онтология и когнитивные исследования // Когнитивный подход: философия, когнитивная наука, когнитивные дисциплины. М.: Канон+, 2008. С. 272-294;
  • Vasyukov V.L. Structuring the Universe of Universal Logic // Logica Universalis, vol. 1, №2, 2007. P. 277-294;
  • Vasyukov V.L. Axiomatization of the Causal Logic of Minkowski Space-Time // 13th International Congress of Logic, Methodology and Philosophy of Science. Volume of Abstracts. Beijing, 2007. P. 167-168;
  • Васюков В.Л. Логический функционализм и проблема сознания // Философия сознания. Классика и современность. М.: 2007. С. 289-295;
  • Васюков В.Л. Особенности структуры универсальной логики // Смирновские чтения по логике. Материалы 5-й конференции, 20-22 июня 2007. М.: 2007. С. 23-25;
  • Васюков В.Л. Проблема логической реконструкции математических структур // Философия математики: актуальные проблемы. Материалы Международной научной конференции 15-16 июня 2007. М.: 2007. С. 105-107;
  • Васюков В.Л. Как возможна алетическая модальная логика // Труды научно-исследовательского семинара логического центра Института философии РАН, вып. XVIII, М., 2007. С. 30-42;
  • Васюков В.Л. Становление сознания-времени: не-фрегевский подход // Синергетика времени. — М.: Репроникс, 2007. C. 196—220;
  • Васюков В.Л. Проблема сознания с точки зрения логического функционализма // Философия науки. Вып. 12. М.: ИФ РАН, 2006. С. 154-172;
  • Васюков В.Л. Метапарадигма Львовско-Варшавской школы // Исследования аналитического наследия Львовско-Варшавской школы. Вып. 1, СПб., 2006. С. 11-40;
  • Васюков В.Л. Проблема структуры универсальной логики // Логические исследования, вып. 13. М.: Наука, 2006. С. 95-113;
  • Васюков В.Л. Формальная онтология и искусственный интеллект // Искусственный интеллект // под ред. Д.И. Дубровского и В.А. Лекторского. М.: ИИнтеЛЛ, 2006;
  • Васюков В.Л. Формальная онтология // Москва: ИФ РАН, 2006. 140 с.;
  • Васюков В.Л. Не-фрегевский путеводитель по гуссерлевским и мейнонговским джунглям. II // Логические исследования, вып. 12, 2005. C. 146—161;
  • Васюков В.Л. Квантовая логика // М.: Per Se, 2005. 192 с.;
  • Васюков В.Л. Категорная логика // М.: АНО ИЛКиРЛ, 2005;
  • Васюков В.Л. Не-фрегевский путеводитель по гуссерлевским и мейнонговским джунглям. I // Логические исследования, вып. 11. М., 2004. C. 99—118;
  • Васюков В.Л. Комбинированная дискурсивная логика Васильева-Яськовского // Труды научно-исследовательского семинара логического центра Института философии РАН, вып. ХVII, 2004. C. 33—52;
  • Vasyukov V.L. Consequences of Logical Pluralism: Global and Local Aspects // Knowledge and Belief. Wissen und Glauben // W.Loffler, P.Weingartner (Hg.). Wien, 2004. P. 151—161;
  • Васюков В.Л. Последствия логического плюрализма: глобальный и локальный аспекты // Логические исследования, вып. 10, М., 2003. C. 23—34;
  • Васюков В.Л. Научное открытие и контекст абдукции // Философия науки, вып. 9, 2003. C. 180—205;
  • Васюков В.Л. Интерпретация релевантной логики в топосах // Логика и В.Е.К. // М., 2003. C. 112—121;
  • Васюков В.Л. Интерпретация релевантной логики в топосах // Электронный журнал «Логические исследования», вып. 10, 2003;
  • Васюков В.Л. Виртуальные объекты с точки зрения логики и формальной феноменологии // Виртуалистика: экзистенциальные и эпистемологические аспекты. М., 2003. C. 26—44;
  • Vasyukov V.L. From Semantics to Syntax: Quantum Logic of Observables // Alternative Logics. Do Sciences Need Them? (Ed.: P.Weingartner), Springer Verlag, Berlin-Heidelberg-New York, 2003. P. 299—322;
  • Vasyukov V.L. Effects in quantum logic of observables // Логические исследования, вып. 10. М.: Наука, 2003. C. 241—254;
  • Васюков В.Л. Ситуации и смысл: не-не-фрегевская (метафорическая) логика // Логические исследования, вып. 9. М.: Наука, 2002;
  • Васюков В.Л. Подструктурные экспоненциальные категории в теории категорий и категорной логике // Труды научно-исслед. семинара логического центра Института философии РАН, вып. XVI. М.: ИФ РАН, 2002. C. 28—38;
  • Васюков В.Л. Квантовая граница квантовых систем с точки зрения формальной топологии // 100 лет квантовой теории. История. Физика. Философия. Москва: ИНА-Природа, 2002. C. 199—203;
  • Vasyukov V.L. Substructural exponential categories in category theory and categorical logics // Электронный журнал "Логические исследования”, №8, 2002;
  • Vasyukov V.L. Reinterpretacja formalnej teorii wartosci T.Czezowskiego // Tadeusz Czezowski (1889-1981). Dziedzictwo idei: logika-filozofia-etyka. Uniwersytet Mikolaja Kopernika, Torun, 2002. P. 123-134;
  • Васюков В.Л. О субъекте и стратегии абдукции // Труды научно-исслед. семинара логического центра Института философии РАН, вып. XV. М.: ИФ РАН, 2001. C. 19—28;
  • Васюков В.Л. О не-фрегевской аргументации // Теория и практика аргументации, 2001. C. 130—143;
  • Vasyukov V.L. Combined Causal Logic of Minkowski Spacetime // Логические исследования, вып. 8, М.: Наука, 2001. C. 302—312;
  • Vasyukov V.L. A New Axiomatization of S. Jaskowski' Discursive Logic // Logic and Logical Philosophy, 2001. №9. P. 35—46;
  • Васюков В.Л. Метакосмос: миры и/или ситуации? // Концепция виртуальных миров и научное познание, СПб.: Изд-во Русско-Христианского гуманитарного института, 2000. С. 107-118;
  • Васюков В.Л. Фундаментальный труд ученого // Вопросы философии, №1, 2000. С. 71-90;
  • Васюков В.Л. Три реинтерпретации формальной теории ценностей Т.Чежовского // Труды научно-исслед. семинара логического центра Ин-та философии РАН. Вып. XIV, М., 2000. С. 114-127;
  • Васюков В.Л. Импликативная логика, дедуктивные импликативные системы и экспоненциальные мультикатегории // Логические исследования, вып. 7, Москва, Наука, 2000. С. 90-118;
  • Vasyukov V.L. Implicative Logics, Sequential Deductive Systems and Exponential Multicategories // Bulletin of the Section of Logic, vol. 29, №1-2, 2000, P. 13-25;
  • Vasyukov V.L. Paraconsistency in Categories // Frontiers of Paraconsistent Logic // Eds.: D.Batens, C.Mortensen, G.Priest and J.-P. van Bendegem, Research Studies Press Ltd., Baldock, Hartfordshire, England, 2000, P. 263-278;
  • Vasyukov V.L. Many-valued Logic of Directed Time // Multiple-Valued Logic, vol. 5, 2000, P. 163-173;
  • Васюков В.Л. Формальная феноменология. М.: Наука, 1999;
  • Vasyukov V.L. Combined da Costa's Logics (world according N.C.A. da Costa) // Logic et Analyse, №165-166, 1999. P. 127-138;
  • Васюков В.Л. Направление времени в семантике многозначных возможных миров // Труды научн.-исслед. семинара логического центра Института философии РАН 1998. М.: ИФ РАН, 1999. С. 143-155;
  • Васюков В.Л. Ситуации и смысл: не-не-фрегевская (метафорическая) логика // Логические исследования, вып. 6, Москва, РОССПЭН, 1999. С. 138-152;
  • Васюков В.Л. Комбинированная логика В.А. Смирнова с ситуационной точки зрения (не-фрегевский подход) // Логические исследования, вып. 5, 1998. М.: Наука. С. 221-229;
  • Vasyukov V.L. Situations and Events: Non-Fregean Approach to V.A. Smirnov's Combined Logics // Bull. Sect. Log., 1998, vol. 27, №1-2, P. 85-88;
  • Васюков В.Л. Не-фрегевская логика и Пост-трактатная онтология // Труды научн.-исслед. семинара логического центра Института философии РАН, 1997. М.: ИФ РАН, 1998. С. 131-138;
  • Vasyukov V.L. Implicative logics in categories // Bull. Sect. Log., 1997, vol. 26, №4, P. 188-192;
  • Vasyukov V.L. Non-Elementary Exegesis of Twardowski's Theory of Presentation // The Lvov-Warsaw School and Contemporary Philosophy / Eds.: K. Kijania-Placek and J. Wolenski, Kluwer, Dordrecht, 1997, P. 153-168;
  • Васюков В.Л. О феноменологической силлогистике // Труды научно-исследовательского семинара логического центра Институт философии РАН 1996, М.: ИФ РАН, 1997. С. 190-200;
  • Васюков В.Л. Метафора в прагматических матрицах // Труды научно-исследовательского семинара логического центра Институт философии РАН 1996, М.: ИФ РАН, 1997. С. 64-70;
  • Васюков В.Л. Об интерпретации секвенций в ситусах // Логические исследования, вып 4. Наука, М., 1997. С. 196-221;
  • Васюков В.Л. Границы универсализма (попытка метаанализа) // Аксиология и историческое познание. Коломна: Коломенский пединститут, 1996. С. 168-176;
  • Васюков В.Л. Две парадигмы в рамках одной школы // Философия науки, вып. 2. М.: ИФ РАН, 1996. С. 218-230;
  • Васюков В.Л. В защиту метакосмоса // Логические исследования, вып 3. Наука, М., 1995. С. 276-292;
  • Васюков В.Л. Развивая Тарского: котопос теорий // Логические исследования, вып. 3. М.: Наука, 1995. С. 276-291;
  • Vasyukov V.L. Categorial semantics of Ajdukiewicz-Lambek calculus // The Heritage of Kazimierz Ajdukiewicz, Poznan Studies in Philosophy of Science and Humanities, vol. 40, Rodopi, Amsterdam, 1995, P. 321-336;
  • Васюков В.Л. Автоматическое доказательство теорем // Логика и компьютер, вып. II. М.: Наука, 1995. С. 24-62;
  • Vasyukov V.L. From Ternary to Tetrary? // Bull. Sect. Log., 1994, vol. 23, №4, P. 163-167;
  • Васюков В.Л. Категорная семантика для паранепротиворечивых логик // Логические исследования, вып. 2. М.: Наука, 1993. С. 285-298;
  • Васюков В.Л. MN-категории для модальных логик // Логические исследования, вып. 1. М.: Наука, 1993. С. 114-123;
  • Васюков В.Л. RN-категории для релевантных логик // Логические исследования, вып. 1. М.: Наука, 1993. С. 124-132;
  • Vasyukov V.L. The completeness of the factor semantics for Lukasiewicz's infinite-valued logics // Studia Logica, 1993, №1, P. 143-157;
  • Vasyukov V.L. Antidiodorean Logics and Brentano-Husserl's conception of time // Axiomathes, 1993, №3, P. 373-388;
  • Vasyukov V.L. A Lesniewskian Guide to Husserl's and Meinong's jungle // Axiomathes, 1993, №1, P. 59-74;
  • Васюков В.Л. Категорная семантика исчисления Айдукевича-Ламбека // Логические методы в компьютерных науках (Труды научно-исследовательского семинара по логике ИФАН СССР). М.: ИФАН СССР, 1991. С. 181-197;
  • Васюков В.Л. Семиотические аспекты семантики неклассических логик // Логико-философские исследования, вып. 2. М.: Философское общество СССР, 1991. С. 19-31;
  • Васюков В.Л. Квантовая логика в топосах // Исследования по неклассическим логикам. М.: Наука, 1989. С. 338-348;
  • Васюков В.Л. Квантовая логика наблюдаемых // Семантический и синтаксический анализ неэкстенсиональных логик. М.: Наука, 1989. С. 120-169;
  • Васюков В.Л. Квантовая логика и расширения логических систем // Современные исследования по квантовой логике. М.: изд-во МГУ, 1989. С. 76-89;
  • Vasyukov V.L. T-F-toposes for Lukasiewicz's infinite valued logics // Bull. Sect. Log., 1988, vol. 17, №3/4, P. 182-190;
  • Васюков В.Л. Темпоральное следование и логика Шираиши // Неклассические логики и пропозициональные установки (Труды научно-исследовательского семинара по логике ИФАН СССР). М.: ИФАН СССР, 1987. С. 60-74;
  • Васюков В.Л. Симметрический моноид Гейтинга: модель для бесконечнозначной логики Лукасевича (в соавт. с А.С.Карпенко) // Неклассические логики и пропозициональные установки (Труды научно-исследовательского семинара по логике ИФАН СССР). М.: ИФАН СССР, 1987. С. 118-124;
  • Vasyukov V.L. The Bibinary Semantics for R and LÀ0 // Bull. Sect. Log., 1986, vol. 15, №3, P. 109-116;
  • Васюков В.Л. Комплекснозначные логики или как учитывать контекст в логических системах // Нестандартные семантики для неклассических логик (Труды научно-исследовательского семинара по логике ИФАН СССР). М.: ИФАН СССР, 1986. С. 14-35;
  • Васюков В.Л. Небулевы Т-F-семантики для многозначных логик // Неклассические логики (Труды научно-исследовательского семинара по логике ИФАН СССР). М.: ИФАН СССР, 1985. С. 27-39;
  • Васюков В.Л. Точность дискретной модели для бесконечнозначной логики Лукасевича // Многозначные, релевантные и паранепротиворечивые логики (Труды научно-исследовательского семинара по логике ИФАН СССР). М.: ИФАН СССР, 1984. С. 55-64;
  • Васюков В.Л. Квантовая логика времени // Логические исследования (Труды научно-исследовательского семинара по логике ИФАН СССР). М.: ИФАН СССР, 1983. С. 93-102.

Важнейшие результаты законченных фундаментальных и прикладных исследований:

  • Проблема онтологических допущений языка часто остается за рамками анализа и рассмотрений. Оказывается, что некоторые аспекты логической семантики имеют онтологическую перспективу вследствие разнообразия методов семантического анализа. В случае формальных языков онтологические допущения нуждаются в точной формулировке, которая позволяет, в свою очередь, рассмотреть некоторую версию типологии этих допущений;
  • Построена теоретико-категорная семантика, основанная на конструкции категории специального вида - топосе функторов из релевантной алгебры (рассматриваемой как категория предпорядка со специальными эндофункторами) в категории множеств. Доказана полнота системы релевантной логики R по отношению к данной построенной семантике;
  • Комбинированная логика предложений и событий состоит из двух частей: внешней логики, зависящей от эпистемологических допущений, и внутренней логики, зависящей от онтологических допущений. Она была введена В.А. Смирновым, который основывался на некоторых идеях Г.Фреге и Н.Васильева. Анализ структуры комбинированной логики показывает, что, фактически, она использует связи между двумя логическими системами, постулируя в роли онтологической части алгебры, служащие моделями соответствующих логик. Это наводит на мысль рассмотрения систем, которые описывают прямое взаимодействие двух логик на синтаксическом уровне, когда у нас есть доступ к этим логикам без посредства их моделей. В роли подобных систем могут быть использованы так называемые коэкспоненциалы и экспоненциалы логик, введенные ранее автором. Получен случай двух паранепротиворечивых логик, имеющих паранепротиворечивые алгебры в качестве своей онтологической части.
Е-mail:  vasyukov4@gmail.com
 
Институт Философии
Российской Академии Наук
Copyright © 2007—2012