3. Основные этапы развития логики
Краткий курс не дает возможности подробно осветить историю логики. Рекомендую прочитать материалы, изложенные в главе 1 учебника: В.И. Курбатов. Логика: Систематический курс. – Ростов н/Д.: Феникс, 2001. – С. 3–83.
Автор выделяет отдельными параграфами:
первые логические учения античности (элементы логики у Парменида, Гераклита, Зенона, логико-риторические проблемы у софистов, логическая проблематика у Демокрита и Сократа, идеи мегарской школы, логико-методологические идеи Платона);
логику Аристотеля (его методологию, учения о суждениях, теорию силлогизма);
логику стоиков, эпикурейцев и скептиков;
средневековую логику (логические идеи Фомы Аквинского, эпистемологию Дунса Скота, эпистемологию и логику Уильяма Оккама);
логику эпохи Возрождения (Пьер де ля Рамэ, Рене Декарт, Антуан Арно и Пьер Николь);
логические идеи Готфрида Вильгельма Лейбница;
трансцендентальную логику Иммануила Канта;
диалектическую логику Георга Вильгельма Фридриха Гегеля.
Интересный анализ современных логических учений дан в 9 главе учебника: Гетманова А.Д. Учебник логики / 5-е изд. – М.: Айрис-пресс, 2003. – С. 272–338. Автор:
дает краткие сведения из истории классической и неклассической логики (логику Древней Индии, Древней Греции, Древнего Китая, средних веков, нового времени; развитие логики в России; математическую логику);
описывает развитие логики в связи с проблемой математики (на примерах логики Готтлоба Фреге, Бертрана Рассела);
характеризует особенности многозначных логик (трехзначные системы Яна Лукасевича, Гейтинга, Д.А. Бочвара, n-значную систему Поста, трехзначную систему Ханса Рейхенбаха; бесконечную логику или бесконечнозначимую систему);
характеризует интуиционистскую логику (Л. Бауэр, А.Гейтинг);
описывает конструктивную логику (А.Н. Колмогоров, В.И. Гливенко, А.А. МСарков);
дает основы модальной логики;
приводит понятие положительных логик.
Характеристики современных логических учений, приведенные в учебнике А.Д. Гетмановой, трудно оценить, усвоить без предварительного изучения основ логики.
Классификация логических учений
А. По признаку используемых методов исследования выделяют:
Традиционная формальная логика. Берет начало с работ Аристотеля (384–322 до н.э.). Включает такие разделы как понятие, суждение, умозаключение, законы логики, доказательство, опровержение, гипотеза.
Математическая (или символическая) логика. Ее основоположник – немецкий философ Г.В. Лейбниц (1646–1716). Начиная с Лейбница в логике используется метод формализации как метод исследования, имеющий общенаучный характер (ранее применялся только как метод математического исследования).
Б. По признаку применяемых принципов исследования выделяют:
Классическая логика. Основополагающие принципы классической логики: 1) область исследования составляют обыденные рассуждения, рассуждения в классических науках; 2) допущение о разрешимости любой проблемы; 3) отвлечение от содержания высказываний и от связей по смыслу между ними; 4) абстракция двузначности высказываний.
Неклассическая (модальная) логика. Логическая теория модальностей (модальных операторов), применяемых к высказываниям или предикатам; играет важную роль в логической семантике.
МОДАЛЬНОСТЬ, категория, выражающая отношение говорящего к содержанию высказывания, отношение последнего к действительности. Модальность может иметь значение утверждения, приказания, пожелания и др. Выражается специальными формами наклонений, интонацией, модальными словами (напр., «возможно», «необходимо», «должен»); в логике такие слова называются модальными операторами, с их помощью указывается способ понимания суждений (высказываний).
Современная логика – сложнейшая и высокоразвитая система знаний. Она включает в себя множество направлений, отдельных, относительно самостоятельных учений («логик»), все более полно выражающих запросы практики и в конечном счете отражающих многообразие и сложность окружающего мира.
Диалектическая логика. Диалектический подход основан на принципах всеобщей связи, изменения и развития. С появлением диалектической логики (начиная с И. Канта) общую логику как раз и стали именовать формальной.