- •Билет № 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. Неявные определения. Правила и возможные ошибки в определениях
- •Требования ясности определения.
- •Требования соразмерности
- •Определение не должно содержать в себе круга.
Билет № 18. Понятие как форма мысли. Выражение понятий в языке. Лф понятия. Объем и содержание понятия.
Понятие как форма мысли
Понятие – мысль, которая посредством указания на некоторый признак выделяет из U и собирает в класс (обобщает) предметы, обладающие этим признаком.
Особенности понятия:
Мысль, нематериальный объект, относится к сфере разума
С каждым понятием связан U (предметная область)
Выделяются функция понятия: обобщение различных предметов (предмет может быть материальным, может быть идеальным – свойство, отношение, функция).
Функция реализуется указанием на общий признак.
В науке смысл и значение термина должны быть четко фиксированы, поэтому должны быть понятия. Проблема образовать понятие.
Точное понятие многое позволяет (например, в праве).
Выражение понятие в языке
Особого типа описательные термины (иногда называют универсалиями). 2 части:
Родовой термин (указывает на U)
Видовое отличие (указывает на признак)
Универсалии – общее понятие или общий знак, описательный термин. Знаковая форма выражения понятия.
ЛФ понятия
α А(α)
α – переменная или последовательность переменных (кортеж).
1) Число, которое является простым и четным х (Р(х) & Q(x))
2) Государства, имеющие общую границу xy z P(z,x,y)
3) Свойство, не присущее некоторым числам P x (Q(x) & P(х))
Основные логические характеристики понятия
Объем – экстенсиональная характеристика, содержание – интенсиональная характеристика.
Объем – множество (класс) предметов, выделяемых и обобщаемых в данном понятии (из U в класс).
Элементы объема понятия – отдельные обобщаемые в понятие предметы.
WαА(α) – множество предметов, обладающих свойством А.
Содержание – сам признак, с помощью которого понятие выделяет предметы из U.
Признаки:
Простой признак – присущность или неприсущность предмету некторых свойств.
Сложный признак – указывает на наличие или отсутствие взаимосвязи между признаками.
Атрибутивный признак – характеризует предмет сам по себе
Реляционный признак – характеризует предмет через отношение к другим.
Понятие можно рассматривать как мысль, а можно с точки зрения ЛФ. Возникают проблемы.
Различение логического и фактического объема и содержания.
Фактическое содержание – инфа, которую несет выражение А(α) с учетом значения нелогического термина.
Логическое содержание - инфа, которую несет выражение А(α) без учета значения нелогического термина (инфа, которую несет ЛФ).
Фактический объем – то подмножество (класс) из U, которое выделяется фактическим содержанием понятия.
Логический объем - та часть U, которая выделяется логическим содержанием понятия.
Нужен абстрактный U
Смотрим на ЛФ, выделяем простые признаки; предполагаем, что для каждого из признаков в U есть объекты обладающие им и не обладающие; все признаки независимы друг от друга (есть обладающие всеми, есть одним, есть не обладающие вообще).
