Автор работы: Пользователь скрыл имя, 17 Октября 2013 в 20:30, лекция
Ло́гика (др.-греч. λογική «наука о рассуждении», «искусство рассуждения» от λόγος — «речь», «рассуждение»).
Наука о формах, методах и законах интеллектуальной познавательной деятельности, формализуемых с помощью логического языка.
Наука о достижении истины в процессе познания с помощью выводного знания — знания, полученного опосредованным путём, посредством не чувственного опыта, а из знаний, полученных ранее; знания, полученного разумом.
Наука о мышлении
Научная дисциплина, изучающая способы доказательств и опровержений.
Современная логика активно реагирует на изменения в стиле и способе научного мышления, на осмысление его особенностей в методологии науки. Сфера приложений современной логики в изучении систем научного знания непрерывно расширяется. Современная логика явилась основой для формирования широкой концепции логики научного познания (логики науки), занимающейся применением идей, методов и аппарата логики к анализу не только дедуктивных, но и всех иных систем научного знания.
В 20-е годы XX в. предмет логических исследований существенно расширился. Начали складываться символическая логика, включающая множество разделов: логика высказываний, логика предикатов, вероятностная логика и т.д.); модальная логика, рассматривающая понятия необходимо, возможно, случайно и т.п.; деонтическая логика, изучающая логические связи нормативных высказываний; диалектическая логика, изучающая законы развития человеческого мышления, и др. Некоторые эти новые разделы не были непосредственно связаны с математикой, в сферу логического исследования вовлекались уже естественные и гуманитарные науки.
В 30—40-е годы логика науки интенсивно разрабатывалась в рамках философии неопозитивизма, сделавшей логический анализ языка науки основным средством борьбы с «дурной метафизикой» и порождаемыми ею «псевдопроблемами». Неопозитивизм принял идею о безоговорочной применимости современной логики не только к математике, но и к опытному знанию и резко противопоставил свою логику науки традиционному философскому и методологическому исследованию познания. С точки зрения неопозитивизма, научное знание беспредпосылочно, полностью сводимо к непосредственному опыту и не зависит ни от «метафизики», ни от того социокультурного контекста, в котором существует; научная теория рассматривается только в статике, анализ ее возникновения и развития выносится за рамки методологии; факты считаются независимыми от теории и в совокупности составляющими тот безусловный фундамент, к которому должны сводиться теоретические положения.
Все эти особенности
Неопозитивистское расширительное истолкование возможностей современной логики в исследовании науки было преодолено только в конце 50-х — начале 60-х годов, когда стало очевидно, что задачи, которые выдвигались перед современной логикой неопозитивизмом, плохо поставлены и не имеют решения. Сейчас логический анализ научного знания с использованием современной логики активно ведется в целом ряде как давно освоенных, так и новых областей.
Самым общим образом их можно обозначить так. Этот раздел достаточно глубоко разработан, многие результаты, полученные здесь (например, Гёделя теорема о неполноте достаточно богатых формализованных языков и др.) имеют принципиальное философское и методологическое значение.
К этой сфере относятся изучение логической структуры научных теорий, способов их эмпирического обоснования, исследование различного рода индуктивных процедур (индуктивный вывод, аналогия, моделирование, методы установления причинных связей на основе наблюдения и эксперимента и т. п.), трудностей применения теорий на практике и т. д. Особое место занимают проблемы, связанные с изучением смыслов и значений теоретических и эмпирических терминов, с анализом семантики таких ключевых терминов, как закон, факт, теория, система, измерение, вероятность, необходимость и т. д.
В последнее
время существенное внимание уделяется
логическому исследованию процессов
формирования, роста и развития знания.
Они имеют общенаучный
Сюда относятся вопросы семантики оценочных и нормативных понятий, изучение структуры и логических связей высказываний о ценностях, способов их обоснования, анализ моральных, правовых и др. кодексов и т. д. К ним относятся объяснение, понимание, предвидение, определение, обобщение, классификация, типологизация, абстрагирование, идеализация, сравнение, экстраполяция, редукция и т. д.
Этот перечень областей и проблем логического исследования научного знания, опирающегося на современную логику не является исчерпывающим. Он показывает как широту интересов современной логики так и сложность стоящих перед нею задач.
Логика науки, не является ни «ветвью», ни «разделом» символической логики, в отличие от таких разделов последней, как, напр., многозначная логика или логика времени. Логика науки не является и особой «дисциплиной», существующей наряду с современной логикой, а есть лишь особый аспект логики, связанный с приложением логических систем к практике научного теоретизирования и выделяемый только по контрасту с чистым исследованием формальных построений (исчислений).
В современной логике нет разделов, как-то по-особому связанных с наукой; вместе с тем все разделы символической логики включая и центральный — теорию логического следования, так или иначе, связаны с логическим анализом научного познания. Современная логика взаимодействует с наукой прежде всего через методологию научного познания, поэтому обычно говорят не просто о «логике науки» («логике научного познания»), а о «логике и методологии науки» или о «логико-методологическом анализе науки».
В рамках такого анализа символическая логика сама по себе не решает каких-либо конкретных проблем методологии науки, но логическое исследование представляет собой, как правило, необходимую предпосылку, рассмотрения таких проблем. Современная логика не только используется в методологическом анализе, но и сама получает важные импульсы в результате обратного воздействия своих приложений.
Имеет место взаимодействие логики и методологии в анализе научных теорий, а не простое применение готового аппарата к некоторому внешнему для него материалу. Особенно заметным это стало в последние годы, когда смещение центра интересов методологии науки, от анализа готового знания к исследованию роста и развития знания, постепенно ведет к соответствующему изменению проблематики как логики науки, так и современной логики.
Формализация и предельное абстрагирование от конкретного содержания высказываний позволили решить ряд трудных логических задач в области математики и нашли применение в работе электронно-вычислительных машин, теории программирования и т.п. Значительный вклад в разработку современной математической логики внесли наши отечественные ученые математики: А.П. Колмогоров, А.А. Марков, П.С. Новиков, М.В. Келдыш и др.
Однако математическая логика не охватывает всех проблем естественной логики мышления. За формальной логикой остается ее познавательная функция и методическая роль как науки о законах и формах правильной мысли, ведущей к утверждению истины.
Задачи.
Логика сформировалась в качестве самостоятельной науки в IV веке до н.э..
Основателем науки логики является философ и учёный Аристотель.
Френсис Бэкон разработал проблемы индуктивной логики в трактате «Новый Органон, или Истинные указания для истолкования природы» («Novum Organum»).
Работу «О частных суждениях, о треугольнике противоположностей и о законе исключенного четвертого» написал Н.А. Васильев.
1 Гетманова А. Д. Логика. - М.: Изд-во „ Омега-Л “, 2007.
2 Ивлев Ю. В. Учебник логики: Семестровый курс: Учебник. — М.: Дело, 2003.
Информация о работе Возникновение логики как науки и основные этапы её развития