Значение логики в развитии современной науки.
Логика – наука о мышлении, ее предметом являются законы и формы, приемы и операции мышления, с помощью которых человек познает окружающий его мир. Логика, изучающая познающее мышление и применяемая как средство познания, возникла и развивалась как философская наука и в настоящее время представляет собой сложную систему знаний, включающую две относительно самостоятельные науки: логику формальную и логику диалектическую.
Как самостоятельная наука логика сложилась более двух тысяч лет назад, в 4 веке до н.э. Ее основателем является древнегреческий философ Аристотель(348-322 г.г. до н.э.) Аристотелевское учение о силлогизме составило основу одного из направлений современной математической логики – логики предикатов. Важным этапом в развитии учения Аристотеля явилась логика античных стоиков. Логика стоиков - основа другого направления математической логики- логики высказываний.
Знание логики повышает культуру мышления, вырабатывает навык мыслить более «грамотно», развивает критическое отношение к своим и чужим мыслям.
Мыслить логично – это значит мыслить точно и последовательно, не допускать противоречий в своих рассуждениях, уметь вскрывать логические ошибки. Эти качество имеют большое значение в любой области научной и практической деятельности, в том числе в работе юриста, требующей точности мышления, обоснованности выводов.
3. Логика современная(символическая) и традиционная.
В Средние века(6-14в.) логика была в значительной степени подчинена богословию. В этот период теоретический поиск в логике развернулся вокруг проблемы объяснения общих понятий. При этом на протяжении Средних веков систематическая разработка формальной логики почти не выходила за пределы силлогистики. Основателем логики считается сирийский математик Аль-Фараби. Его логика направлена на анализ научного мышления. Он выделяет в логике две ступени: одна охватывает представления и понятия, другая - теорию суждений, выводов и доказательств.
В эпоху Возрождения логика переживала кризис. Она расценивалась в качестве логики «искусственного мышления», основанного на вере. Которому противопоставлялось естественное мышление, базирующее на интуиции и воображении.
Новый, более высокий этап, в развитии логики начинается с 17 века. Его начало было связано с появлением работы Ф. Бэкона «Новый Органон». В этом труде автор стремиться разработать приемы исследования самой природы. Он положил начало созданию механизмов установления причинно-следственных связей с объективной реальностью. Таким образом, Бэкон стал родоначальником индуктивной логики. В дальнейшем индуктивная логика была систематизирована и значительно расширена в работах Гершеля и Милля.
Известный вклад в развитие традиционной логики внесли и русские ученые. Среди них особое место занимает Михаил Иванович Каринский. Он разработал универсальную систему выводов, разделив их на две основные группы - основанные на тождестве субъектов и на тождестве предикатов. Каринский подчеркивал независимость существующего от субъективного представления о нем, признавал объективность интеллектуального восприятия действительности как отражения ее реальных связей и отношений. Каринский предложил различие понятие логической группы и агрегата. Первое определении он относил к совокупности, характеризующейся инвариантностью(утверждаемое обо всех утверждается о каждом). Второе – к совокупности, обладающей иными свойствами, чем составляющие ее элементы.
В 19 веке была создана символическая логика. Растущие успехи в развитии математики выдвинули две фундаментальные проблемы: применение логики для разработки математических теорий и математизацию логики. При изучении проблемы взаимодействия логики и алгебры, приоритет отдавался алгебре. Г.Фреге отказался от алгебраических аналогий и разработал оригинальный символический, пригодный для использования в универсальной логической теории. Он выяснил истинную природу центрального понятия алгебры и логики – переменной. Обнаружилось родство между переменной и неопределенным местоимением.
Продолжение развития символической логики занимались Рассел и Уайтхед. Новая логика позволила с большой точностью описать формы суждений и отношения между ними. С помощью формальной логики стало возможным найти окончательные решения философских проблем.
В современной науке значение символической логики очень велико. Она находит приложение в кибернетике, нейрофизиологии, лингвистике. Символическая логика является современным этапом в развитии формальной логики. Она изучает процессы рассуждения и доказательства посредством его отображения в логических системах исчисления. Таким образом, по своему предмету эта наука является логикой, а по методу – математикой.