- •Раздел 1. Цели, задачи и структура курса
- •Раздел 1. Цели, задачи и структура курса
- •Цели и задачи учебных занятий
- •1.2. Требования к подготовленности обучающегося к освоению содержания учебных занятий (пререквизиты)
- •Перечень формируемых компетенций (результаты обучения)
- •Знания, умения, навыки, осваиваемые обучающимися
- •Перечень и объём активных и интерактивных форм учебных занятий
- •Организация учебных занятий
- •1.6.2. Виды, формы и сроки текущего контроля успеваемости и промежуточной аттестации
- •Структура и содержание учебных занятий
- •2.2. Кадровое обеспечение учебной дисциплины
- •2.2.1. Требования к образованию и (или) квалификации штатных преподавателей и иных лиц, допущенных к преподаванию дисциплины.
- •2.2.2. Требования к обеспеченности учебно-вспомогательным и (или) иным персоналом.
- •2.2.3. Методические материалы для оценки обучающимися содержания и качества учебного процесса.
- •2.4. Информационное обеспечение учебной дисциплины
- •Список дополнительной литературы:
- •3. Процедура разработки и утверждения рабочей программы учебной дисциплины
1.6.2. Виды, формы и сроки текущего контроля успеваемости и промежуточной аттестации
Код модуля в составе дисциплины |
Промежуточная аттестация |
Текущий контроль |
||
Виды |
Сроки |
Формы |
Сроки |
|
очная форма обучения |
||||
|
Зачет |
В период зимней сессии |
Не предусмотрен |
|
|
Зачет |
В период летней сессии |
Не предусмотрен |
Форма итогового контроля: Для контроля усвоения дисциплины учебным планом предусмотрен зачет. Зачет проводится в письменной форме. Студенту предлагается один теоретический вопрос (примерный список вопросов для подготовки к зачету приведен в данной программе) и одно практическое задание. За отведенное количество времени (один академический час) студент должен изложить ответ на вопрос в форме эссе и выполнить задание.
Структура и содержание учебных занятий
(Темы дисциплины, их краткое содержание и виды занятий)
Лекции.
Лекция 1 (2 часа). Введение в историю логики.
Логика – одна из древнейших наук. Древний Китай, Древняя Индия и Древнее Средиземноморье – три региона земного шара, откуда до нас дошли первые труды по логике. Логика и язык. Логика и математика. Логика – онтология и апофатическая логика. История античной логики. Элементы логики у досократиков, софистов и Платона. Аристотель. «Органон» Аристотеля – первое из дошедших до нас сочинений, где логика является предметом изучения. Логика мегариков, стоиков и перипатетиков. Логика в Древнем Риме: Цицерон, Гален, Порфирий. Логика и семантика в трудах Давида Акахта, Иоанна Дамаскина и Боэция. Логика Китая и Индии. Логика на арабском Востоке: Фараби, Авихенна, Аверроэс. Западно-европейская схоластика: Аксельм Контерберийский, Абеляр, Петр Испанский, Фома Аквинский, Дунс Скот, Оккам. Логика-комбинаторика Раймунда Луллия. Логика эпохи Возрождения: Пьер Раме. Логика Нового времени: Френсис Бэкон, Гоббс, Декарт, «Логика Порт-Ройяля». Логические идеи Лейбница. Развитие логики в XVIII в.: Плуке, Ламберт, Кант, Болуано. Возникновение математической логики (XIXв.): Гамильтон, Де Морган, Джордж Буль. Становление математической логики: Джевокс, Пирс, Шредер. Труды Фреге и Рассела. Математическая логика в XX в. Очерк развития логики в России.
Лекция 2 (2 часа). Античная логика до Аристотеля.
Гераклит и Парменид. Учение Парменида о бытии и небытии. Закон тождества у Парменида. Апории Зенона. Софисты: логические основы спора. Платон: единое во многом. Учение Платона об эйдосах. Определение посредством дихотомического деления в диалогах «Софист» и «Политик».
Лекция 3 (2 часа). Учение Аристотеля о предикабилиях и категориях. Его учение о «высказывающей речи».
Трактат Аристотеля «Топика». Четыре аристотелевских предикабилии: определение, собственное, род и привходящее. Альтернативные предикабилии Порфирия: род, вид, видовое отличие, собственное и привходящее. Трактат Аристотеля «Категории». Сказываемое о подлежащем и находящееся в подлежащем. Десять категорий. Первое и второе сущности. Несогласие Аристотеля с Платоном по вопросу об эйдосах. Учение Аристотеля о четырех причинах. Трактат Аристотеля «Об истолковании». Аристотелевская «высказывающая речь». Учение Аристотеля о том, что такое истина и что такое ложь. Качество и количество высказываний. Противоположные и противоречащие высказывания. Законы противоречия и исключенного третьего. Четыре вида противолежания. Высказывания о будущем. Модальность высказываний.
Лекция 4 (2 часа). Аристотелевская силлогистика.
Трактат Аристотеля «Первая аналитика». Что такое силлогизм? Посылка и термины силлогизма. Три разновидности посылок: о присущем (ассерторические), о необходимо присущем (аподиктические) и о возможно присущем (проблематические). Чисто ассерторическая силлогистика. Обращение посылок. Фигуры и модусы силлогизмов. В аристотелевской силлогистике только три фигуры. Проблема четвертой фигуры. Аксиоматическое построение ассерторической силлогистики. Правильные и неправильные модусы. Деление правильных модусов на совершенные и несовершенные: первые выступают в качестве аксиом, вторые доказываются. Модусы первой фигуры – совершенные, модусы второй и третьей фигуры – несовершенные. Опровержение неправильных модусов методом нахождения контр-примеров. Доказательство несовершенных модусов методами обращения посылок, приведение к противоречию и эктезиса. «Аксиома силлогизма». Наиболее существенные свойства и характеристики ассерторической силлогистики. Аподиктическая, проблематическая и смешанные силлогистики. Аристотелевское понимание возможности.
Лекция 5 (2 часа). Учение Аристотеля о доказательстве и искусстве спора.
Трактат Аристотеля «Вторая аналитика». Аристотелевская критика мнения скептиков о том, что линейное доказательство невозможно. Отказ от доказательства по кругу. Начала доказательства. Знание доказываемое и знание неопосредствованное. Нус. Доказательство и определение. Умозаключения научные, диалектические и эристические. О диалектических умозаключениях в «Топике» Аристотеля. Диалектические положения и проблемы. Средства для построения умозаключений. Трактат Аристотеля «О софистических опровержениях». Доводы и цели софистов в спорах. Виды софистических опровержений.
Лекция 6 (2 часа). Послеаристотелевская античная логика.
Мегарская школа. Логические парадоксы. Проблемы логического следования. Логика перипатетиков и стоиков. Теория условных и разделительных высказываний. Силлогизмы с условными и разделительными посылками. Учение стоиков о «лектоне». Логика в Древнем Риме. Трактат Цицерона «Топика». Логические учения Апулея и Галена. «Введение» Порфирия. Семиотика Давида Апахта и Иоанна Дамаскина. Учение Иоанна Дамаскина о разделении. Логические труды Боэция. Переход от античной логики к западноевропейской схоластике.
Семинары.
Семинар 1 (2 часа). Проблемы логики в диалогах Платона.
Вопросы:
Учение Платона об эйдосах.
Единое во многом.
Определение посредством дихотомического деления.
Литература:
Платон. Парменид, 126а-135b.
Платон. Софист, 216а-231е, 251а-259d, 264е-268d.
Стяжкин Н.И. Формирование математической логики. М. 1967, с. 28-34.
Макавельский А.О. История логики. М. 1967, с. 68-88.
Семинар 2 (2 часа). Учение Аристотеля о предикабилиях.
Вопросы:
Определение, род, собственный и привходящий признаки.
Пять сказуемых Порфирия.
Литература:
Аристотель. Топика, I, 101b10-102b25.
Аристотель. Категории. С приложением «Введения» Порфирия к «Категориям» Аристотеля. М. 2011, с.53-76.
Ахманов А.С. Логическое учение Аристотеля. М. 1960, с. 160-178.
Семинар 3 (2 часа). «Категории» Аристотеля.
Вопросы:
Сказываемое о подлежащем и находящееся в подлежащем.
Десять критерий.
Первые и вторые сущности.
Четыре вида противолежания.
Литература:
Аристотель. Категории.
Ахманов А.С. Логическое учение Аристотеля. М. 1960, с. 160-178.
Семинар 4 (2 часа). Трактат Аристотеля «Об истолковании».
Вопросы:
«Высказывающая речь»: утвердительные и отрицательные, истинные и ложные предложения.
Противоположные и противоречащие высказывания.
Высказывания о будущем.
Модальность высказываний.
Литература:
Аристотель. Об истолковании.
Аристотель. Метафизика. IX, 1051a35-1052a15.
Аристотель. Первая аналитика, I, 32а17-32b37.
Ахманов А.С. Логическое учение Аристотеля. М. 1960, с. 123-159.
Семинар 5 (2 часа). Аристотелевская силлогистика.
Вопросы:
Состав аристотелевского силлогизма.
Правила обращения посылок.
Ассерторическая силлогистика Аристотеля, ее 3 фигуры и 15 правильных модусов.
Аксиоматическое построение силлогистики. Методы доказательства правильных модусов и опровержения неправильных.
Модусы с аподиктическими и проблематическими посылками.
Литература:
Аристотель. Первая аналитика, I, 24а15-30а15, 32а17-32b37.
Ахманов А.С. Логическое учение Аристотеля. М. 1960, с. 179-211.
Лукасевич Я. Аристотелевская силлогистика с точки зрения современной формальной логики. М. 1959, с. 33-126, 192-221.
Семинар 6 (2 часа). Аристотелевское учение о доказательстве.
Вопросы:
О началах доказательства.
Доказательство и опровержение.
Литература:
Аристотель. Вторая аналитика, I, 71b10-73a20, 74b5-75b20, 76a30-77a35, 88a17-88b30; II, 90a35-92b40, 93b27-94a20, 96a20-97b40, 99b15-100b15.
Ибн Сина. Избранные философские произведения. М. 1980, с. 90-93.
Ахманов А.С. Логическое учение Аристотеля. М. 1960, с.275-301.
Семинар 7 (2 часа). Искусство спора.
Вопросы:
Научные, диалектические и эвристические умозаключения.
Диалектические положения и проблемы. Четыре средства для построения умозаключений.
Доводы и цели софистов в спорах. Виды софистических опровержений.
Литература:
Аристотель. Топика, I, 100b18-101b5, 104a5-108b40.
Аристотель. О софистических опровержениях, 164b37-166b30.
Ахманов А.С. Логическое учение Аристотеля. М. 1960, с. 302-312.
Семинар 8 (2 часа). Мегарская школа.
Вопросы:
«Лжец» и другие логические парадоксы.
Проблемы логического следования и модальностей у мегариков.
Литература:
Диоген Лаэртский. О жизни, учениях и изречениях знаменитых философов. М. 1979, с. 137-142.
Секст Эмпирик. Сочинения в 2 томах. Т.1, М. 1976, с. 172-173; Т.2, М. 1976, с. 282.
Стяжкин Н.И. Формирование математической логики. М. 1967, с. 61-69.
Семинар 9 (2 часа). Логика стоиков и перипатетиков.
Вопросы:
Условные и разделительные высказывания у стоиков и перипатетиков.
Пять видов недоказуемых силлогизмов.
Учение стоиков о «лектоне».
Литература:
Диоген Лаэртский. О жизни, учениях и изречениях знаменитых философов. М. 1979, с.216-222, 281-294, 323-331.
Секст Эмпирик. Сочинения в 2 томах. Т.1, М. 1976, с. 192-211, 230-236.
Стяжкин Н.И. Формирование математической логики. М. 1967, с.70-87.
Семинар 10 (2 часа). Логика в Древнем Риме.
Вопросы:
«Топика» Цицерона.
«Введение» Порфирия.
Литература:
Цицерон. Эстетика: Трактаты, речи, письма. М. 1994, с. 68-69.
Аристотель. Категории. С приложением «Введения» Порфирия к «Категориям» Аристотеля. М. 2011, с. 53-76.
Стяжкин Н.И. Формирование математической логики. М. 1967, с. 91-97.
Семинар 11 (2 часа). Давид Анахт, Иоанн Дамаскин, Северин Боэций.
Вопросы:
Семиотика Давид Анахта.
Семиотика и учение о разделении Иоанна Дамаскина.
Труды Боэция: переход от античной логики к западноевропейской схоластике.
Литература:
Давид Анахт. Сочинения. М. 1975, с. 105-108.
Иоанн Дамаскин. Источник знания. СПб 2006, с. 13-20.
Боэций. «Учение философией» и другие трактаты. М. 1990, с. 11-30, 315-374.
Стяжкин Н.И. Формирование математической логики. М. 1967, с. 97-102.
Вопросы для зачета по курсу «История логики» 2-й курс, 1-й семестр.
Основные этапы истории логики.
Общая характеристика развития логики Древней Греции.
Сравнение логико-онтологических концепций элеатов и Гераклита.
Роль софистов в развитии логики Древней Греции.
Элементы логики в диалогах Платона.
Учение Платона об идеях.
Общая характеристика логических трудов Аристотеля.
Учение Аристотеля о предикабилиях.
Учение Аристотеля о категориях.
Трактат Аристотеля «Об истолковании».
Общая характеристика аристотелевской силлогистики.
Общая характеристика ассерторической силлогистики Аристотеля.
Ассерторическая силлогистика Аристотеля как аксиоматическая система.
Доказательство модусов 2-й и 3-й фигур методом обращения посылок, методом приведения к противоречию и методом выделения.
Отбрасывание неправильных модусов методом контрпримера.
Общая характеристика модальной силлогистики Аристотеля.
Аристотелевская трактовка модальности возможности.
Задача нахождения среднего термина при построении силлогизмов.
Задача опровержения посылок модусов 1-й, 2-й и 3-й фигур с использованием отрицания заключений этих модусов.
Общая характеристика учения Аристотеля о доказательстве.
Аристотель о началах доказательства.
Учение Аристотеля об определении.
Аристотель об аналитических, диалектических и эристических умозаключениях.
Трактат Аристотеля «О софистических опровержениях».
Аристотелевская критика учения Платона об идеях.
Логика в мегарской школе.
Античные парадоксы.
Логика стоиков.
Логика перипатетиков.
Силлогизмы из «Топики» Цицерона.
Порфирий и его учение о предикабилиях.
Логика и семиотика в трудах Давида Анахта и Иоанна Дамаскина.
Общая характеристика логических трудов Боэция.