I. загальні положення

Мета кандидатського іспиту - встановити глибину професійних знань здобувача наукового ступеня, рівень підготовленості до самостійної науково-дослідної діяльності. Кандидатський іспит є складовою частиною атестації наукових і науково-педагогічних кадрів. Здача кандидатського іспиту обов'язкове для присудження наукового ступеня кандидата наук за науковою спеціальністю 09.00.07 Логіка.

I I. Правила допуску до кандидатського іспиту

Для допуску до кандидатського іспиту за спеціальністю аспірант (здобувач, екстерн) повинен:

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 частина

Вирішити завдання:

I V. Критерії оцінювання на кандидатському іспиті

Оцінка за кандидатський іспит виставляється комісією за п'ятибальною системою, виходячи з наступної шкали критеріїв:

оцінка

Відмінно

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

добре

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

задовільно

У відповіді є значні упущення, відповідь недостатньо структурований, продемонстровано слабке знання основних теоретичних підходів до аналізу та вирішення розглянутих проблем, відсутня власна думка аспіранта (здобувача, екстерна), є труднощі при відповіді на питання комісії або відповіді на питання відсутні; рішення логічних задач викликало труднощі

незадовільно

Немає відповіді на поставлені в білеті питання або у відповіді присутні істотні помилки в основних аспектах теми; відповіді на додаткові питання комісії відсутні; логічні завдання не вирішено

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