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

Содержание

Слайд 2

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

Библиография

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

680 с.
Слайд 3

Возникновение логики Древняя Индия – на базе индуизма и буддизма Акпашада

Возникновение логики

Древняя Индия – на базе индуизма и буддизма
Акпашада Гаутама (VI

в. до н.э.) – представитель школы Ньяя
Дигнага (480-540) – «Об источниках познания»
Дхармакирти (VI-VII вв.) – «Капля логики», «Семь трактатов о правильном знании»

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

Логика – наука о законах и формах мышления
В древнем мире развитие логики осуществлялось в тесной взаимосвязи с философскими и религиозными школами

Слайд 4

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

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

Слайд 5

Досократики Гераклит (554-483 г. до. н.э.) – идея подвижности и непостоянства

Досократики

Гераклит (554-483 г. до. н.э.) – идея подвижности и непостоянства бытия

Пифагор

(540-500 г. до. н.э.) и пифагорейцы – учение о десяти противоположностях.
Слайд 6

Элейская школа. Апории Зенона Парменид (540-480 гг. до. н.э.) – соотношение

Элейская школа. Апории Зенона

Парменид (540-480 гг. до. н.э.) – соотношение бытия

и небытия – небытия нет, соотношение единого и многого – многое ведет к противоречиям

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

Слайд 7

