- •Билет № 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. Неявные определения. Правила и возможные ошибки в определениях
- •Требования ясности определения.
- •Требования соразмерности
- •Определение не должно содержать в себе круга.
Умозаключения полной индукции
S = {а1 ,а2 ,…,аn}
При истинности посылок – истинное заключение. Но! Логического следования нет, т.к. ЛФ не дает гарантию. Обусловлено свойствами конкретной предметной области.
Умозаключения неполной индукции
{а1 ,а2
,…,аn}
S
Объекты могут быть недоступны; объектов может быть слишком много; проверка может вести к уничтожению объекта. Поэтому удобно пользоваться неполной индукцией.
Популярная индукция (индукция через простое перечисление – энумеративная)
Никаких методов отбора нет.
Научная индукция (через отбор – элементативная).
Особые методики отбора, которые диктуются предметной областью.
Общие принципы:
Достаточно большое количество объектов.
Разнообразные объекты
Поиск нестандартных случаев - попытаться сначала опровергнуть (найти предмет, не обладающий свойством).
Билет № 16. Методы установления причинных связей между явлениями
Ф. Бэкон, Дж. С. Милль Методы Бэкона-Милля
Задача – установить причину того или иного явления.
Свойство причинной связи: причина всегда предшествует следствию.
5 методов (5-ый – метод остатков – плохой)
Метод (единственного) сходства
ABC – a
ABD – a
ACE – a
Всегда, когда есть А, есть а
А – причина а ≡ всегда, когда есть А, есть а
Сравниваем наборы предшествующих обстоятельств. Должно остаться 1 обстоятельство. Оно и будет претендовать на роль причины. Мы можем сделать индуктивный вывод.
Причинность (но только в одном аспекте) – устойчивая связь во времени.
Метод (единственного) различия (экспериментальный метод)
ABC – a
A'BD – a'
A'CD – a'
A'DE – a'
Всегда, когда нет А, нет а
А – причина а ≡ всегда, когда есть А, есть а
А – причина а
Соединенный метод сходства и различия
ABC – a
ABD – a
ACE – a
A'BC – a'
A'BD – a'
A'CE – a'
Во всех случаях А есть тогда и только тогда, когда а
А – причина а ≡ Во всех случаях А есть тогда и только тогда, когда а
А – причина а
Метод сопутствующих изменений
Устанавливаем причину изменения характеристики явления или события.
Свойство проявляется с разной степенью интенсивности.
A1B1C1 – a1
A2B1C1 – a2
A3B1C1 – a3
Всегда, когда изменяется А, изменяется а
Изменение А – причина изменения а ≡ Всегда, когда изменяется А, изменяется а
Изменение А – причина изменения а
И индуктивные, и дедуктивные шаги.
Своя трактовка истинности.
Нужно применять осторожно.
Билет № 17. Статистические умозаключения. Умозаключения по аналогии
Статистические умозаключения
Некий класс предметов – популяция (К)
Какая доля предметов данного класса обладает признаком Р? (не сколько, а какая доля)
Если предметов немного, то можно проверить.
Число элементов К, обладающих Р × 100%
Частота появления Р в К = Число элементов К
Если этого сделать нельзя, выделяют К' – выборку – и там производят сплошную проверку.
Частота появления Р в К' = х %
К' К
Частота появления Р в К = х %
Статистическое умозаключение – умозаключение, в котором осуществляется перенос частоты появления признака с выборки на популяцию.
Не всегда является достоверным.
Условия, повышающие достоверность (в социологии – специальные инструкции):
Достаточно большая выборка
Репрезентативность выборки (представительность): выборка должна адекватно представлять популяцию. Сохранение пропорций. К' - миниатюра К.
Отбор в выборку – случайный.
Если 1) и 3) выполняются, то 2) обеспечена автоматически.
Умозаключения по аналогии
а есть P1, P2,…, Pn
b есть P1, P2,…, Pn
а есть Q
b есть Q
Основа модельных экспериментов (самолет, следственный эксперимент)
Виды аналогии:
Строгая (если свойства P1, P2,…, Pn обусловливают, детерминируют Q) Гарантия истинного заключения, но следования нет, т.к. ЛФ не гарантирует.
Нестрогая
