2. Понимание
Понимать термин
значит знать, какие
именно предметы
подпадают под него, т.е.
по любому
предъявленному
предмету уметь решать
вопрос, можно ли данный
предмет обозначить
данным термином.
7. Основные характеристики понятия
А( )
СОДЕРЖАНИЕ ОБЪЕМ
признак А( ), на
основании которого
обобщаются и
выделяются в класс
объекты в данном
понятии
класс всех тех
предметов из
универсума, которые
обладают признаком
А( )
9. 1. По количеству элементов
Пустые Непустые
Универсальные Неуниверсальные
ЕдиничныеОбщие
10. 1. По количеству элементов
В объеме которых нет ни
одного элемента
В объеме которых есть
по крайней мере один
элемент
Универсальные Неуниверсальные
ЕдиничныеОбщие
11. 1. По количеству элементов
Пустые Непустые
Универсальные Неуниверсальные
В объеме которых
строго один элемент
В объеме которых
>1 элемента
12. 1. По количеству элементов
Пустые Непустые
Объем которых
совпадает с
универсумом
Объем которых
< универсума
ЕдиничныеОбщие
13. 2-3. По типу элементов
Конкретные и
абстрактные
Собирательные и
несобирательные
•Студент, испытывающий
голод
•Голод, который
испытывает студент
•Солдат, участвовавший в
Бородинском сражении
•Полк солдат, участвовавший в
Бородинском сражении
•Элементами объема
являются отдельные
предметы или их
множества
•Элементами объема
являются отдельные
свойства, отношения или
их множества
•Элементами объема
являются множества
•Элементами объема
являются отдельные
предметы, свойства или
отношения
15. 1-3. По виду признака
• Простые
• Сложные1
• Положительные
• Отрицательные2
• Относительные
• Безотносительные3
•Записываются без бинарных связок [хР(х)]
•Записываются с помощью по крайней мере
одной бинарной связки [х(Р(х)&R(x)]
•Запись не содержит знака отрицания [хР(х)]
•Запись содержит по крайней мере один
знак отрицания [х Р(х)]
•Записываются с помощью одноместного
предикатора [хР(х)]
•Записываются с помощью двух- и более
местного предикатора [хР(х, а)]
•Человек, являющийся студентом
•Человек, являющийся студентом и
спортсменом
•Человек, являющийся студентом
•Человек, не являющийся математиком
•Человек, являющийся студентом
•Человек, изучающий логику
17. Принципиальное различие
Два понятия А( ) и В( ) считаются сравнимыми,
если и только если совпадают их роды, то есть
U1=U2.
В противном случае понятия считаются
несравнимыми и выявление отношений между их
объемами невозможно.
18. Фундаментальные отношения
1. Два понятия А( ) и В( ) считаются
совместимыми, если и только если в универсуме
имеется по крайней мере один элемент, входящий
сразу в объем обоих понятий.
2. Понятие А( ) включается в понятие В( ), если и
только если каждый элемент объема А является
также элементом объема В.
3. Два понятия А( ) и В( ) находятся в отношении
исчерпывания, если и только если каждый элемент
из универсума U является элементом объема по
крайней мере одного из двух понятий.
19. Вспомогательные отношения.
Круги Эйлера
Учитывая различные комбинации
фундаментальных отношений, которые
возможны для некоторых конкретных
понятий А( ) и В( ), можно было бы
установить для них 16 различных
нефундаментальных отношений.
Если же ограничиться рассмотрением
только непустых и неуниверсальных
понятий, то для них можно установить
ровно 7 различных отношений
Леонард Эйлер
1707 -1783
33. Закон обратного соотношения между
объемами и содержаниями понятий
Объем понятия А( ) составляет
часть объема понятия В( ), если и
только если содержание В( )
составляет часть содержания А( )
34. 1. Ограничение
Ограничить непустое понятие В( ) это значит
указать непустое понятие А( ) такое, что для их
объемов А и В будет справедливо отношение
подчинения первого второму.
35. 2. Обобщение
Обобщить непустое понятие А( ) это значит
указать понятие В( ) такое, что для их объемов А
и В будет справедливо отношение подчинения
первого второму.
36. 3. Деление
Под операцией деления некоторого непустого
понятия В( ) понимают переход от данного
понятия к системе каких-либо понятий S = { А1( ),
А2( ), …, Аn( )}.
37. Состав деления
1. В( ) – делимое понятие
2. А1( ), А2( ), …, Аn( ) – члены деления
3. Основание деления - характеристика предметов,
входящих в объем делимого понятия, которая и
порождает систему членов деления S.
38. Правильное деление:
Деление считается правильным, если и только если
выполняются следующие условия:
1. Каждое понятие Аi( ) является видовым для В( )
[ Аi( )⊂ В( )];
2. Каждое понятие Аi( ) не пусто [ Аi( )≠∅];
3. Понятия Аi( ) и Аj( ) попарно несовместимы
[ Аi( )∩ Аj( )=∅];
4. Объединение объемов всех понятий А1( ), А2( ), …,
Аn( ) из S совпадает с объемом В( ) [ А1( )∪ А2( )
∪…∪ Аn( ) = В( )];
5. Деление проводилось по одному основанию.
39. Виды деления
ДИХОТОМИЧЕСКОЕ
ПО ВИДОИЗМЕНЕНИЮ
ОСНОВАНИЯ
В качестве основания
деления выбирается
признак, которым
обладают не все
объекты из объема
делимого понятия
В качестве основания
деления выбирается
признак, которым
обладают все
объекты из объема
делимого понятия,
но в различной
модификации
43. Дерево
классификации
Дерево классификации
выглядит как множество точек
(вершин), соединенных
линиями (ребрами).
Каждая вершина представляет
некоторое понятие, которое
называют таксоном.
Ребра же показывают, на какие
подвиды разбиваются данные
таксоны.
44. Дерево
классификации
Вершина К0 называется корнем
дерева. Она репрезентирует исходное
делимое понятие.
Таксоны группируются по ярусам. В
каждом ярусе собраны таксоны,
полученные в результате одинакового
числа применений операции деления
к исходному понятию.
Те таксоны, которые уже далее не
делятся в данной классификации на
свои виды, называются концевыми
таксонами.