|
Логика как самостоятельная наука начала формироваться в Индии, Китае, Греции задолго до нашей эры. На начальных этапах ее развития в Древней Индии большое внимание уделялось теории умозаключения, которое отождествлялось с доказательством. Наиболее обстоятельно теоретические проблемы логики были разработаны и систематизированы в Древней Греции. Одним из ее видных представителей был известный философ Демокрит (460-370 гг. до н. э.). Он — создатель системы логики, которая была отражена в специальном трактате «О логике, или Каноны». Демокрит признается одним из основателей индуктивной логики. Проблемами логики занимались также и древнегреческие философы — Сократ (около 470-399 гг. до н. э.), Платон (427-347 гг. до н. э.). Сократ, считал, что любой предмет может быть познан лишь в том случае, если его можно свести к общему понятию. Платон, являясь учеником Сократа, значительное место отводил в своих взглядах вопросам теории познания и логики. Он стремился образовать понятия и затем осуществить деление понятия на его виды. Излюбленным логическим приемом Платона была дихотомия, т.е. деление понятия А на В и не-В (например, преступления делятся на умышленные и неумышленные). Одним из великих философов и ученых Древней Греции был Аристотель (384-322 гг. до н. э.). Он дал систематическое изложение логики как науки. Аристотель обнаружил, что знания, каков бы ни был их источник, выражаются в языке. Аристотель впервые стал рассматривать научные знания как последовательность высказываний, связанных между собой логическими отношениями и выводимых друг из друга по правилам логики. Его основными трудами в этой области явились «Первая аналитика» и «Вторая аналитика», в которых дана теория силлогизма, определение и деление понятий, теория доказательства. Впоследствии все шесть его логических трактатов были объединены под общим наименованием «Органон» (орудие познания действительности). Заслуга Аристотеля заключается также в том, что он открыл и сформулировал такие законы правильного мышления, как закон тождества, закон непротиворечия, закон исключенного третьего. В средние века (VI-XV вв.) логика в значительной мере была подчинена интересам богословия. В этот период теоретический поиск в логике развернулся вокруг проблемы объяснения природы общих понятий. Основателем арабоязычной логики считается сирийский математик Аль-Фараби (870-950), прокомментировавший весь аристотелевский «Органон». Его логика направлена на анализ научного мышления. Аль-Фараби выделяет в логике две ступени: одна охватывает представления и понятия; другая — теорию суждений, выводов и доказательств. В эпоху Возрождения (XV-XVI вв.) происходит активизация эмпирических тенденций в логике и методологии научного знания. В развитии логики большую роль сыграл английский философ Ф. Бекон (1561-1626). Он разработал основы индуктивной логики в своем труде «Новый Органон», который, по мысли автора, должен заменить старый аристотелевский «Органон». Успехи опытного естествознания XVI-XVII веков характеризовались, прежде всего, развитием математики и механики, теории земных и небесных тел. Весомый вклад в развитие логики этого периода внесли французские исследователи, прежде всего Р. Декарт (1596-1650). Он сформулировал четыре основных правила любого научного исследования: 1) истинно лишь то, что познано, проверено и доказано; 2) расчленять сложное на простое; 3) восходить от простого к сложному, от более очевидного к менее очевидному; 4) исследовать предмет во всех деталях. Его последователи Арно и Николь в 1662 г. написали книгу «Логика, или Искусство мыслить», где обосновали задачу освобождения логики Аристотеля от внесенных в нее последующими представителями логической науки схоластических ошибок. Немалая заслуга в развитии логики принадлежит представителям немецкой классической философии, особенно И. Канту (1724-1804) и Г. Гегелю (1770-1831). Так, И. Кант выступил, в частности, против абсолютизации законов логики. Крупными русскими исследователями в области логики были М.И. Каринский (1840-1917) и Л.В. Рутковский (1859-1920). Так, М.И. Каринский внес значительный вклад в разработку классификации умозаключений.
С начала XX столетия формальная логика получает дальнейшее развитие. Возникла математическая логика, широко применившая метод математической формализации и специальный аппарат символов к определенному кругу логических операций. Представляют математическую логику Г. Фреге (1848-1925), Б. Рассел (1872-1970), Б. Аккерман (1896-1962) и другие мыслители. |