Возникновение и основные этапы развития логики

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

        Огромный вклад в развитие символической логики внесли такие учёные, как Дж. Буль, О. де Морган, Г. Фреге, Ч. Пирс и др. В XX веке математическая логика оформилась в качестве самостоятельной дисциплины в рамках логической науки.

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

         Определением «современная» новый этап противопоставляется традиционной логике, отличительной чертой которой было то, что она пользовалась при описании правильных способов рассуждения обычным, или естественным, языком, дополненным немногими специальными символами. Традиционная логика и современная логика не являются разными научными дисциплинами, а представляют собой два последовательных периода в развитии одной и той же науки.

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

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

        В 20-е годы XX в. предмет логических исследований существенно расширился. Начали складываться символическая логика, включающая множество разделов: логика высказываний, логика предикатов, вероятностная логика и т.д.); модальная логика, рассматривающая понятия необходимо, возможно, случайно и т.п.; деонтическая логика, изучающая логические связи нормативных высказываний; диалектическая логика, изучающая законы развития человеческого мышления, и др. Некоторые эти новые разделы не были непосредственно связаны с математикой, в сферу логического исследования вовлекались уже естественные и гуманитарные науки.

       В 30—40-е годы логика науки интенсивно разрабатывалась в рамках философии неопозитивизма, сделавшей логический анализ языка науки основным средством борьбы с «дурной метафизикой» и порождаемыми ею «псевдопроблемами». Неопозитивизм принял идею о безоговорочной применимости современной логики не только к математике, но и к опытному знанию и резко противопоставил свою логику науки традиционному философскому и методологическому исследованию познания. С точки зрения неопозитивизма, научное знание беспредпосылочно, полностью сводимо к непосредственному опыту и не зависит ни от «метафизики», ни от того социокультурного контекста, в котором существует; научная теория рассматривается только в статике, анализ ее возникновения и развития выносится за рамки методологии; факты считаются независимыми от теории и в совокупности составляющими тот безусловный фундамент, к которому должны сводиться теоретические положения.

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

       Неопозитивистское расширительное истолкование возможностей современной логики в исследовании науки было преодолено только в конце 50-х — начале 60-х годов, когда стало очевидно, что задачи, которые выдвигались перед современной логикой неопозитивизмом, плохо поставлены и не имеют решения. Сейчас логический анализ научного знания с использованием современной логики активно ведется в целом ряде как давно освоенных, так и новых областей.

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

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

       В последнее время существенное внимание уделяется логическому исследованию процессов формирования, роста и развития знания. Они имеют общенаучный характер, но пока изучаются преимущественно на материале естественнонаучных теорий. Были предприняты, в частности, попытки построения особой диахронической логики для описания развития знания.

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

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

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

       В современной логике нет разделов, как-то по-особому связанных с наукой; вместе с тем все разделы символической логики включая и центральный — теорию логического следования, так или иначе, связаны с логическим анализом научного познания. Современная логика взаимодействует с наукой прежде всего через методологию научного познания, поэтому обычно говорят не просто о «логике науки» («логике научного познания»), а о «логике и методологии науки» или о «логико-методологическом анализе науки».

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

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

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

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

       Растущие потребности научно-технического прогресса обусловливают дальнейшее интенсивное развитие современной логики.

Логика в России

      Русские логики, такие, как П. С. Порецкий, Е. Л. Буницкий и многие другие, внесли существенный вклад в развитие логики на уровне мировых логических концепций.

      Первый трактат по логике появился в России в Х в. Это был перевод философской главы из «Диалектики» византийского писателя VII в. Иоанна Дамаскина, которая представляла собой изложение работ Аристотеля и его комментариев. Первое систематическое учебное пособие по логике, включавшее аристотелевскую логику и отдельные идеи Гоббса, было подготовлено во второй половине XVII в. Тогда же в России начали распространяться отдельные идеи математической логики.

      В XVIII в. в России появляются оригинальные логические результаты. Первым их добивается Михаил Васильевич Ломоносов (1711-1765). Он вносит существенные изменения в традиционную силлогистику, предлагая свою классификацию умозаключений, отграничивает суждение от грамматического

