Логика. Шпаргалка
Шрифт:
В эпоху Возрождения логика переживала настоящий кризис. Она расценивалась в качестве логики «искусственного мышления», основанного на вере, которому противопоставлялось естественное мышление, базирующееся на интуиции и воображении.
Новый, более высокий этап, в развитии логики начинается с XVII в. Его начало было связано с появлением работы Ф. Бэкона «Новый Органон». В этом труде автор стремится разработать приемы исследования самой природы. Он положил начало созданию механизмов установления причинно—следственных связей в объективной реальности. Таким образом, Ф. Бэкон стал родоначальником индуктивной логики, в которой нашли
В дальнейшем индуктивная логика была систематизирована и значительно расширена в работах Дж. Фр. Гершеля и Дж. Ст. Милля. Последний в своем труде «Система логики» подверг критике те направления философии, согласно которым знание и поведение исходят из врожденных идей и морального чувства. «Напротив, – доказывал он, – знание имеет своим источником опыт, соединенный со способностью к ассоциации идей; моральные науки, как и науки физические, руководствуются принципом причинности».
Известный вклад в развитие традиционной логики внесли и русские ученые. Среди них особое место занимает Михаил Иванович Карин—ский. Он разработал универсальную систему выводов, разделив их на две основные группы – основанные на тождестве субъектов и на тождестве предикатов. Каринский подчеркивал независимость существующего от субъективного представления о нем, признавал объективность интеллектуального восприятия действительности как адекватного отражения ее реальных связей и отношений.
М. И. Каринский предложил различение понятий логической группы и агрегата. Первое определение он относил к совокупности, характеризующейся инвариантностью («утверждаемое обо всех утверждается о каждом»). Второе – к совокупности, обладающей иными свойствами, чем составляющие ее элементы.
12 СИМВОЛИЧЕСКАЯ ЛОГИКА
В XIX в. была создана символическая логика. Растущие успехи в развитии математики выдвинули две фундаментальные проблемы: применение логики для разработки математических теорий и математизацию логики. Попытку решения этих проблем впервые предпринял Готфрид Лейбниц. Он придал новый импульс логическим исследованиям в 1666 г., применив аппарат алгебры.
В этом алгебраическом духе прогресс периодически возобновлялся, достигнув кульминационных точек в работах Дж. Буля, О. Моргана, Ч. С. Пирса и Э. Шредера в период 1847–1877 гг. Причем следует отметить, что при изучении проблемы взаимодействия логики и алгебры приоритет всегда отдав ался алгебре. Более того, указанные ученые стремились скорее не синтезировать эти науки, а полностью подчинить логику математике. И только Г. Фреге в 1879 г. отказался от алгебраических аналогий и разработал оригинальный символический и понятийный аппарат, пригодный для использования в универсальной и эффективной логической теории. Только отойдя от полного подражания алгебре, Г. Фреге выяснил истинную природу центрального понятия алгебры и логики – переменной. Обнаружилось родство между переменной и неопределенным местоимением.
Продолжением развития символической логики занимались Б. Рассел и А. Н. Уайтхед. Новая логика позволила с большой точностью описать формы суждений и отношения между ними. На целый ряд философских вопросов, в частности касавшихся природы математики, были сразу даны новые и четкие ответы, и стало казаться, что с помощью формальной логики
Например, очень интересен подход к разрешению вечного вопроса: «В чем смысл жизни?» Сам вопрос кажется простым, хотя и не имеющим простого ответа. Но при более внимательном рассмотрении оказывается, что он тоже нуждается в прояснении. Понимаем ли мы, что такое «смысл» и что такое «жизнь»? Верно ли, что существует только один смысл и что вся жизнь имеет этот смысл? Допущения, которые мы принимаем, крайне сомнительны, следовательно, сомнительна и сама формулировка вопроса. Вопрос о смысле жизни должен быть задан как—то иначе, чтобы не были безнадежными все попытки его решения.
В современной науке значение символической логики очень велико. Она находит приложение в кибернетике, нейрофизиологии, лингвистике.
Символическая логика является современным этапом в развитии формальной логики. Она изучает процессы рассуждения и доказательства посредством его отображения в логических системах (исчислениях). Таким образом, по своему предмету эта наука является логикой, а по методу – математикой.
13 НЕКЛАССИЧЕСКАЯ ЛОГИКА
Непосредственным результатом революции, произосшедшей в логике в конце XIX – начале XX в., было возникновение логической теории, получившей название математической логики. Со временем это направление получило название классической логики.
Разнообразные неклассические направления, возникшие позднее, объединяются в такое понятие, как неклассическая логика. Возникновение новых разделов логики было связано с начавшейся в XX в. критикой классической логики.
В 1908 г. Л. Брауер, голландский математик и логик, подверг сомнению неограниченную реализацию в математических рассуждениях классических законов исключенного третьего, двойного отрицания, косвенного доказательства. Одним из результатов анализа таких рассуждений явилось возникновение интуиционистской логики, сформированной в 1930 г. А. Гейтин—гом и не содержащей указанных законов.
Еще в 1912 г. американский логик и философ К. И. Льюис обратил внимание на так называемые парадоксы импликации, характерные для формального анализа высказывания в классической логике – материальной импликации. К. И. Льюис разработал первую неклассическую теорию логического следования, в основе которой лежало понятие строгой импликации, определившейся в терминах логической невозможности. К настоящему времени предложен целый ряд теорий, претендующих на более адекватное, чем даваемое классической логикой описание логического следования и условий связи. Среди них можно отметить релевантную логику и паранепротиворечивую логику, а также многие другие. Следует отметить, что наиболее значимым из этих направлений является релевантная логика, развитая американскими логиками А. Р. Андерсоном и Н. Д. Белнапом.
На рубеже 1920–х гг. К. И. Льюисом и Я. Лу—касевичем были построены первые современные модальные логики, рассматривающие понятия «необходимость», «возможность», «случайность» и т. п.
В 1920–е гг. начали складываться новые логические теории:
1) многозначная логика, предполагающая, что утверждения могут быть не только истинными или ложными, но иметь также другие истинностные значения;
2) деонтическая логика, изучающая логические связи нормативных понятий;