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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

   Логика, с её традиционным вниманием к  аргументации, помогает человеку стать  грамотным и культурным в этой области. Несомненно, следует отметить и роль логики в усиливающемся  процессе компьютеризации практически  всех областей познания и практической деятельности человека, и связанным  с этим ростом потока информации, что  требует соответствующего программного, теоретического и логико-лингвистического обеспечения компьютерной науки  и техники. Известно, что само возникновение  кибернетики и информатики было бы невозможно без логики.[ Чуешов В. И. Основы современной логики. - М.: Издательство: НОВОЕ ЗНАНИЕ, 2003. ]

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

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

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

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

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

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

   Огромный  вклад в развитие символической  логики внесли такие учёные, как  Дж. Буль, О. де Морган, Г. Фреге, Ч. Пирс и др. В XX веке математическая логика оформилась в качестве самостоятельной дисциплины в рамках логической науки.

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

   Определением  «современная» новый этап противопоставляется  традиционной логике, отличительной  чертой которой было то, что она  пользовалась при описании правильных способов рассуждения обычным, или  естественным, языком, дополненным  немногими специальными символами. Традиционная логика и современная  логика не являются разными научными дисциплинами, а представляют собой  два после-довательных периода в развитии одной и той же науки.

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

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

   В 20-е годы XX в. предмет логических исследований существенно расширился. Начали складываться символическая логика, включающая множество разделов: логика высказываний, логика предикатов, вероятностная логика и т.д.); модальная логика, рассматривающая понятия необходимо, возможно, случайно и т.п.; деонтическая логика, изучающая логические связи нормативных высказываний; диалектическая логика, изучающая законы развития человеческого мышления, и др. Некоторые эти новые разделы не были непосредственно связаны с математикой, в сферу логического исследования вовлекались уже естественные и гуманитарные науки.

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

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