Институт Философии
Российской Академии Наук




  09.00.07 Логика
Главная страница » Научно-образовательный центр » Аспирантура » Обучение в аспирантуре » Программы кандидатских экзаменов » 09.00.07 Логика

09.00.07 Логика

I. Общие положения

 

Цель кандидатского экзамена – установить глубину профессиональных знаний соискателя учёной степени, уровень подготовленности к самостоятельной научно-исследовательской деятельности. Кандидатский экзамен является составной частью аттестации научных и научно-педагогических кадров. Сдача кандидатского экзамена обязательна для присуждения учёной степени кандидата наук по научной специальности 09.00.07 Логика.

 

 

II. Правила допуска к кандидатскому экзамену

 

Для допуска к кандидатскому экзамену по специальности аспирант (соискатель, экстерн) должен:

1)  подготовить научно-квалификационную работу (диссертацию) в объеме 70–80% текста и сделать доклад на заседании сектора, к которому прикреплен;

2)  составить совместно с научным руководителем не менее 20 вопросов по тематике диссертационного исследования, которые будут разбиты на билеты и включены во вторую часть кандидатского экзамена по специальности.

В Научно-образовательный центр представляется выписка из протокола заседания сектора о готовности научно-квалификационной работы (диссертации) в необходимом объеме и её предварительном рассмотрении, об утверждении списка вопросов ко второй части экзамена и о рекомендации аспиранта (соискателя, экстерна) для сдачи кандидатского экзамена по специальности.

 

 

III. Содержание кандидатского экзамена

 

Кандидатский экзамен состоит из трёх частей. Первая часть включает в себя вопросы по основным разделам логики. Вторая часть состоит из логических задач на доказательство. Третья часть содержит вопросы по тематике диссертационного исследования аспиранта, подписанные научным руководителем и утверждённые на заседании сектора, к которому он прикреплен.

Кандидатский экзамен представляет собой устное собеседование по вопросам билета. Каждый экзаменационный билет включает в себя 2 вопроса из первой части, 1 задачу из второй части и 2 вопроса из третьей части. Подготовка к экзамену длится 1 час.

Экзаменационная комиссия состоит не менее чем из 3 специалистов, имеющих ученую степень кандидата или доктора философских наук по научной специальности, соответствующей специальной дисциплине, в том числе 1 доктор наук. Решение экзаменационной комиссии оформляется протоколом. Результаты сдачи кандидатского экзамена вносятся в справку об обучении (или о периоде обучения), которая выдается аспиранту по запросу при отчислении.

 

Вопросы и задачи кандидатского экзамена:

 

