2013

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).