Составитель А.А. Смирнов

Кафедра педагогики и педагогической психологии

КРАТКИЙ УЧЕБНЫЙ СЛОВАРЬ

ПО ЛОГИКЕ

Методические указания

Ярославль, 1999

Составитель А.А. Смирнов

Краткий учебный словарь по логике: Методические указания / Сост. А.А. Смирнов. Ярославль: Яросл. гос. ун-т, 1999. 17 с.

Логика отличается от других наук, изучаемых в вузе, особенностями категориального аппарата. При изучении этой дисциплины одной из трудностей является усвоение студентами системы логических понятий. Он содержит определения наиболее часто встречающихся логических понятий. Поскольку словарь логический, мы не ставили целью характеризовать все значения определяемых понятий (например, слово «определение» используется также в праве, математике, русском языке и везде имеет различные значения).

Словарь адресован студентам, изучающим традиционную формальную логику.

Печатается по решению научно-методического совета Ярославского государственного университета им. П.Г. Демидова.

Рецензент: кафедра педагогики и педагогической психологии Ярославского государственного университета им. П.Г. Демидова.

Ярославский государственный университет

имени П.Г. Демидова

1. Абстрактные понятия – понятия, в которых признак как бы отрывается от предмета и мыслится самостоятельно.

2. Атрибутивное суждение – суждение, в котором предикат является признаком субъекта.

3. Безотносительные понятия – понятия, которые мыслятся самостоятельно (в отличие от соотносительных).

4. Бесконечные понятия – понятия, объем которых состоит из бесчисленного множества элементов.

5. Видовые признаки – признаки, принадлежащие некоторой совокупности элементов класса.

6. Генетическое определение – определение, в котором указывается на способ образования, происхождения объекта.

7. Дедуктивное умозаключение – 1) умозаключение, в котором из посылок большей степени обобщенности делают менее общий вывод; 2) умозаключение, в котором вывод носит достоверный характер.

8. Деление понятий – прием, раскрывающий объем понятия.

9. Деление понятий по видообразующим признакам – деление, при котором члены деления имеют признак, положенный в основание деления, но этот признак изменяется, приводя к образованию новых видовых понятий.

10. Делимое понятие – понятие, объем которого раскрывается при делении.

11. Дизъюнктивное (разделительное) суждение – сложное суждение, в котором два или более простых соединяются логическим союзом «или» (формула А или В или С).

12. Дихотомическое деление – деление, при котором делимое понятие делится на два: элементы одного имеют какой-то признак, а у элементов второго этот признак отсутствует, ничем не заменяясь.

13. Единичные признаки – признаки, принадлежащие отдельному предмету мысли.

14. Единичные понятия – понятия, объем которых состоит из одного элемента.

15. Единичное суждение – суждение, в котором субъект является единичным понятием.

16. Единично-отрицательное суждение – суждение, в котором субъект – единичное понятие, а связка – отрицательная (формула суждения S есть P).

17. Единично-утвердительное суждение – суждение, в котором субъект – единичное понятие, а связка – утвердительная (формула суждения S не есть P).

18. Естественная классификация – классификация, в которой предметы мысли располагаются по их существенным признакам.

19. Заключение (вывод) – суждение, которое в умозаключении выводится из посылок.

20. Закон обратного отношения между объемом и содержанием понятия – положение, устанавливающее зависимость между объемом и содержанием понятия. Обычно используют следующую его формулировку: «Из двух понятий, находящихся в отношениях подчинения, большее по объему будет иметь меньшее содержание и наоборот».

21. Знак количества – компонент суждения, указывающий, обо всех или некоторых элементах субъекта идет речь в суждении.

22. Знак модальности – элемент суждения, указывающий на закономерный, случайный или возможный характер связи между терминами.

23. Импликативное (условное) суждение – сложное суждение, в котором два простых объединяются с помощью логического союза «если…, то…» (формула Если А, то В).

24. Индуктивное определение – прием, сходный определением, в котором признаки понятия раскрываются путем перечисления элементов, составляющих понятие.

25. Индуктивные умозаключения – 1) умозаключения, в которых из посылок меньшей степени обобщенности получаются более общие выводы; 2) умозаключение, в котором вывод носит вероятный характер.

26. Искусственная классификация – классификация, в которой предметы мысли располагаются по их второстепенным признакам.

