- •Вопросы к экзамену по предмету «Логика»
- •Предмет формальной логики, ее значение.
- •Язык как знаковая система. Виды знаков.
- •Классическая логика высказываний, ее язык (алфавит, определение формулы, определение логического следования).
- •Классическая логика высказываний: отношения между формулами.
- •Основные способы правильных умозаключений клв.
- •Общие сведения о силлогистике и ее язык (алфавит, определение формулы, определение логического следования).
- •Семантика позитивной силлогистики. Понятие распределенности терминов; понятие логического следования.
- •Позитивная силлогистика: выводы по логическому квадрату и обращение.
- •Негативная силлогистика: превращение, противопоставление s, противопоставление р, противопоставление s и р.
- •Простой категорический силлогизм: состав, модусы, общие правила силлогизмов.
- •Корректная энтимема. Алгоритм восстановления в силлогизм энтимемы, в которой пропущена одна из посылок.
- •Некорректная энтимема. Алгоритм восстановления в силлогизм энтимемы, в которой пропущено заключение.
- •Обобщающая нестатистическая индукция: полная и неполная.
- •Обобщающая статистическая неполная индукция, две ее разновидности.
- •Понятие о причинной зависимости.
- •Методы установления причинных зависимостей.
- •Аналогия, ее виды. Принципы научной аналогии.
- •Понятие. Его содержание и объем. Закон обратного отношения.
- •Виды понятий.
- •Отношения между объемами понятий. Круги Эйлера.
- •Операции обобщения и ограничения понятий.
- •Деление. Правила деления. Виды деления.
- •Классификация: ее структура и виды. Значение классификации.
- •Булевы операции над объемами понятий. Законы Булевой алгебры.
- •Определение и приемы, сходные с определением.
- •Явные определения, их виды.
- •Неявные определения, их виды.
- •Определения реальные и номинальные, контекстуальные и неконтекстуальные. Принцип соразмерности.
- •Основы теории аргументации.
Явные определения, их виды.
Явные определения – это определения, имеющие следующую структуру: А есть тоже самое, что В (А ↔df В), где А – это дефиниендум – термин (определяемое понятие), а В – дефиниенс – понятие (определяющая часть).
Для явных определений действует правило замены по дефиниции:
В явных определения определяемый термин никогда не встречается в определяющей части.
В иды явных определений:
Генетические – признак определяющего понятия указывает на способ попрождения объектов |
Целевые – признак определяющего понятия указывает на предназначение объекта |
Квалифицирующие – признак определяющего понятия указывает на структурные особенности, атрибуты, характеристики внешнего вида. |
Операциональные – признак определяющего понятия указывает на процедуру, с помощью которой можно определить, подпадает ли конкретный объект под данный термин или нет. |
Перечислительные – в правой части стоит список терминов, который охватывает собой все объексты подпадающие под данные признаки и термины. |
Неявные определения, их виды.
Неявные определения – этоопределения, имеющие следующую структуру: А есть то, что удовлетворяет условию В1,В1→Вn, где А – дефиниендум, В1,В1→Вn – дефиниенс высказывания.
Для неявных определений не действует правило замены по дефиниции.
Виды неявных определений:
Индуктивные – с их помощью задаются классы объектов
|
Рекурсивные – с их помощью задаются функции
|
Аксиоматические – с их помощью задаются фундаментальные понятия. Аксиомы – это истинные утверждения о предметах некоторой предметной области. |
|
|
|
Определения реальные и номинальные, контекстуальные и неконтекстуальные. Принцип соразмерности.
Определения по виду изменения основания делятся на:
Реальные
это те, которые даются действительно существующим объектам и свойствам отношений.
это те, которые даются с целью как можно более точно приписать термину его значение. |
Нереальные
это те, которые даются несуществующим объектам, свойствам, отношениям.
это те, которые носят временный характер и не претендуют на общезначимость. |
Определения также делятся на:
Контекстуальные (неявные) – определяемая часть А, в кот. входит данный термин, представляет собой все контексты его нормативного употребления. |
Неконтекстуальные – определения как таковые (явные) |
Принцип соразмерности: Класс предметов, который традиционнно считаюется подпадающим под определяемы термин, должен совпасть с тем классом, который задаётся определяющей частью.