- •Билет № 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. Неявные определения. Правила и возможные ошибки в определениях
- •Требования ясности определения.
- •Требования соразмерности
- •Определение не должно содержать в себе круга.
Билет № 23. Определение как познавательная процедура. Номинальные и реальные определения. Структура и виды явных определений
Определение – особого вида познавательный прием, состоящий в придании точного смысла неописательному термину с использованием языковых средств.
Сопоставление термину некоторого понятия.
Определяется неописательный термин, знак, ему придается смысл. А не сам предмет и не понятие.
Определение носит вербальный характер, отличие от процедуры указания на предмет.
Обязательно точный смысл.
Виды определения:
Реальные определения
Имеется класс объектов, за ними закреплен неописательный термин. Задача образования понятия (выделить, например, общее, что есть у людей). Результат решения этой задачи – определение.
Номинальные определения
Имеется понятие, но в языке нет сокращенного названия. Существует несколько понятий об одном и том же. Договариваемся, в каком смысле употребляется неописательный термин.
Виды определения (по структуре):
Явные определения – смысл термина придается непосредственно.
Дефиниция: определяемый термин (дефиниендум) + определяющий термин (дефиниенц)
В зависимости от характера видового отличия.
Квалифицирующие (указывает на свойства, качества, отношения).
Генетические (указывает на способ образования, происхождение)
Операциональные (указывает на совокупность процедур, позволяющих распознать, принадлежит ли объем термина U).
Целевые (указывает на сферу применения, предназначение).
Неявные определения – смысл термина придается опосредованно.
Контекстуальные: определяемый термин помещается в некоторый контекст, этому контексту приравнивается другой контекст, но без этого термина.
Определение через отношения: когда необходимо определить пару терминов, определяем не каждый термин, а сразу два через некоторое отношение.
Аксиоматические: определение исходных, примитивных терминов. Формулируем систему аксиом, туда входят исходные принципы.
Индуктивные (посредством указания на элементы объема): сначала наиболее простые элементы объема, потом процесс образования сложных.
Билет № 24. Неявные определения. Правила и возможные ошибки в определениях
Виды определения (по структуре):
Явные определения – смысл термина придается непосредственно.
Дефиниция: определяемый термин (дефиниендум) + определяющий термин (дефиниенц)
В зависимости от характера видового отличия.
Квалифицирующие (указывает на свойства, качества, отношения).
Генетические (указывает на способ образования, происхождение)
Операциональные (указывает на совокупность процедур, позволяющих распознать, принадлежит ли объем термина U).
Целевые (указывает на сферу применения, предназначение).
Неявные определения – смысл термина придается опосредованно.
Контекстуальные: определяемый термин помещается в некоторый контекст, этому контексту приравнивается другой контекст, но без этого термина.
Определение через отношения: когда необходимо определить пару терминов, определяем не каждый термин, а сразу два через некоторое отношение.
Аксиоматические: определение исходных, примитивных терминов. Формулируем систему аксиом, туда входят исходные принципы.
Индуктивные (посредством указания на элементы объема): сначала наиболее простые элементы объема, потом процесс образования сложных.
Правила определения (для реальных и явных):
