История логических учений: компаративистский аспект

Учебная дисциплина «История логических учений: компаративистский аспект»
Цель изучения дисциплины	Цель курса – подготовка магистров специальности «Философия», способных дать теоретическое объяснение путей развития логики, а также отобразить связь различных логических концепций с культурой своего времени. Задачей освоения дисциплины «История логических учений» является определение места логики в системе философских дисциплин (с учетом исторической эволюции взглядов на этот вопрос), а также знакомство с основополагающими логическими концепциями, демонстрирующими, как развивается, эволюционирует понятие рациональности в философском мировоззрении.
Компетенции, формируемые в результате освоения дисциплины	ОК-2 ОК-3 ОК-7 ПК-1 ПК-3 ПК-7 ПК-9
Знания, умения и навыки, получаемые в процессе изучения дисциплины	Знать: - о генезисе рационально мышления и об основных этапах развития логики; - о различных образах логики; - о роли логики в становлении ведущих философских систем; - о месте логики в системе философских дисциплин; - о важнейших типах и видах логик, и их значении для философских и научных исследований. Уметь: - понимать специальные научные и философские тексты и грамотно работать с ними; - анализировать типы логической аргументации, используемые в научных и философских текстами. Владеть навыком самостоятельного подхода к изучению специальных областей знания.
Краткая характеристика учебной дисциплины (основные блоки и темы)	Тема 1. Введение в историю логики: Основные этапы развития логики. Образ логики. История логики как наука об изменении представлений о законах и формах правильных рассуждений, способах их исследовании и философской интерпретации. Образ логики – это восприятие научным сообществом состава логики и ее роли в науке и культуре. Он диктует отбор материала, определение предметной области логики и их философскую интерпретацию. Основные этапы развития логики: традиционная логика как совокупность теорий, исследующих форму рассуждений с помощью естественного языка с использованием переменных; символическая логика как совокупность теорий, исследующих форму рассуждений, при помощи формализованных языков, построенных по образцу математических языков. Тема 2. Предыстория логики в Древней Греции до Аристотеля: Милетская, Пифагорейская и Элейская школа. Софисты и Сократ. Платон. Начало греческой философии и генезис рациональности. Зарождение логического мышления в ионийской и италийской философии: Фалес, Пифагор, Парменид. Первая ступень рационального обоснования – диалектическое обоснование, т. е. обоснование убеждений в диалоге. Рациональные рассуждения у софистов и Сократа. Горгий, Протагор «Ис­кусство спорить», сократический метод – майевтика как вид диалектики. Платон: диалектика и логические законы. Разработка Платоном теории понятий. Понятие истины в философии Платона. Тема 3. Логика Аристотеля: «Органон», «Аналитики» и их основное содержание. Учение об ассерторическом силлогизме. Учение Аристотеля о доказательстве. Учение об именах, предложениях и модальностях. Аристотель как основатель логики в европейской культуре и создатель первой дедуктивно непротиворечивой и аксиоматически построенной логической системы. «Органон», его место в философии Аристотеля и истории логики. «Категории» — теория предикации; теория предельных сказуемых, которые можно высказать о любом предмете; включает теорию понятия. «Об истолковании» — теория высказывающей речи или суждения, обладающего субъектно-предикатной структурой, проблема оценки высказываний о будущих событиях. «Аналитики первая и вторая» — главная работа по логике: «Первая аналитика» содержит учение о силлогизмах, «Вторая аналитика» — учение о доказательстве. «Топика» - учение о вероятных («диалектических») умозаключениях. «О софистических опровержениях» — учение о софизмах и их разоблачениях. «Аналитики»: основное содержание. Учение об ассерторических силлогизмах. Понятие, структура силлогизма и фигуры силлогизма. Виды силлогизмов у Аристотеля. Модальная силлогистика Аристотеля. «Вторая аналитика» и учение о доказательстве. Трактат «Об истолковании», учение об именах, предложениях, модальностях, и проблема высказываний о случайных будущих событиях. Тема 4. Логика перипатетиков после Аристотеля. Логика стоиков. Вклад Теофраста в развитие логики Аристотеля. Развитие теории умозаключений у перипатетиков. Дополнение ими учения Аристотеля о категорическом силлогизме учением об условных и разделительных силлогизмах. Теория модальных силлогизмов Теофраста. Развитие Теофрастом и Евдемом Родосским (акме около 320 г. До н. э.) теории силлогизмов с условными, разделительными и соединительными посылками. Андроник Родосский (одиннадца­тый глава школы, живший в I в. До н. э.) издатель сочинений Аристотеля (ок. 70 г. До н. э.). Александр Афродисийский как комментатор сочинений Аристотеля «То­пика», «Аналитики», «Метафизика» и др. Мегарская школа как предтеча логики стоиков. Основатель – Евклид из Мегар (ок. 450-338 г.) Диалектика Зенона Элейского и анализ обыденных рассуждений (эристика). Ученики Евклида – Евбулид из Милета, Аполлоний Крон, Стильпон, позднее - Диодор Крон (IV в. До н. э.). Семь со­физмов и парадоксов Эвбулида. Логика временных модальностей Диодора Крона. Философские основания логики стоиков. Основатель школы – Зенон из Китиона. Систематизатор и создатель логики стоиков – Хризипп из Сол, глава школы стоиков с 230 по 207 г. До н. э. Диалектика (логика) стоиков – учение о суждениях и понятиях, учение об умозаключениях, и о модальностях. Тема 5. Схоластическая логика: основные проблемы и задачи. Три этапа развития. Комментарии Порфирия к «Категориям» Аристотеля, логические трактаты Боэция. «Vetus logica» - первый этап средневековой логики. Проблема универсалий. Концептуализм Пьера Абеляра. «Logica nova» - второй этап развития средневековой логики: «Введение в логику» Уильяма Шервуда (ум. В 1249); «Summulae logicales» Петра Испанского (210—1277); логика Дунса Скота (1270 — 1308); «Великое искусство» Раймунда Луллия (1235—1315); индуктивные методы Роджера Бэкона (1214—1294). Третьий этап схоластической логики - «Logica modernorum»: номинализм Уильяма Оккама; логические идеи Жана Буридана и Альберта Саксонского; «Суммулы» Петра Испанского. Семантические идеи схоластической логики – теория имен, терминов и суппозиций; теории разрешения семантических парадоксов. Модальная логика средневековья. Теории логического следования. Тема 6. История логики в Новое время. Логика Пор-Рояля. Декарт и реабилитация дедукции (из аксиом) как «верного пути» к познанию. Место дедукции во всеобщей науке о «порядке и мере» — mathesis universalis (в частности, в алгебре и геометрии). И. Юнг («Гамбургская логика» — «Logica Hamburgiensis»,»I638), Б. Паскаль («О геометрическом разуме» — «De 1'esprit geometrique»), А. Гейлинкс («Логика…» — «Logica…», 1662). «Логика, или Искусство мыслить» («La logique ou L'art de penser», 1662) картезианцев А. Арно и Н. Николя (Логика Пор-Рояля). Истолкование логики как рабочего инструмента всех других наук и практики. Гоббсом аристотелевской силлогистики как основанного на соглашениях исчисления истинностных функций — суждений именования. Замена атрибутивных связей пропозициональными. Дж. Саккери («Наглядная логика» — «Logica demonstrativa», 1697). Тема 7. Логические идеи Г. Лейбница, , Х. Вольфа. Лейбницем идеи mathesis universalis и его идея calculus rationator — универсального искусственного языка, формализующего рассуждения подобно тому, как в алгебре формализованы вычисления. Расширение границ демонстративного познания Лейбницем. Учение о тождественных истинах («бессодержательных предложениях») логики и их роли в дедуктивном мышлении. Понятие универсального языка и возможность «общей логики» (силлогистика и логика евклидовских «Начал»). Арифметизация силлогистики Лейбницем и доказательство ее непротиворечивости относительно арифметики. Логика в системе философии Вольфа: теоретическая и практическая логика. Поддержка программы Лейбница Дж. Валлисом («Логическое учение» — «Institutio logicae», 1729), Г. Плуке («Философия и теоретические описания» — «Expositioiies philo sophiae theoreticae», 1782), И. Ламбертом («Новый органон» — «Neues Organon», 1764). Появление реальных предпосылок для развития математической логики внутри философской логики, не связанной с точными методами анализа рассуждений и носящей преимущественно описательный характер. Тема 8. Логика Канта. Логика Канта. Кантовская интерпретация общей логики. Источники кантовской логики. Понятие логической формы. Независимость общей логики от объектов познания. Интенсиональный и экстенсиональный подход к логике. Общая логика и другие виды логики: частная, прикладная. Трансцендентальная логика как logica specialis. Трансцендентальная логика и метафизика. Взаимодействие общей и трансцендентальной логик. Трактовка формальной логики Гегелем. Формальная и диалектическая логика. Тема 9. Развитие алгебраического подхода к логике. Обобщенная силлогистика Августа де Моргана (1847), включающая логику отношений и понятие о вероятностном выводе. «Математический анализ логики» («The mathematical analysis of logic», 1847) Дж. Буля и перевод силлогистики на язык алгебры. Разработка алгебры логики Дж. Булем («Исследование законов мысли» — «An investigation of the laws of thought. .», 1854), С. Джевонсом («Чистая логика» — «Pure logic», 1864), Ч. Пирсом («Об алгебре логики» — «On the algebra of logic», 1880), Дж. Венном («Символическая логика» — «Symbolic logic», 1881), («О способах решения логических равенств…», 1884) и Э. Шредером («Лекции по алгебре логики» — «Vorlesungen ueber die Algebra der Logik», 1890—1905). Тема 10. Индуктивная логика Джона Стюарта Милля. Запросы развивающегося естествознания и индуктивное направление в логике. Разработка логики науки. Дж. Гершель (1830), У. Уэвелл (1840). Дж. С. Милль (1843) и его индуктивная логика. Критика дедукции. Признание индуктивного характера всякого умозаключения и противопоставление силлогизму методов анализа причинных связей (каноны Бэкона — Милля). Методы исследования причинных связей и их роль в опытном естествознании. Обоснование психологизма в британской и немецкой философии. Тема 11. Возникновение символической логики. Фреге. X. Мак-Колл и разработка теории критериев логического следования и логики высказываний. Фреге («Исчисление понятий» — «Веgriffsschrift», 1879) первого исчисления предикатов в строго аксиоматичной форме. Обобщение традиционного понятия предиката до понятия пропозициональной функции и сближение формализма с функциональным языком математики. Реконструкция традиционной теории дедукции на основе искусственного языка (исчисления), обеспечивающего полное выявление логической структуры мысли, всех элементарных шагов рассуждения, требуемых исчерпывающим доказательством, и полного перечня основных принципов: определений, постулатов, аксиом, положенных в основу дедукции. Использование Фреге созданного им языка логики для формализации арифметики. Аксиоматизация арифметики в школе Дж. Пеано («Формуляр математики» — «Formulaire de mathematique», t. 1—2, 1895—97). Проблема соотношения логики и мышления. Спор психологизма и антипсихологизма в логике. Критика психологистского истолкования логики Г. Фреге и Э. Гуссерлем. Тема 12. Математическая логика Б. Рассела и Д. Гильберта. «Principia Mathematica» (1910—1913) Б. Рассела и А. Уайтхеда и систематизация дедуктивно-аксиоматического построения классической логики. Программа Гильберта и теория доказательств. Уточнение правил и способов построения исчислений, изучение основных свойств исчислений — независимости постулатов (П. Бернайс, 1918; К. Гёдель, 1930), непротиворечивости (Пост, 1920; Д. Гильберт и В. Аккерман, 1928; Ж. Эрбран, 1930) и полноты (Пост, 1920; Гёдель, 1930). Разработка логической семантики (А. Тарский, 1931) и теории моделей (Л. Лёвенхейм, 1915; Т. Скулем, 1919; Гёдель, 1930; , 1936). Изучение «машинного мышления» (теория алгоритмов — Гёдель, Эрбран, С. Клини, А. Тьюринг, А. Чёрч, Пост, , и другие). Доказательство алгоритмической неразрешимости ряда логических проблем (Гёдель, 1931; , 1952), невыразимости всех содержательных истин в едином формальном языке (Гёдель, 1931). Тема 13. Возникновение неклассических логик. 1.  Принципы классической логики, их неуниверсальность и возможные альтернативы классической логики. Предшественники неклассических логик (модальная логика Аристотеля, логика модальностей в античности и средневековье, непосредственные предшественники неклассических логик – Х. Мак-Колл, , и др.). 2.  Создание многозначной (Я. Лукасевич, Э. Пост, 1921), модальной (К. Льюис, 1918) и интуиционистской логик (Л. Э.Я. Брауэр, 1908). Аксиоматизация интуиционистской логики (В. Гливенко, 1928; А. Гейтинг, 1930). 3.  Разработка в 50-х годах ХХ века семантик возможных миров (Я. Хинтикка, С. Кангер, ). Общая классификация неклассических логик.
Трудоёмкость (з. е. / часы)	5/180
Форма итогового контроля знаний	Экзамен