Особенности логической науки в современную эпоху

После Аристотеля в Древней Греции логика также  разрабатывалась представителями школы античных стоиков (Зенон,  Хрисип и др.). Термин «логика» применительно к науке о мышлении впервые был введен стоиками, выделившими под этим названием лишь ту часть действительного учения Аристотеля, которая согласовалась с их собственными представлениями о природе мышления. Само название «логика» производилось ими от греческого термина «логос» (который буквально означает «слово»), а указанная наука сближалась по предмету с грамматикой и риторикой. Именно логика стоиков дополнила аристотелевскую теорию силлогизма описанием сложных умозаключений.

Логика стоиков  — основа другого направления  математической логики — логики высказываний. Среди других античных мыслителей, развивавших и комментирующих логическое учение Аристотеля, следует назвать Галена, именем которого названа 4-я фигура категорического силлогизма; Порфирия, известного разработанной им наглядной схемой, отображающей отношения подчинения между понятиями (“дерево Порфирия”); Боэция, сочинения которого длительное время служили основными логическими пособиями.

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

Однако только Новое Время дало толчок к развитию принципиально новых ценностей  культуры и новой расстановке  приоритетов в сфере познавательной деятельности человека.

2. Развитие логики в Новое время

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

В ХVII - XVIII столетиях наука постепенно отстаивает право самостоятельного суждения о природе и устройстве мира, а также о формах его изучения и исследования. Более того, Новое Время оказывается временем возникновения науки как социально-организованной силы, как особого способа производства знаний. Последнее поставило новые цели перед логикой и изменило характер философствования.

Характерной чертой философии Нового времени  являлось то, что великие философы были также и великими учеными  – естествоиспытателями. Аристотелевская логика, наиболее полно отвечающая требованиям, предъявляемым к обоснованию уже имеющихся знаний, перестает быть жизненно необходимой. Необходимой становится логика, направленная на добывание новых знаний.

Выхолощенная  «аристотелевская логика» утратила кредит в глазах всех выдающихся естествоиспытателей  и философов нового времени. По той  же причине большинство философов XVI-XVIII веков вообще избегает употреблять термин «логика» в качестве названия науки о мышлении, об интеллекте, о разуме. Это название даже не фигурирует в заглавиях выдающихся сочинений о мышлении. Признание непригодности официальной, схоластически-формальной версии логики в качестве «органона» (инструмента) действительного мышления, развития научного знания – лейтмотив всей передовой философской мысли того времени.

Этот исторический период в логике отмечается появлением множества крайне значимых для науки  публикаций. В разработку материалистических основ логики большой вклад внес Фрэнсис Бэкон (1561—1626) — родоначальник английского материализма.

Логика развивается  теперь в связи с требованием  и необходимостью содействовать  “росту наук”. Такая логика, по мнению Бэкона, претендует быть “учением о методе”, т.е. некоторой “методологией”, способной указать ученым кратчайшие пути к “новым истинам”. Орудие и познания, и действия человека - это новый метод истолкования природы, метод открытий и изобретений, опирающийся на планомерно поставленный эксперимент. В деятельности ученого, по Бэкону, можно, предположить два источника успеха и продуктивности, а именно: чувственные наблюдения, опыт и рассудок, здравый смысл. Истинный ученый, считал Бэкон, “берет пример” с пчелы, извлекающей сок из цветов сада и поля и собственным умением преобразующей его в мед. Он руководствуется логикой “истинного наведения”, индуктивным методом, который требует исчисления качественных особенностей и свойств изучаемых объектов. Истинная индукция суть не простое перечисление случайных признаков изучаемых предметов, но систематизация качественных признаков, а затем отбор и селекция тех из них, которые могут прирастить знание или навести на открытие еще неизвестного.

Бэкон предложил  составлять таблицы присутствия, отсутствия и степеней изучаемых свойств отдельных предметов данного класса. Цель и задача этих таблиц состоит в том, чтобы осуществить “представление примеров разуму” и выделить схему сопоставления двух явлений с тем, чтобы найти и установить необходимую связь между ними. Сам Бэкон рассматривал свои таблицы как приемы открытия. Заполнение таблиц требует знания фактов, и их собирание Бэкон считал важнейшей задачей науки. Более того, до конца жизни он работал над составлением “Естественной и Экспериментальной истории”, к которой стремился обнаружить логические пути  открытия нового знания, общезначимого для развития науки и дальнейшего изучения природы.

Френсис Бэкон  в 1620 году опубликовывает свой «Новый органон», содержащий основы индуктивных  методов, усовершенствованных позднее  Джоном Стюартом Миллем и получивших название методов установления причинных связей между явлениями Бэкона-Милля.

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

