• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта
Владение языками
английский
польский
украинский
Контакты
Телефон:
+7(495) 203-9076
+7(495) 772-9590 доб. 2696
Электронная почта:
Адрес: Старая Басманная ул., д. 21/4, стр. 1, каб. 000
Время работы: По договоренности
Scopus AuthorID: 16450615000
Руководитель
Драгалина-Черная Е. Г.
Версия для печати

 

Нашли опечатку?
Выделите её, нажмите Ctrl+Enter и отправьте нам уведомление. Спасибо за участие!

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

  • Начал работать в НИУ ВШЭ в 2007 году.
  • Научно-педагогический стаж: 37 лет.

Образование, учёные степени

  • 1998

    Доктор философских наук: Институт философии РАН, специальность 09.00.07 «Логика», тема диссертации: «Формальная феноменология (исчисления, семантика)»

  • 1986

    Кандидат наук: Московский государственный университет им. М.В. Ломоносова, специальность 09.00.07 «Логика», тема диссертации: «Семантический и синтаксический анализ квантовых логик»

  • 1972

    Специалитет: Львовский государственный университет им. И. Франко, факультет: физический, специальность «Физика»

Профессиональные интересы

  • логика
  • аналитическая философия
  • онтология
  • феноменология
  • философия науки

 

Достижения и поощрения

Учебные курсы (2014/2015 уч. год)

Учебные курсы (2013/2014 уч. год)

Учебные курсы (2012/2013 уч. год)

Формальные онтологии (Бакалавриат; где читается: Факультет философии; 3-й курс, 3, 4 модуль)Рус

Учебные курсы (2011/2012 уч. год)

Формальные онтологии (Бакалавриат; где читается: Факультет философии; 3-й курс, 4 модуль)Рус

Учебные курсы (2010/2011 уч. год)

Формальные онтологии (Бакалавриат; где читается: Факультет философии; 3-й курс, 1, 2 модуль)Рус

Учебные курсы (2009/2010 уч. год)

Участие в редколлегиях научных журналов

  • С 2015 г.: заместитель главного редактора (1987) журнала «Философия, методология и история науки».

  • С 1992 г.: член редколлегии журнала «Логические исследования».

Публикации55