Софисты Основные представители: Протагор (480-410 гг. до. н.э.), Горгий( 485-830 гг.

Софисты

Основные представители: Протагор (480-410 гг. до. н.э.), Горгий( 485-830 гг. до.

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

Сократ (470-399 гг. до. н.э.) Осуждение софистов – платные уроки, вера

Сократ (470-399 гг. до. н.э.)

Осуждение софистов – платные уроки, вера в

отсутствие истины – готовность обосновать все, что угодно
Майевтика и диалектика – метод познания, связанный с диалогом (вопросами и ответами) и рассуждением
Слайд 9

Платон (427-347 гг. до. н.э.) Ключевые диалоги: «Парменид», «Софист», «Политик», «Теэтет»

Платон (427-347 гг. до. н.э.)

Ключевые диалоги: «Парменид», «Софист», «Политик», «Теэтет»
Теория познания

– припоминание
Полемизировал с Гераклитом и Парменидом (самотождественное и многое существует)
Учение о родах и видах (они независимы от вещей, понятие «идеи»), качестве и количестве простых суждений, об определении и логическом делении
Слайд 10

Аристотель (384-322 гг. до. н.э.) Фактический основатель логики как самостоятельной науки

Аристотель (384-322 гг. до. н.э.)

Фактический основатель логики как самостоятельной науки
«Органон»:
«Категории»,

«Об истолковании», «Первая аналитика», «Вторая аналитика», «Топика», «Софистические опровержения»
Учение об истинном и ложном, о возможности и действительности (модальности), о тождестве и противоречии, об исключенном третьем
Виды и роды несамостоятельны, зависят от вещей
Теория простого категорического силлогизма – о простом присущем, о необходимо присущем и о возможно присущем
Исследовал ошибки в рассуждениях
Слайд 11

Мегарская школа Евклид (325-265 гг. до. н.э.), Стильпон (370-290 гг. до.

Мегарская школа

Евклид (325-265 гг. до. н.э.), Стильпон (370-290 гг. до. н.э.),

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

Логика в учении стоиков Старшая стоя: Зенон из Китиона (335-262 гг.

Логика в учении стоиков

Старшая стоя: Зенон из Китиона (335-262 гг. до.

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

Логика в философии Древнего Рима Идет, преимущественно, комментирование того, что было

Логика в философии Древнего Рима

Идет, преимущественно, комментирование того, что было создано

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

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

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

Слайд 15

Логика в мусульманских странах Возможные причины расцвета арабской науки и философии:

Логика в мусульманских странах

Возможные причины расцвета арабской науки и философии: более

гибкие религиозные ограничения, доступ к источникам на латыни и древнегреческом, их перевод на арабский
Аль-Кинди (800-879) – автор первых логических трактатов на арабском
Аль-Фараби (870-950) – комментарии к перипатетикам и стоикам, сокращенные и сложносокращенные силлогизмы
Абу Али Ибн Сина (Авиценна) (980-1037) – «Книга знания», «Указания и наставления», те же + учение о началах доказательства
Аль-Гази (Альгазель) (1059-1111) – «Намерения философов», «Самоопровержение философов»
Ибн Рушд (Аверроэс) (1126-1198) – «Опровержения опровержений», полемика с Альгазелем, комментарии к Аристотелю
Моше Бен Маймон (1135-1204) – «Путеводитель растерянных», «Логический словарь»
Слайд 16

Логика в Византийской империи Иоанн Дамаскин (675-753) – «Философские главы» «Источника

Логика в Византийской империи

Иоанн Дамаскин (675-753) – «Философские главы» «Источника знания»,

догматы христианства требуют логического обоснования, аргументация – оружие против ереси, необходимость изучения логики
Михаил Псел (1018-1078) – «Обозрение аристотелевского логического учения»
Слайд 17

Схоластика Западноевропейского Средневековья Старая (VI-XII вв.), Новая (XII-XIII вв.) и Новейшая

Схоластика Западноевропейского Средневековья

Старая (VI-XII вв.), Новая (XII-XIII вв.) и Новейшая (XIV

в.) логика
Пьер Абеляр (1078-1142) – «Логика для начинающих». концептуалист (универсалии реальны в голове), комментатор Аристотеля и Порфирия
Фома Аквинский (1225-1274) – «Сумма теологии» : роды + виды = материальные и нематериальные формы
Дунс Скотт (1270-1308) – роды и виды – общие понятия (концепты), ввел индивидальные концепты (единичные понятия)
Раймунд Луллий (1235-1315) – основоположник комбинаторной логики: исчерпывающий список строго определенных понятий комбинируется различным образом, определяется истинность таких комбинаций
Уильям Оккам (1285-1349) – универсалии существуют только в языке, терминизм – учение о первичных и вторичных терминах
Жан Буридан (1300-1358) – различение очевидных и логических посылок, вопрос от доводов от авторитета
Слайд 18

Проблема универсалий – реалисты, номиналисты, концептуалисты Реалисты – универсалии самостоятельно существуют

Проблема универсалий – реалисты, номиналисты, концептуалисты

Реалисты – универсалии самостоятельно существуют в

действительности и в уме
Ансельм Кентерберийский (1033-1109)

Номиналисты – универсалии не существуют самостоятельно ни в действительности, ни в уме
Росцелин (1050-1110)
Уильям Оккам (1285-1349)
Жан Буридан (1300-1358)

Фома Аквинский (1225-1274) – универсалии есть в уме Творца, в вещах и умах людей

Слайд 19

Логика в эпоху Возрождения Основные школы: последователи Аристотеля, последователи Альберта Великого,

Логика в эпоху Возрождения

Основные школы: последователи Аристотеля, последователи Альберта Великого, томисты,

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

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

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

Слайд 21

Рене Декарт и Френсис Бэкон Рене Декарт (1596-1650) «Рассуждения о методе

Рене Декарт и Френсис Бэкон

Рене Декарт (1596-1650)
«Рассуждения о методе ...» (1637),

«Размышления о первой философии» (1641)
Требование ясности, требования разделять проблему на составляющие, идти от простого к сложному, изучать проблему наиболее полно

Френсис Бэкон (1561-1626)
«Новый органон» (1620)
Индуктивная логика: метод сходства и различия, полная и неполная индукция, вопрос о значение чувственного опыта
Учение о четырех призраках (фантазмах): рода, пещеры, рынка, театра
Таблицы сходства, различия и степени

Слайд 22

«Логика Пор-Рояля» Развитие идей Пьера Рамэ Авторы: Антуан Арно (1612-1694), Пьер

«Логика Пор-Рояля»

Развитие идей Пьера Рамэ
Авторы: Антуан Арно (1612-1694), Пьер Николь (1625-1695)
Части:


О понятиях
О суждениях
Об умозаключениях
О методе
Слайд 23

Готфрид Лейбниц (1646-1716) Разделял идеи комбинаторной логики – «Алфавит человеческих мыслей»

Готфрид Лейбниц (1646-1716)

Разделял идеи комбинаторной логики – «Алфавит человеческих мыслей»
Идея общности

логики и математики
Истины разума и истины факта
Идея возможных миров
Закон достаточного основания
Ученики и последователи: Христиан Вольф (1679-1754), Готфрид Плуке (1716-1790), Иоганн Ламберт (1728-1777)
Слайд 24

Георг Гегель (1770-1831) «Наука логики» Учение о мышлении на базе абсолютного

Георг Гегель (1770-1831)

«Наука логики»
Учение о мышлении на базе абсолютного идеализма Гегеля
Диалектическая

логика – идея триады: тезис, антитезис, синтез (снятие) – третье понятие опосредует первые два
В дальнейшем учение развивалась в работах К. Маркса и представителей диалектического материализма – законы диалектики
Слайд 25

Логика и математика. Индукция и дедукция Дедуктивисты: Бернардо Больцано (1781-1848) –

Логика и математика. Индукция и дедукция

Дедуктивисты:
Бернардо Больцано (1781-1848) – «Наукоучение», «Парадоксы

бесконечного»: различие психического и логического суждения, логическое следование, основоположник теории множеств
Морице Дробише (1802-1896) – «Новое изложение логики»
Уильям Гамильтон (1788-1856) – «Лекции по метафизике и логике», расширенная система категорической силлогистики

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

Слайд 26

Дальнейшая математизация логики Огастес (Август) Де Морган (1806-1871) – «Первые понятия

Дальнейшая математизация логики

Огастес (Август) Де Морган (1806-1871) – «Первые понятия логики»,

«Формальная логика...», первая формализованная логика отношений
Джордж Буль (1815-1864) – «Математический анализ логики», «Законы мысли», алгебра логики: идея рассмотрения истинности и ложности в виде чисел – буленовская алгебра, буленовские числа
Эрнст Шредер (1841-1902) – «Лекции по алгебре логики» – доработка идей Буля
Чарльз Пирс (1839-1914) – «Об алгебре логики», учение о степенях непрерывности
Слайд 27

Готтлоб Фреге (1848-1925) Логическое исчисление и логика предикатов – окончательное оформление

Готтлоб Фреге (1848-1925)

Логическое исчисление и логика предикатов – окончательное оформление

союза логики и математики: «Исчисление понятий», «Осмысление значений»,
Иерархическое построение логики: пропозициональные переменные и логические связки (конъюнкция, дизъюнкция, импликация, отрицание)
Построение логики исчисления на базе шести пропозициональных формул – аксиом
Семиотика – различие значения и смысла
Слайд 28

Principia Mathematica (1910, 1912, 1913) Авторы: Бертран Рассел (1872-1970), Альфред Уайтхед

Principia Mathematica (1910, 1912, 1913)

Авторы: Бертран Рассел (1872-1970), Альфред Уайтхед (1861-1947)
Сведение

математики и логике – логисцизм и его обоснование
Теория типов – разрешение логических парадоксов, связанных с теорией множеств
Формулировка аксиом бесконечности и сводимости
P.S. Гедель в 1931 году все испортил ограничил
Слайд 29

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

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

Слайд 30

Зарождение логики в России Андрей Михайлович Курбский (1528-1583) – издатель и

Зарождение логики в России

Андрей Михайлович Курбский (1528-1583) – издатель и комментатор

первых трудов по логике на территории современной России, осознававший значение логики в дискуссиях
Софроний Лихуд (1652-1730) – руководитель будущей Славяно-греко-латинской академии в Москве, трактат «Яснейшее изложение всего логического действования» на греческом
Макарий Петрович (...-1766) – «Логика» (1758) – первый учебник по логике на русском языке
Михайло Ломоносов (1711-1765) – первый, кому повезло с изданием работ по логике, «Краткое руководство к риторике» (1744), «Краткое руководство к красноречию» (1748)
Слайд 31

XVIII-XIX век Леонард Эйлер (1707-1783) – опубликовал на русском языке работу

XVIII-XIX век

Леонард Эйлер (1707-1783) – опубликовал на русском языке работу «Письма

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

XX век Наиболее крупные представители: Николай Александрович Васильев (1880-1940), Сергей Иннокентьевич

XX век

Наиболее крупные представители: Николай Александрович Васильев (1880-1940), Сергей Иннокентьевич

Поварнин (1870-1952), Александр Иванович Введенский (1856-1941):
Николай Онуфриевич Лосский (1870-1965)
Иван Иванович Лапшин (1870-1952)
1920-е – Начало гонений на логику в СССР
1946 – Постановление ЦК ВКП(Б) «О преподавании логики и психологии в средней школе»
1947/48 – Возращение преподавания логики как дисциплины
1948 - Всесоюзное совещание по логике – критика математической логики