Раздел I
ПРЕДМЕТ ЛОГИКИ
Наиболее полное представление о предмете логики как науки дает обращение к ее истории. В данном разделе мы рассмотрим основные этапы исторического развития логики. Укажем в чем сущность формальной и математической логики. Выясним, что же изучает логика, в чем заключается ее предмет, а так же узнаем, каковы основные понятия логики.
Тема 1. Этапы становления логики
Изначально логика не выделялась как отдельная наука и развивалась как часть философии, которая объединяла всю совокупность представлений людей об окружающем мире. На практике законы и формы правильного мышления изучались в границах ораторского искусства и риторики, важных средств воздействия на умы людей. Так было в Древней Индии, Древнем Китае, Древней Греции, Древнем Риме, а также средневековой России. Но в искусстве красноречия логический аспект носил еще вспомогательный характер, так как логические приемы служили в первую очередь для убеждения аудитории, а не для достижения истины.
Первым важным этапомразвития логики явилась разработка и систематизация теоретических проблем вДревней Греции.Одним из видных представителей логики был известный философ-материалистДемокрит. Созданная им система логики отражалась в специальном трактате «О логике, или Каноны», состоявшем из трех книг. Свою логику Демокрит строит на эмпирической основе, практическом опыте, и поэтому его считают одним из основателей индуктивной логики.
Великие древние философы СократиПлатон тоже занимались проблемами логики. Сократ, например, считал, чтолюбой предмет может быть познан лишь в том случае, если его можно свести к общему понятию, а значит, и делать выводы о нем необходимо на основе этого понятия. Платон, являясь учеником Сократа, значительное место отводил в своих взглядах вопросам теории познания логики. Он образовывал понятия и затем делил понятия на его виды.
Но самым значительным ученым Древней Греции был Аристотель. Он первым систематизировал изложение логики. Основные труды: «Первая аналитика» и «Вторая аналитика». В них дана теория силлогизмов, определение и деление понятий, теория доказательства. Впоследствии все шесть своих логических трактатов он объединил под общим наименованием «Органон» (орудие познания действительности). Он сформулировал основные законы правильного мышления: закон тождества, закон противоречия, закон исключенного третьего.
В средние векалогика была подчинена интересам религии. В этот период теоретический поиск развернулся вокруг проблемы объяснения природы общих понятий. Представители реализма, продолжая взгляды Платона, считали, что общие понятия в логике существуют реально вне единичных понятий и составляют некую сверхъестественную сущность этих самых понятий (Ансельм Кентерберийский,Фома Аквинский).
Противоположное направление - номинализм.Представители этого направления полагали,что реально существуют только единичные понятия, а общие - лишь имена, названия для них.(И. Росцелин,У. Окками др.) В этих спорах обе стороны принижали роль логического знания.
В XV – XVI вв., в эпоху Возрождения,происходит активизация эмпирических тенденций в логике и методологии научного знания. В этот период наука сближается с практикой. Значительней место начинает занимать математика.
Английский философ-материалист Ф. Бэконразработал основы индуктивной логики в своем труде «Новый Органон». Если прежние философы подчеркивали в логике только средство проверки и обоснования истины, то Ф. Бэкон предложил использовать логику в качестве эффективного средства для осуществления научных открытий. Задача логики, согласно взглядам Ф. Бэкона, состоит в обоснованности индуктивных выводов, в которых рассуждения человека идут от частного вывода к общему знанию. Метафизический способ мышления впоследствии сказался на понимании предмета формальной логики. Ее законам придали абсолютный характер. Весомый вклад в развитие логики внесли французские исследователи и прежде всегоР. Декарт. Он сформулировалчетыре основных правила любого научного исследования: 1) истинно лишь то, что познано, проверено и доказано; 2) расчленять сложное на простое; 3) восходить от простого к сложному, от более очевидного к менее очевидному; 4) исследовать предмет во всех деталях. Большая заслуга в развитии логики вНовое времяпринадлежит представителям немецкой классической философии:И. КантуиГ. В. Ф. Гегелю. И. Кант выступил, против абсолютизации законов логики. По взглядамИ. Канта, логика представляет собой науку о необходимых законах, правилах рассудка вообще. Поэтому логика, должна изучать форму мышления в отрыве от его содержания, то есть независимо от объекта мышления. Он выдвинул новый тип логики, которую назвалтрансцендентальной.В ней логические формы рассматриваются какаприорные (доопытные) свойства рассудка. Он началотличать логическое основание и логическое следствие от реальной причины и реального следствия,признавал также существование «формальной» логики. Г. В. Ф. Гегелькритически относился к формальной логике. Свое отношение к этой науке как «метафизической» он строил исходя из объективно-идеалистического положения о тождестве законов мышления и бытия. Критику законов формальной логики Г. В. Ф. Гегель дал в книге «Наука логики». По мнению Гегеля, законы логики носят всеобщий характер, распространяются на все сферы действительности.Такой универсальной логикой должна стать не формальная логика, адиалектика саморазвития. Параллельно диалектической, формальной логике, складывалось еще одно направление -математическая логика. Великий русско-швейцарский ученый Леонард Эйлерс 1727 по 1741 гг. работавший в России, предложил так называемыекруги Эйлера, ставшие основой формальной силлогистики. Однако основоположником математической логики считаетсяДжордж Буль- английский математик. Крупнымирусскими исследователямив области логики былиМ. И. КаринскийиЛ. В. Рутковский.
М. И. Каринский внес значительный вклад в разработку классификации умозаключений. Основной замысел его логической теории характеризуется стремлением построить аксиоматико-дедуктивную систему логики, исходя из основного отношения равенства (т. е. «тождества»), и описать в ней дедуктивные и индуктивные умозаключения. Л. В. Рутковский - автор труда «Основные типы умозаключений». Считаетвозможным признать равноправными с отношениями тождества и отношения сходства, сосуществования и др.В начале ХХ в. математическая логика начала широко применять метод математической формализации и специальный язык символов к определенному кругу логических операций. Представителями математической логики являлисьГ. Фреге, Б. Рассел,Б. Аккерман и другие мыслители. Формализация и предельное абстрагирование от конкретного содержания высказываний позволили решить ряд трудных логических задач в области математики, и нашли применение в работе электронно-вычислительных машин, теории программирования и кибернетики. Значительный вклад в разработку современной математической логики внесли наши отечественные ученые математики:А. П. Колмогоров, А. А. Марков, П. С. Новиков, М. В. Келдыш и др. Однако математическая логика не охватывает всех проблем мышления. За формальной логикой остается познавательная функция и методическая роль как науки о законах и формах правильной мысли, ведущей к утверждению истины.