Логический квадрат. Непосредственные умозаключения по логическому квадрату.
SaP контрарность SeP
Контрадикторность
Подчин. Подчин.
SiP субконтрарность SoP
К непосредственным умозаключениям по логическому квадрату относятся умозаключения, которые строятся на основе знания отношений между высказываниями вида: SaP, SeP, SiP, SoP.
Силлогистика. Виды силлогистических теорий. Законы позитивной силлогистики.
Силлогистика - логическая теория дедуктивных рассуждений, в которой исследуются логические связи между категорическими атрибутивными высказываниями.
Виды:
1) Традиционная силлогистика – при интерпретации терминов на некотором универсуме они обязано должны оказаться знаками таких классов, которые являются не пустыми и не универсальными.
2) Аристотелевский силлогизм – сходен с традиционной, но ограничения на термин не накладывается.
3) Позитивная силлогистика – теория дедукции категорического высказывания, в котором не учитывается внутренняя структура термина. Термин понимается, как элементарное выражение и не может быть отрицательным.
4) Негативный силлогизм – используются как положительные, так и отрицательные термины.
Законы:
1) Всякий S есть S.
2) Некоторый S есть S.
3) Не всякий S не есть S.
4) Не некоторый S не есть S
Понятие простого категорического силлогизма. Фигуры и модусы простого категорического силлогизма. Правила силлогизма.
Простой категорический силлогизм – умозаключение, в котором от наличия отношений между терминами S и M и терминами M и Р, фиксируемых в посылках, приходят к заключению о наличии отношений между терминами S и Р.
Фигура силлогизма – это структура простого категорического суждения, определяемая расположением среднего термина в посылках.
Фигура 1. PMMS
М Р
S M
S – P
Фигура 2. PMMS
P M
S M
S - P
Фигура 3. PMMS
M P
M S
S – P
Фигура 4. PMMS
P M
M S
S – P
Модусы:
1 Фигура
barbara
celarent
darii
ferio
barbare
ceiaront
2 Фигура
Baroco
Cesare
Camestres
Festino
Camestrop
Cesaro
3 Фигура
Bocardo
Disamis
Datisi
Ferison
Darapti
Felapton
4Фигура
Camenos
Dimaris
Camenes
fresison
Bramantip
Fesapo
Правила категорического силлогизма:
1. В ПКС всегда три и только три термина;
2. Средний термин должен быть распределен хотя бы в одной из
посылок;
3. Термин, распределенный в заключении, должен быть распределен и
в посылках;
4. Из двух частных посылок заключение не выводиться;
5. Если одна из посылок частная, то и заключение должно быть
частным;
6. Из двух отрицательных посылок заключение не выводится;
7. Если одна из посылок отрицательная, то и заключение
отрицательное.
19)Непосредственное умозаключение в негативной силлогистике: превращение, противопоставление субъекту, противопоставление предикату, противопоставление субъекту и предикату (чистое противопоставление).
Непосредственные умозаключения - умозаключения, в которых одна
из посылок пропущена в процессе рассуждения.
Превращение - логическая операция, изменяющая качество
суждения без изменения его количества.
Противопоставление субъекту представляет собой последовательное применение к суждению операции обращения, затем к полученному результату - операции превращения.
Всякий S есть Р, Некоторый Р не есть не S.
Всякий S не есть Р, Всякий Р есть не S.
Некоторый S есть Р, Некоторый Р не есть не S.
Противопоставление предикату есть последовательное
применение к суждению операции превращения, а затем к
полученному результату - операции обращения.
Всякий S есть Р, Всякий не Р есть S.
Всякий S не есть Р, Некоторый не Р не есть S.
Некоторый S не есть Р, Некоторый не Р не есть S
Противопоставление субъекту и предикату:
Всякий S есть Р, Всякий не Р есть не S.
Всякий S не есть Р, Некоторый не Р не есть не S.
Некоторый S не есть Р, Некоторый не Р не есть не S