- •История развития логики:
- •Виды понятий:
- •Отношения между понятиями:
- •Привила и ошибки:
- •Деление понятий. Виды и классификация.
- •Правила и ошибки в делении понятий:
- •Ограничение и обобщение понятий
- •Определение и структура суждения. Суждения и предложения.
- •Деление суждений. Виды простых суждений.
- •Деление суждений по модальности.
- •Категорические суждения и их виды (деление по количеству и качеству):
- •Распределенность терминов в категорических суждениях.
- •Отношения между суждениями (логический квадрат)
- •Операции простых суждений (обращение, превращение, противопостановление)
- •Сложные суждения (определение, логические связки, формулы).
- •Необходимые и достаточные условия истинности суждений (таблицы истинности).
- •Понятие о логическом законе. Закон тождества
- •Закон непротиворечия
- •Определение и структура умозаключения. Понятие логического следования
- •Классификация умозаключений
- •Дедуктивные умозаключения. Опосредованные и непосредственные умозаключения
- •Обращение и превращение умозаключений
- •Определение и состав простого категорического силлогизма
- •Общие правила простого категорического силлогизма
- •Фигуры силлогизма:
- •Модусы силлогизма
- •Специальные правила фигур простого категорического силлогизма.
- •1. Правила терминов
- •2. Правила посылок
- •Условно-категорический силлогизм. Истинные модусы.
- •Разделительно-категорический силлогизм
- •Методы установления причинной связи
- •Методы установления причинной связи
- •1.Тезис и лозунг.
- •2.Формула Цицерона.
- •Правила и ошибки доказательства и опровержения.
- •Построение гипотезы и этапы ее развития.
- •Правила постановки простых и сложных вопросов
-
Отношения между суждениями (логический квадрат)
Вершины квадрата обозначают вид суждения по объединенной классификации А , Е , 0 , I. Стороны и диагонали символизируют логические отношения между простыми суждениями (кроме эквивалентных). Верхняя сторона есть О отношение А и Е - противоположность (контрарность); нижняя сторона - отношение между I и O - частичная совместимость(субконтрарность);две вертикальные стороны - отношения между Аи I (левая), Е и О (правая) - подчинение; диагонали - отношения между А и О, Е иI- противоречие(контрадикторность).
Отношения:
Отношения противоположности – суждения находящиеся в отношении противоположности не могут быть одновременно истинными, но могут быть одновременно ложными.
Отношения противоречия – суждения находящиеся в состоянии противоречия не могут быть одновременно не ложными, не истинными. Если одно из них истинно, то другое непременно ложно, и наоборот. А истинно, O – ложно. ∀ (x)(S(x) ⊃ P(x)) ⊃ ∃-(x)(S(x) ⋀ P-(x)) Если верно, что все S суть P, то неверно, что некоторые S не суть P.
Отношения подчинения – суть отношений подчинения заключается в том, что истинность подчинённых суждений, гарантируется истинностью общих суждений. Ложность подчинённых, обуславливает ложность общих. A истинно, E – ложно. ∀ (x)(S(x) ⊃ P(x)) ⊃ ∃ (x)(S(x) ⋀ P(x)) Если верно, что все S суть P, то верно, что и некоторые S суть P. Отношения подпротивности – суждения находящиеся в отношении подпротивности не могут быть одновременно ложными, но могут быть одновременно истинными. Если одно из суждений ложно, то другое непременно истинно, но не наоборот.
-
Операции простых суждений (обращение, превращение, противопостановление)
Операции - это, условно говоря, "практические" интеллектуальные действия с данной формой мысли, реализующие накопленные о ней знания. К логическим операциям с простыми категорическими суждениями относятся отрицание, обращение, превращение и противопоставление.
Отрицание суждения связано, естественно, с отрицательной частицей "не" и прежде всего понимается как отрицание главного элемента этой мыслительной структуры - связки, как замена утвердительной на отрицательную и наоборот, т.е. отрицать можно не только утвердительное суждение, но и отрицательное.
Превращение представляет собой операцию, связанную с изменением качества исходного суждения (т.е. связки), при этом предикат выводного суждения должен противоречить предикату исходного.
S есть Р или S не есть Р
S не есть не-P S есть не-Р
Общеутвердительное суждение превращается в общеотрицательное. В смысловом отношении оба эти суждения одинаковы, но логический вид их различен:
А превращается в Е
Е превращается в А
I превращается в О
О превращается в I
Обращение — логическая операция с простым категорическим суждением, заключающаяся в перестановке местами субъекта и предиката исходного суждения. Противопоставление — есть действие, в результате которого меняется качество исходного суждения (связка меняется на противную), меняются местами субъект и предикат его, и при этом субъект (или предикат) выводного суждения должен противоречить предикату (или субъекту) исходного. Эта операция может рассматриваться и как самостоятельная, и как комбинированная из двух предшествующих.