SlideShare ist ein Scribd-Unternehmen logo
1 von 46
Горбатова Ю.В.
Понятие
Понимание
Понимать термин
значит знать, какие
именно предметы
подпадают под него, т.е.
по любому
предъявленному
предмету уметь решать
вопрос, можно ли данный
предмет обозначить
данным термином.
Понятие
Мысль, которая посредством
указания на некоторый
признак выделяет из
универсума и собирает в класс
(обобщает) все объекты,
обладающие этим признаком.
«Человек» - термин
Понятия:
(1) «двуногое и бесперое существо» (Платон),
(2) «животное, обладающее мягкой мочкой уха»,
(3) «политическое животное» (Аристотель),
(4) «животное, способное производить орудия
труда» (Б. Франклин),
(5) «животное, обладающее членораздельной
речью»,
(6) «смеющееся животное» (Аль Фараби)
Универсалия - А( )
«объект из универсума U такой,
что обладает признаком А( )»
Понятие
РОД ВИДОВОЕ ОТЛИЧИЕ
 Универсум U, по
которому пробегает
переменная
 признак А( )
Основные характеристики понятия
А( )
СОДЕРЖАНИЕ ОБЪЕМ
 признак А( ), на
основании которого
обобщаются и
выделяются в класс
объекты в данном
понятии
 класс всех тех
предметов из
универсума, которые
обладают признаком
А( )
I. Семантический аспект
Виды понятий
1. По количеству элементов
Пустые Непустые
Универсальные Неуниверсальные
ЕдиничныеОбщие
1. По количеству элементов
В объеме которых нет ни
одного элемента
В объеме которых есть
по крайней мере один
элемент
Универсальные Неуниверсальные
ЕдиничныеОбщие
1. По количеству элементов
Пустые Непустые
Универсальные Неуниверсальные
В объеме которых
строго один элемент
В объеме которых
>1 элемента
1. По количеству элементов
Пустые Непустые
Объем которых
совпадает с
универсумом
Объем которых
< универсума
ЕдиничныеОбщие
2-3. По типу элементов
 Конкретные и
абстрактные
 Собирательные и
