Обложка Светлов В.А. Силлогистика ассерторическая и модальная: Новые решения старых проблем
Id: 249154
550 руб.

СИЛЛОГИСТИКА ассерторическая и модальная:
НОВЫЕ РЕШЕНИЯ СТАРЫХ ПРОБЛЕМ
Силлогистика ассерторическая и модальная: Новые решения старых проблем

URSS. 2019. 208 с. ISBN 978-5-9710-6438-1. Увеличенный формат (165мм x 235мм).
Белая офсетная бумага

Аннотация

Книга посвящена решению актуальных проблем ассерторической и модальной силлогистик Аристотеля. Используется новая техника анализа — метод структурных паттернов (деревьев), связывающий силлогистику с основными идеями системно-структурного и сетевого подходов. Модальная силлогистика строится как расширение ассерторической. Доказаны классические модусы ассерторической и модальной силлогистик, для каждой из них построены расширения всех четырех фигур....(Подробнее) На многочисленных примерах продемонстрирована техника решения простых и сложных силлогизмов, силлогизмов с пустыми и непустыми терминами, ассерторическими, модальными и смешанными терминами, с посылками из двух и более терминов; подробно разобраны примеры восстановления посылок в простых и сложных случаях.

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


Анонс

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

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

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

Метод деревьев создает абсолютно новый взгляд на силлогистику как формальную теорию и обеспечивает многообещающие перспективы ее изучения и использования. Из артефакта "седой старины" она превращается в самостоятельную, имеющую большой потенциал теорию логико-методологического анализа. Вместо механического использования многочисленных правил и ограничений решение силлогизмов превращается, как мечтал об этом Льюис Кэрролл, в увлекательную интеллектуальную игру. Что еще более важно, резко возрастает эффективность изучения силлогистики. 15-20 минут (против 1-2 недель при принятой университетской методике) достаточно, чтобы научить любого желающего решать силлогизмы без всякого знания традиционных фигур и модусов.

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


Оглавление
Введение
Часть 1.Ассерторическая силлогистика
 1. Структурные паттерны ассерторической силлогистики
 2. Силлогистические деревья: правила построения и вывода
 3. Доказательство модусов первой фигуры
 4. Расширение модусов первой фигуры
 5. Доказательство модусов второй фигуры
 6. Расширение модусов второй фигуры
 7. Доказательство модусов третьей фигуры
 8. Расширение модусов третьей фигуры
 9. Доказательство модусов четвертой фигуры
 10.Расширение модусов четвертой фигуры
 11.Простые суждения и пустые классы
 12.Силлогистика без экзистенциальных допущений
 13.Решение сложных силлогизмов (с тремя и более посылками)
 14.Восстановление посылок в простых случаях
 15.Восстановление посылок в сложных случаях
 16.О квантификации предиката простого суждения
 17.Решение сложных силлогизмов с посылками из трех и более различных терминов
Часть 2.Модальная силлогистика
 1. Основные проблемы модальной силлогистики
 2. Определение возможности, необходимости и случайности
 3. Объемы, противоречия и подчинения простых модальных суждений
 4. Обращение, превращение и контрапозиция простых модальных суждений
 5. Структурные паттерны модальной силлогистики
 6. Правила построения деревьев и вывода в модальной силлогистике
 7. Доказательство и расширение модальных модусов первой фигуры
 8. Доказательство и расширение модальных модусов второй фигуры
 9. Доказательство и расширение модальных модусов третьей фигуры
 10.Доказательство и расширение модальных модусов четвертой фигуры
Заключение


Об авторе
Светлов Виктор Александрович
Доктор философских наук, профессор. Родился в 1945 г. в Ленинграде. В 1974 г. с отличием окончил дневное отделение философского факультета ЛГУ им. А. А. Жданова по специальности «логика». В 1979 г. защитил кандидатскую диссертацию, а в 1989 г. — докторскую диссертацию по этой же специальности. Основная область научных интересов — история, логика и методология науки. Главные публикации посвящены истории научного метода, истории современной индукции, применению теории вероятностей к анализу открытия, развития и обоснования научного знания. Автор новых методологических понятий — «методологический инвариант» и «научный вывод».

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

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