исследуются рассуждения в рамках абстракции потенциальной осуществимости; модальные логики (алетические, временные, деонтические, эпистемические, аксиологические и др.), релевантные логики, паранепротиворечивые логики, логики вопросов, в которых рассматриваются высказывания с ^экстенсиональными (интенсиональными) логическими константами; логики, свободные от экзистенциальных допущений, в которых происходит отказ от принципов экзистенциальности, и многие другие. Сказанное показывает, что логика как наука, дающая теоретическое описание законов мышления, не есть нечто раз и навсегда данное. Наоборот, каждый раз с переходом к исследованию новой области объектов, требующих принятия новых абстракций и идеализации, при учете новых факторов, которые влияют на процесс рассуждения, сама эта теория изменяется. Т. о., логика является развивающейся наукой. Но сказанное демонстрирует и нечто большее, а именно, что включение в состав логики определенной теории законов мышления напрямую связано с принятием определенных онтологических допущений. С этой точки зрения логика является не только теорией мышления, но и теорией бытия (теорией онтологии). Важным разделом современной логики является металоги- ка. В последней исследуются различные проблемы, относящиеся к логическим теориям. Основными здесь являются вопросы о тех свойствах, которыми обладают логические теории: о непротиворечивости, полноте, наличии разрешающих процедур, независимости исходных дедуктивных принципов, а также о различных отношениях между теориями и т. д. В этом смысле металогика является как бы саморефлексией логики относительно своих построений. Все метатеоретические исследования проводятся на специальном метаязыке, в качестве которого используется обычный естественный язык, обогащенный специальной терминологией и метатеореттескими дедуктивными средствами. Логическая методология является еще одним разделом современной логики. Обычно методологию подразделяют на общенаучную, в рамках которой изучаются познавательные приемы, применяемые во всех областях научного знания, а также методологию отдельных наук: методологию дедуктивных наук, методологию эмпирических наук, а также методологию социального и гуманитарного знания. Во всех этих раз-
406
ЛОГИКА В РОССИИделах логическая методология участвует в качестве специфического аспекта исследования. Так, в общей методологии к числу логических аспектов относится исследование таких познавательных приемов, как выработка и формулировка понятий, установление их видов и различных способов оперирования с понятийными конструкциями (деление, классификация), определения терминов и т. д. Особенно большие успехи достигнуты в области методологии дедуктивных наук. Это было обусловлено как построением самой логики в форме дедуктивного аппарата, так и использованием этого аппарата для обоснования такой дедуктивной дисциплины, как математика. Все это потребовало разработки существенно новых познавательных методов и введения новых методологических понятий. В ходе проводившейся здесь работы удалось, напр., так обобщить понятие функции, что оно перешло фактически в разряд общеметодологических, теоретико-познавательных понятий. Мы теперь имеем возможность рассматривать не только числовые функции, но и функции любой другой природы, что позволило сделать функциональный анализ языка ведущим методом исследования языковых выражений. Удалось со всей тщательностью и строгостью отработать такие важные методы познания, как метод аксиоматизации и формализации знания. Впервые удалось в четкой и, главное, разнообразной форме задать теоретико-доказательные (дедуктивные) методы познания, разработать теорию выразимости и определимости одних терминов через другие в составе теорий, определить различными способами понятие вычислимой функции. В настоящее время активно разрабатывается логическая проблематика методологии эмпирических наук. К этой области относятся исследования по построению и проверке гипотез (в частности, гипотетико-дедуктивному методу), анализу различных видов правдоподобных рассуждений (индукции и аналогии), теории измерения. Здесь получены интересные результаты по вопросам соотношения эмпирического и теоретического уровней знания, процедурам объяснения и предсказания, операциональным определениям. Строятся различные модели эмпирических теорий, призванные прояснить их логическую структуру. К числу общих методолого-логических принципов относятся и те законы и принципы познания, которые исследуются в рамках диалектической логики. Во многих случаях они выступают как некоторые предупредительные знаки о том, с какими неожиданностями мы можем встретиться на пути познания. В области методологии эмпирического, а также социального и гуманитарного познания большое значение имеет различение абсолютной и относительной истины; в области исторического познания существенным становится требование о совпадении исторического и логического, что фактически означает обычное требование адекватности познания, перенесенное в сферу исторических дисциплин. В последнее время делаются попытки построения дедуктивных систем, в которых формализуются отдельные особенности диалектической логики. На протяжении тысячелетий логика была обязательной дисциплиной школьного и университетского образования, т. е. выполняла свою общекультурную задачу — пропедевтики мышления. Современная логика в полном объеме сохранила за собой эту дидактическую и учебно-методическую функцию. Однако развитие в последнее время мощного аппарата современной логики позволило ей стать и важной прикладной дисциплиной. В этой связи укажем на существенное использование логики в области оснований математики (метаматематики), лингвистики и информатики. Исследования в этих областях знания оказали определяющее воздействие и на становление самой современной логики, в силу чего можно говорить о взаимообогащающем влиянии этих дисциплин. В последнее время логическая проблематика активно проникает и в иные сферы знания — юриспруденцию, этику, эстетику и др. Все это указывает на идущий процесс логизации знания, который с течением времени будет усиливаться. В. А. Бочаров
ЛОГИКА ВРОССИИ. По-видимому, первым оригинальным российским сочинением по логике стали «Письма к немецкой принцессе» (Lettres a une princesse d'Allemagne) Л. Эйлера, сначала вышедшие в трех частях в Санкт-Петербурге (1767—72) на французском языке, затем в Лейпциге (1770) и позднее переведенные на русский под названием «Письма о разных физических и философических материях» (СПб., 1796). Затем полвека о логике в России книг не писали (за исключением компилятивной «Логики» И. С. Рижского, 1790), ограничиваясь немецкими и французскими источниками. Только учреждение новых университетов (Тартуского, 1802; Казанского, 1804; Харьковского, 1805), расширившее возможности для философского образования (до этого времени лекции по философии читались только в Московском университете), благоприятно сказалось и на отношении к логике. Появляются местные сочинения: «Начертания логики» А. С. Лубкина (СПб., 1807), «Логика, риторика и поэзия» Ф. Мочульского (Харьков, 1811), «Логические наставления» Д. П. Лодия (СПб., 1815), «Логика» И. Любочинского (Харьков, 1817), «Опыт логики» П. Любовского (Харьков, 1818), «Начальные основания логики» И. И. Давыдова (М., 1820), «Краткое руководство по логике» Н. Рождественского (СПб., 1826). В интеллектуальную жизнь российских университетов логика входила не самостоятельным предметом, а как приложение к тем или иным философским системам, которые в разное время преобладали. К примеру, весь 18 в. и нач. 19-го прошли под знаком вольфовской и кантовской философии. С 30-х гг. усиливается влияние диалектики Фихте, Шеллинга и Гегеля. Как и философия, логика плохо совмещалась с установками системы образования, принятой в России, поскольку обе они, всегда направленные на «изощрение умов», могли порождать скептицизм, не всегда обращаемый «на пользу православия и народности». В этой ситуации стремление отделить логику от философии, представить ее как самостоятельную науку, лежащую вне идеологических интересов, казалось естественным. И первая заявка в этом направлении была сделана, по-видимому, К. Зеленецким в статье «О логике как систематически целом и как о науке, объясняющей факты Мышления и Знания» ( 1836), где он ратует за независимость формальной логики от философии. Но потребовалось время, чтобы российская логика конституировалась в самостоятельную науку. Этому способствовали, во-первых, аналогичные процессы в Англии, Германии и во Франции, и, во-вторых, основательное знакомство русских логиков с достижениями логиков в странах Западной Европы. При этом было учтено все — и метафизическое направление германской логики (Р. Лотце, В. Шуппе, В. Вундт и др.), и психологическое направление этой логики (X. Зигварт, Г. Липпс), и индуктивное направление сторонников английского эмпиризма (Д С Милль, А. Бэн), и математическое
407
ЛОГИКА В РОССИИнаправление тех же англичан (Дж. Буль, А. де Морган, Ст. Джевонс, Дж. Венн). Именно к кон. 19 в. (под влиянием работы К. Прантля) появляются российские исследования (обзоры) по истории логики М. И. Владиславлева (1872), М. М. Троицкого (1882), П. Лейкфельда (1890), дополняемые оригинальными суждениями этих авторов. Вторая половина 19 в. — это время реформы логики, выхода за рамки аристотелевской силлогистики. В России эта реформа шла по двум направлениям. Во-первых, в философской логике М, Карийский (1880) предложил новую классификацию выводов (отличную от классификаций Аристотеля, Милля и Вундта), основанную на сравнительном анализе отношений тождества между субъектами и предикатами суждений, участвующих в выводе, а Л. Рутковский (1899) дополнил эту классификацию и развил критику миллевских индуктивных методов именно как методов логического доказательства. С. И. Поварнин (1917) обратил внимание на особенность несиллогистических умозаключений и пришел к выводу, что их теория возможна только на почве логики отношений, включающей и