2013 год
В области неклассической логики рассмотрены возможные применения IF-логики (Independence-Friendly logic) и теоретико-игрового подхода, предложен новый взгляд на комбинаторную логику как на логику абстрактных знаков (Logical Investigations. Vol. 19 / Отв. ред. А.С.Карпенко).
Проанализированы логические следствия принципа изобилия, рассмотренного А.Лавджоем в книге «Великая цепь бытия» (1936 г.), дополняющегося принципом полноты, требующим актуальной реализации всего, что мыслится как возможное. Осуществление принципа полноты приводит к бесконечным «расслоениям» пространства, времени, миров и всего сущего. Спасение от абсолютного хаоса видится в ограничении принципа полноты (Карпенко А.С. Философский принцип полноты).
Анализ древнерусского памятника «Палея Толковая» позволил сделать вывод о самобытности мышления автора-составителя, непосредственно-живом восприятии природы, понимании сущности мышления как единства мысли, мозга и метафизического чувства, синкретичной интерпретации античной науки и народных технологий, предметно-образном стиле мышления, опоре на аналогию как основной прием аргументации (Герасимова И.А. Древнерусская «Палея»: толкование трудных вопросов мироздания).
Предложен алгоритм, позволяющий в конечное число шагов определить, являются ли отношения логического следования в двух конечнозначных логиках эквивалентными (Девяткин Л.Ю. (Devyatkin L.Yu.). Equality of consequence relations in finite-valued logical matrices).
Осуществлен всесторонний анализ современных подходов к интерпретации употребления «пустых» имен (т. е. имен, обозначающих заведомо несуществующие объекты), развиваемых в России и в мире, выявлены их сильные и слабые стороны. Впервые в отечественной литературе представлен анализ прагматических интерпретаций предложений с «пустыми» именами (Мигла А.В. Проблемы антиреалистской интерпретации собственных имен в аналитической философии).
Проанализированы множества замкнутых функциональных классов, содержащиеся в двух слабых трехзначных логиках (трехзначные логики Бочвара и Холдена); доказан ряд важных теорем относительно замкнутых функциональных классов этих логик, впервые указывающие на континуальную природу этих логик (Преловский Н.Н. (Prelovskiy N.N.). Cardinality of sets of closed functional classes in weak 3-valued logics).
Проанализированы импликативные фрагменты естественных трехзначных логик. Доказано: 1) некоторые фрагменты по классу тавтологий эквивалентны импликативному фрагменту классической логики; 2) некоторые естественные трехзначные логики содержат фрагмент, в котором верифицируются все тавтологии классической пропозициональной логики (Томова Н.Е. (Tomova N.E.). Natural three-valued logics and classical logic).
В настоящее время теория знаков существует на дескриптивном уровне. Протологика – это попытка построения теории знаков как инструментальной теории. Показано, что протологика имеет естественное происхождение и в то же время тесно связана с такими известными логико-математическими теориями, как комбинаторная логика Шейнфинкеля-Карри и лямбда-исчисление Черча (Шалак В.И. (Shalack V.I.). Semiotic foundations of logic).
Книги
- Преловский Н.Н. Бивалентные семантики: логико-философский анализ. М.: ИФРАН, 2013. 138 с. Монография посвящена логико-философскому анализу бивалентных семантик многозначных логик в связи с тезисом польского логика Романа Сушко. Были рассмотрены различные известные алгоритмы построения бивалентных семантик, являющиеся попытками конструктивной реализации редукции Сушко, выявлены ограничения их применимости. Специально исследован класс некартезианских логик.
Другие публикации
- Карпенко А.С. Философский принцип полноты (Часть I) // Вопр. философии. 2013. № 6. С. 58–70.
- Карпенко А.С. Философский принцип полноты (Часть II) // Вопр. философии. 2013. № 7. C. 95–108.
- Karpenko A.S. Preface. The History of Finish-Soviet Logic Colloquium // Logical Investigations. 2013. Vol. 19. P. 5–9.
- Karpenko A.S. Von Wright’s truth logic and around // Logical Investigations. 2013. Vol. 19. P. 39–50.
- Karpenko A.S. Moscow logical schools (Period of ideology 1917 – 1991) / Ed. A. Schumann. Logic in Central and Eastern Europe: History, Science and Discourse. University Press of America. 2013. P. 317–380.
- Карпенко А.С. Неклассические логики // Большая Российская Энциклопедия. Т. 22. М.: Большая Российская Энциклопедия, 2013.
- Карпенко А.С. Немонотонная логика // Новая Российская Энциклопедия. Т. 11(2). М.: Энциклопедия; ИНФРА-М. 2013.
- Карпенко А.С. Нечеткая логика // Новая Российская Энциклопедия. Т. 11(2). М.: Энциклопедия; ИНФРА-М. 2013.
- Карпенко А.С. Паранепротиворечивая логика // Новая Российская Энциклопедия. Т. 12(2). М.: Энциклопедия; ИНФРА-М. 2013.
- Devyatkin L.Yu. Equality of consequence relations in finite-valued logical matrices // Logical Investigations. 2013. Vol. 19. P. 273–280.
- Герасимова И.А. Диалог поколений в век Интернет-коммуникаций // Эпистемология и философия науки. 2013. № 2. С. 133–147. (Совместн. с В.Г. Буданов, И.А. Асеева, Е.И.Боев, Каменский П.Ф.Кравчук и др.).
- Герасимова И.А. Палея Толковая о мироздании и познании // Эпистемология и философия науки. 2013. № 2. С.178–194. (Совмест. с В.В.Мильковым).
- Герасимова И.А. Образы науки в отечественной литературе XVIII-XXI вв. // Эпистемология и философия науки. 2013. № 3. С. 100–111.
- Герасимова И.А. Размышления над книгами: Горохов В.Г. Техника и культура: возникновение философии техники и теории технического творчества в России и Германии в конце XIX – начале XX столетия. М.: Логос, 2010. Горохов В.Г. Философия и история науки. Учебное пособие. – Дубна: ОИЯИ, 2012. Горохов В.Г. Технические науки: история и теория (история науки с философской точки зрения): монография. М.: Логос, 2012 // Высшее образование сегодня. 2013. № 11. С. 74–79.
- Герасимова И.А. Древнерусская «Палея»: толкование трудных вопросов мироздания // Дельфис. 2013. № 2. С. 64–71.
- Герасимова И.А. Кирик Новгородец – ученый и богослов // Православный собеседник. Альманах Казанской духовной семинарии. 2013. Вып. 1(23). С. 42–54.
- Мигла А.В. Референция пустых терминов как философская проблема. Автореф. дис. канд. филос. наук. М.: Типография «11 формат», 2013. 36 с.
- Мигла А.В. Проблемы антиреалистской интерпретации собственных имен в аналитической философии // Лингвистика, коммуникация и история: семантический анализ. М., 2013. С. 108–141.
- Prelovskiy N.N. Cardinality of sets of closed functional classes in weak 3-valued logics // Logical Investigations. 2013. Vol. 19. P. 334–344.
- Tomova N.E. Natural three-valued logics and classical logic // Logical Investigations. 2013. Vol. 19. P. 344–353.
- Shalack V.I. Semiotic foundations of logic // Logical Investigations. 2013. Vol. 19. P. 39–50.
- Шалак В.И. Точки сингулярности // Эпистемология & философия науки. 2013. Т. XXXV. № 1. С. 95–97.
Доклады, тезисы, выступления
- Карпенко А.С. Тезис Сушко и его функциональное опровержение // Восьмые Смирновские чтения: материалы Междунар. науч. конф., Москва, 19-21 июня 2013 г. М., 2013. С. 15–17.
- Герасимова И.А. Проблема логического анализа древнерусских «Шестодневов» // Восьмые Смирновские чтения: материалы Междунар. науч. конф., Москва, 19-21 июня 2013 г. М., 2013. С. 98–99.
Рецензии на публикации сотрудников сектора
- Рецензия А. Шумана на книгу Карпенко А.С. Развитие многозначной логики. М.: 2010 (Вопросы философии. 2012. № 3. С. 184–185).
- Рецензия П.И. Бочкина на монографию Герасимовой И.А. Единство множественного (эпистемологический анализ культурных практик). М.: Альфа-М, 2010 (Вопросы философии. 2012. № 9. С. 180–184).