ЛОГИКА

(греч. logike, от logikos -построенный на рассуждении), дисциплина, изучающая формы и законы правильных, т.е. способных служить расширению знания, умственных построений. От Л. как науки следует отличать Л. как связь и динамику логически правильной мысли (Л. мышления). В сферу науч. Л. входит также разработка и исследование знаковых структур (исчислений, формальных систем), рассмотрение определённых фрагментов реальности (моделей), общие свойства к-рых отображаются логичной мыслью и фиксируются в знаковых структурах.

Первые учения Л. возникли в древности (Греция, Индия, Китай). Как наука Л. оформилась в трудах Аристотеля, к-рый подверг анализу разл. формы мышления — понятие, суждение, умозаключение, разработал теорию одного из видов умозаключений — категорич. силлогизма и заложил основы учения о доказательствах. Своё учение Аристотель называл аналитикой и рассматривал её как науку о средствах обоснования истины. Др. аспект Л. — изучение способов рассуждения, используемых в ходе дискуссии, получил у греков название диалектики. По свидетельству Аристотеля, диалектика была изобретена Зеноном Элейским (5 в. до н. э.) как «иск-во вопросов и ответов». В дальнейшем понятия «Л.» и «диалектика» часто использовались как синонимы.

Начиная со 2-й пол. 5 в. до н. э. Л. (диалектика) преподавалась в Греции софистами. О характере этого «иск-ва» можно судить по диалогам Платона, гл. персонажем к-рых является его учитель Сократ. Представленный в диалогах «сократич. метод» отчётливо демонстрирует, что филос. мысль того времени прочно овладела навыками логич. классификаций и определений, а также методом доказательства путём приведения к нелепости (rcductio ad absurdum). Обучение Л. велось гл. обр. на примерах-образцах. В иск-во построения диспута входил выбор темы и умение повернуть её определённым образом, о чём можно судить по софистич. учебнику 5 в. до н. э.«Двойные речи», демонстрировавшему возможность обоснования и отвержения одного и того же тезиса. Диалектика, в состав к-рой со временем вошла «доказывающая наука» Аристотеля, была живым иск-вом ведения спора и беседы, ему обучались на практике как ремеслу.

После Аристотеля Л. получила дальнейшую разработку в школе его учеников (Теофраст, Евдем), а также в филос. школе стоиков (3—2 вв. до н. э.), развивших силлогистику условных и разделительных (т.е. использующих посылки, содержащие альтернативы) умозаключений. Школа стоиков признавала Л. одной из гл. частей философии, сочетая собственно логич. проблематику с вопросами гносеологии и структуры языка и речи.

Первые учебники Л. появились после того, как в 1 в. до н. э. были обнаружены и привезены в Рим логич. соч. Аристотеля, к-рые воспроизводились и комментировались аристотеликами, в т. ч. авторитетнейшим комментатором Александром Афродисийским (2—3 вв.). Изучение свода логич. соч. Аристотеля («Органон») стало непременной частью философского (для того времени высшего) образования. Однако на фоне заката антич. культуры снизился и уровень логич. знаний и обучения Л.: obria практически утрачена методика диспутов, сформировался «схоластич.» подход к Аристотелю — чтение текста (Аристотеля или его комментаторов) и текстологич. толкования.

Поздняя греч. традиция филос. образования основывалась на истолковании текстов Аристотеля. В ср.-век. Зап. Европе стала доминировать установка на создание учебников по курсу семи свободных искусств. Л. (как диалектика) наряду с грамматикой и риторикой вошла в тривиум — низшую ступень курса и вплоть до 19 в. являлась частью классического образования. Решающее влияние на формирование традиции изучения Л. оказал перевод на лат. яз. «Органона», выполненный Боэцием.

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