27. Категорическое суждение – суждение, в котором устанавливается существование или отсутствие связи (закономерной или случайной) между терминами.

28. Классификация – прием, при котором однородные элементы распределяются по определенным группам и подгруппам с использованием системы оснований.

29. Конечные понятия – понятия, объем которых состоит из ограниченного количества элементов.

30. Конкретные понятия – понятия, в которых предмет мысли отражается как реальный объект во всем многообразии его признаков.

31. Контекстуальное определение – прием, сходный с определением, при котором значение понятия задается через контекст.

32. Контрадикторность (противоречие) – отношение между сравнимыми общеутвердительными и частноотрицательными суждениями (или общеотрицательными и частноутвердительными). Для этих отношений характерно то, что суждения, в них находящиеся, не могут быть одновременно ни истинными, ни ложными; из истинности одного из них следует ложность другого, из ложности одного следует истинность другого.

33. Контрарность (противность) – отношение между сравнимыми общеотрицательными и общеутвердительными суждениями. Для этих отношений характерно то, что суждения, в них находящиеся не могут быть одновременно истинными, но могут быть одновременно ложными; если одно из них истинно, то другое обязательно ложно, но из ложности одного ничего нельзя сказать о истинности или ложности другого.

34. Конъюнктивное (соединительное) суждение – сложное суждение, в котором два или более простых суждения соединяются логическим союзом «и» (формула А и В и С).

35. Логика – наука, изучающая законы и формы правильного мышления.

36. Логический квадрат – условная фигура, служащая для изображения отношений между суждениями, в которой вершинами являются сравнимые суждения, а сторонами и диагоналями – отношения между ними.

37. Мышление – это социально обусловленный, неразрывно связанный с речью психический процесс поисков и открытия существенно нового, процесс опосредствованного и обобщенного отражения действительности в ходе ее анализа и синтеза. Мышление возникает на основе практической деятельности из чувственного познания и далеко выходит за его пределы (А.В. Брушлинский).

38. Нераспределенный термин – термин, который мыслится в суждении частично.

39. Нерегистрируемые понятия – понятия, объем которых учету не поддается.

40. Несовместимые отношения между понятиями – отношения, при которых понятия имеют общие элементы, их объемы совпадают полностью или частично.

41. Несравнимые понятия – понятия, не имеющие ближайшей связи по объему и содержанию.

42. Нестрогая дизъюнкция – дизъюнктивное суждение, в котором используется логический союз «или/и».

43. Неявное определение – вспомогательный прием, раскрывающие отдельные признаки предмета мысли и не ориентированный на решение основных познавательных задач определения.

44. Номинальное определение – определение, в котором раскрывается значение термина.

45. Нулевые понятия – понятия, объем которых – пустое множество; признаки, составляющие содержание данного понятия, не соответствуют ни одному реально существующему объекту.

46. Общие признаки – признаки, принадлежащие всему классу объектов.

47. Общие понятия – понятия, объем которых состоит из двух или более элементов.

48. Общее суждение – суждение, в котором речь идет обо всех элементах суждения.

49. Общеотрицательное суждение – суждение, в котором используется общий знак количества и отрицательная связка (формула суждения S не есть P).

50. Общеутвердительное суждение – суждение, в котором используется общий знак количества и утвердительная связка (формула суждения S есть P).

51. Объем понятия – совокупность объектов, входящих в понятие, имеющих признаки, перечисленные в его содержании.

52. Описание – прием, сходный с определением, состоит в перечислении внешних, чувственно воспринимаемых признаков предмета.

53. Определение понятия (дефиниция) – логический прием, раскрывающий содержание понятия.

54. Определение через род и видовые отличия – определение, в котором определяемое понятие сначала относят к ближайшему роду, а затем указывают признаки, которыми оно отличается от других элементов данного класса.

55. Определенность – свойство правильного мышления, характеризующее четкость ясность мысли.

56. Определяемое понятие (левая часть определения, дефиниендум) – понятие, содержание которого раскрывается в определении.

57. Определяющее понятие (правая часть определения, дефиниенс) - понятие, с помощью которого раскрывается содержание определяемого.

58. Основание деления – признак, по которому осуществляется деление понятия.

59. Отрицательные понятия – понятия, в которых подчеркивается отсутствие у предмета мысли некоторых признаков.