Публикации

  • Квантовая логика времени // Логические исследования (Труды научно-исследовательского семинара по логике ИФАН СССР). М.: ИФАН СССР, 1983. С.93-102.
  • Точность дискретной модели для бесконечнознач¬ной логики Лукасевича // Многозначные, релевантные и паранепротиворечивые логики (Труды научно-исследовательского семинара по логике ИФАН СССР). М.: ИФАН СССР, 1984. С.55-64.
  • Небулевы Т-F-семантики для многозначных логик // Неклассические логики (Труды научно-исследовательского семинара по логике ИФАН СССР). М.: ИФАН СССР, 1985. С.27-39.
  • Комплекснозначные логики или как учитывать контекст в логических системах // Нестандартные семантики для неклассических логик (Труды научно-исследовательского семинара по логике ИФАН СССР). М.: ИФАН СССР, 1986. С.14-35.
  • The Bibinary Semantics for R and LÀ0 // Bull. Sect. Log., 1986, v. 15, No 3, pp. 109-116.
  • Симметрический моноид Гейтинга: модель для бесконечнозначной логики Лукасевича (в соавт. с А.С.Карпенко) // Неклассические логики и пропозициональные установки (Труды научно-исследовательского семинара по логике ИФАН СССР). М.: ИФАН СССР, 1987. С.118-124.
  • Темпоральное следование и логика Шираиши // Неклассические логики и пропозициональные установки (Труды научно-исследовательского семинара по логике ИФАН СССР). М.: ИФАН СССР, 1987. С.60-74.
  • T-F-toposes for Lukasiewicz's infinite valued logics // Bull. Sect. Log., 1988, v. 17, No 3/4, pp.182-190.
  • Квантовая логика и расши¬рения логических систем // Современные исследования по квантовой логике. М.: изд-во МГУ, 1989. С.76-89.
  • Квантовая логика наблюдаемых // Семантический и синтаксический анализ неэкстенсиональных логик. М.: Наука, 1989. С.120-169.
  • Квантовая логика в топосах // Исследования по неклассическим логикам. М.: Наука, 19889. С.338-348.
  • Семиотические аспекты семантики неклассических логик // Логико-философские исследования, вып. 2. М.: Философское общество СССР, 1991. С. 19-31.
  • Категорная семантика исчисления Айдукевича-Ламбека // Логические методы в компьютерных науках (Труды научно-исследовательского семинара по логике ИФАН СССР). М.: ИФАН СССР, 1991. С.181-197.
  • A Lesniewskian Guide to Husserl's and Meinong's jungle // Axiomathes, 1993, No 1, pp.59-74.
  • Antidiodorean Logics and Brentano-Husserl's conception of time // Axiomathes, 1993, No 3, pp.373-388.
  • The completeness of the factor semantics for Lukasiewicz's infinite-valued logics, Studia Logica, 1993, 52, No 1, pp. 143-157.
  • RN-категории для релевантных логик // Логические исследования, вып. 1. М.: Наука, 1993. С.124-132.
  • MN-категории для модальных логик. - В кн.: Логические исследования, вып. 1. М.: Наука, 1993. С.114-123.
  • Категорная семантика для паранепротиворечивых логик // Логические исследования, вып. 2. М.: Наука, 1993. С.285-298.
  • Автоматическое доказательство теорем // Логика и компьютер, вып. II. М.:Наука, 1995. С. 24-62.
  • Categorial semantics of Ajdukiewicz-Lambek calculus // The Heritage of Kazimierz Ajdukiewicz, Poznan Studies in Philosophy of Science and Humanities, vol. 40, Rodopi, Amsterdam, 1995, pp. 321-336. 50. From Ternary to Tetrary? // Bull. Sect. Log., 1994, v. 23, No 4, pp. 163-167.
  • Развивая Тарского: котопос теорий // Логические исследования, вып. 3. М.: Наука, 1995. С. 276-291.
  • В защиту метакосмоса // Логические исследования, вып 3. Наука, М., 1995. С. 276-292.
  • Две парадигмы в рамках одной школы // Философия науки, вып. 2. М.: ИФ РАН, 1996. С. 218-230.
  • Границы универсализма (попытка метаанализа) // Аксиология и историческое познание. Коломна: Коломенский пединститут, 1996. С.168-176.
  • Об интерпретации секвенций в ситусах // Логические исследования, вып 4. Наука, М., 1997. С.196-221.
  • Метафора в прагматических матрицах // Труды научно-исследовательского семинара логического центра Институт философии РАН 1996, М.: ИФ РАН, 1997. С.64-70.
  • О феноменологической силлогистике // Труды научно-исследовательского семинара логического центра Институт философии РАН 1996, М.: ИФ РАН, 1997. С.190-200.
  • 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, pp.153-168.
  • Implicative logics in categories // Bull. Sect. Log., 1997, vol. 26, No 4, pp. 188-192.
  • Situations and Events: Non-Fregean Approach to V. A. Smirnov's Combined Logics // Bull. Sect. Log., 1998, vol. 27, No 1/2, pp. 85-88.
  • Не-фрегевская логика и Пост-Трактатная онтология // Труды научн.-исслед. семинара логического центра Института философии РАН 1997. М.: ИФ РАН, 1998. С. 131-138.
  • Комбинированная логика В.А.Смирнова с ситуационной точки зрения (не-фрегевский подход) // Логические исследования, вып.5, 1998. М.: Наука. С.221-229.
  • Ситуации и смысл: не-не-фрегевская (метафорическая) логика.1 // Логические исследования, вып.6,Москва, РОССПЭН, 1999. С.138-152.
  • Направление времени в семантике многозначных возможных миров // Труды научн.-исслед. семинара логического центра Института философии РАН 1998. М.: ИФ РАН, 1999. С. 143-155.
  • Combined da Costa's Logics (world according N.C.A.da Costa) // Logic et Analyse, №165-166 (1999). p.127-138.
  • Many-valued Logic of Directed Time // Multiple-Valued Logic, vol.5, 2000, pp.163-173.
  • Paraconsistency in Categories // Frontiers of Paraconsistent Logic / D.Batens, C.Mortensen, G.Priest and J.-P. van Bendegem (eds.), Research Studies Press Ltd., Baldock, Hartfordshire, England, 2000, pp. 263-278.
  • Implicative Logics, Sequential Deductive Systems and Exponential Multicategories // Bulletin of the Section of Logic, vol. 29, No 1-2, 2000, pp.13-25.
  • Импликативная логика, дедуктивные импликативные системы и экспоненциальные мультикатегории // Логические исследования, вып.7, Москва, Наука, 2000. С.90-118.
  • Три реинтерпретации формальной теории ценностей Т.Чежовского // Труды научно-исслед. семинара логического центра Инта философии РАН. Вып XIV, М., 2000. с.114-127.
  • Reinterpretacja formalnej teorii wartości T.Czeżowskiego // Tadeusz Czeżowski (1889-1981). Dziedzictwo idei: logika-filozofia-etyka. Uniwersytet Mikołaja Kopernika, Toruń, 2002. S.123-134.
  • Фундаментальный труд ученого // Вопросы философии, №1, 2000. С.71-90.
  • Метакосмос: миры и/или ситуации? // Концепция виртуальных миров и научное познание, СПб.: Изд-во Русско-Христианского гуманитарного института, 2000. С. 107-118.

