Тема 16. Элементы логики высказываний.

Исчисление высказываний. Пропозициональные связки. Истинностные значения составных формул. Логическое следствие. Исчисление предикатов; общая формулировка. Общезначимость. Логическое следствие при исчислении предикатов.

Зачетные вопросы

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. Приведите примеры выделяющего и исключающего суждений

61. Что является терминами суждений? Обозначьте их

62. Что такое распределенность, (нераспределенность) терминов в суждении?

63. Изобразите распределенность, (нераспределенность) терминов в суждениях SaP, SeP, SiP, SoP c помощью кругов Эйлера

64. Приведите примеры сравнимых и несравнимых суждений

65. Дайте характеристику отношений между суждениями, используя логический квадрат

66. Приведите примеры отношений между суждениями: противоположности, противоречия, субординации, частичной совместимости

67. Какова роль умозаключений в получении выводных знаний?

68. Приведите пример умозаключения, разберите его состав, изобразите его схему

69. Назовите виды умозаключений в зависимости от строгости вывода, его направленности, от количества посылок

70. Изобразите схемы непосредственных умозаключений (превращение и обращение) и объясните их суть

71. Дайте характеристику состава категорического силлогизма

72. Приведите пример категорического силлогизма и сделайте его полный разбор

73. Назовите правила фигур категорического силлогизма. Приведите примеры нарушения этих правил

74. Назовите правила терминов категорического силлогизма. Приведите примеры нарушения этих правил

75. Назовите правила посылок категорического силлогизма, Приведите примеры нарушения этих правил

76. Понятие о модусах категорического силлогизма. Приведите пример модуса Barbara.

77. Какой силлогизм называется энтимемой?

78. Покажите механизм образования сложных суждений

79. Назовите основные группы сложных суждений

80. От чего зависит истинность или ложность конъюнктивного суждения?

81. От чего зависит истинность или ложность дизъюнктивного суждения?

82. От чего зависит истинность или ложность импликативного суждения?

83. От чего зависит истинность или ложность эквивалентного суждения?

84. Назовите и охарактеризуйте виды модальностей

85. В чес суть модальности суждений?

86. Приведите пример и схему чисто условного умозаключения

87. Приведите пример и схему условно-категорического умозаключения по утверждающему модусу

88. Приведите пример и схему условно-категорического умозаключения по отрицающему модусу

89. Приведите пример и схему разделительно-категорического умозаключения по утверждающе-отрицающему модусу

90. Приведите пример и схему разделительно-категорического умозаключения по отрицающе-утверждающему модусу

91. Какое умозаключение называется условно-разделительным? На какие виды оно делится?

92. Приведите схемы простой конструктивной и простой деструктивной дилеммы

93. Какая индукция называется полной и какая неполной?

94. Что является условием достоверного вывода в полной индукции?

95. На каких принципах выведены методы установления причинной связи?

96. Что представляет собой метод единственного сходства и единственного различия?

97. В чем особенности метода сопутствующих изменений?

98. Приведите определение и схему умозаключения по аналогии

99. Что такое доказательство?

100. Назовите состав доказательства и определите его части

101. Какое доказательство называется прямым? Постройте его схему

102. Какое доказательство называется косвенным? Приведите его схему

103. Чем обосновывается истинность тезиса в апагогическом доказательстве

104. Что такое опровержение?

105. Назовите способы опровержения и их оптимальный выбор

106. Назовите правила тезиса в доказательстве и приведите примеры их нарушения

107. Назовите правила аргументов в доказательстве и приведите примеры их нарушения

108. Назовите правила аргументов в доказательстве и приведите примеры их нарушения

109. Назовите правило демонстрации в доказательстве и приведите примеры ошибок в демонстрации

110. Назовите приемы, отвергаемые логикой, но используемые в дискуссиях и спорах

111. Дайте определение гипотезы, назовите ее виды

112. Какие этапы можно выделить в построении и проверке гипотезы?

113. Чем становится гипотеза после полного ее доказательства?