- •Билет № 1. Принципы, лежащие в основе КлЛ. Основные разделы НеКлЛ
- •1. Принцип двузначности:
- •2. Принцип экстенсиональности (взаимозаменимости):
- •Билет № 2. Трехзначная логика Лукасевича и проблема будущих случайных событий
- •Билет № 3. Принципы построения многозначных логик. Конечнозначные и бесконечнозначные логики Лукасевича
- •Билет № 4. Понятие модального высказывания. Виды модальностей
- •I. По аспектам модальной квалификации:
- •5) Эпистемические:
- •II. По объектам модальной квалификации, по синтаксической роли:
- •Билет № 5. Семантика возможных миров для нормальных модальных исчислений
- •Условия истинности и ложности формул:
- •Метрические унарные
- •Бинарные (связанные с в-рядом)
- •Бинарные (связанные с а-рядом)
- •Билет № 7. Временная логика Kt: исчисление и семантика
- •Условия истинности и ложности формул:
- •Билет № 8. Возможные свойства временного ряда и расширения Kt
- •Билет № 9. Парадоксы материальной импликации и классического понятия следования, их источники.
- •Билет № 10. Первоуровневая релевантная логика: семантика оос, понятие релевантного следования, ат
- •Билет № 11. Идейные предпосылки возникновения ил. Понятие конструктивного объекта и доказательства. Особенности трактовки понятия истины в интуиционизме.
- •Программа логицизма б. Рассел
- •Программа формализма д. Гильберт
- •Математический интуиционизм л.Э.Я. Брауэр
- •Билет № 12. Ил: исчисление, семантика, связь с модальной системой s4
- •Условия истинности и ложности формул:
- •Билет № 13. Метод ат в модальной и интуиционистской логике
- •Билет № 14. Понятие правдоподобного рассуждения. Отношение подтверждения и его экспликация в классической логике высказываний.
- •Билет № 15. Индуктивные умозаключения: полная и неполная, популярная и научная индукция. Условия, повышающие достоверность индуктивных выводов.
- •Умозаключения полной индукции
- •Умозаключения неполной индукции
- •Билет № 16. Методы установления причинных связей между явлениями
- •Метод (единственного) сходства
- •Соединенный метод сходства и различия
- •Метод сопутствующих изменений
- •Билет № 17. Статистические умозаключения. Умозаключения по аналогии
- •Билет № 18. Понятие как форма мысли. Выражение понятий в языке. Лф понятия. Объем и содержание понятия.
- •Билет № 19. Закон обратного отношения между содержаниями и объемами понятий. Обобщение и ограничение понятий
- •Билет № 20. Виды понятий
- •IV. В зависимости от онтологического статуса
- •Билет № 21. Отношения между понятиями по объему. Круги Эйлера и диаграммы Венна
- •1. Совместимости по объему
- •2. Исчерпываемости u объемами понятий
- •3. Объемного включения
- •Билет № 22. Булевы операции над объемами понятий. Деление понятий
- •Билет № 23. Определение как познавательная процедура. Номинальные и реальные определения. Структура и виды явных определений
- •Реальные определения
- •Номинальные определения
- •Билет № 24. Неявные определения. Правила и возможные ошибки в определениях
- •Требования ясности определения.
- •Требования соразмерности
- •Определение не должно содержать в себе круга.
IV. В зависимости от онтологического статуса
1) Конкретные – понятия, элементами объема которых являются отдельно взятые индивиды, кортежи индивидов или множества индивидов. вещество, проводящее электрический ток
2) Абстрактные – понятия, элементами объема которых являются отдельно взятые харатеристики, кортежи характеристик или множества характеристик. способность вещества проводить электрический ток
Индивид – единичность, целостность, сингулярность, которая обладает самостоятельным существованием.
Характеристика – свойства, отношения, функциональные характеристики; невозможна без индивида.
Элементами объема могут быть и индивиды, и характеристики (и отдельно взятые, и кортежи, и множества).
противоположные человеческие качества
фенотип
Билет № 21. Отношения между понятиями по объему. Круги Эйлера и диаграммы Венна
Отношения между понятиями
Отношения между понятиями можно устанавливать и по объему, и по содержанию.
По содержанию – в логике разработано плохо.
По объему можно устанавливать отношения только в случае общего U. Сравнимые понятия.
Приведение понятие к общему роду: нужно найти общее и трансформировать понятия так, чтоб был общий родовой термин, а объем бы не изменился.
Бывает, что U настолько различны, что приходится делать U – нечто.
Фундаментальные отношения между объемами понятий
1. Совместимости по объему
Понятия совместимы по объему в их объемах имеется по крайней мере 1 общий элемент.
WαА(α) ∩ WαB(α) ≠
человек, занимающийся химией и человек, занимающийся музыкой
Понятия несовместимы по объему в их объемах не найдется ни одного общего элемента.
WαА(α) ∩ WαB(α) =
существо хладнокровное и существо млекопитающее
2. Исчерпываемости u объемами понятий
Объемы понятий исчерпывают U каждый элемент U содержится в объеме хотя бы одного из 2 понятий.
WαА(α) U WαB(α) = U
существо хладнокровное и существо млекопитающее
Объемы понятий исчерпывают не U есть такие элементы U, которые не содержатся в объеме ни одного из 2 понятий.
WαА(α) U WαB(α) ≠ U
3. Объемного включения
объем одного включается в объем другого
WαА(α) WαB(α)
Невключение объем одного не включается в объем другого
WαА(α) WαB(α)
Необходимо ответить на 4 вопроса.
16 вариантов ответа на эти вопросы. Интересны 7.
Для фактических объемов – круги Эйлера.
Для логических объемов – диаграммы Венна.
Билет № 22. Булевы операции над объемами понятий. Деление понятий
Булевы операции
Понятия – множества; операции над понятиями – операции над множествами.
1) Операция взятия дополнения
WαА(α) = WαА(α)
2) Операция пересечения
WαА(α) ∩ WαB(α) = Wα (А(α) & B(α))
3) Операция объединения
WαА(α) U WαB(α) = Wα (А(α) B(α))
4) Операция теоретико-множественной разности
WαА(α) \ WαB(α) = Wα (А(α) & B(α))
Деление – переход от исходного понятия αА(α) к совокупности подчиненных ему понятий αВ1(α), αВ2(α), …, αВn(α) на основе некоторой характеристики элементов объема исходного понятия.
Исходное понятие – делимое понятие
Полученные в результате деления понятия – члены деления
Характеристика, на основе которой мы делим – основание деления
Виды деления:
Дихотомическое (деление на 2) Основание – факт наличия или отсутствия свойства.
αА(α): α(А(α) & B(α)) и α(А(α) & B(α))
Деление по видоизменению основания
Основание – П-Ф характеристика (цвет, рост, национальность).
Видоизменение, можификация.
Логические правила деления:
Деление должно быть соразмерным: объем делимого понятия должен быть равен объединению объемов членов деления.
WαА(α) = WαВ1(α) U WαВ2(α) U … U WαВn(α)
Ошибка: несоразмерность деления. Транспорт: наземный, подземный, водный
Члены деления должны быть непустыми.
WαВi(α) ≠
Ошибка: деление с пустыми членами. Животные: смертные и бессмертные
Члены деления должны исключать друг друга
WαВi(α) ∩ WαВj(α) = при i ≠ j
Ошибка: члены деление совместимы.
Деление должно проводиться строго по одному основанию (строго на основе одной хар-ки).
Ошибка: деление по разным основаниям. ЛС: классические, неклассические, пропозициональные, кванторные.
(когда деление – составная часть классификации)
Члены деления должны относиться к одному уровню классификации.
Ошибка: скачок в делении. Предложения: простые, сложносочиненные и сложноподчиненные.
Нельзя путать деление с мысленным расчленением предмета на части (мереологическое деление).
Деление – важнейший элемент классификации.
Классификация – процедура распределения объектов из некоторого множества по подмножествам (таксонам), совокупность которых образует иерархию древовидного типа; результат последовательного, ступенчатого деления некоторого исходного понятия на виды, видов на подвиды.
Первый – нулевой таксон, последующие – таксоны I, II, III уровней.
Исходное понятие – корень классификации.
Типы классификации:
Естественная (по существенному признаку). Зная место, можно сообщить массу инфы.
Таблица Менделеева
Искусственная (для быстрого, удобного поиска). Алфавитный каталог.