Исследовательские проекты

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

Владимир Васюков принял участие в воркшопе «Конструктивное знание–6: мышление и вычисление»

Ведущий научный сотрудник Международной лаборатории логики, лингвистики и формальной философии выступил с докладом «Негативная формальная онтология».

Сотрудники ЛогЛинФФа приняли участие в конференции в Санкт-Петербурге

Сотрудники ЛогЛинФФа (в.н.с. В.Л.Васюков, зав.лаб. Е.Г.Драгалина-Черная, зам.зав.лаб. В.В.Долгоруков и с.н.с. А.В. Родин) приняли участие в конференции «Logic Today: Developments and Perspectives», которая прошла на философском факультете Санкт-Петербургского Государственного Университета с 31 мая по 2 июня 2018.

Формальная философия – 45: доклад В. Л. Васюкова

14 мая 2018 г. состоялось 45-е заседание научно-теоретического семинара «Формальная философия», в рамках которого В. Л. Васюков выступил с докладом «Кантианские мотивы в интуиционистской логике».

Семинар "Композициональность и контекстуальность"

28 октября состоялся воркшоп "Композициональность и контекстуальность", организованный НУГ "Формальная философия". Предлагаем вашему вниманию репортаж!

Logica Ludicra

11 февраля в школе философии факультета гуманитарных наук Национального исследовательского университета «Высшая школа экономики» в рамках семинара «Формальная философия» состоялась презентация монографии "Logica Ludicra: аспекты теоретико-игровой семантики и прагматики, СПб. : Алетейя, 2014 (Васюков В. Л., Драгалина-Черная Е.Г., Долгоруков В. В.)".

Исследования по онтологии негативности продолжаются

22-23 октября на факультете философии ВШЭ прошла международная конференция «Онтология негативности», на которой были сопоставлены онтологические предпосылки различных интерпретаций концептов «негация» и «негативность» в истории философии и логики.

Владимир Леонидович Васюков принял участие в IV Всемирном Конгрессе по Универсальной Логике

Профессор кафедры Онтологии, логики и теории познания д.ф.н. Владимир Леонидович Васюков принял участие в IV Всемирном Конгрессе по Универсальной Логике (Unilog'2013), который прошел в Рио-де-Жанейро (29 марта - 7 апреля). Владимир Леонидович является постоянным членом программного комитета, на IV Конгрессе он выступил с докладом "Internal Logic of the Universe of Universal Logic". См.: Handbookof the 4th World Congress and Schoolon Universal Logic .

Семинар «Формальная философия»

9 октября на факультете философии ВШЭ прошел первый семинар из цикла «Формальная философия», который посвящен использованию формальных средств анализа для экспликации философской проблематики в сфере современной логики, онтологии, эпистемологии и философии языка.