Введение к работе
Актуальность исследования. Изучение индукции является для философии и логики одним из старейших направлений исследования. Как известно, некоторые из способов индуктивных рассуждений были описаны еще Аристотелем, и, по-видимому, с тех времен возникла традиция рассмотрения индукции как некоего «второсортного» вида умозаключений, который допустим на начальном этапе познания, но впоследствии должен быть дополнен или заменен дедуктивным умозаключением, так как только правильный дедуктивный вывод гарантирует нам истинность заключения при условии истинности посылок. В связи с этим обстоятельством на протяжении истории индукция, как правило, привлекала меньшее внимание по сравнению с дедукцией и интерес к ней возрастал обычно в связи с кризисом господствующих форм рационального познания, тесно связанных с дедуктивными методами обоснования истины, точнее, с дедуктивным априоризмом. В таких случаях она могла рассматриваться не как ступень к дедукции, а как основа альтернативного способа познания истины.
Однако Юм своей аргументацией подорвал веру в законность применения индуктивных приемов рассуждения и тем самым поставил перед философией науки проблему оправдания индукции.
Как известно, в результате многолетней дискуссии по этой проблеме большинство исследователей склонилось к мнению, что подобное оправдание недостижимо, поскольку не удалось сформулировать принципы, которые были бы аналитически истинными и в то же время гарантировали бы логическую правильность индуктивных умозаключений. В связи с этим обстоя-
тельством возможность построения логической теории индукции стала выглядеть весьма сомнительно и возобладал другой подход к проблеме индукции, в рамках которого индуктивные выводы представлялись на базе других логик, обоснованность которых сомнений не вызывала. Основанием для такого представления служили те или иные свойства индуктивных выводов. Так, например, поскольку в индуктивных умозаключениях при истинности посылок заключение не всегда истинно - его истинность только вероятна, - постольку индуктивные выводы получили вероятностную интерпретацию. Их посылки должны повышать вероятность заключения либо гарантировать его высокую вероятность, иначе говоря, подтверждать заключение. Для анализа условий и свойств такого отношения между посылками и заключением были построены логики подтверждения гипотез. В случае, когда вероятность индуктивного заключения близка к 1, заключение можно считать практически истинным, т.е. можно его принять. Для экспликации условий этой процедуры были развиты соответствующие логики принятия гипотез. Другая возможность для представления индуктивных выводов открывается, если обратить внимание на иное важное свойство индукции: при добавлении новых посылок ее заключение может быть изменено. В этом случае базой для соответствующего представления становится немонотонная логика. Аналогично этому и нечеткая логика может претендовать на выразимость в ней индуктивных рассуждений, поскольку информация, которой располагает рассуждающий подобным образом субъект, носит, как правило, неполный и нечеткий характер.
Многовариантность способов исследования индукции при подобном подходе делает актуальной задачу сравнительного анализа получающихся результатов и выявления возможной за-
висимости между ними и содержательными предпосылками, лежащими в основе той логической системы, которая избрана для представления индуктивных выводов.
Развитие немонотонной и нечеткой логик тесно связано со становлением нового направления междисциплинарных исследований, получившего название «искусственный интеллект» (ИИ). Среди проблем, стоящих перед разработчиками ИИ, не последнее место занимают проблемы создания самообучающихся систем, которые были бы способны самостоятельно приобретать, оценивать и использовать знания о тех или иных областях действительности. Ясно, что подобные системы не могут обойтись без использования индуктивных познавательных методов и приемов. Хотя предложенные разработчиками ИИ индуктивные методы являются практически эффективными, тем не менее их теоретические основания далеко не всегда совпадают с распространенными в логике точками зрения на индукцию. В связи с этим обстоятельством исследование тех изменений, которые привносятся в понимание индуктивных выводов и их предпосылок работами по ИИ также становится актуальной задачей.
Степень разработанности проблемы. Следует отметить, что, несмотря на обилие работ по индуктивной логике, исследований обзорного аналитического характера сравнительно немного, и все они, как правило, остаются в рамках одного из упомянутых выше подходов. Так, в известной книге Г. Кайберга «Вероятность и индуктивная логика», анализируются системы индуктивной логики, базирующиеся на вероятностной интерпретации индуктивных выводов, аналогичным проблемам посвящена книга В.А. Светлова «Современные индуктивные концепции», исследование И. Крейга «Машинное обучение и индуктивный вывод» рассматривает реализации индуктивных
процедур в различных компьютерных программах, применяющихся в самообучающихся компьютерных системах и т. д. Однако работ, в которых бы проводился сравнительный анализ достижений и возможностей хотя бы двух подходов, практически нет. Этот факт был не без доли удивления отмечен в статье Я. Тана «Является ли логика умолчаний повторным изобретением индуктивно-статистического вывода?»
Цель и задачи исследования. В диссертации проводится исследование представлений индуктивных выводов, сложившихся в различных системах логики и работах по искусственному интеллекту, и связанных с ними теоретико-познавательных предпосылок в целях определения возможностей и границ предлагаемых интерпретаций индукции, а также в целях создания такой системы индуктивной логики, средства которой давали бы возможность описывать и исследовать наибольшее число типов индуктивных выводов.
В соответствии с поставленными целями в работе решаются следующие задачи:
и выявить совокупность философско-методологических принципов, обеспечивающих индуктивным выводам возможность осуществления и познавательную ценность;
исследовать существующие в логике и работах по искусственному интеллекту интерпретации индуктивных выводов и выявить зависимость полученных теоретических и практических результатов от лежащих в основе этих интерпретаций философских и методологических допущений;
изучить возможность построения аксиоматических индуктивных исчислений, которые могли бы адекватно описывать все основные индуктивные процедуры.
Научная новизна диссертации заключается в том, что в ней производится сравнительный анализ существующих в логике и ИИ подходов к представлению индуктивных рассуждений, а также строятся оригинальные системы индуктивной логики, средствами которых можно было бы описывать процедуры индуцирования гипотез, их подтверждения, опровержения и принятия.
При решении поставленных в диссертационном исследовании задач были получены следующие результаты:
выявлены философско-методологические предпосылки,
делающие индукцию необходимым методом познания;
показана возможность формулирования лотерейного парадокса в немонотонных логиках умолчания при истолковании правил вывода с умолчаниями как правил принятия; в логиках очерчивания при соответствующих условиях; в нечеткой логике;
сформулированы требования к отношению индуцируемо-сти и отношению подтверждения, тем самым проведено их различение;
построены некоторые индуктивные аксиоматические исчисления, доказана их непротиворечивость; показана полнота этих исчислений относительно отношения индуцируемости.
Теоретической и методологической основой диссертации являются работы отечественных и зарубежных ученых: B.C. Меськова, К.Ф. Самохвалова, В.К. Финна, В.Н. Костюка, Г.И. Рузавина, Б.Н. Пятницьгаа, В.А. Лифшица, Р. Карнапа, Г.-Х. фон Вригта, Я. Хинтикки, Г. Кайберга, Дж. Маккарти и других исследователей. При написании работы использовались методы современной логики, в частности, построение формальных семантик и аксиоматических исчислений, а также методы сравнительного анализа логико-эпистемических теорий.
Практическая значимость диссертации определяется возможностью использования ее результатов в логико-теоретических исследованиях, для решения задач, встающих в связи с разработкой искусственного интеллекта, а также в учебно-педагогической работе при чтении общих курсов по логике и теории познания, спецкурсов по индуктивной логике и логике научного познания.
Апробация. Основные положения диссертации отражены в публикации автора. Результаты исследования докладывались на методологических семинарах кафедры онтологии и теории познания Российского университета дружбы народов. Материалы диссертации использовались при чтении лекций в Российском университете дружбы народов.
Структура работы. Диссертация состоит из введения, трех глав, заключения и списка литературы.