История логики

1.

Логика
Лекция 1. История логики

2.

Библиография
Логика. Учебник. Под ред. А.И. Мигунова и
др. Москва: Проспект, 2011. 680 с.

3.

Возникновение логики
Логика – наука о законах и формах мышления
В древнем мире развитие логики осуществлялось в
тесной взаимосвязи с философскими и религиозными
школами
Древняя Индия – на Древний Китай
базе индуизма и
Мо Цзы (470-391 гг. до.
буддизма
н.э.) – основоположник
–
Акпашада Гаутама
(VI в. до н.э.) –
представитель
логики в Древнем
Китае, основатель
школы Моистов:
Хо Ши (350-260 гг. до.

4.

Логика в Античности

5.

Досократики
Гераклит (554-483 г.
до. н.э.) – идея
подвижности и
непостоянства
бытия
Пифагор (540-500 г.
до. н.э.) и
пифагорейцы –
учение о десяти
противоположностя
х.

6.

Элейская школа. Апории Зенона
Парменид (540-480 Зенон (490-430 гг. до.
гг. до. н.э.) –
н.э.) – апории –
соотношение бытия
суждения, ведущие
и небытия –
к парадоксам:
небытия нет,
«Ахилл и
соотношение
черепаха»,
единого и многого
«Стрела»,
– многое ведет к
«Дихотомия»,
противоречиям
«Стадий»

7.

Софисты
Основные представители: Протагор (480410 гг. до. н.э.), Горгий( 485-830 гг. до. н.э.),
Продик (465-395 гг. до. н.э.)
Логика для софистов – искусство
аргументации, которому можно обучать.
Обосновать можно все, что угодно.

8.

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

9.

Платон (427-347 гг. до. н.э.)
Ключевые диалоги: «Парменид», «Софист»,
«Политик», «Теэтет»
Теория познания – припоминание
Полемизировал с Гераклитом и
Парменидом (самотождественное и многое
существует)
Учение о родах и видах (они независимы от
вещей, понятие «идеи»), качестве и
количестве простых суждений, об

10.

Аристотель (384-322 гг. до. н.э.)
Фактический основатель логики как
самостоятельной науки
«Органон»:
«Категории», «Об истолковании», «Первая аналитика», «Вторая
аналитика», «Топика», «Софистические опровержения»
Учение об истинном и ложном, о
возможности и действительности
(модальности), о тождестве и
противоречии, об исключенном третьем

11.

Мегарская школа
Евклид (325-265 гг. до. н.э.), Стильпон (370290 гг. до. н.э.), Эвбулид (IV в. до. н.э.)
–
Изучение логики и логических парадоксов:
«Лжец», «Куча», «Рогатый», и другие
Младшие мегарики: Диодор Кронос (IV в.
до. н.э.),
Фелон Мегарский (IV-III вв. до. н.э.)
–
Вопрос о смысле условных суждений – строгая
или материальная импликация

12.

Логика в учении стоиков
Старшая стоя: Зенон из Китиона (335-262 гг.
до. н.э.) и Хрисипп (280-204 гг. до. н.э.)
Рассматриваемые вопросы: Категории,
рода и виды, качества и количество
суждений («Логический квадрат»),
категорический силлогизм, логические
ошибки
Нововведения: учение об условных,
разделительных и соединительных

13.

Логика в философии Древнего
Рима
Идет, преимущественно, комментирование
того, что было создано в Древней Греции
Дискуссии Перипатетики vs. Стоики
Порфирий (233-300) – «Введение к
«Категориям» Аристотеля»: род, вид,
видовое отличие, собственные и
привходящие признаки, постановка
проблемы существования родов и видов
(далее – проблема универсалий). «Древо

14.

Логика в Средние века

15.

Логика в мусульманских странах
Возможные причины расцвета арабской
науки и философии: более гибкие
религиозные ограничения, доступ к
источникам на латыни и древнегреческом,
их перевод на арабский
Аль-Кинди (800-879) – автор первых
логических трактатов на арабском
Аль-Фараби (870-950) – комментарии к
перипатетикам и стоикам, сокращенные и

16.

Логика в Византийской империи
Иоанн Дамаскин (675-753) – «Философские
главы» «Источника знания», догматы
христианства требуют логического
обоснования, аргументация – оружие
против ереси, необходимость изучения
логики
Михаил Псел (1018-1078) – «Обозрение
аристотелевского логического учения»

17.

Схоластика Западноевропейского
Средневековья
Старая (VI-XII вв.), Новая (XII-XIII вв.) и
Новейшая (XIV в.) логика
–
Пьер Абеляр (1078-1142) – «Логика для
начинающих». концептуалист (универсалии
реальны в голове), комментатор Аристотеля и
Порфирия
–
Фома Аквинский (1225-1274) – «Сумма
теологии» : роды + виды = материальные и
нематериальные формы
–
Дунс Скотт (1270-1308) – роды и виды – общие

18.

Проблема универсалий –
реалисты, номиналисты,
Номиналисты –
Реалисты –концептуалисты
универсалии
самостоятельно
существуют в
действительности и
в уме
–
Ансельм
Кентерберийский
(1033-1109)
универсалии не
существуют
самостоятельно ни
в действительности,
ни в уме
Росцелин (1050-1110)
Уильям Оккам (12851349) есть в уме
Фома Аквинский (1225-1274) – универсалии
Творца, в вещах и умах людей
Жан Буридан (1300-1358)

19.

Логика в эпоху Возрождения
Основные школы: последователи
Аристотеля, последователи Альберта
Великого, томисты, скоттисты, оккамисты
Противники схоластической логики –
абстрактность, сложность, непрактичность
Луллисты: Рудольф Агрикола (1443-1485),
Агриппа Неттесхеймский (1486-1535),
Джоржано Бруно (1548-1600)
Пьер Рамэ (1515-1572) – «Осуждение

20.

Логика в Новое время и эпоху
Просвещения

21.

Рене Декарт и Френсис Бэкон
Рене Декарт (15961650)
–
–
«Рассуждения о
методе ...» (1637),
«Размышления о
первой философии»
(1641)
Требование
ясности,
требования
Френсис Бэкон (15611626)
«Новый органон» (1620)
Индуктивная логика:
метод сходства и
различия, полная и
неполная индукция,
вопрос о значение
чувственного опыта
Учение о четырех
призраках (фантазмах):

22.

«Логика Пор-Рояля»
Развитие идей Пьера Рамэ
Авторы: Антуан Арно (1612-1694), Пьер
Николь (1625-1695)
Части:
–
О понятиях
–
О суждениях
–
Об умозаключениях
–
О методе

23.

Готфрид Лейбниц (1646-1716)
Разделял идеи комбинаторной логики –
«Алфавит человеческих мыслей»
Идея общности логики и математики
Истины разума и истины факта
Идея возможных миров
Закон достаточного основания
Ученики и последователи: Христиан Вольф
(1679-1754), Готфрид Плуке (1716-1790),

24.

Георг Гегель (1770-1831)
«Наука логики»
Учение о мышлении на базе абсолютного
идеализма Гегеля
Диалектическая логика – идея триады:
тезис, антитезис, синтез (снятие) – третье
понятие опосредует первые два
В дальнейшем учение развивалась в
работах К. Маркса и представителей
диалектического материализма – законы

25.

Логика и математика. Индукция
и дедукция
Дедуктивисты:
–
Бернардо Больцано
(1781-1848) –
«Наукоучение»,
«Парадоксы
бесконечного»:
различие
психического и
логического
суждения,
логическое
Индуктивисты:
Джон Стюарт Милль
(1806-1873) – «Обзор
философии сэра
Уильяма Гамильтона»,
«Система логики
силлогистической и
индуктивной» - идея
отсутствия априорно
истинных суждений –
все выводы
индуктивны

26.

Дальнейшая математизация
логики
Огастес (Август) Де Морган (1806-1871) –
«Первые понятия логики», «Формальная
логика...», первая формализованная логика
отношений
Джордж Буль (1815-1864) –
«Математический анализ логики», «Законы
мысли», алгебра логики: идея
рассмотрения истинности и ложности в
виде чисел – буленовская алгебра,
буленовские числа

27.

Готтлоб Фреге (1848-1925)
Логическое исчисление и логика
предикатов – окончательное оформление
союза логики и математики: «Исчисление
понятий», «Осмысление значений»,
Иерархическое построение логики:
пропозициональные переменные и
логические связки (конъюнкция,
дизъюнкция, импликация, отрицание)
Построение логики исчисления на базе

28.

Principia Mathematica (1910,
1912, 1913)
Авторы: Бертран Рассел (1872-1970),
Альфред Уайтхед (1861-1947)
Сведение математики и логике – логисцизм
и его обоснование
Теория типов – разрешение логических
парадоксов, связанных с теорией множеств
Формулировка аксиом бесконечности и
сводимости

29.

Логика в России

30.

Зарождение логики в России
Андрей Михайлович Курбский (1528-1583)
– издатель и комментатор первых трудов по
логике на территории современной России,
осознававший значение логики в
дискуссиях
Софроний Лихуд (1652-1730) –
руководитель будущей Славяно-греколатинской академии в Москве, трактат
«Яснейшее изложение всего логического
действования» на греческом

31.

XVIII-XIX век
Леонард Эйлер (1707-1783) – опубликовал
на русском языке работу «Письма о разных
физических и филозофических материях,
писанныя к некоторой немецкой
принцессе» (1768-1774), где ввел
схематические изображения суждений –
будущие круги Эйлера
Яков Павлович Козельский (1729-1794) –
«Философические предложения...» (1768)

32.

XX век
Наиболее крупные представители: Николай
Александрович Васильев (1880-1940),
Сергей Иннокентьевич Поварнин (18701952), Александр Иванович Введенский
(1856-1941):
–
Николай Онуфриевич Лосский (1870-1965)
–
Иван Иванович Лапшин (1870-1952)
1920-е – Начало гонений на логику в СССР
1946 – Постановление ЦК ВКП(Б) «О

33.

Благодарю за внимание!