
- •Вопросы к экзамену по предмету «Логика»
- •Предмет формальной логики, ее значение.
- •Язык как знаковая система. Виды знаков.
- •Классическая логика высказываний, ее язык (алфавит, определение формулы, определение логического следования).
- •Классическая логика высказываний: отношения между формулами.
- •Основные способы правильных умозаключений клв.
- •Общие сведения о силлогистике и ее язык (алфавит, определение формулы, определение логического следования).
- •Семантика позитивной силлогистики. Понятие распределенности терминов; понятие логического следования.
- •Позитивная силлогистика: выводы по логическому квадрату и обращение.
- •Негативная силлогистика: превращение, противопоставление s, противопоставление р, противопоставление s и р.
- •Простой категорический силлогизм: состав, модусы, общие правила силлогизмов.
- •Корректная энтимема. Алгоритм восстановления в силлогизм энтимемы, в которой пропущена одна из посылок.
- •Некорректная энтимема. Алгоритм восстановления в силлогизм энтимемы, в которой пропущено заключение.
- •Обобщающая нестатистическая индукция: полная и неполная.
- •Обобщающая статистическая неполная индукция, две ее разновидности.
- •Понятие о причинной зависимости.
- •Методы установления причинных зависимостей.
- •Аналогия, ее виды. Принципы научной аналогии.
- •Понятие. Его содержание и объем. Закон обратного отношения.
- •Виды понятий.
- •Отношения между объемами понятий. Круги Эйлера.
- •Операции обобщения и ограничения понятий.
- •Деление. Правила деления. Виды деления.
- •Классификация: ее структура и виды. Значение классификации.
- •Булевы операции над объемами понятий. Законы Булевой алгебры.
- •Определение и приемы, сходные с определением.
- •Явные определения, их виды.
- •Неявные определения, их виды.
- •Определения реальные и номинальные, контекстуальные и неконтекстуальные. Принцип соразмерности.
- •Основы теории аргументации.
Негативная силлогистика: превращение, противопоставление s, противопоставление р, противопоставление s и р.
Превращение (obversio) – это непосредственное умозаключение, в котором субъект заключения совпадает с субъектом посылки, а предикатом заключения является термин, противоречащий предикату посылки.
Противопоставление предикату (контрапозиция предикату) – это результат последовательного применения к исходному высказыванию операции превращения, а затем – операции обращения. (термины S и P меняются местами, и термин Р берётся с отрицанием)
Противопоставление субъекту (контрапозиция субъекту) – это результат последовательного применения к исходному высказыванию операции обращения, а затем – операции превращения. (термины S и P меняются местами, и термин S берётся с отрицанием)
Чистое противопоставление (чистая контрапозиция) – это результат последовательного применения операции превращения, обращения и снова превращения.
Простой категорический силлогизм: состав, модусы, общие правила силлогизмов.
ПКС – это умозаключение, в котором на основе некоторого отношения между терминами Р и М, с одной стороны, и S и М, с другой, делают вывод о наличии определённого отношения меджу терминами S и Р.
S |
Крайние термины |
Р – предикат заключения, больший термин; послыка – большая. |
М – средний термин, встречается в обеих посылках (является общим для них), но не в заключении.
Фигура – это множество простых категорических силлогизмов, имеющих одну и ту же структуру, определяемую расположением среднего термина в посылках.
Правильные модусы фигур – это те, для которых между посылками и заключениями существует отношение логического следования. Всего таких – 24.
I фигура |
II фигура |
III фигура |
IV фигура |
Barbara (aaa) |
Baroko (aoo) |
Bokardo (oao) |
Camenos (aeo) |
Celarent (eae) |
Cesare (eae) |
Disamis (iai) |
Dimaris (iai) |
Darii (aii) |
Camestres (aee) |
Datisi (aii) |
Camenes (aee) |
Ferio (eio) |
Festino (eio) |
Ferison (eio) |
Fresison (eid) |
Barbari (aai) |
Camestrop (aeo) |
Darapti (aai) |
Bramantip (aai) |
Celaront (eao) |
Cesaro (eao) |
Felapton (eao) |
Fesaro (eao) |
Общие правила ПКС:
Правила посылок
Хотя бы одна посылка должна быть общей
Хотя бы одна посылка должна быть утвердительной
Если обе посылки утвердительные, то и заключение должно быть утвердительным.
Если одна из посылок отрицательная, то и заключение должно быть отрицательным.
Если одна из посылок частная, то и заключение должно быть частным.
Правила терминов
Средний термин должен быть распределён хотя бы в одной из посылок.
Если термин распределён в заключении, то он должен быть распределён и в посылке.
С
иллогизм считается правильный, е.т.е для него выполняются правила!