18.Понятие и предмет логики. Исторические этапы развития логики

18. Понятие и предмет логики. Исторические этапы развития логики.

Согласно традиционному определению, логика — это наука об общезначимых формах мысли (понятиях, суждениях, умозаключениях), о правилах их образования и вывода, об отношениях между значениями понятий, а также о способах их формализации. Являясь наукой о мышлении, логика не занимается законами психологического процесса мышления. Тогда какой же аспект мысли изучает логика? Прежде всего — артикуляцию мысли в языке. Именно язык есть тот исходный, сырой материал, с которым работает логика. Проблема логики возникает в силу того, что выражение мысли в языке приводит к искажению характера знания. Смысл философии логики состоит в том, чтобы путем анализа языковых форм мысли реконструировать изначальную структуру знания, восстановить картину мира по углу ее преломления в мысли и языке. Исходя из этого предмет логики не может быть ограничен только формальной стороной, т.е. изучением форм мысли в их внутренних взаимоотношениях. Он включает в себя также онтологический и гносеологический аспекты. Онтологическая грань логики выражает необходимые взаимосвязи между вещами. В этом смысле логика предстает как «логика вещей» или «логика фактов». Это тот первичный образ мира, который и должен быть реконструирован философией логики. Философия логики призвана прояснить этот язык, определить оптимальную структуру суждения (высказывания), которая бы соответствовала структуре мира. Гносеологическая грань логики — это универсальные взаимосвязи между понятиями, или сущностями вещей, в их внешнем отношении к миру. В этом смысле логика выступает как «логика понятий» или «логика идей». И наконец, собственно формально-логическая грань логики выражает универсальные взаимосвязи между понятиями, суждениями и умозаключениями не со стороны их конкретного содержания и отношения к внешнему миру, а со стороны их структуры и общей формы, со стороны внутренних отношений между значениями понятий. В этом смысле логика предстает как «логика доказательств и опровержений» или как «логика правильного рассуждения». Многогранность предмета логики является причиной ее смысловой многозначности в истории философии. Например', «диалектическая логика» Г.В.Ф. Гегеля и К. Маркса выражает единство онтологического и гносеологического аспектов логики. «Трансцендентальная логика» И. Канта или «чистая (феноменологическая) логика» Э. Гуссерля означают гносеологический аспект логики. Современная «символическая логика», или «логистика», выражает формальную грань логики. Но все три аспекта логики имеют общий корень — целостную объективную реальность, становящуюся предметом рационального мышления. И в этом смысле логику можно определить как формализованную философию рационального мышления. Термин «логика» был введен стоиками в значении одной из частей философии, наряду с физикой и этикой. Логика имела здесь прежде всего онтологический и гносеологический смысл. Родоначальник логики как таковой — Аристотель — не употребляет понятие «логика», тем более «логика формальная». Термин «формальная» по отношению к аристотелевской и схоластической логике впервые применил Кант. Сам же Аристотель пользуется словом «аналитика», подразумевая под ним достоверное знание. Изначально логические трактаты Аристотеля не имели общего названия. И только в I в. до н.э. их объединили под общим именем «Органон» («инструмент»). Стоики для обозначения «формальной логики» использовали термин «Диалектика», который перешел от поздней античности к Средним векам. Одна из первых работ, ознаменовавшая возрождение логики, 1— «Диалектика» П. Абеляра. Наряду с этим Абеляр использует и термин «логика», например в трактате «Логика "для начинающих"», и постепенно этот термин получает все более широкое распространение. Окончательная реабилитация термина «логика» принадлежит влиятельному в свое время произведению «Логика, или Искусство мыслить» (1662), известному также как логика Пор-Рояля. Дальнейшее утверждение в науке термина «логика» связано с именами Канта и Гегеля («Наука Логики»). И хотя они противопоставляли свои варианты «трансцендентальной» и «диалектической» логики «формальной» логике аристотелевского типа, это нисколько не отразилось на судьбе самого термина. Современная наука об общезначимых формах мысли не могла найти лучшего термина, прибавив только к слову «логика» прилагательные «математическая» или «символическая». Лишь на самой родине Канта и Гегеля термин «логика» сочли метафизически скомпрометированным, заменив его словом «логистика».