ПОЛНАЯ ИНДУКЦИЯ означает регулярную повторяемость  и исчерпаемость какого-либо свойства предмета в рассматриваемом опыте. Индуктивные обобщения исходят из предположения, что именно так будет обстоять дело во всех сходных случаях. В этом саду вся сирень белая - вывод из ежегодных наблюдений в период ее цветения.

НЕПОЛНАЯ  ИНДУКЦИЯ включает обобщения, сделанные  на основе исследования не всех случаев, а только некоторых (заключение по аналогии), потому что, как правило, число всех случаев практически необозримо, а теоретически доказать их бесконечное число невозможно: все лебеди белы для нас достоверно, пока не увидим черную особь. Это заключение всегда носит вероятный характер.

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

Бэкон подверг  критике извращенную средневековой  схоластикой дедуктивную логику Аристотеля, которая, по его мнению, не может служить методом научных открытий. Таким методом должна быть индукция, принципы которой изложены в его сочинении “Новый Органон”(в отличие от старого, аристотелевского “Органона”).

Индуктивный метод, выведенный Бэконом, состоял  из эксперимента, наблюдения, анализа и сравнения. Разработка индуктивного метода — огромная заслуга Бэкона, однако он неправомерно противопоставил его методу дедукции; в действительности эти методы не исключают, а дополняют друг друга. Если прежние философы подчеркивали в логике только средство проверки и обоснования истины, то Ф. Бэкон предложил использовать логику в качестве эффективного средства для осуществления научных открытий. Задача логики, согласно взглядам Ф. Бэкона, состоит в обоснованности индуктивных выводов, в которых рассуждения человека идут от частного вывода к общему знанию. Он также разработал методы определения причинной связи между явлениями: метод сходства, метод различия, соединенный метод сходства и различия, метод сопутствующих изменений, метод остатков.

Логический  метод Бэкона фактически стал началом индуктивной логики. Как форма движения мысли индукция тесно связана с историей опытного познания и научного исследования. В дальнейшем в задачи и цели индуктивной логики стало входить установление логических критериев подтверждаемости или обоснованности какого-либо общего положения науки или знания единичными фактами. В такой форме знание или положение науки выступает не как утверждение, требующее верификации по критерию истинное/ложное, но как гипотеза.

Среди работ  по логике XVI –XVII веков следует отметить труды немецкого философа и ученого Г.В. Лейбница (1646-1716). Ему принадлежит идея, которая стала исходным пунктом становления и развития символической (математической) логики. Речь идет о замысле создания системы символов для представления любых предметов и отношений между ними, аналогичной тому, как математические символы представляют числа и их связи. Такой подход, по мысли Лейбница, позволил бы логические связи в рассуждениях уподобить связям между числами, и таким образом создать calculus rationator, логическое исчисление. «Единственное средство улучшить наши умозаключения, - полагал он, это сделать их, как  и у математиков, наглядными, так, чтобы ошибки находить глазами, и, если среди людей возникнет спор, нужно сказать: «Посчитаем!», тогда без особых формальностей можно будет увидеть, кто прав».

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

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

Весомый вклад  в развитие логики внесли французские  исследователи, прежде всего Р. Декарт (1596-1650), который выступил с критикой средневековой схоластики, развил идеи дедуктивной логики, сформулировал правила любого научного исследования, изложенные в сочинении “Правила для руководства ума”: истинно лишь то, что познано, проверено и доказано; расчленять сложное на простое; восходить от простого к сложному, от более очевидного к менее очевидному; исследовать предмет во всех деталях.

В 1662 году в  Париже издан учебник «Логика, или  Искусство мыслить» («Логика Пор-Рояля»,) авторами которого являются П. Николь и А. Арно, создавшие логическое учение на основе методологических принципов Декарта. В этой книге они поставили задачу освобождения логики Аристотеля от внесенных в нее поздними логиками схоластических извращений.

3. Особенности логической науки в современную эпоху

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

Логика, с  её традиционным вниманием к аргументации, помогает человеку стать грамотным и культурным в этой области. Несомненно, следует отметить и роль логики в усиливающемся процессе компьютеризации практически всех областей познания и практической деятельности человека, и связанным с этим ростом потока информации, что требует соответствующего программного, теоретического и логико-лингвистического обеспечения компьютерной науки и техники. Известно, что само возникновение кибернетики и информатики было бы невозможно без логики.

Позитивизм, а затем и логический неопозитивизм ХХ столетия осознал  проблемы и задачи логики в контексте  решения проблем обоснования  научного знания. Именно в этом плане, собственно говоря, логика  выглядит  “полезной”. Неопозитивисты сумели достаточно подробно проанализировать вопрос о  структуре научного знания, проблему объяснения и предсказания в науке, вопрос о гипотетичности научного знания, т.д.

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

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

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

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

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