Сектор логики: Публикации

Монографии и сборники

Девяткин, Л.Ю. Многозначные расширения классической логики высказываний — М. : Институт философии РАН, 2018. — 96 с. — ISBN 978-5-9540-0340-6.

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

Шалак В.И. Очерки по основаниям логики – М. : Институт философии РАН, 2017. – 111 с. – ISBN 978-5-9540-0320-8.

Книга очерков посвящена логико-философскому анализу оснований логики и ее места в системе наук. Важность владения методами логики иллюстрируется в первом очерке на примере анализа известной апории Зенона «Стрела». Во втором очерке обращается внимание на неявные предпосылки, которые принимаются в логике и тем самым могут оказывать влияние на формирование научной картины мира. Третий очерк посвящен анализу программы логицизма. Приведено доказательство теоремы о существовании критерия для разграничения логических и математических теорий. В четвертом очерке приводятся аргументы в пользу пересмотра некоторых общепринятых положений теории знаков и высказываются предположения, как это может отразиться на наших представлениях о природе и основаниях логики.

Карпенко А.С., Томова Н.Е. Трехзначная логика Бочвара и литеральные паралогики — М. : Институт философии РАН, 2016. — 110 с. — ISBN 978-5-9540-0314-7.

Книга «Трехзначная логика Бочвара и литеральные паралогики» состоит из трех глав и посвящена изучению литеральных паралогик. Исходным пунктом предложенного исследования является трехзначная логика бессмысленности Бочвара B3, содержащая два изоморфа классической пропозициональной логики C2, комбинация которых приводит к построению двух знаменитых паралогик P1 и I1. Доказано, что эти паралогики функционально эквивалентны и каждая функционально эквивалентна фрагменту логики B3, состоящему только из внешних формул. Построена четырехэлементная решетка трехзначных паралогик относительно обладания теми или иными парасвойствами. В заключительной главе приведена полурешетка четырехзначных литеральных паралогик относительно функционального вложения одних логик в другие.

Девяткин Л.Ю., Преловский Н.Н., Томова Н.Е. В границах трехзначности – М.: Институт философии РАН, 2015. – 136 с. – ISBN 978-5-9540-0296-6.

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

Введение в логику для философов / Н.Е. Томова, В.И. Шалак ; Рос. акад. наук, Ин-т философии. – М. : ИФРАН, 2014. – 191 с. ; 20 см. – Библиогр.: с. 191. – 500 экз. – ISBN 978-5-9540-0274-4.

Учебник предназначен для использования в качестве пособия при изучении курса введения в логику студентами-философами. От уже существующих учебников его отличает подход к изложению логики. Она излагается не как уже данная наука, а последовательно строится на основании принимаемых философских допущений об устройстве окружающего мира. Книга может быть интересна не только изучающим логику, но и тем, кто ее преподает.

Преловский Николай Николаевич. Бивалентные семантики: логико-философский анализ — М.: Институт философии РАН, 2013. — 138 c. — ISBN 978-5-9540-0255-3.

Монография посвящена логико-философскому анализу бивалентных семантик многозначных логик в связи с тезисом польского логика Романа Сушко. Были рассмотрены различные известные алгоритмы построения бивалентных семантик, являющиеся попытками конструктивной реализации редукции Сушко, выявлены ограничения их применимости. Специально исследован класс некартезианских логик.

Томова Наталья Евгеньевна. Естественные трехзначные логики: функциональные свойства и отношения — М.: Институт философии РАН, 2012. — 89 c. — ISBN 978-5-9540-0229-4.

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

Лукасевич Ян. О принципе противоречия у Аристотеля. Критическое исследование / Пер. с польск. (общая редакция, вступительная статья и примечания А.С. Карпенко). — М. – СПб.: ЦГИ, 2012. — 256 с. — ISBN 978-5-98712-038-5.

