2016

Научный отчет за 2016 год

Сектор логики

Зав. сектором – доктор филос. наук А.С. Карпенко

Проанализирована роль многозначных матриц классической логики в построении неклассических многозначных логик. Построены новые классы подобных матриц, задающих паранепротиворечивые, параполные и паранормальные логики. Применен решеточный подход к изучению паралогик. Проанализированы алгоритмы конструирования паралогик. Построена решетка трехзначных паралогик относительно обладания парасвойствами, верхняя полурешетка четырехзначных паралогик относительно функциональной вложимости одних логик в другие. Доказана теорема о необходимых и достаточных условиях для представления теорий посредством определений в чистой логике предикатов первого порядка. Найдены критерии, которые позволяют отличить чисто логические теории от теорий, зависящих от дополнительных онтологических допущений.

Предложен необычный подход к изучению литеральных паралогик. Исходным пунктом является трехзначная логика бессмысленности Бочвара B3, которая содержит два изоморфа классической пропозициональной логики C2, комбинация которых приводит к построению двух знаменитых паралогик P1 и I1, первая из которых паранепротиворечива, а вторая параполна. Доказываются теоремы о функциональных свойствах трехзначных литеральных паралогик. Построены решетка трехзначных паралогик и полурешетка четырехзначных паралогик (Карпенко А.С., Томова Н.Е. Трехзначная логика Бочвара и литеральные паралогики. М.: ИФ РАН, 2016. 110 с.).

Проанализирована роль многозначных матриц классической логики в построении неклассических многозначных логик. Проведен обзор представленных в литературе матриц неклассических логик, являющихся функциональными расширениями матриц классической логики. Построены новые классы подобных матриц, задающих паранепротиворечивые, параполные и паранормальные логики (Девяткин Л.Ю. Неклассические модификации многозначных матриц классической логики. Ч. I // Логич. исслед. 2016. Т. 22. № 2. С. 27–58).

В становлении первых логических программ показана связь логической методологии с потребностями научной и обыденной практик, а также их специфики в восточных и западных культурных традициях (Герасимова И.А. Умозаключения от признака и их роль в науке // Уч. зап. крым. федерал. ун-та им. В.И. Вернадского. Философия. Политология. Культурология. 2015. Т. 1 (67). № 2. С. 149–158).

Доказана теорема о необходимых и достаточных условиях для представления теорий посредством определений в чистой логике предикатов первого порядка. Найдены критерии, которые позволяют отличить чисто логические теории от теорий, зависящих от дополнительных онтологических допущений (Шалак В.И. (Shalack V.I.). On first-order theories which can be represented by deﬁnitions // Логич. исслед. 2016. Т. 22. № 1. С. 125–135).

Плановая научная работа

Работы, выполненные по грантам, отмечены знаком *

Монографии и коллективные труды

Карпенко А.С., Томова Н.Е. Трехзначная логика Бочвара и литеральные паралогики. М.: ИФ РАН, 2016. 110 с.

Научные статьи

Карпенко А.С., Томова Н.Е. (Karpenko A., Tomova N.). Bochvar's three-valued logic and literal paralogics: Their lattice and functional equivalence // Logic and Logical Philosophy. 2016. URL: http://apcz.pl/czasopisma/index.php/LLP/article/view/LLP.2016.029
Карпенко А.С. Модальная пропозициональная логика истины Tr и ее полнота // Логич. исслед. 2016. Т. 22. № 1. С. 13–31. (соавт. А.В. Чагров). *
Карпенко А.С. Сверхреализм. Ч. I: От мыслимого к возможному // Филос. журн. / Philosophy Journal. 2016. Т. 9. № 2. С. 5–23.
Карпенко А.С. Сверхреализм. Ч. II: От возможного к реальности // Филос. журн. / Philosophy Journal. 2016. Т. 9. № 3. C. 5–24.
Карпенко А.С. Тоска по философии // Философ и наука. Александр Павлович Огурцов / Отв. ред. С.С. Неретина. М., 2016. С. 97–146.
Карпенко А.С. Тоска по философии (памяти А.П. Огурцова). Ст. II // Вопр. философии. 2016. № 2. С. 137–147.
Герасимова И.А. Гиппократ и Аристотель (к вопросу о становлении первых логических программ) // Epistemology & Philosophy of Science / Эпистемология и философия науки. 2016. Т. XLVIII. № 2. С. 121–140.
Герасимова И.А. Конструктивизм как логический стиль и проблема китайской логики // Филос. журн. / Philosophy Journal. 2016. Т. 9. № 4. С. 128–146.
Герасимова И.А., Мильков В.В. Медицинская тематика в книжности Древней Руси // Психология и Психотехника. 2016. № 2 (89). С. 179–191.
Герасимова И.А. Умозаключения от признака и их роль в науке // Уч. зап. Крым. федерал. ун-та им. В.И. Вернадского. Философия. Политология. Культурология. 2015. Т. 1 (67). № 2. С. 149–158.
Девяткин Л.Ю. Неклассические модификации многозначных матриц классической логики. Ч. I // Логич. исслед. 2016. Т. 22. № 2. С. 27–58.
Девяткин Л.Ю. О конечнозначных логических матрицах, порождающих классическое отношение следования // Логико-философские штудии. 2016. Т. 13. № 2. С. 173–174 URL: http://ojs.philosophy.spbu.ru/index.php/lphs/article/view/438/443 *
Преловский Н.Н. О мощности множества предполных классов для произвольного замкнутого класса функций // Логико-философские штудии. 2016. Т. 13. № 2. С. 189–190. URL: http://ojs.philosophy.spbu.ru/index.php/lphs/article/view/446/451 *
Шалак В.И. (Shalack V.I.). On First-order Theories Which Can Be Represented by Deﬁnitions // Логич. исслед. 2016. Т. 22. № 1. С. 125–135.
Шалак В.И. Дедуктивно-аналитический подход к планированию целей // Логико-филос. штудии. 2016. Т. 13. № 2. С. 134–135. URL: http://ojs.philosophy.spbu.ru/index.php/lphs/article/view/418/423
Шалак В.И. Социальное программирование // SocioTime / Соц. время. 2016. № 1 (5). С. 51–60.

Научно-популярные статьи

Родин А.В., Лекторский В.А., Карпенко А.С. Памяти Яакко Хинтикки // Вопр. философии. 2016. № 2. С. 5–8.

Доклады, тезисы, выступления

Карпенко А.С. Фаталистические аргументы Аристотеля // Аристотелевское наследие как конституирующий элемент европейской рациональности: Моск. международ. конф. по Аристотелю 2016 (г. Москва, 17–19 окт. 2016 г.): Материалы к докл. / Отв. ред. В.В. Петров. М., 2016. С. 12.
Шалак В.И. Обманчивая простота логики Аристотеля // Аристотелевское наследие как конституирующий элемент европейской рациональности: Моск. международ. конф. по Аристотелю 2016 (г. Москва, 17–19 окт. 2016 г.): Материалы к докл. / Отв. ред. В.В. Петров. М., 2016. С. 14.

Внеплановая научная работа

Грант РФФИ № 14-03-00341. Многозначные обобщения классической логики: сходство и различие (рук. – д.ф.н. Карпенко А.С.). 2014–2016 гг.