История развития науки логики

Логика – одна из древнейших наук. Точно установить, кто, когда и где впервые обратился к тем аспектам мышления, которые составляют предмет логики, в настоящее время не представляется возможным. Отдельные истоки логического учения можно обнаружить еще в Индии, в конце второго тысячелетия до нашей эры. Однако, если говорить о возникновении логики как науки, т.е. о более или менее систематизированной совокупности знаний, то справедливо будет считать родиной логики Древнюю Грецию. Именно здесь в V-IV вв. до н.э. в период бурного развития демократии и связанного с этим небывалого оживления общественно-политической жизни трудами Демокрита, Сократа и Платона были заложены основы этой науки. Родоначальником же логики по праву считается величайший мыслитель древности, ученик Платона – Аристотель (384 – 322 гг. до н.э.). Именно он в трудах, объединенных общим названием «Органон» (орудие познания), впервые обстоятельно проанализировал и описал основные логические формы и правила рассуждений: формы выводов из категорических суждений – категорический силлогизм («Первая аналитика»), сформулировал основные принципы научных доказательств («Вторая аналитика»), дал анализ смысла некоторых высказываний («Об истолковании»), наметил основные подходы к разработке учения о понятии («Категории»). Серьезное внимание Аристотель уделял также разоблачению различного рода логических ошибок и софистических приемов в спорах («О софистических опровержениях»).

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

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

Вместе с тем, неверно было бы считать, что развитие традиционной логики не сопровождалось появлением новых идей, стимулирующих развитие ее теоретического и практического содержания. Некоторые существенные добавления к работам Аристотеля в различных формах выводов были сделаны представителями философской школы стоиков (II-III вв.). К сожалению, они не были известны до недавнего времени. Немало внимания уделяли проблемам логики философы средних веков. Многие полученные здесь результаты связаны с логическим анализом языка и понятием модальности. В основном, однако, исследования шли по линии детализации результатов Аристотеля, в особенности его учения о категорическом силлогизме.

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

Вопросами логики занимались и внесли определенный вклад в ее развитие многие видные ученые нового времени: Р. Декарт, Г. Лейбниц, И. Кант и др. Лейбниц выдвинул ряд идей фундаментального характера, получивших интенсивное развитие в современной логике.

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

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

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

Крупным разделом современной логики является логическая семиотика. Она занимается анализом естественных и искусственных языков. В этом разделе язык исследуется как средство познания действительности.

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

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