Вступительный экзамен по «логике»



Скачать 42.06 Kb.
страница1/2
Дата05.05.2018
Размер42.06 Kb.
ТипПрограмма
  1   2

ПРОГРАММА ВСТУПИТЕЛЬНОГО ЭКЗАМЕНА

По специальности 09.00.07

__________ Логика _________

Вступительный экзамен по логике для философов предполагает, что поступающий должен иметь представление о важнейших разделах современной логики: прежде всего, о классической пропозициональной логике, логике предикатов и основных метатеоремах данных теорий, различных типах логических исчислений; о неклассических логических системах – многозначной, модальной, релевантной, интуиционистской логиках. Он должен быть знаком с важнейшими теориями и проблемами логической семантики и фундаментальными результатами металогических исследований. Он обязан иметь общее представление об основах теории знаков, логического учения о понятии, теории аргументации.



Вопросы
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. Доказать: x(yAy Ax).

35. Доказать: A B C) B C).

36. Доказать: xyAxy yxAxy.

37. Доказать: x(Ax yAy).

38. Доказать: (A B C)) (A B C).

39. Доказать: xyAxy yxAxy.

40. Доказать: (xAx xBx) x(Ax Bx)

41. Доказать: (A  B)  ((B C)  (A  C))

42. Доказать: (A  (B  C))  ((A  B)  (B  C))

43. Доказать: (A  (B  C))  (B  (A  C))

44. Доказать: (A  B)  ( (C  A)  (C  B))

45. Доказать: (A  (B  C))  (B  (A  C))


Каталог: uplfile -> aspir
aspir -> Учреждение российской академии наук
aspir -> Проблема страдания в философии н. А. Бердяева
aspir -> Сравнительный анализ роли сми в политическом процессе россии и США
aspir -> Работа выполнена в Государственном университете гуманитарных наук
aspir -> Концепция науки как символического описания в философии п. А. Флоренского
aspir -> Проблема сущего и бытия в философии владимира соловьева и в российском соловьевоведении
aspir -> Эволюция политико-философского учения б. Н. Чичерина
aspir -> Философия джорджа сантаяны
aspir -> Работа выполнена в секторе философии российской истории Института философии Российской академии наук
aspir -> Целью данной диссертационной работы является попытка рассмотрения феноменологии и диалектики как методов философского мышления на основе обращения к творчеству видных отечественных философов М


Поделитесь с Вашими друзьями:
  1   2


База данных защищена авторским правом ©znate.ru 2017
обратиться к администрации

    Главная страница