Книга выдающегося польского логика и философа Яна Лукасевича (1878-1956), опубликованная в 1910 г., уже к концу XX века привлекла к себе настолько большое
внимание, что ее начали переводить на многие европейские языки. Теперь пришла очередь русского издания. В этой книге впервые в мире подвергнут обстоятельной критике принцип противоречия, защищаемый Аристотелем в «Метафизике». В данное издание включены четыре статьи Лукасевича, среди которых новый перевод знаменитой статьи «О детерминизме». Книга также снабжена биографией Яна Лукасевича и вступительной статьей, показывающей мучительную внутреннюю борьбу Лукасевича в связи с предлагаемой им революцией в логике.

Девяткин Леонид Юрьевич. Трехзначные семантики для классической логики высказываний — М.: Институт философии РАН, 2011. — 108 с. — ISBN 978-5-9540-0203-4.

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

PDF>>

Карпенко Александр Степанович. Развитие многозначной логики. – М.: Издательство ЛКИ, 2010. – 444 с. – ISBN 978-5-382-01217-9.

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

Книга рассчитана на самый широкий круг читателей и не предполагает никаких предварительных знаний.

Противоположности и парадоксы (отв. редактор Герасимова И.А.). – М.: "Канон+" РООИ "Реабилитация", 2008. – 432 с. – ISBN 978-5-88373-116-6.

Двойственность, поляризация, дополнительность, парадокс, антиномия – ключевые понятия этой книги. Вопросы познания противоположных начал, противоречий и парадоксов представлены во множестве аспектов: историко-культурном, методологическом, когнитивном, лингвистическом. Исследование культурных контекстов привело к выделению аналитической, диалектической, дуалистической и холистической познавательных стратегий. Новая тематика фокусируется на анализе принципа недвойственности в философских традициях Востока и Запада, его значении для холистического мировоззрения современности. Одной из ведущих стала тема парадокса и парадоксальности в научном познании и в практиках культуры.

Книга представит интерес для специалистов по теории познания, теории аргументации, методологии науки, философии языка, культурологии, межкультурным коммуникациям.

Карпенко Александр Степанович. Фатализм и случайность будущего: логический анализ – Изд. 2-е испр. – М.: Издательство ЛКИ, 2008. – 216 с. – ISBN 978-5-382-00410-5.

Главное внимание в книге уделено появлению и развитию дискуссий о логическом и теологическом фатализме. Устанавливается глубокая связь указанных видов фатализма с тоталитаризмом. Анализируются попытки опровержения фатализма логическими средствами, которые привели к появлению различных неклассических логик. В Заключении разрабатывается идея о структурализации истинностных значений.

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

Шалак Владимир Иванович. О понятии логического следования – М.: Институт философии РАН, 2007. – 168 с. – ISBN 978-5-518-33416-8.

Монография посвящена анализу философских оснований логики. В первую очередь это касается понятия истины и понятия логического следования. Автор показывает ограниченность философских предпосылок современной логики и предлагает альтернативный подход к ее построению.

Книга предназначена для всех, кто интересуется проблемами современной философской логики.

Шалак Владимир Иванович. Логический анализ сети Интернет – М.: Институт философии РАН, 2005. – 96 c. – ISBN 5-9540-0047-6.

Монография посвящена вопросам анализа и построения логических моделей сети Интернет с целью более полного извлечения содержащейся в нем информации. Основной акцент делается на возможность извлечения не фактической информации, как это делается в настоящее время, а аналитической, явным образом не представленной в глобальной сети.

Книга предназначена для логиков, философов, специалистов по искусственному интеллекту и IT-технологиям, для исследователей, интересующихся возможностями применения точных методов в гуманитарных науках.

Карпенко Александр Степанович. Логики Лукасевича и простые числа – М.: Наука, 2000. – 319 с. – ISBN 5-02-013048-6. (Изд. 3-е, испр. – М.: Книжный дом "ЛИБРОКОМ, 2009").

В книге впервые в мировой литературе устанавливается прямая связь между логикой и простыми числами. Хотя многозначные логики Лукасевича явились результатом опровержения фаталистического аргумента, их функциональные свойства имеют чисто теоретико-числовую природу. Изучение этого факта позволило дать определение понятия простого числа в логических терминах. Появилась реальная возможность выявить природу последних. В итоге простые числа можно представить в виде корневых деревьев. Комбинирование различных логических определений простого числа приводит к построению алгоритма для порождения классов простых чисел. Как для этого, так и для построения корневых деревьев разработаны компьютерные программы. приводятся различные таблицы чисел, публикуемые впервые.