I часть

  1. Логика как наука. Предмет современной логики и ее основные разделы.
  2. Понятие логической формы и логического закона.
  3. Логика и философия. Философские вопросы логики.
  4. Логика и психология.
  5. Логика и языкознание.
  6. Логика и риторика.
  7. Логика и софистика.
  8. Геометрия Евклида. Структура, основные понятия и  метод построения.
  9. Отношение логики к математике.
  10. Роль логики в анализе научного знания, в решении проблем алгоритмизации интеллектуальной деятельности и процессов управления.
  11. Логические идеи у досократиков и Платона. Возникновение логики как науки в трудах Аристотеля.
  12. Логика в средние века: проблема универсалий, номинализм и реализм в философии и логике.
  13. Логические идеи Декарта и логика Пор-Ройяля. Проблема научного метода у Бэкона. Развитие индуктивной логики Миллем.
  14. Идея универсального языка у Г.В. Лейбница.
  15. Возникновение алгебры логики в работах А. де Моргана, Дж. Буля.
  16. Возникновение неклассической логики. Идеи Я. Брауэра, Я. Лукасевича, К. Льюиса, А. Васильева.
  17. Табличное построение классической логики высказываний. Функционально полные системы пропозициональных связок. Критерии функциональной полноты.
  18. Классическая логика как булева алгебра. Булева алгебра классов, алгебра бинарных отношений. Контактно-релейные схемы.
  19. Аксиоматическое построение классического исчисления высказываний. Теорема дедукции, теорема замены, принцип двойственности. Непротиворечивость, полнота и разрешимость классической логики высказываний. Независимость аксиом и правил вывода.
  20. Язык первопорядковой логики предикатов. Семантика языка логики предикатов. Понятие модели, общезначимости, выполнимости, логического следования.
  21. Методы современной логики: метод формализации; финитные, конструктивные и теоретико-множественные методы; алгебраические методы.
  22. Логические идеи в древнеиндийской и древнекитайской философии.
  23. Проблема формализации логики и обоснования математики в работах Г. Фреге. Концепция логицизма. Дальнейшее развитие этих идей Б. Расселом и А. Уайтхедом.
  24. Программа обоснования математики Д. Гильбертом (формализм) и ее значение в развитии логики.
  25. Метаязыки, адекватные для описания синтаксиса формальных языков. Геделевская нумерация и арифметизация синтаксиса.
  26. Рекурсивные функции и предикаты. Нормальные алгоритмы Маркова, машина Тьюринга. Тезис Чёрча-Тьюринга.
  27. Методы и принципы отношения именования. Экстенсиональные и интенсиональные контексты.
  28. Аксиоматическое построение исчисления предикатов первого порядка.
  29. Теорема дедукции и теорема замены.
  30. Непротиворечивость и полнота исчисления предикатов первого порядка (теорема Гёделя), лемма Линденбаума.
  31. Проблема разрешимости логики предикатов первого порядка. Частные случаи решения проблемы разрешения.
  32. Предваренная нормальная форма. Нормальная форма Сколема.
  33. Силлогистика и ее современное представление в символической логике.
  34. Логический анализ естественных языков. Язык как знаковая система. Основные семиотические аспекты языка. Семантические и синтаксические категории. Объектный язык и метаязык.
  35. Формализованные языки. Понятие истины в формализованных языках. Философское значение семантического определения истины и его связь с классическим аристотелевским понятием истинности.
  36. Аксиоматический метод построения научных теорий. Содержательная, формальная и формализованная аксиоматика.
  37. Логические и семантические парадоксы, причины их возникновения и пути решения.
  38. Классическая и неклассические логики.
  39. Многозначные логики.
  40. Системы алетических модальных логик. Реляционные и окрестностные семантики возможных миров для этих систем.
  41. Временные модальные логики.
  42. Интуиционистская логика. Семантики для интуиционистской логики.
  43. Паранепротиворечивые логики.
  44. Понятие как форма мышления. Анализ, синтез, абстрагирование, идеализация как методы формирования научных понятий. Виды понятий. Отношение между понятиями.
  45. Натуральное и секвенциальное построение исчисления высказываний. Аналитические и семантические таблицы для логики высказываний.
  46. Натуральное и секвенциальное построение исчисления предикатов. Теорема об устранимости сечения. Интерполяционная теорема Крейга.
  47. Исчисление предикатов с равенством.
  48. Логика предикатов второго порядка. Теоретико-типовой способ построения исчисления предикатов.
  49. Релевантные логики Андерсона–Белнапа. Семантика для первопорядкового фрагмента релевантной логики.
  50. Индуктивные умозаключения и особенность индуктивного следования. Проблема обоснования индукции.
  51. Логические основы теории аргументации. Аргументация и логическое доказательство, их взаимоотношения.

 

II часть


Решить задачи:


 
 
 

IV. Критерии оценивания на кандидатском экзамене

 

Оценка за кандидатский экзамен выставляется комиссией по пятибалльной системе, исходя из следующей шкалы критериев:

 

Оценка

Критерии оценивания
Отлично

Ответ полный, без замечаний, хорошо структурированный, продемонстрировано хорошее знание теоретических подходов к анализу и решению рассматриваемых проблем, проиллюстрировано примерами, даны аргументированные, полные и логичные ответы на вопросы комиссии, проявлено творческое отношение к предметной области и сформулировано собственное мнение; правильно решены логические задачи

Хорошо

В ответе есть незначительные упущения, ответ достаточно структурирован, знание основных теоретических подходов к анализу и решению рассматриваемых проблем недостаточно продемонстрировано и проиллюстрировано примерами, ответы на вопросы даны с небольшими замечаниями, обобщающее мнение аспиранта (соискателя, экстерна) недостаточно четко выражено; правильно решены логические задачи

Удовлетворительно

В ответе есть значительные упущения, ответ недостаточно структурирован, продемонстрировано слабое знание основных теоретических подходов к анализу и решению рассматриваемых проблем, отсутствует собственное мнение аспиранта (соискателя, экстерна), есть затруднения при ответе на вопросы комиссии или ответы на вопросы отсутствуют; решение логических задач вызвало затруднения

Неудовлетворительно

Нет ответа на поставленные в билете вопросы или в ответе присутствуют существенные ошибки в основных аспектах темы; ответы на дополнительные вопросы комиссии отсутствуют; логические задачи не решены

 
 

V. Перечень основной и дополнительной литературы

 

Основная литература

  1. Грядовой Д.И. Логика: общий курс формальной логики: учебник. М.: Юнити-Дана, 2015. 326 с.; То же. URL: http://biblioclub.ru/index.php?page=book&id=115407
  2. Девяткин Л.Ю. В границах трехзначности. М.: ИФ РАН, 2015. 137 с.; То же. URL: http://biblioclub.ru/index.php?page=book&id=483099
  3. Ивин А.А. Логика: учебник. М.; Берлин: Директ-Медиа, 2015. 452 с.; То же. URL: http://biblioclub.ru/index.php?page=book&id=278022
  4. Ивин А.А. Основы теории аргументации: учебник. М.; Берлин: Директ-Медиа, 2015. 459 с.; То же. URL: http://biblioclub.ru/index.php?page=book&id=276786
  5. Рузавин Г.И. Основы логики и аргументации: учебное пособие. М.: Юнити-Дана, 2015. 320 с.; То же. URL: http://biblioclub.ru/index.php?page=book&id=116638

 

