Логика. Шпаргалка - Сергей Давыдов

3) качество (например, «белый»);

4) отношение (например, «больше»);

5) место (например, «в Ликее»);

6) время (например, «вчера»);

7) состояние (например, «ходьба»);

8) обладание (например, «быть вооруженным»);

9) действие (например, «рубить» или «жечь»);

10) претерпевание (например, «быть разрубаемым» или «быть сжигаемым»).

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

11 ИСТОРИЯ РАЗВИТИЯ ТРАДИЦИОННОЙ ЛОГИКИ

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

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

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

В дальнейшем индуктивная логика была систематизирована и значительно расширена в работах Дж. Фр. Гершеля и Дж. Ст. Милля. Последний в своем труде «Система логики» подверг критике те направления философии, согласно которым знание и поведение исходят из врожденных идей и морального чувства. «Напротив, – доказывал он, – знание имеет своим источником опыт, соединенный со способностью к ассоциации идей; моральные науки, как и науки физические, руководствуются принципом причинности».

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

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

12 СИМВОЛИЧЕСКАЯ ЛОГИКА

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

В этом алгебраическом духе прогресс периодически возобновлялся, достигнув кульминационных точек в работах Дж. Буля, О. Моргана, Ч. С. Пирса и Э. Шредера в период 1847–1877 гг. Причем следует отметить, что при изучении проблемы взаимодействия логики и алгебры приоритет всегда отдав ался алгебре. Более того, указанные ученые стремились скорее не синтезировать эти науки, а полностью подчинить логику математике. И только Г. Фреге в 1879 г. отказался от алгебраических аналогий и разработал оригинальный символический и понятийный аппарат, пригодный для использования в универсальной и эффективной логической теории. Только отойдя от полного подражания алгебре, Г. Фреге выяснил истинную природу центрального понятия алгебры и логики – переменной. Обнаружилось родство между переменной и неопределенным местоимением.

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

Например, очень интересен подход к разрешению вечного вопроса: «В чем смысл жизни?» Сам вопрос кажется простым, хотя и не имеющим простого ответа. Но при более внимательном рассмотрении оказывается, что он тоже нуждается в прояснении. Понимаем ли мы, что такое «смысл» и что такое «жизнь»? Верно ли, что существует только один смысл и что вся жизнь имеет этот смысл? Допущения, которые мы принимаем, крайне сомнительны, следовательно, сомнительна и сама формулировка вопроса. Вопрос о смысле жизни должен быть задан как—то иначе, чтобы не были безнадежными все попытки его решения.

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

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

13 НЕКЛАССИЧЕСКАЯ ЛОГИКА

Непосредственным результатом революции, произосшедшей в логике в конце XIX – начале XX в., было возникновение логической теории, получившей название математической логики. Со временем это направление получило название классической логики.

Разнообразные неклассические направления, возникшие позднее, объединяются в такое понятие, как неклассическая логика. Возникновение новых разделов логики было связано с начавшейся в XX в. критикой классической логики.

В 1908 г. Л. Брауер, голландский математик и логик, подверг сомнению неограниченную реализацию в математических рассуждениях классических законов исключенного третьего, двойного отрицания, косвенного доказательства. Одним из результатов анализа таких рассуждений явилось возникновение интуиционистской логики, сформированной в 1930 г. А. Гейтин—гом и не содержащей указанных законов.

Еще в 1912 г. американский логик и философ К. И. Льюис обратил внимание на так называемые парадоксы импликации, характерные для формального анализа высказывания в классической логике – материальной импликации. К. И. Льюис разработал первую неклассическую теорию логического следования, в основе которой лежало понятие строгой импликации, определившейся в терминах логической невозможности. К настоящему времени предложен целый ряд теорий, претендующих на более адекватное, чем даваемое классической логикой описание логического следования и условий связи. Среди них можно отметить релевантную логику и паранепротиворечивую логику, а также многие другие. Следует отметить, что наиболее значимым из этих направлений является релевантная логика, развитая американскими логиками А. Р. Андерсоном и Н. Д. Белнапом.