Васюков Владимир Леонидович
- Ведущий научный сотрудник: Международная лаборатория логики, лингвистики и формальной философии
- Начал работать в НИУ ВШЭ в 2007 году.
- Научно-педагогический стаж: 41 год.
Oбразование и учёные степени
Достижения и поощрения
Лучший преподаватель — 2011
Участие в редколлегиях научных журналов
- Квантовая логика времени // Логические исследования (Труды научно-исследовательского семинара по логике ИФАН СССР). М.: ИФАН СССР, 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)
Опыт работы
- 1980-1990 - Львовский политехнический институт
- 1992-1993 - Институт философии и социологии ПАН (Варшава)
- 1996 - по наст время Институт философии РАН, кафедра логики МГУ, НИУ ВШЭ
- 19997-2001 - стажировка в Университете им. Н.Коперника (Торунь, Польша)
Информация*
- Общий стаж: 50 лет
- Научно-педагогический стаж: 41 год
Bringing Maths and Philosophy Together: Russian-Brazilian Project Explores Logical Pluralism
In late October and early November, HSE University hosted the Autumn School on ‘Logic and Formal Philosophy’ and a conference on logical pluralism as part of a collaborative project uniting Russian and Brazilian philosopher-logicians and mathematician-logicians. The project’s leaders and participants, Elena Dragalina-Chernaya, Itala Loffredo D'Ottaviano, Marcelo Esteban Coniglio, and Evandro Luis Gomes, shared their insights about the initiative.
Выступления сотрудников МЛ ЛогЛинФФ на международной конференции "HOMO LOQUENS: логика-язык-культура" в БФУ имени Канта
1-3 декабря в Калининграде проходила международная конференция "HOMO LOQUENS", на которой сотрудники МЛ ЛогЛинФФ выступили с докладами.
Формальная философия 2022
31 октября — 3 ноября состоялась Международная конференция “Формальная философия – 2022”, организованная Международной лабораторией логики, лингвистики и формальной философии НИУ ВШЭ. В конференции приняло участие более 30 докладчиков из НИУ ВШЭ, МИАН, МГУ, Оксфордского университета, Университета Париж X—Нантер, Университета Кампинаса и других исследовательских центров.
Сотрудники МЛ ЛогЛинФФ выступили с докладами на конференции в СПбГУ "Смысл и смыслообразование"
Со 2 по 4 июня проходила международная конференция "Смысл и смыслообразование" в Санкт-Петербургском государственном университете.
Доклад Владимира Васюкова на всероссийской научной конференции "Философия перед лицом новых цивилизационных вызовов"
4 февраля Владимир Васюков выступил с докладом "Анти-диодорова квантовая логика" на секции "Теоретическая и прикладная логика" на конференции, посвященной 80-летнему юбилею воссоздания философского факультета в структуре Московского университета.
Воркшоп "День логики 2022" в Международной лаборатории логики, лингвистики и формальной философии
14 января состоялся воркшоп "День логики 2022", приуроченный к четвертому ежегодному празднованию Всемирного дня логики.
Доклады сотрудников лаборатории на конференции "HOMO LOQUENS" в Калининграде
С 9 по 11 декабря в БФУ имени И. Канта проходила конференция "HOMO LOQUENS". Сотрудники лаборатории выступили с докладами.
Доклад Владимира Васюкова на международной конференции "Вторые Cтепинские чтения. Рациональность в цифровую эпоху"
10 ноября Владимир Васюков выступил с пленарным докладом "Перспективизм и постнеклассическая рациональность" на международной конференции "Вторые Cтепинские чтения. Рациональность в цифровую эпоху".
Доклад Владимира Васюкова на заседании семинара секции НСМИИ РАН "ИИ, математика, теория систем"
8 апреля ведущий научный сотрудник МЛ ЛогЛинФФ Владимир Васюков выступил с докладом "Квантовая логика" на заседании семинара секции НСМИИ РАН "ИИ, математика, теория систем".
Воркшоп «Logic in the "Tractatus Logico-Philosophicus": A Century of Interpretations»
14 января состоялся воркшоп "Logic in the Tractatus Logico-Philosophicus: A Century of Interpretations", приуроченный к третьему ежегодному празднованию Всемирного дня логики и столетию публикации на немецком "Логико-философского трактата" Л. Витгенштейна.
Доклады Владимира Васюкова и Ирины Кириловой на конференции "HOMO LOQUENS: логика – язык – культура"
3 декабря состоялись доклады Владимира Васюкова "Постнеклассическая универсальная логика" и Ирины Кириловой "Нормативность логики и вероятности в анализе обыденных условных рассуждений" на Логико-философском семинаре имени В. Н. Брюшинкина в рамках Второй научной конференции "HOMO LOQUENS: логика – язык – культура", проходившей в БФУ им. Канта, Калининград.
Опубликована статья Владимира Васюкова
В журнале "Вопросы философии" опубликована статья Владимира Васюкова "Логический плюрализм во Львовско-Варшавской школе".
Доклад Владимира Васюкова "Логика мутазилитов или как обойтись без закона тождества"
2 мая на онлайн-заседании московского семинара по логике Logic.RU состоялся доклад Владимира Васюкова "Логика мутазилитов или как обойтись без закона тождества"
Ведущий научный сотрудник МЛ ЛогЛинФФ выступил с докладом на конференции в Рио-де-Жанейро
Ведущий научный сотрудник МЛ ЛогЛинФФ выступил с докладом на конференции CREATIVITY-2019, прошедшей в Рио-де-Жанейро с 8 по 13 декабря.
Состоялась презентация книги В.Л.Васюкова
24 сентября Владимир Леонидович Васюков, ведущий научный сотрудник Международной лаборатории логики, лингвистики и формальной философии, презентовал свою книгу «Ситуации, события, факты: формальная феноменология ситуаций».
Формальная философия 2019
27-28 июня состоялась международная конференция "Formal Philosophy 2019", организованная Международной лабораторией логики, лингвистики и формальной философии (МЛ ЛогЛинФФ). В конференции приняли участие ученые из России, США, Бразилии, Польши, Германии, Австрии, Португалии и Южной Кореи. Планируется, что конференция станет ежегодным событием.
В журнале «Логические исследования» опубликованы статьи Владимира Васюкова и Анастасии Копыловой
Статьи сотрудников лаборатории были опубликованы в журнале «Логические исследования».
Сотрудники лаборатории выступили на Одиннадцатых Смирновских чтениях по логике
В конференции приняли участие Павлова А.М., Федянин Д.Н., Золин Е.Е., Драгалина-Черная Е.Г. и Васюков В.Л.
Владимир Васюков принял участие в конференции "Философия искусственного интеллекта – 2019"
5 июня прошло заседание секции "Логико-философские проблемы искусственного интеллекта" в рамках конференции "Философия искусственного интеллекта – 2019". Работой секции руководил Владимир Васюков.
Конференция «Горизонты логического плюрализма»
24 ноября 2018 года в Высшей школе экономики состоялась конференция «Горизонты логического плюрализма», приуроченная к юбилею старшего научного сотрудника Международной лаборатории логики, лингвистики и формальной философии Владимира Леонидовича Васюкова. Ведущие специалисты по логике и формальной философии из НИУ ВШЭ, МГУ, СПбГУ и Института философии РАН присоединились к поздравлениям Владимира Леонидовича и представили к обсуждению свои идеи.
Владимир Леонидович Васюков выступил с докладом на Крите
Ведущий научный сотрудник Лаборатории логики, лингвистики и формальной философии Владимир Леонидович Васюков выступил с докладом на конференции в Греции.
Юбилей Владимира Леонидовича Васюкова
2 ноября юбилей Владимира Васюкова, ведущего научного сотрудника Международной лаборатории логики, лингвистики и формальной философии.
Владимир Васюков и Гала Максудова-Елисеева выступили с докладами на конгрессе РОИФН
14 сентября сотрудники лаборатории приняли участие в работе Первого конгресса русского общества истории и философии науки "История и философия науки в эпоху перемен".
Елена Драгалина-Черная и Владимир Васюков выступили на симпозиуме в Австрии
Заведующая лабораторией и ведущий научный сотрудник лаборатории выступили в качестве приглашенных лекторов на симпозиуме по философии логики и математики.
Владимир Васюков принял участие в воркшопе «Конструктивное знание–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 октября на факультете философии ВШЭ прошел первый семинар из цикла «Формальная философия», который посвящен использованию формальных средств анализа для экспликации философской проблематики в сфере современной логики, онтологии, эпистемологии и философии языка.