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

Введение.

Ло́гика (др.-греч. λογική «наука о рассуждении», «искусство рассуждения» от λόγος — «речь», «рассуждение»).

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

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

История свидетельствует, что отдельные  логические проблемы возникли в I тысячелетии  до нашей эры сначала в Древней  Индии и Китае, а затем в  Древней Греции и Риме. Постепенно они оформились в стройную систему  знаний, в самостоятельную науку.

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

 

 

Основные направления  современной логики.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Неопозитивистское расширительное истолкование возможностей современной логики в  исследовании науки было преодолено только в конце 50-х — начале 60-х  годов, когда стало очевидно, что  задачи, которые выдвигались перед современной логикой неопозитивизмом, плохо поставлены и не имеют решения. Сейчас логический анализ научного знания с использованием современной логики активно ведется в целом ряде как давно освоенных, так и новых областей.

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

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

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

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

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

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

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

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

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

Формализация и предельное абстрагирование  от конкретного содержания высказываний позволили решить ряд трудных  логических задач в области математики и нашли применение в работе электронно-вычислительных машин, теории программирования и т.п. Значительный вклад в разработку современной математической логики внесли наши отечественные ученые математики: А.П. Колмогоров, А.А. Марков, П.С. Новиков, М.В. Келдыш и др.

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