- •6. Правильные и неправильные умозаключения в логике высказываний.
- •15. Основные логические характеристики понятия: объем понятия и содержание понятия.
- •16. Классификация понятий.
- •17. Закон обратного отношения объема и содержания понятий.
- •21. Следования в силлогистике.
- •23. Правила силлогизма (правило терминов и правило посылок).
- •24. Формальный язык логики предикат.
- •25. Следования в логике предикат.
- •26. Правильные и неправильные умозаключения в логике предикат.
- •27. Индуктивные умозаключения (индуктивные методы нахождения причинных связей)
- •28. Умозаключения по аналогии.
15. Основные логические характеристики понятия: объем понятия и содержание понятия.
П1, П2- понятия.
С (П1), С (П2)- содержание
О(П1), О(П2)- объем
Если С (П1) включается в С (П2), то О(П2) включается в О(П1).
Объем понятия «П»- это множество всех П. Иначе говоря, объем понятия «студент»- это множество всех студентов.
16. Классификация понятий.
Понятия классифицируются по объему:
Общее- если его объему принадлежит более одного элемента.
Единичное- если его объему принадлежит только один элемент.
Пустое- если его объему не принадлежит ни одного элемента.
17. Закон обратного отношения объема и содержания понятий.
П1, П2- понятия
с (П1) - содержание понятия
о (П1) - объемы понятий
задачи по теме- " понятия"
1ый тип: по заданным понятиям определить их объемы, установить отношения между этими объемами проиллюстрировать эти отношения с помощью диаграммы Эйлера.
2ой тип: по заданной д. Эйлера найти понятия отношения между объёмами которых иллюстрирует эта диаграмма.
примеры задач 1ого типа-" человек"- множество всех людей
" студент"- множество всех студентов
"англичанин"- множество всех англичан
"народ"-множество всех народов
18. Фрагмент естественного языка, изучаемый в силлогистике. 4 разновидности высказываний:
1) все S есть P
2)некоторые S есть P
3) все S не есть P
4) некоторые S не есть P
1,4 высказывания- общие, 3,4- некоторые
высказывания 1) и 2) вида называются утвердительными
высказывания 3) и 4) вида наз. отрицательными
высказывания 1ого типа- общеутвердительные
высказывания 2ого типа- частноотрицательные
высказывания 3его типа- общеотрицательные
высказывания 4ого типа- частноотрицательные
С точки зрения силлогистики выделяют 3 составляющие: субъект, предикат и логическая связка.
Субъект высказывания- это термин, который обозначает то, о чём говорится в данном высказывании.
Предикат- это термин, который означает, что говорится о субъекте. Обозначается буквой Р.
Логическая связка- это неполная лингвистическая конструкция, следующего вида: Все… есть Некоторые….есть Все….не есть Некоторые….не есть
19. Логический квадрат. Логический квадрат- графическое изображение отношений между высказываниями в силлогистике, при условии, что у этих высказываний одни и те же субъекты и одни и те же предикаты. 2 высказывания находятся в отношении противоречия, если они не могут быть вместе истинными и не могут быть вместе ложными.
2 высказывания находятся в отношении противоречия, если они не могут быть вместе истинными, но могут быть вместе ложными.
2 высказывания находятся в отношении подпротивоположности, если они не могут быть вместе ложными, но могут быть вместе истинными.
20. Формальный язык силлогистики. Его синтаксис и семантика. Формальная силлогистика, значит, использующая формальный язык.
Алфавит ФЯС: (1) t1, t2,t3- термы.
(2) A E I O- логические связки ФЯС. Формулой в ФЯС называется любая последовательность, содержащая 3 члена- 1ый из которых является логической связкой ФЯС, а 2ой и 3ий являются термами ФЯС.
Семантика в ФЯС.
1. интуитивная семантика в ФЯС.
2. теоретико-множественная семантика ФЯС.
термы обозначают термины, то есть существенные и описания, выражающие понятия. логическим связкам соответствуют неполные синтаксические конструкции. А- все...есть, Е-все... не есть, I- некоторые...есть, О- некоторые...не есть .
Теоретико-множественная семантика ФЯС.
Определение оценки ФЯС в непустом универсальном множестве U: оценкой ФЯС в непустом универсальном множестве U наз. любое приписывание терма ФЯС непустым подмножеством, множества U , при котором данному терму ФЯС приписывается 1 единственное подмножество.