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