Институт Философии
Российской Академии Наук




  Публикации
Главная страница » Ученые » Научные подразделения » Сектор логики » Публикации

Публикации

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

 

Девяткин, Л.Ю. Многозначные расширения классической логи­ки высказываний [Текст] / Рос. акад. наук, Ин-т философии ; Л.Ю. Девяткин. — М. : ИФ РАН, 2018. — 96 с. ; 20 см. — Библиогр.: с. 84-93. — Рез.: англ. — 500 экз. — ISBN 978-5-9540-0340-6.

 

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

 

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

 

Полный текст (PDF)

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

 

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

 

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

 

Полный текст (PDF)

Карпенко, А.С. Трехзначная логика Бочвара и литеральные паралогики [Текст] / Рос. акад. наук, Ин-т философии ; А.С. Карпенко, Н.Е. Томова. — М. : ИФ РАН, 2016. — 110 с. ; 20 см. — Библиогр.: с. 92–102. — Имен. указ.: c. 103–104. — Предм. указ.: с. 105–108. — 500 экз. — ISBN 978-5-9540-0314-7.

 

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

 

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

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

 

Девяткин Л.Ю., Преловский Н.Н., Томова Н.Е. В границах трехзначности – М.: Институт философии РАН, 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.

 

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

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

 

PDF>>

 

Шалак Владимир Иванович. Логический анализ сети Интернет

 

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

 

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

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

 

PDF >>

 

Карпенко Логики Лукасевича и простые числа

 

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

 

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

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

 

Герасимова И.А. Формальная грамматика и интенсиональная логика

 

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

 

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

 

PDF>>

 

Статьи

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

 

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

 

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