Для философов, логиков, математиков.

Герасимова Ирина Алексеевна. Формальная грамматика и интенсиональная логика – М.: Институт философии РАН, 2000. – 156 с. – ISBN 5-201-02024-0.

Стратегия, предложенная американским логиком Ричардом Монтегю, используется для построения формальных грамматик русского языка. Дается систематическое изложение метода. Строится полимодальная интенсиональная логика, приспособленная для представления модальных и эпистемических контекстов русского языка. Дан анализ проблемы семантического статуса музыкального события.
Книга предназначается для логиков, лингвистов, математиков, программистов.

Статьи

Шалак Владимир Иванович, доктор философских наук, ведущий научный сотрудник, руководитель сектора

Минимальная логика для анализа технологий // Интеллектуальные системы. Теория и приложения. 2022. Т. 26. № 1. С. 436–439.
О проблеме адекватного перевода логических текстов Аристотеля // Логико-философские штудии. 2022. Т. 20. № 2. С. 76–88. DOI: 10.52119/LPHS.2022.40.97.005.
Об истоках множественности логик // Философский журнал. 2022. Т. 15. № 4. С. 88–97. DOI: 10.21146/2072-0726-2022-15-4-88-97.
Телеология и целенаправленное поведение: логический анализ // Логические исследования. 2022. Т. 28. № 2. С. 9–39. DOI: 10.21146/2074-1472-2022-28-2-9-39.
Алгоритмическая модель социальных процессов // Философские проблемы информационных технологий и киберпространства. 2021. № 1. С. 46–62. DOI: 10.17726/philIT.2021.1.3.
Логика в онтологии процессов // Логич. исслед. / Logical Investigations. 2021. Т. 27 № 2. С. 48–65. DOI: 10.21146/2074-1472-2021-27-2-48-65.
«Сравнительный логический анализ субстанциальной и процессуальной онтологий» // Логич. исслед. / Logical Investigations. 2020. T. 26. № 2. С. 58‒86. DOI: 10.21146/2074-1472-2020-26-2-58-86.
Алгоритмические явления в природе: модель объяснения // Вопр. философии. 2020. № 11. С. 120‒124. DOI: 10.21146/0042-8744-2020-11-120-124.
Машина Тьюринга // Электронная философская энциклопедия. 2019. Т. 3. URL: https://www.elenph.org/library/collection/elphilenc/document/HASH01da89fe605d5da81ba2d0f9.
О статье А.В. Нехаева «Парадокс Ябло: Лжет ли нам бесконечный лжец?» // Epistemology & Philosophy of Science / Эпистемология и философия науки. 2019. Т. 56. № 3. С. 103‒109. DOI: 10.5840/eps201956352.
Онтология и логика процессов // Филос. науки. 2019. Т. 62. № 6. С. 138‒150. DOI: 10.30727/0235‒1188‒2019‒62‒6‒138‒150.
Тезис Пирса: логический анализ и онтологические следствия // Логич. исслед. / Logical Investigations. 2019. Т. 25. № 2. С. 138‒163. DOI: 10.21146/2074‒1472‒2019‒25‒2‒138‒163.
Слабое отношение следования между ламбда-термами // Логич. исслед. / Logical Investigations. 2018. Т. 24. № 2. С. 151-157.
Логика – территория сомнений // Современная логика: основания, предмет и перспективы развития. Сборник научных статей. М.: ИД "Форум". 2018. С. 83-95.
Some Remarks on A. Tamminga’s Paper “Correspondence Analysis for Strong Three-valued Logic” // Логич. исслед. / Logical Investigations. 2017. Vol. 23. No. 2. P. 96–97. DOI: 10.21146/2074-1472-2017-23-2-96-97.
Аналитический подход к решению задач // Логич. исслед. / Logical Investigations. 2017. Т. 23. № 1. С. 121-139.
О теориях первого порядка, которые могут быть представлены посредством определений. // Логич. исслед./Logical Investigations. 2016. № 22 (1). С. 125–135.
On the definitional embeddability of some elementary algebraic theories into the first-order predicate calculus // Логич. исслед./Logical Investigations. 2015. Т. 21. № 2. С. 15–20.
On the definitional embeddability of the combinatory logic theory into the first order predicate calculus // Логич. исслед./Logical Investigations. 2015. Т. 21. № 2. С. 9–14.
Синтаксическая интерпретация категорических атрибутивных высказываний // Логич. исслед./Logical Investigations. 2015. № 21 (1). С. 60–78.
Точки сингулярности // Эпистемология & философия науки. 2013. Т. XXXV. № 1. С. 95–97.
Логика функционального следования // Логические исследования. Вып.18. М.-СПб.: ЦГИ, 2012. C. 234–238.
Semiotic foundations of logic // Логика, язык и формальные модели. СПб.: Санкт-Петербургский гос. университет, 2012. С. 232–237.
On relational and functional languages // Logic and Logical Philosophy. 2012. Vol. 21. №1. P. 25–32.
Два подхода к построению логики. // Логические исследования. Вып.17. М.-СПб.: ЦГИ, 2011. - С. 269-280.
Логика функций vs логика отношений // Логические исследования. Вып.16. М.: Наука, 2010. - С.259-271.
Лингвистический априоризм // Труды научно-исследовательского семинара Логического центра Института философии РАН. Вып. XIX. М., 2009. - С. 104-114.
Шейнфинкель и комбинаторная логика // Логические исследования. Вып.15. -М.: Наука, 2009. - С. 247-265.
Логический анализ дефинициальной дедукции // Логические исследования. Вып.15. - М.: Наука, 2009. - С. 266-283.
Об альтернативном определении логического следования// Эпистемология & философия науки. 2007, Т. XIII, №3, - С.199-205.
Альтернативное определение логического следования // Логические исследования. Вып.13. – М.: Наука, 2006.
Логическая модель сети Интернет // Труды научно-исследовательского семинара логического центра Института философии РАН 2006. – М., 2007.
Логика групп // Труды научно-исследовательского семинара Логического центра Института философии РАН. Вып. . – М., 2004.
Реляционная интерпретация классической логики высказываний // Труды научно-исследовательского семинара Логического центра Института философии РАН 1999. – М.
Теория пропозициональных программ II // Логические исследования. Вып.5. - М.: Наука, 1998 г.
Реляционная интерпретация классической логики высказываний // Труды научно-исследовательского семинара логического центра Института философии РАН 1998. – М., 1999.
Теория пропозициональных программ // Труды научно-исследовательского семинара логического центра Института философии РАН 1997. – М., 1998.
Динамическая интерпретация высказываний // Логические исследования. Вып.2. – М.: Наука, 1993
Силлогистика, логика предикатов, модальная логика и автоматическое доказательство теорем // "Логические методы в компьютерных науках". – Труды научно-исследовательского семинара по логике Института философии АН СССР, Москва, 1991.
На пути к категорной характеризации релевантной логики // "Синтаксические и семантические исследования неэкстенсиональных логик" – М.: Наука, 1989.
Публикации на Интернет-сайте http://www.vaal.ru

Девяткин Леонид Юрьевич, кандидат философских наук, старший научный сотрудник

Неклассический взгляд на природу значений истинности // Логические исследования. 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. 2013. Vol. 19. P. 273–280.
Четыре следования, три порядка, две матрицы, одна бирешетка // Логические исследования. Вып. 18. М-СПб.: ЦГИ, 2012.
О некоторых функциональных свойствах трехзначных матриц для классической логики // Логические исследования. Вып. 17. М-СПб.: ЦГИ, 2011.
n-значные матрицы для классической логики высказываний // Логические исследования. Вып. 15. М.: Наука, 2009.
Отношение логического следования и проблема многозначности // Вестник Московского университета (Серия 7. Философия). 2008. Вып. 2.
К вопросу о трехэлементных характеристических матрицах для классической логики высказываний // Труды научно-исследовательского семинара Логического центра Института философии РАН. М.: Институт философии РАН, 2007.

Томова Наталья Евгеньевна, кандидат философских наук, старший научный сотрудник