Логика современная(символическая) и традиционная.

В Средние века(6-14в.) логика была в значительной степени подчинена богословию. В этот период теоретический поиск в логике развернулся вокруг проблемы объяснения общих понятий. При этом на протяжении Средних веков систематическая разработка формальной логики почти не выходила за пределы силлогистики. Основателем логики считается сирийский математик Аль-Фараби. Его логика направлена на анализ научного мышления. Он выделяет в логике две ступени: одна охватывает представления и понятия, другая - теорию суждений, выводов и доказательств.

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

Новый, более высокий этап, в развитии логики начинается с 17 века. Его начало было связано с появлением работы Ф. Бэкона «Новый Органон». В этом труде автор стремиться разработать приемы исследования самой природы. Он положил начало созданию механизмов установления причинно-следственных связей с объективной реальностью. Таким образом, Бэкон стал родоначальником индуктивной логики. В дальнейшем индуктивная логика была систематизирована и значительно расширена в работах Гершеля и Милля.

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

В 19 веке была создана символическая логика. Растущие успехи в развитии математики выдвинули две фундаментальные проблемы: применение логики для разработки математических теорий и математизацию логики. При изучении проблемы взаимодействия логики и алгебры, приоритет отдавался алгебре. Г.Фреге отказался от алгебраических аналогий и разработал оригинальный символический, пригодный для использования в универсальной логической теории. Он выяснил истинную природу центрального понятия алгебры и логики – переменной. Обнаружилось родство между переменной и неопределенным местоимением.

Продолжение развития символической логики занимались Рассел и Уайтхед. Новая логика позволила с большой точностью описать формы суждений и отношения между ними. С помощью формальной логики стало возможным найти окончательные решения философских проблем.

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

Дата добавления: 2015-07-19