60. Отрицательное суждение – суждение, в котором используется отрицательная связка, указывается на отсутствие связи между терминами.

61. Пересечение – отношение между понятиями, при котором отношения между понятиями совпадают лишь частично.

62. Подчинение – 1) отношение между понятиями, при котором объем одного понятия полностью входит в объем другого, но полностью его не исчерпывает; 2) отношение между сравнимыми общеутвердительными и частноутвердительными (а так же общеотрицательными и частноотрицательными) суждениями. Для этих отношений характерно то, что истинность подчиняющего (общего) всегда ведет к истинности подчиняемого (частного), но не наоборот, а ложность подчиняемого ведет к ложности подчиняющего, но не наоборот.

63. Полисиллогизм – совокупность двух или более простых категорических силлогизмов, в которой вывод предыдущего является посылкой последующего.

64. Положительные понятия – понятия, в которых подчеркивается наличие у предмета мысли некоторых признаков.

65. Понятие – форма мышления, в которой предметы и явления отражаются в их общих и существенных признаках.

66. Посылка – суждение, из которого в умозаключении получается вывод.

67. Правильное мышление – такое мышление, которое обеспечивает отражение субъектом свойств и связей объекта, соответствующих действительности. Правильное мышление обладает четырьмя признаками: определенностью, последовательностью, непротиворечивостью и доказательностью.

68. Предикат (больший термин, логическое сказуемое, Р) – 1) элемент суждения, обозначающий понятие, сопоставляемое с субъектом; 2) элемент простого категорического силлогизма, являющийся предикатом вывода.

69. Признаки – свойства предмета мысли, его связи и отношения с другими предметами, позволяющие устанавливать сходство и различие между ними.

70. Простой категорический силлогизм – дедуктивное умозаключение, в котором обе посылки и вывод являются простыми категорическими суждениями; в нем устанавливаются отношения между крайними терминами (S и Р) на основании их отношения к среднему термину (М).

71. Разделительные понятия – понятия, в которых каждый элемент мыслится самостоятельно и обладает всеми признаками данного понятия.

72. Разделительный силлогизм – дедуктивное умозаключение, в состав которого входят разделительные суждения.

73. Разделительно -категорический силлогизм – дедуктивное умозаключение, в котором одна из посылок разделительная, а остальные посылки и вывод – простые категорические суждения.

74. Различение – прием, сходный с определением, состоит в том, что неизвестный предмет мысли сопоставляется с другим, хорошо известным, при этом подчеркиваются признаки отличительные.

75. Разъяснение посредством примера – прием, сходный с определением, при котором признаки предмета мысли раскрываются путем указания на объект, у которого эти признаки ярко выражены.

76. Разъяснение смысла слова – прием, сходный с определением, при котором раскрывается содержание частей слова, обозначающего предмет мысли.

77. Расположение мысли по определенному плану – прием, сходный с делением, при котором для раскрытия определенной мысли используется совокупность других, более частных мыслей, расположенных в определенной последовательности.

78. Распределенный термин – термин, полностью включающийся в суждение или полностью из него исключающийся.

79. Расчленение целого на части – прием, сходный с делением, который состоит в выделении в исходном объекте составных частей. В отличие от деления, получающиеся в результате этого действия понятия будут относится к исходному не как вид к роду, а как часть к целому.

80. Реальное определение – определение, в котором раскрываются признаки объекта.

81. Регистрируемые понятия – понятия, объем которых поддается учету.

82. Связка – элемент суждения, устанавливающий наличие или отсутствие связей между терминами.

83. Собирательные понятия – понятия, в которых группа родственных элементов мыслится как единое целое, а признак, принадлежащий их совокупности не принадлежит ее отдельным элементам.

84. Совместимые отношения между понятиями – отношения, при которых понятия имеют общие элементы.

85. Содержание понятия – совокупность его общих и существенных признаков.

86. Соотносительные понятия – понятия (2 или несколько), между которыми устанавливается неразрывная мысленная связь, такие понятия друг без друга не мыслятся и как правило друг через друга раскрываются.

87. Соподчинение (простое соподчинение) – несовместимое отношение между понятиями, при котором два или более понятия входят как видовые в объем более общего.

88. Сравнение – прием, сходный с определением, состоящий в сопоставлении неизвестного предмета мысли с другим, хорошо известным, при этом подчеркиваются признаки сходные.

