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

• Факультет философии | Кафедра онтологии, логики и теории познания: профессор

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

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

Лучший преподаватель - 2011

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

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

 

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

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

Учебные курсы

• Формальные онтологии (Бакалавриат; где читается: Факультет философии; 3-й курс, 4 модуль)
• Формальные онтологии (уч. год: 2010–2011; Бакалавриат; где читается: Факультет философии; 3-й курс, 1, 2 модуль)
• Логика (уч. год: 2009–2010; Бакалавриат; где читается: Отделение программной инженерии; 1-й курс, 1 модуль)
• Формальные онтологии (уч. год: 2009–2010; Бакалавриат; где читается: Факультет философии; 3-й курс, 1, 2 модуль)

Публикации

• Квантовая логика времени // Логические исследования (Труды научно-исследовательского семинара по логике ИФАН СССР). М.: ИФАН СССР, 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.

1999

2001

2002

2003

2004

2005

2006

2007

2008

2009

2010

2011