Историю логики принято подразделять на три основных этапа: античная логика (V в. до н.э. — IV в. н.э.), схоластическая логика (V в. н.э. — первая половина XIX в.) и современная логика (вторая половина XIX—XX в.). Античную и схоластическую логику обычно объединяют под общим названием «традиционная формальная логика», в то время как современную логику принято называть символической (математической) логикой или логистикой. Как видим, такое деление не совпадает с периодизацией философии в целом. Переворот в логике приходится не на первую половину XVII в., как это имело место в философии в период ее перехода от схоластических к эмпирическим и рационалистическим методам исследования, а на первую половину XIX в., т.е. на два столетия позже. Конечно, зачатки современной логики встречаются и раньше, например у Г.В. Лейбница (начало XVIII в.), которого можно считать, предтечей современной логики. Однако в целом новая философия оставалась в русле традиционной логики. Достаточно сказать, что такие критики схоластики и метафизики, как Ф. Бэкон и И. Кант, не касались критики языка и логических форм мышления. Современную логику отличает совершенно иной символический, формализованный язык. Это язык математических и логических знаков и формул. И не случайно, что в обновлении логики ведущую роль сыграли математики (в XIX в. — О. де Морган, Дж. Буль, Э. Шредер и др.; в XX в. — Г. Фреге, Дж. Пеано, Д. Гильберт и др.). Философы же (Б. Рассел, Л. Витгенштейн и др.) лишь подхватили этот почин, не желая, чтобы новая логика полностью отпочковалась от философии. Основные достижения античной логики связаны с именем Аристотеля. Аристотель был первым, кто отделил логическую форму речи от ее содержания, что привело к открытию субъектно-предикатной формы «языка философии» (как утвердительного или отрицательного высказывания «чего-либо о чем-либо»). В итоге Аристотель создал теорию силлогизма, составляющую ядро традиционной, формальной логики. Силлогизм — это система логически взаимосвязанных высказываний, каждое из которых имеет одну из следующих четырех форм: 1) «Всякое S есть Р» (форма общеутвердительных высказываний, например «все люди смертны»); 2) «Всякое S не есть Р» (форма общеотрицательных высказываний — «ни один человек не имеет крыльев»); 3) «Некоторое S есть Р» (форма частноутвердительных высказываний — «некоторые люди рождаются через кесарево сечение»); 4) «Некоторое S не есть Р» (форма частноотрицательных высказываний — «некоторые люди не умеют плавать»). Аристотель изучил условия построения силлогизмов, указал правила логического вывода, дал первую классификацию логических ошибок, Заложил основы учения о логическом доказательстве (обосновании истинности суждения). Наряду с этим в античной логике были открыты основные логические принципы (законы): принцип непротиворечивости и принцип исключенного третьего; выявлены и проанализированы логические парадоксы (например, «парадокс лжеца»: если человек говорит о себе: «я лгу», то лжет ли он на самом деле или говорит правду?); создана теория спора или «искусство спора» — эристика и т.д. Схоластическая логика представлена прежде всего именами П. Абеляра, Дунса Скота, У. Оккама, Ж. Буридана, которые, развивая традицию аристотелевской силлогистики, предприняли первые попытки аксиоматизации логики высказываний и математизации логических выводов. Переход к логике Нового времени отмечен созданием так называемой логики Пор-Рояля, в рамках которой наука об общезначимых формах мысли рассматривается как методология всех других наук и подразделяется на четыре части: 1) учение о понятиях, 2) учение о суждениях, 3) учение об умозаключениях и 4) учение о методах и правилах доказательства. Качественный скачок в развитии традиционной формальной логики связан с именем Лейбница, выдвинувшего идею логического доказательства как вычисления, подобного математическому. Лейбниц был не только выдающимся метафизиком, но и выдающимся математиком своего времени, что и позволило ему совершить первый прорыв в логике. К его заслугам относится обоснование возможности универсального логического языка, формализующего рассуждения. Возможности формализации и математизации логики Лейбниц продемонстрировал на примере арифметизации силлогистики. Наряду с этим Лейбниц впервые сформулировал логический принцип достаточного основания и дал точную формулировку принципа тождества. Вместе с принципами непротиворечивости и исключенного третьего они составляют содержательную основу так называемой классической логики, которая объединяет в себе как идеи традиционной формальной логики, так и идеи современной символической логики. В философском отношении переход от традиционной к современной логике выразился прежде всего в изменении структуры суждения (высказывания) субъектно-предикатного типа. В современной логике понятие предиката обобщается до понятия пропозициональной функции, что существенно расширяет возможности отображения «логики вещей» в естественном языке и одновременно сближает этот язык с языком математики.