предложения и др.

      Дмитрий Сергеевич Аничков (1733-1788) в трактате «Заметки по логике, метафизике и космологии» («Annotationes in logicam, metaphisicam et cosmologiam») исследовал модальные суждения, подразделяя их на четыре вида — необходимые, невозможные, возможные и не невозможные, сформулировал систему правил для ведения диспутов.

       Философ-материалист Александр Николаевич Радищев (1749— 1802) одним из первых в мировой литературе поставил проблему необходимости логического анализа отношений, которого нет ни в логике Аристотеля, ни в логике средневековых схоластов. Он писал о суждениях, что они представляют собой сравнение двух понятий или познание отношений, существующих между вещами. А. Н. Радищев дает следующую классификацию умозаключений:' 1) «рассуждение» (т. е. силлогизм); 2) «уравнение», т. е. умозаключения равенства, основанные на следующей аксиоме: равные и одинаковые вещи состоят в равном или одинаковом союзе или отношении; 3) «умозаключения по сходству».

         Русские видные публицисты В. Г. Белинский (1811—1848), А. И. Герцен (1812—1870), Н. Г. Чернышевский (1828—1889), Н. А. Добролюбов (1836—1861) активно интересовались философскими вопросами, в том числе проблемами логики. Белинский предостерегал от логических ошибок в ходе доказательства тезиса. А. И. Герцен выдвигал лозунг гармонического сочетания теоретического мышления и практической деятельности. Н. Г. Чернышевский утверждал, что понятие относительности знания не означает, что оно иллюзорно или необъективно, а лишь указывает на его незаконченность.

Крупнейшими русскими логиками XIX в. были Михаил Иванович Каринский (1840—1917) и его ученик Леонид Васильевич Рутковский (1859—1920), основные логические работы которых посвящены классификации умозаключений.

      Основной замысел логической теории Карийского можно характеризовать как стремление построить аксиоматико-дедуктивную систему логики, исходя из основного отношения равенства (т. е. «тождества»), и в ней описать дедуктивные и индуктивные умозаключения, не используя элементов строгой формализации. Каринский в этой концепции примыкает к идеям Джевонса, что отметили уже его современники.

Заключение 

В своем развитии логика прошла длительный период развития. Важнейшее обстоятельство, способствовавшее выделению логики в самостоятельную отрасль знания, носило ярко выраженный практический характер, поскольку логика в то время разрабатывалась в тесной связи с запросами ораторского искусства, то есть как часть практической риторики. Искусство публичной речи, умение вести полемику, убеждать людей ценилось у древних греков исключительно высоко и стало предметом специального анализа в школах так называемых софистов. Первоначально к ним относили мудрых, авторитетных в различных вопросах людей. Затем так стали называть людей, за плату производивших обучение искусству красноречия; они должны были научить умению убедительно защищать свою точку зрения и опровергать мнение своих оппонентов. Такого рода навыки предполагают не только умение красиво говорить, но и владение сложными механизмами мышления и, прежде всего, различными способами построения умозаключений, доказательств, опровержений, то есть того, что и составляет основное содержание логики. Фундаментальный характер логических изысканий Аристотеля проявляется в том, что его логическое учение, усовершенствованное в некоторых аспектах, а иногда и искаженное, просуществовало без особых принципиальных изменений до середины XIX века и получило название традиционной логики.

      Выдающимся событием в истории логики в Новое время стало появление труда английского философа Ф. Бэкона «Новый органон», который, по его мнению, должен был заменить аристотелевский «Органон» в качестве орудия познания. Критически оценивая значимость форм выводов, в которых используется уже потовое знание, Ф. Бэкон стремился разработать приемы исследования самой природы. Он положил начало разработке методов установления причинно-следственных связей в объективной действительности. Его учение об этих методах приобрело относительно завершенный характер в работах Дж. Фр. Гершеля и Дж. Ст. Милля. Результаты этих разработок вошли в историю логики под названием «Индуктивные методы установления причинных связей». Вопросами логики занимались и внесли определенный вклад в ее развитие многие видные ученые Нового времени: Р. Декарт, Г. Лейбниц, И. Кант и другие. Примечательно, что Г. Лейбниц выдвинул ряд идей фундаментального характера, получивших интенсивное развитие в современной логике. Начало нового этапа в развитии логики было положено трудами Дж. Буля, О. де Моргана, русского логика П.С. Порецкого. Принципиальное отличие этого этапа состояло в применении методов математики к исследованию логических связей, что привело к созданию специального раздела логики — алгебры логики, получившей завершение в трудах Э. Шредера. В дальнейшем усилиями Г. Фреге, Б. Рассела — А. Уайтхэда сложился особый метод исследования логических отношений и форм выводов — метод формализации. Суть этого метода состоит в употреблении для описания структур высказываний, законов логики и правил вывода специально созданного в рамках логики формализованного языка. Применение этого метода открыло новые возможности этой науки и положило начало ее интенсивному развитию под названием «символическая логика».