Освоение европ. культурным миром полного. текста «Органона» (начиная с сер. 12 в.) положило начало расцвету схо-ластич. Л. (см. Схоластика). В этот период аристотелевская Л. подверглась дальнейшей детализации. Изучались связанные с Л. вопросы семиотики, проблематика логич. модальностей (категорий типа «необходимо», «возможно, что», «невозможно, чтобы» и т. п.), логич. антиномии (возникающие в Л. противоречия, для устранения к-рых предлагаются разл. решения). Вместе с учением о языке Л. рассматривалась при этом как диалектика, а термин «Л.» использовался в назв. своего рода учебников — многочисл. ком-педиумов, составленных на основе и в развитие логич. соч. Аристотеля. В университетском преподавании пользовались популярностью «Логические сумму-лы» («Summulae logicales») Петра Испанского (13 в.). Преподавание Л. шло на фоне дискуссий о том, чем она является- иск-вом (ars) или наукой (scientia).

Гл. содержанием антич. и ср.-век. Л. была теория дедукции как системы умозаключений, позволяющих выводить из достоверных посылок достоверные заключения в ходе применения общих принципов к конкретным ситуациям и случаям. На рубеже 16—17 вв. Ф. Бэкон создал теорию индукции как метода получения общих заключений о явлениях природы, использующего результаты опытов и наблюдений. Г. Галилей ввёл в науч. обиход гипотетико-дедуктивные познават. процедуры, соединяющие дедукцию и матем. средства с выдвижением и проверкой науч. допущений — гипотез. Декарт, критикуя схоластич. Л., стремился сочетать логич. дедукцию с интуитивным подбором простейших и очевидных фактов как исходны?! пунктом движения познающей мысли. Декартом была выдвинута идея «универсальной математики», развитая Г. В. Лейбницем до программы всеобъемлющего логич. исчисления, цель к-рой — заменить содержательное мышление вычислением и рассуждением по установл. строгим правилам. Продолжатель филос. традиции Лейбница X. Вольф заложил основы обучения «иск-ву мышления», к-рое излагалось в многочисл. учебниках Л., выходивших в немецкоязычных странах в 18 в. Публикация «Логики» И. Канта (издана в 1800) положила начало т. п. традиц. Л., утвердившейся в немецкой, а затем и в рус. ср. и высш. школе. Для «традиц. Л.» было характерно строгое разделение материала на «учение о понятии», «учение о суждении», «учение об умозаключении», «учение о методе и доказательстве».

Во Франции содержание курсов Л. определило классич. руководство «Логика, или Иск-во мыслить», написанное А. Арно и П. Николем (т. н. логика Пор-Рояля, по назв. монастыря, в к-ром было создано это соч., опубл. 1662). Написанная под влиянием Декарта и Б. Паскаля (среди его трудов было соч. «О геометрич. разуме»), логика Пор-Рояля соединяла в себе осн. положения схоластич. Л. с идеями, шедшими от опытной науки нового времени. Логич. школа Пор-Рояля оказала влияние на развитие Л. в др. странах, включая Россию.

В Англии получило распространение основанное Бэконом индуктивистское направление, к-рое в 19 в. нашло воплощение в труде Дж. С. Милля «Система логики силлогистической и индуктивной» (1843). Однако в англоязычных учебниках Л. в равной мере излагалась теория дедукции и индукции (в т. ч. гипотеза и аналогия).

В сер. 19 в. началась математизация Л., были созданы логич. исчисления, пользующиеся специфич. знаковыми средствами (логич. символикой). В 1847 в Англии вышли труды математиков Дж. Буля «Матем. анализ логики» и А. де Моргана «Формальная логика», в к-рых нашла первое реальное осуществление выдвинутая Лейбницем идея логич. формализации: дедукция и правдоподобные (вероятностные) рассуждения были представлены в виде определённых алгебраич. систем. Пед. аспект нового подхода к Л. нашёл отражение в работах У. С. Дже-вонса, построившего механич. логич. машину, служившую для демонстрации простейших умозаключений и обучению работе с логич. формализмом. В трудах нем. логика Г. Фреге (кон. 19 — нач. 20 вв.) был создан новый, отличный от алгебраического, формальный логич. язык, что позволило существенно обогатить Л. (создание Л. предикатов, т. е. Л. свойств и отношений). Значение матем. (символич.) Л. как нового этапа в развитии древней науки было вполне осознано после появления в Англии труда А. Н. Уайтхеда и Б. Рассела «Principia mathematica» (1910—13) и работ Д. Гильберта, вышедших в 1900—20-х гг. (Германия).

