Тема 3. История логики. Значение логики как науки

3.1.Основные этапы развития логики как науки.

3.2.Место логики в системе наук.

3.3.Значение логики как науки. Применение логики в практической деятельности.

3.1. Основные этапы развития логики как науки

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

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

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

В этих трактатах обос­новано положение о том, что новые истинные мысли можно получить из других истинных мыслей в том случае, если последние связаны между собой по правилам логики. Такую связь истинных мыслей, которая приведёт к новой, ранее не известной истинной мысли, Аристотель называл умозаключени­ем. Он исследовал различные виды силлогизмов - дедуктивных умозаклю­чений, открыл и впервые сформулировал основные логические законы: то­ждества, противоречия, исключенного третьего.

Вклад Аристотеля в развитие науки о мышлении был настолько велик, что до настоящего времени формальную ло­гику в ее традиционной части называют аристотелевской, элементарной.

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

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

Средневековая схоластическая логика была чисто формальным, ото­рванным от жизни учением о ведении споров, в которых главными аргу­ментами были не реальные факты, а положения «священного писания» и высказывания «отцов церкви». Спорили, например, о том, «сколько анге­лов можно поместить на конце иголки», «спят ангелы или нет», «была ли не порочной дева Мария, родившая Христа» и т.п. Совершенно очевидно, что подобные беспредметные словосочетания не могли обогатить логику. Однако теоретические состязания все-таки вынуждали наиболее мыслящих схоластов совершенствовать формы мышления и правила логических вы­водов. Некоторые положительные моменты, не потерявшие своего значе­ния в ходе дальнейшего развития логики, содержались в трудах Петра Ис­панского, Раймунда Луллия, номиналистов и реалистов.

Поворотным пунктом в развитии ло­гики явилось учение о познании английских философов - материалистов Ф. Бекона (1561-1625 гг.) и Т. Гоббса (1588-1679 гг.). Подвергая критике средневековую схоластическую философию, Ф. Бекон утверждал, что ис­тинным объектом познания является материальный мир, а главным инст­рументом познания — опыт, эксперимент. Он считал научными только те понятия, идеи, аксиомы, которые выведены из опыта, опираются на экспе­римент, наблюдения. В противоположность Аристотелю, который в своем труде «Органон» изложил основы дедуктивных умозаключений, Ф. Бекон в книге «Новый органон» развил учение об индукции, чем существенно обо­гатил формальную логику.

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

Материалистические идеи Ф. Бекона о познании подхватил и про­должил Т. Гоббс. Он полагал, что опытных знаний далеко не достаточно для установлении «связей и зависимости фактов между собой». Истина, по его мнению, постигается в ходе рассуждений, умозаключений.

Дальнейшее наполнение новым содержанием логика получила в тру­дах французского мыслителя Р. Декарта (1596-1650гг.). Он предлагал совершенствовать формальную логику с помощью дедуктивно-математического метода. Р. Декарт исходил из того, что все наши знания должны быть выведены из некоего единого достоверного принципа, как это делается в математике, которая основана на строгом доказательстве, на выведении своих положений из достоверных основ. Поставив вопрос о создании всеобщего логико-математического метода получения новых знаний, Р. Декарт не смог решить его. Но сама постановка такого вопроса была в то время весьма плодотворной и оказала положительное влияние на последующих ученых, особенно на Г. Лейбница (1646-1716 гг.).

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

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

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