Контрольные вопросы по курсу

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. Умозаключение по аналогии: строгая, нестрогая, ложная аналогия.

52. Гипотеза, её построение, этапы развития, виды.

53. Способы подтверждения и опровержение гипотезы.

54. Представление об аргументации: формально-логическое применение.

55. Понятие доказательства (структура довода, порядок, виды аргументов).

56. Прямое и непрямое (косвенное) доказательство.

57. Критика и опровержение: стратегия и тактика.

58. Правила тезиса, аргументов и демонстрации.

59. Логические ошибки в доказательстве и опровержении.

60. Социально-психологическая составляющая в искусстве убеждения.

Перечень основных символов классической формальной логики

• a  b, a  b, a & b, “a и b” — конъюнкция;

• a  b, “a или b” — нестрогая дизъюнкция;

• a  b, “a или b” — строгая дизъюнкция;

• a  b, “a имплицирует b” (“если a, то b”) — материальная импликация;

• a  b, “a имплицирует b” (“если a, то b”) — релевантная импликация;

• a  b, a  b, a ~ b, “a эквивалентно b” (“a, если и только если b”) —эквиваленция;

• a,  a, ~ a, “не-a” — отрицание a;

• ( x), “для всех x” — квантор общности;

• ( x), “существует x, такое, что” — квантор существования;

• a, b, c, …, p, q… — переменные для высказываний;

• X  U — класс X включается в класс U;

• х  U — элемент х принадлежит классу U;

• │= — отношение логического следования;

• ║= — отношение правдоподобного следования.

48