В уч. пособиях по Л. матем.-логич. достижения учитывались начиная с 20- 30-х гг. 20 в. Соответственно изменились содержание курсов Л. и характер преподавания: стало очевидным, что традиц. Л. охватывает лишь небольшую часть логич. процедур, присутствующих в мышлении, новые подходы требовали более строгого изложения материала.

По мере становления матем. Л. она проникла в разл. области знания: в технику, естеств. и гуманитарные науки. Этот процесс был связан с расширением круга внелогич. интерпретаций (моделей) и приложений логич. исчислений, а также с обнаружением тесной связи идей матем. Л. и теории алгоритмов. Матем.-логич. средства оказались эффективными при анализе естеств. языка и построении формальных схем языковых и речевых феноменов; они стали использоваться в алгоритмич. описании процессов переработки информации в мышлении и процессах обучения.

К сер. 20 в. матем. Л. вошла в число предметов, обязательных для высш. матем. образования. С развитием кибернетики и информатики Л. сделалась необходимым компонентом подготовки широкого круга специалистов, открылись многообразные возможности её применения в пед. практике (см. Алгоритмизация, Компьютеризация обучения).

В Россию знакомство с Л. пришло вместе с визант. учёностью. Не позднее 14 в. появился перевод соч. визант. богослова и философа Иоанна Дамаскина «Диалектика», в к-ром излагалось логич. учение Аристотеля. В числе «свободных искусств» Л. преподавалась на греч. или лат. языках в Киево-Могилянской и Славяно-греко-лат. академиях. Автор первого известного на Руси учебника Л. (написан на лат. яз. в 80-е гг. 17 в.) — Софроний Лихуд (см. Лихуды). В Славяно-греко-лат. академии Петровичем Макарием было составлено первое уч. руководство по Л. на церк.-слав. языке.

В 17—18 вв. Л. преподавалась гл. обр. как составная часть риторики («Риторика» М. В. Ломоносова) или философии. Так, филос. курс Георгия Конисского, преподававшего в Киево-Могилянской акад. в 18 в., открывался разделом Л.

С появлением гимназий и развитием университетского образования Л. вошла в программы как самостоят. дисциплина. В 1849 была исключена из гимназии, курса, преподавание основ Л. (один уч. час в неделю) возобновилось в 1871. Со 2-й пол. 18 в. стали создаваться многочисл. учебники Л. (отеч. авторов и переводные). В 19 в. интерес к Л. значительно усилился: выходили науч. труды, а также переводы, предназначенные для широкой аудитории (напр., кн. У. С. Джевонса «Основания логики», 1878).

К кон. 19 — нач. 20 вв. Л. преподавалась в ср. светских (гимназии) и духовных уч. заведениях, на всех гуманитарных ф-тах ун-тов. Появился ряд оригинальных отеч. исследований по Л. как филос. (М. И. Карийский, Л. В. Рутковский), так и матем. ориентации (П. С. Порецкий, Е. Л. Буницкий, И. В. Слешинский, С. О. Шатуновский), возникли подходы, сочетавшие традиционно-филос. установки со стремлением учесть достижения матем. Л. (С. И. Поварнин, Н. А. Васильев).

