§ 3. Краткий очерк истории

ЛОГИКИ

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

Родоначальником же, "отцом" логики, по праву считается величайший мыслитель древности, ученик Платона — Аристотель (384 — 322 г. до н. э.). Именно он в своих трудах, объединенных общим названием "Органон" (орудие познания), впервые обстоятельно проанализировал и описал основные логические формы и правила рассуждений.

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

См.: Поппер К. Р. Т. 2. С.17.

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

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

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

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

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

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

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

Однако в настоящем учебном пособии, имея в виду небольшой объем курса и его практическую направленность, рассматриваются в основном те вопросы, которые привлекали внимание представителей традиционней логики, поскольку они связаны с формами и закономерностями мышления в естественном языке. Однако речь идет не о простом изложении достигнутых ранее результатов. Многие положения прежней (традиционной) логики требуют пересмотра, в ряде случаев существенных уточнений на основе достижений современной логики и с учетом выработанных ею методов. В особенности это касается таких разделов, как учение о понятии, теория высказываний ("суждений" — по старой терминологии), значительной переработке подвергается и один из основных, аккумулирующих разделов традиционной логики "Доказательство и опровержение" (см. гл. 9).