Дополнительная литература

  1. Аристотель. Соч: в 4 т. Т. 2: Категории. М.: Мысль, 1978. 687 с.
  2. Белнап Н., Стил Т. Логика вопросов и ответов. М.: Прогресс, 1981. 288 с.
  3. Бочаров В.А. Аристотель и традиционная логика. М.: Прогресс, 1986. 133 с.
  4. Васильев Н.А. Воображаемая логика. М.: Наука, 1989. 262 с.
  5. Войшвилло Е.К. Понятие как форма мышления. Логико-гносеологический анализ. М.: Изд. Моск. ун-та, 1989. 239 с.
  6. Войшвилло Е.К. Предмет и значение логики. М.: МГУ, 1960. 54 с.
  7. Войшвилло Е.К., Дегтярев М.Г. Логика как часть теории познания и научной методологии: в 2 кн. Кн. 1. М.: Наука, 1994. 312 с.
  8. Войшвилло Е.К., Дегтярев М.Г. Логика как часть теории познания и научной методологии: в 2 кн. Кн. 2. М.: Наука, 1994. 333 с.
  9. Горский Д.П. Определение. М.: Мысль, 1974. 311 с.
  10. Ивлев Ю.В. Модальная логика. М.: Изд-во Моск. ун-та, 1991. 222 с.
  11. Карнап Р. Значение и необходимость: исследование по семантике и модальной логике. М.: Изд-во иностранной литературы, 1959. 381 с.; То же. URL: http://biblioclub.ru/index.php?page=book&id=256402
  12. Клини С.К. Математическая логика. М.: Мир, 1973. 479 с.; То же. URL: http://biblioclub.ru/index.php?page=book&id=458243
  13. Колмогоров Н.А., Драгалин А.Г. Математическая логика. Дополнительные главы. М.: Изд-во Моск. ун-та, 1984. 120 с.
  14. Крипке С.А. Семантический анализ модальной логики 1: Нормальные модальные исчисления высказываний // Фейс Р. Модальная логика. М.: Наука, 1974. С. 254–303. URL: http://biblioclub.ru/index.php?page=book&id=450462
  15. Лукасевич Я. Аристотелевская силлогистика с точки зрения современной формальной логики. М.: Иностранная литература, 1959. 313 с.; То же. URL: http://biblioclub.ru/index.php?page=book&id=458251
  16. Маковельский А.О. История логики. М.: Директ-Медиа, 2008. 1136 с.; То же. URL: http://biblioclub.ru/index.php?page=book&id=36297
  17. Мендельсон Э. Введение в математическую логику. М.: Наука, 1971. 320 с.; То же. URL: http://biblioclub.ru/index.php?page=book&id=458257
  18. Павлов С.А. Логика с операторами истинности и ложности. М.: ИФ РАН, 2004. 143 с.; То же. URL: http://biblioclub.ru/index.php?page=book&id=40184
  19. Рассел Б.А. Введение в математическую философию. Новосибирск: Сибирское университетское издательство, 2007. 264 с.; То же. URL: http://biblioclub.ru/index.php?page=book&id=57407
  20. Семантика модальных и интенсиональных логик. М.: Прогресс, 1981. 424 с.
  21. Сидоренко Е.А. Релевантная логика. М.: ИФ РАН, 2000. 243 с.
  22. Смирнова Е.Д. Логика и философия. М.: Росспэн, 1996. 299 с.
  23. Смирнова Е.Д. Основы логической семантики. М.: Высшая школа, 1990. 144 с.
  24. Столл Р.Р. Множества. Логика. Аксиоматические теории. М.: Просвещение, 1968. 232 с.; То же. URL: http://biblioclub.ru/index.php?page=book&id=458268
  25. Стяжкин Н.И. Формирование математической логики. М.: Наука, 1967. 508 с.; То же. URL: http://biblioclub.ru/index.php?page=book&id=427014
  26. Томова Н.Е. Естественные трехзначные логики = Natural Three-valued Logics: Functional Properties and Relations: функциональные свойства и отношения. М.: ИФ РАН, 2012. 90 с.; То же. URL: http://biblioclub.ru/index.php?page=book&id=444067
  27. Фреге Г. Логико-философские труды. Новосибирск: Сибирское университетское издательство, 2008. 288 с.; То же. URL: http://biblioclub.ru/index.php?page=book&id=57493
  28. Чёрч А. Введение в математическую логику. Т. 1. М.: Иностранная литература, 1960. 485 с.; То же. URL: http://biblioclub.ru/index.php?page=book&id=458224