В нач. 20 в. было издано и использовалось в преподавании большое число учебников для ср. школы (А. Е. Светилина, Г. И. Челпанова), ун-тов (М. Владислав-лева, М. М. Троицкого, В. Н. Карпова, А. И. Введенского). Переводились на рус. яз. (или передавались в изложении) матем. -логич. труды признанных логиков и философов (Э. Шредер, Л. Кутюра, Ж. А. Пуанкаре), а также малоизвестных авторов. Разрабатывались вопросы применимости матем. Л. при изучении мышления (Введенский, Поварнин), приложения Л. к технике.

После 1917 преподавание Л. в ср. и высш. школе стало постепенно свёртываться; формальная Л. рассматривалась как «классово чуждая» наука. Матем. исследования в области Л. (И. И. Жегалкин, В. И. Гливенко, А. Н. Колмогоров) были замкнуты в рамках математики. Л. как самостоят. науч. дисциплина практически прекратила своё существование.

В 1946 Л. вновь стала преподаваться в школе, на гуманитарных ф-тах ун-тов и пед. ин-тов; был переиздан учебник Челпанова, созданы руководства по Л. сов. авторов В. Ф. Асмуса (1947), К. С. Бакрадзе (1951) и др. Однако ограничение преподавания рамками традиц. Л. и отсутствие квалифицир. специалистов, владеющих логич. техникой, обусловило низкий науч. уровень преподавания, в ходе «борьбы против перегрузки учащихся» в сер. 50-х гг. Л. была исключена из уч. курсов ср. школы и ряда вузов. В 40- 50-е гг. вышли в рус. переводе классич. книги по матем. Л. — А. Тарского, Д. Гильберта и В. Аккермана, С. К. Клини, А. Чёрча.

Развитие кибернетики и информатики привело к существенному изменению содержания как филос.-логич, так и матем.-логич. исследований. В 70—80-е гг. отеч. логики-философы стали применять технику построения и анализа логич. исчислений, а логики-математики вводить в свои работы филос. и кибернетич. проблематику. Издавались учебники и уч. пособия по Л., сочетающие филос. и матем. ориентацию. В совр. Л. (филос. и матем.) активно осмысляются пед. аспекты. Как уч. предмет Л. сделалась обязат: компонентом подготовки специалистов по разл. профилям, в т. ч. в сфере пед. образования. В кон. 80-х—90-х гг. в Рос. Федерации в связи с ориентацией нек-рых типов ср. уч. заведений на классич. образование (гимназии, лицеи) Л. снова входит в круг общеобразоват. дисциплин.

Лит.: Аристотель, Соч., т. 2, М., 1978; Ми л ль Дж. С., Система логики силлогистической и индуктивной, пер. с англ., M.; Лукасевич Я., Аристотелевская силлогистика с точки зрения совр. формальной логики, пер. с англ., М., 1959; Попов П. С., История логики нового времени, М., 1960; Маковельский А. О., История логики, Ми967; С т я ж к и и Н. И., Формирование матем. логики, М., 1967; С то л л Р., Множества. Логика. Аксио-матич. теории, пер. с англ., М., 1968; К а р-ри X. Б., Основания матем. логики, пер. с англ., М., 1969; Столяр А. А., Педагогика математики, Минск; Марков А. А., О логике конструктивной математики, М., 1972; К лини С. К., Матем. логика, пер. с англ., М., 1973; Бирюков Б. В., Геллер Е. С., Кибернетика в гуманит. науках, М., 1973; Попов П. С., Стяжкин Н. И., Развитие логич. идей от античности до эпохи Возрождения, М., 1974; Формальная логика, Л., 1977; Логика и проблемы обучения, М., 1977; Фридман Л. М., Турецкий E. H., Как научиться решать задачи, M.; Очерки истории школы и пед. мысли народов СССР с древнейших времен до кон. XVII в., М., 1989, с. 213—15 («Диалектика» Иоанна Дама-скина); Кэрролл ЛЛогич. игра, пер. с англ., М., 1991. Б. В. Бирюков, 3 — А. Кузичева. Ю. А. Шичалин.