несобирательные
•Студент, испытывающий
голод
•Голод, который
испытывает студент
•Солдат, участвовавший в
Бородинском сражении
•Полк солдат, участвовавший в
Бородинском сражении
•Элементами объема
являются отдельные
предметы или их
множества
•Элементами объема
являются отдельные
свойства, отношения или
их множества
•Элементами объема
являются множества
•Элементами объема
являются отдельные
предметы, свойства или
отношения
II. Синтаксический аспект
Виды понятий
1-3. По виду признака
• Простые
• Сложные1
• Положительные
• Отрицательные2
• Относительные
• Безотносительные3
•Записываются без бинарных связок [хР(х)]
•Записываются с помощью по крайней мере
одной бинарной связки [х(Р(х)&R(x)]
•Запись не содержит знака отрицания [хР(х)]
•Запись содержит по крайней мере один
знак отрицания [х Р(х)]
•Записываются с помощью одноместного
предикатора [хР(х)]
•Записываются с помощью двух- и более
местного предикатора [хР(х, а)]
•Человек, являющийся студентом
•Человек, являющийся студентом и
спортсменом
•Человек, являющийся студентом
•Человек, не являющийся математиком
•Человек, являющийся студентом
•Человек, изучающий логику
Отношения между объемами
понятий
Принципиальное различие
Два понятия А( ) и В( ) считаются сравнимыми,
если и только если совпадают их роды, то есть
U1=U2.
В противном случае понятия считаются
несравнимыми и выявление отношений между их
объемами невозможно.
Фундаментальные отношения
1. Два понятия А( ) и В( ) считаются
совместимыми, если и только если в универсуме
имеется по крайней мере один элемент, входящий
сразу в объем обоих понятий.
2. Понятие А( ) включается в понятие В( ), если и
только если каждый элемент объема А является
также элементом объема В.
3. Два понятия А( ) и В( ) находятся в отношении
исчерпывания, если и только если каждый элемент
из универсума U является элементом объема по
крайней мере одного из двух понятий.
Вспомогательные отношения.
Круги Эйлера
Учитывая различные комбинации
фундаментальных отношений, которые
возможны для некоторых конкретных
понятий А( ) и В( ), можно было бы
установить для них 16 различных
нефундаментальных отношений.
Если же ограничиться рассмотрением
только непустых и неуниверсальных
понятий, то для них можно установить
ровно 7 различных отношений
Леонард Эйлер
1707 -1783
Равнообъемность
 Совместимость
 Обоюдное включение
 Неисчерпывание
А подчиняется В
 Совместимость
 В включает А
 Неисчерпывание
В подчиняется А
 Совместимость
 А включает В
 Неисчерпывание
Дополнительность
 Совместимость
 Невключение
 Исчерпывание
Пересечение
 Совместимость
 Невключение
 Неисчерпывание
Противоречие
 Несовместимость
 Невключение
 Исчерпывание
Соподчинение
 Несовместимость
 Невключение
 Неисчерпывание
Пример
1. Мужчина
2. Женщина
3. Жена
4. беременная женщина
5. холостой мужчина
6. Семья
7. разведенный мужчина
U = человек
Пример
1. Мужчина
2. Женщина
3. Жена
4. беременная женщина
5. холостой мужчина
6. Семья
7. разведенный мужчина 1 2
U = человек
Пример
1. Мужчина
2. Женщина
3. Жена
4. беременная женщина
5. холостой мужчина
6. Семья
7. разведенный мужчина 1 2
U = человек
3
4
Пример
1. Мужчина
2. Женщина
3. Жена
4. беременная женщина
5. холостой мужчина
6. Семья
7. разведенный мужчина 1 2
U = человек
3
4
5
7
Пример
1. Мужчина
2. Женщина
3. Жена
4. беременная женщина
5. холостой мужчина
6. Семья
7. разведенный мужчина 1 2
U = человек
3
4
5
7
6
Операции над объемами понятий
Закон обратного соотношения между
объемами и содержаниями понятий
Объем понятия А( ) составляет
часть объема понятия В( ), если и
только если содержание В( )
составляет часть содержания А( )
1. Ограничение
Ограничить непустое понятие В( ) это значит
указать непустое понятие А( ) такое, что для их
объемов А и В будет справедливо отношение
подчинения первого второму.
2. Обобщение
Обобщить непустое понятие А( ) это значит
указать понятие В( ) такое, что для их объемов А
и В будет справедливо отношение подчинения
первого второму.
3. Деление
Под операцией деления некоторого непустого
понятия В( ) понимают переход от данного
понятия к системе каких-либо понятий S = { А1( ),
А2( ), …, Аn( )}.
Состав деления
1. В( ) – делимое понятие
2. А1( ), А2( ), …, Аn( ) – члены деления
3. Основание деления - характеристика предметов,
входящих в объем делимого понятия, которая и
порождает систему членов деления S.
Правильное деление:
Деление считается правильным, если и только если
выполняются следующие условия:
1. Каждое понятие Аi( ) является видовым для В( )
[ Аi( )⊂ В( )];
2. Каждое понятие Аi( ) не пусто [ Аi( )≠∅];
3. Понятия Аi( ) и Аj( ) попарно несовместимы
[ Аi( )∩ Аj( )=∅];
4. Объединение объемов всех понятий А1( ), А2( ), …,
Аn( ) из S совпадает с объемом В( ) [ А1( )∪ А2( )
∪…∪ Аn( ) = В( )];
5. Деление проводилось по одному основанию.
Виды деления
ДИХОТОМИЧЕСКОЕ
ПО ВИДОИЗМЕНЕНИЮ
ОСНОВАНИЯ
 В качестве основания
деления выбирается
признак, которым
обладают не все
объекты из объема
делимого понятия
 В качестве основания
деления выбирается
признак, которым
обладают все
объекты из объема
делимого понятия,
но в различной
модификации
Мереологическое «деление»
т.е. деление
предмета на части
НЕ является
логической
процедурой
деления!
Мереологическое «деление»
результат последовательного деления
некоторого понятия на его виды,
видов на подвиды и т.д.
Классификация
Дерево
классификации
Дерево классификации
выглядит как множество точек
(вершин), соединенных
линиями (ребрами).
Каждая вершина представляет
некоторое понятие, которое
называют таксоном.
Ребра же показывают, на какие
подвиды разбиваются данные
таксоны.
Дерево
классификации
Вершина К0 называется корнем
дерева. Она репрезентирует исходное
делимое понятие.
Таксоны группируются по ярусам. В
каждом ярусе собраны таксоны,
полученные в результате одинакового
числа применений операции деления
к исходному понятию.
Те таксоны, которые уже далее не
делятся в данной классификации на
свои виды, называются концевыми
таксонами.
Классификация
Предельной
классификацией
называется такая
классификация, все
концевые таксоны
которой представляют
собой единичные
понятия.
Общероссийский классификатор шоколада
http://www.znaytovar.ru/new2795.html

Weitere ähnliche Inhalte

Was ist angesagt?

04 классическая логика предикатов
04 классическая логика предикатов04 классическая логика предикатов
04 классическая логика предикатовJulia Gorbatova
 
основы логики
основы логикиосновы логики
основы логикиhudooognik
 
3 методика изучения уравнений и неравенств
3 методика изучения уравнений и неравенств3 методика изучения уравнений и неравенств
3 методика изучения уравнений и неравенствВячеслав Пырков
 
5 Силлогистика
5 Силлогистика5 Силлогистика
5 СиллогистикаVictor Gorbatov
 
Формы мышления, алгебра высказываний
Формы мышления, алгебра высказыванийФормы мышления, алгебра высказываний
Формы мышления, алгебра высказыванийserge_luch
 
2. Таблицы истинности. Эквивалентные высказывания
2. Таблицы истинности. Эквивалентные высказывания2. Таблицы истинности. Эквивалентные высказывания
2. Таблицы истинности. Эквивалентные высказыванияaleksashka3
 
иррациональные уравнения
иррациональные уравненияиррациональные уравнения
иррациональные уравненияludmilka88888
 
07 определение
07 определение07 определение
07 определениеJulia Gorbatova
 
Элементы алгебры логики
Элементы алгебры логикиЭлементы алгебры логики
Элементы алгебры логикиslbazhenova
 
Логические выражения
Логические выраженияЛогические выражения
Логические выраженияMaxim Demyanov
 
013
013013
013JIuc
 
Логические основы ПК
Логические основы ПКЛогические основы ПК
Логические основы ПКAndrey Dolinin
 
1 системы рациональных уравнений
1 системы рациональных уравнений1 системы рациональных уравнений
1 системы рациональных уравненийВячеслав Пырков
 

Was ist angesagt? (20)

04 классическая логика предикатов
04 классическая логика предикатов04 классическая логика предикатов
04 классическая логика предикатов
 
218368
218368218368
218368
 
основы логики
основы логикиосновы логики
основы логики
 
3 методика изучения уравнений и неравенств
3 методика изучения уравнений и неравенств3 методика изучения уравнений и неравенств
3 методика изучения уравнений и неравенств
 
5 Силлогистика
5 Силлогистика5 Силлогистика
5 Силлогистика
 
Автоматическое извлечение синтаксических контекстов из текстовой коллекции
Автоматическое извлечение синтаксических контекстов из текстовой коллекцииАвтоматическое извлечение синтаксических контекстов из текстовой коллекции
Автоматическое извлечение синтаксических контекстов из текстовой коллекции
 
алгебра логики
алгебра логикиалгебра логики
алгебра логики
 
Формы мышления, алгебра высказываний
Формы мышления, алгебра высказыванийФормы мышления, алгебра высказываний
Формы мышления, алгебра высказываний
 
2. Таблицы истинности. Эквивалентные высказывания
2. Таблицы истинности. Эквивалентные высказывания2. Таблицы истинности. Эквивалентные высказывания
2. Таблицы истинности. Эквивалентные высказывания
 
иррациональные уравнения
иррациональные уравненияиррациональные уравнения
иррациональные уравнения
 
07 определение
07 определение07 определение
07 определение
 
Nf games
Nf gamesNf games
Nf games
 
Элементы алгебры логики
Элементы алгебры логикиЭлементы алгебры логики
Элементы алгебры логики
 
расчетная работа яруллина г.с.афбнк
расчетная работа яруллина г.с.афбнкрасчетная работа яруллина г.с.афбнк
расчетная работа яруллина г.с.афбнк
 
Логические выражения
Логические выраженияЛогические выражения
Логические выражения
 
Определение
ОпределениеОпределение
Определение
 
Logika1
Logika1Logika1
Logika1
 
013
013013
013
 
Логические основы ПК
Логические основы ПКЛогические основы ПК
Логические основы ПК
 
1 системы рациональных уравнений
1 системы рациональных уравнений1 системы рациональных уравнений
1 системы рациональных уравнений
 

Mehr von Julia Gorbatova

преподаватель и Google
преподаватель и Googleпреподаватель и Google
преподаватель и GoogleJulia Gorbatova
 
10 силлогистика
10 силлогистика10 силлогистика
10 силлогистикаJulia Gorbatova
 
08 именование и необходимость
08 именование и необходимость08 именование и необходимость
08 именование и необходимостьJulia Gorbatova
 
06 булева алгебра(понятие)
06 булева алгебра(понятие)06 булева алгебра(понятие)
06 булева алгебра(понятие)Julia Gorbatova
 
02 синтаксис и семантика
02 синтаксис и семантика02 синтаксис и семантика
02 синтаксис и семантикаJulia Gorbatova
 
факультет философии НИУ ВШЭ
факультет философии НИУ ВШЭфакультет философии НИУ ВШЭ
факультет философии НИУ ВШЭJulia Gorbatova
 
01 логика и язык
01 логика и язык01 логика и язык
01 логика и языкJulia Gorbatova
 

Mehr von Julia Gorbatova (9)

преподаватель и Google
преподаватель и Googleпреподаватель и Google
преподаватель и Google
 
10 силлогистика
10 силлогистика10 силлогистика
10 силлогистика
 
08 именование и необходимость
08 именование и необходимость08 именование и необходимость
08 именование и необходимость
 
06 булева алгебра(понятие)
06 булева алгебра(понятие)06 булева алгебра(понятие)
06 булева алгебра(понятие)
 
05 кив и кип
05 кив и кип05 кив и кип
05 кив и кип
 
02 синтаксис и семантика
02 синтаксис и семантика02 синтаксис и семантика
02 синтаксис и семантика
 
факультет философии НИУ ВШЭ
факультет философии НИУ ВШЭфакультет философии НИУ ВШЭ
факультет философии НИУ ВШЭ
 
Понятие
ПонятиеПонятие
Понятие
 
01 логика и язык
01 логика и язык01 логика и язык
01 логика и язык
 

06 понятие