|
Анонс
 Силлогистика Аристотеля, ассерторическая и модальная, — первая в истории науки успешная попытка создания универсального языка, пригодного для доказательств и опровержений в любой сфере умственной жизни. Две тысячи с лишним лет силлогистика считалась образцом строгости и точности, преподавалась во всех университетах, пока открытие во второй половине XIX века символической логики не породило иллюзию ее исторической ограниченности. Лишь в первой половине ХХ столетия пришло осознание неповторимой оригинальности аристотелевской силлогистики. Выдающиеся логики ХХ столетия считали за честь подобрать или сконструировать для ее объяснения подходящие формализмы. К сожалению, по разным причинам ни одна из предпринятых попыток не получила общего признания. Настоящая книга посвящена защите и расширению аристотелевской силлогистики с использованием базисных принципов структурно-системного анализа и теории означенных графов. С этой целью был разработан специальный метод деревьев для решения ассерторических и модальных силлогизмов любой степени сложности. Формально этот метод обобщает и визуализирует известные методы приведения формул к КНФ и ДНФ в логике высказываний и предикатов. В результате ассерторическая силлогистика Аристотеля была расширена до 128, а его модальная силлогистика до 6200 общезначимых модусов. Метод деревьев создает абсолютно новый взгляд на силлогистику как формальную теорию и обеспечивает многообещающие перспективы ее изучения и использования. Из артефакта "седой старины" она превращается в самостоятельную, имеющую большой потенциал теорию логико-методологического анализа. Вместо механического использования многочисленных правил и ограничений решение силлогизмов превращается, как мечтал об этом Льюис Кэрролл, в увлекательную интеллектуальную игру. Что еще более важно, резко возрастает эффективность изучения силлогистики. 15-20 минут (против 1-2 недель при принятой университетской методике) достаточно, чтобы научить любого желающего решать силлогизмы без всякого знания традиционных фигур и модусов. Метод деревьев напрямую связывает силлогистику с теориями искусственного интеллекта и принятия решений в условиях определенности и неопределенности. Одного этого достаточно, чтобы признать силлогистику Аристотеля выдающимся логическим открытием. Оглавление
Об авторе
 Светлов Виктор Александрович Доктор философских наук, профессор. Родился в 1945 г. в Ленинграде. В 1974 г. с отличием окончил дневное отделение философского факультета ЛГУ им. А. А. Жданова по специальности «логика». В 1979 г. защитил кандидатскую диссертацию, а в 1989 г. — докторскую диссертацию по этой же специальности. Основная область научных интересов — история, логика и методология науки. Главные публикации посвящены истории научного метода, истории современной индукции, применению теории вероятностей к анализу открытия, развития и обоснования научного знания. Автор новых методологических понятий — «методологический инвариант» и «научный вывод».
С начала 1990-х гг. активно разрабатывает программу «Практическая логика», раскрывающую эвристические возможности логики в теории и практике дедуктивного и недедуктивного доказательства, проведении научного исследования, анализе истинных, ложных и правдоподобных высказываний, принятии решений, анализе и решении конфликтов, формализации диалектических противоречий, объяснении структуры мифов и сказок, логической систематизации риторических тропов и фигур. С 2000 г. В. А. Светлов целенаправленно работает над развитием единой теории конфликта (ЕТК) — особого раздела программы «Практическая логика», нового и чрезвычайно перспективного направления в логике и методологии науки, социальной философии. Автор более 400 научных работ по логике, истории и методологии науки, теории анализа и разрешения конфликтов, включая монографии, учебные пособия, статьи, тезисы для научных конференций и международных форумов, переводы с английского. |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||