89. Сравнимые понятия – понятия, имеющие ближайшую связь по объему и содержанию.

90. Сравнимые суждения – суждения, имеющие одинаковые термины и отличающиеся качеством и количеством.

91. Средний термин (М) – элемент простого категорического силлогизма, входящий в состав обеих посылок.

92. Строгая дизъюнкция – дизъюнктивное суждение, в котором используется логический союз «либо».

93. Субконтрарность (подпротивность) – отношение между сравнимыми частноутвердительными и частноотрицательными суждениями. Для него характерно то, что суждения, в них находящиеся, не могут быть одновременно ложными, но могут быть одновременно истинными; ложность одного из них ведет к истинности другого, но из истинности одного ничего нельзя сказать об истинности другого.

94. Субъект (меньший термин, логическое подлежащее, S) – 1) элемент суждения, указывающий на то, о чем идет в нем речь; 2) элемент простого категорического силлогизма, являющийся субъектом заключения.

95. Суждение – форма мышления, в которой что-либо утверждают или отрицают о предмете мысли и которая может быть истинной или ложной.

96. Суждение возможности – суждение, устанавливающее возможность, вероятность связи между терминами.

97. Суждение действительности – суждение, устанавливающее существование случайной связи между терминами.

98. Суждение необходимости – суждение, устанавливающее существование закономерной связи между терминами.

99. Суждение объема – суждение, в котором предикат является понятием, родственным субъекту.

100. Суждение с отношением – суждение, в котором устанавливаются пространственные, временные и т.п. подобные особые отношения между понятиями.

101. Существенные признаки – такие признаки, каждый из которых необходим, а всех вместе достаточно для отличения предмета мысли от сходных (Н.П. Ерастов).

102. Тождество – отношение между понятиями, при котором их объемы полностью совпадают.

103. Традуктивное умозаключение – умозаключение, в котором от посылок к выводу не меняется обобщенность суждений.

104. Указание – прием, сходный с определением, состоящий в предъявлении предмета мысли.

105. Указание на противоположность – прием, сходный с определением, при котором признаки предмета раскрываются путем указания на предмет, обладающий противоположным набором признаков.

106. Умозаключение – форма мышления, в которой из одного или нескольких суждений получается новое суждение.

107. Условно-категорический силлогизм – дедуктивное умозаключение, в котором одна из посылок является условным суждением, а другая посылка и вывод – простыми категорическими суждениями

108. Условно-разделительный силлогизм – дедуктивное умозаключение, в состав которого входят как условные, так и разделительные суждения.

109. Условный силлогизм – дедуктивное умозаключение, в состав которого входят условные суждения.

110. Утвердительное суждение – суждение, в котором используется утвердительная связка и устанавливается наличие связи между терминами.

111. Формальная логика – наука, изучающая наши мысли со стороны их структуры (при этом она отвлекается от их изменения и развития); формальная логика изучает законы и правила, которым подчиняется наша мысль в процессе получения выводного знания; формальная логика выявляет операции, применяемые к различным формам нашей мысли, к предметам самого различного конкретного содержания (Д.П. Горский).

112. Характеристика – прием, сходный с определением, состоит в том, что перечисляются существенные признаки предмета мысли.

113. Частное суждение – суждение, в котором речь идет о некоторых элементах субъекта.

114. Частноотрицательное суждение – суждение, в котором используется частный знак количества и отрицательная связка (формула суждения S не есть P).

115. Частноутвердительное суждение - суждение, в котором используется частный знак количества и утвердительная связка (формула суждения S есть P).

116. Чисто-разделительный силлогизм – дедуктивное умозаключение, в котором все посылки и вывод являются разделительными суждениями.

117. Чисто-условный силлогизм – дедуктивное умозаключение, все посылки и вывод которого являются условным суждением.

118. Члены деления – понятия, получающиеся в результате деления.

119. Эквивалентное суждение – суждение, в котором два простых соединяются с помощью логического союза «если и только если…, то…» (формула Если и только если А, то В).

120. Энтимема – дедуктивное умозаключение, построенное на основе простого категорического силлогизма, в котором одна из посылок или вывод пропущены.

121. Явное определение – строгий прием, ориентированный на решение основных познавательных задач определения.