Девяткин Леонид Юрьевич

Год и место рождения

16 августа 1982, Москва

Образование

Высшее, философский факультет МГУ, 2004

Ученые степени

Кандидат философских наук. Диссертация: "Многозначные изоморфы классической пропозициональной логики", Институт философии РАН, 2008.

Сфера научных интересов

Многозначные логики, классическая пропозициональная логика, отношение логического следования

ORCID ID: 0000-0002-3974-7481; Researcher ID (Web of Science): U-9085-2018; Scopus Author ID: 57210701271

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

Старший научный сотрудник сектора логики ИФ РАН.

Научные публикации

Монографии

Трехзначные семантики для классической логики высказываний. М., 2011.

Избранные статьи

Неклассический взгляд на природу значений истинности // Логические исследования. 2022. Т. 28. № 2. С. 40–65. DOI: 10.21146/2074-1472-2022-28-2-40-65.
О выразительных возможностях максимально паранепротиворечивых и максимально параполных четырехзначных расширений FDE // Логич. исслед. / Logical Investigations. 2021. T. 27. № 2. С. 66–92. DOI: 10.21146/2074-1472-2021-27-2-66-92
Континуальность множества замкнутых классов Pk+1, которые можно гомоморфно отобразить на Pk // Вестн. Моск. ун-та. Сер. 1: «Матем., мех.». 2020. № 1. С. 69‒70.
О выразительных возможностях отдельных расширений четырехзначной логики Белнапа // Логич. исслед. / Logical Investigations. 2020. T. 26. № 2. С. 116‒143. DOI: 10.21146/2074-1472-2020-26-2-116-143.
Many-Valued Paraconsistent Extensions of Classical Positive Propositional Calculus // Journal of Applied Logics: IfCoLog Journal of Logics and their Applications. 2019. Vol. 6. № 2. P. 229‒254.
О подлинно паранепротиворечивых и подлинно параполных многозначных логиках // Логич. исслед. / Logical Investigations. 2019. № 2. С. 26‒45. DOI: 10.21146/2074‒1472‒2019‒25‒2‒26‒45.
О континуальном классе четырехзначных максимально паранормальных логик. // Логич. исслед./Logical Investigations. 2018. Т. 24. № 2. 2018. С. 85–91.
Неклассические модификации многозначных матриц классической логики. Часть II // Логич. исслед. 2017. Т. 23. № 1. С. 11–47.
Неклассические модификации многозначных матриц классической логики. Часть I // Логич. исслед. 2016. Т. 22. № 2. С. 27–58.
On the ‘Classical’ Operations in Three-valued Logics // Логич. исслед./Logical Investigations. 2015. T. 21. № 2. С. 61–69.
Three-valued matrices with classical consequence relation for an arbitrary propositional language // Логические исследования. Вып. 20. М-СПб.: ЦГИ, 2014.
Equality of consequence relations in finite-valued logical matrices // Logical Investigations. Vol. 19 (Special Issue). M. Spb.: C.G.I., 2013.
Четыре следования, три порядка, две матрицы, одна бирешетка // Логические исследования. Вып. 18. М-СПб.: ЦГИ, 2012.
О некоторых функциональных свойствах трехзначных матриц для классической логики // Логические исследования. Вып. 17. М-СПб.: ЦГИ, 2011.
n-значные матрицы для классической логики высказываний // Логические исследования. Вып. 15. М.: Наука, 2009.
Отношение логического следования и проблема многозначности // Вестник Московского университета (Серия 7. Философия). 2008. Вып. 2.
К вопросу о трехэлементных характеристических матрицах для классической логики высказываний // Труды научно-исследовательского семинара Логического центра Института философии РАН. М., 2007.

Конференции

Референциально двузначные семантики для инференциально многозначных логик // После постпозитивизма. Материалы Третьего Межд. Конгресса Русского общества истории и философии науки / Науч. ред. и сост. И.Т. Касавин и др. М.: РОИФН, 2022. С. 497–500.
Closed Classes of Functions Generated by Maximally Paraconsistent and Paracomplete Four-Valued Expansions of FDE // Двенадцатые Смирновские чтения: материалы Междунар. науч. конф., Москва, 24–26 июня 2021 г. М., 2021. С. 12-15.
Недооценка истины и переоценка лжи в четырехзначных логиках // Восьмой Российский Философский Конгресс «Философия в полицентричном мире». Секции (I). М.: Логос; Новые печатные технологии, 2020. С. 191–194.
Максимально паранепротиворечивые и параполные четырехзначные языковые расширения FDE // Наука как общественное благо: сб. научн. ст. / Научн. ред. и сост. И.Т. Касавин, Л.В. Шиповалова. В 7 т. Т. 4. М.: Русское общество истории философии науки, 2020. С. 213‒215.
Not Every Genuine Paraconsistent Logic is a Logic of Formal Inconsistency // Одиннадцатые Смирновские чтения: материалы Междунар. науч. конф., Москва, 19–21 июня 2019 г. М., 2019. С. 16-17.
Many-Valued Paraconsistent Extensions of Classical Positive Propositional Calculus. ISRALOG17: 15-17 Oct. 2017, Haifa.
True Lies Matrices: Undervaluation of Truth and Overvaluation of Falsity // Десятые Смирновские чтения по логике. Материалы международной научной конференции (г. Москва, 15–17 июня 2017 г.) М., 2017. С. 15–17.
О конечнозначных логических матрицах, порождающих классическое отношение следования // Логико-философские штудии. 2016. Том 13. № 2.
The Maximal Three-Valued Matrix for the Classical Propositional Logic // 9-е Смирновские чтения: материалы Междунар. науч. конф. (г. Москва, 17–19 июня 2015 г.). М., 2015. С. 18–19.
Многозначные обобщения классической логики: роль в преподавании многозначных логик // «Проблемы преподавания логики и перспективы ее развития»: материалы VI Мiжн.наук.-прак.конф. (Киев, 15-16 мая 2014 г.). К.: Видавничо-поліграфічний центр "Київський університет", 2014. С. 33-34.
A note on equality of logical matrices (Восьмые Смирновские чтения: Междунар. науч. конф., Москва, 19-21 июня 2013 г.)
Об одной проблеме специализации по логике и возможной роли многозначных логик в ее решении // «Проблемы викладання логики та дисциплiн логiчного циклу–5»: материалы V Мiжн.наук.-прак.конф. (Киев, 3-4 мая 2012 г.). К.: Видавничо-поліграфічний центр "Київський університет", 2012. С. 50–51.
О некоторых функциональных свойствах трехэлементных логических матриц с классическим отношением логического следования // Материалы XI международной научной конференции «Современная логика: проблемы теории и истории». СПб., 2010. С. 320-322.
Классическая логика высказываний и многозначные логические матрицы // Современная логика. Материалы X Общероссийской научной конференции 26-28 июня 2008 г. СПб: Санкт-Петербургский Государственный Университет.
Неклассические определения отношения логического следования // Смирновские чтения по логике. Материалы 5-й конференции, 2007.
Изоморфы C2 в трехзначной логике Гейтинга // IV Российский философский конгресс «Философия и будущее цивилизации». Материалы выступлений. Том 1. М.: Современные тетради, 2005.

Email: leonid_devyatkin @ mail.ru