- •Содержание
- •Введение Предмет логики и ее значение. История логики как науки.
- •Глава I. Понятие
- •§ 1. Понятие как форма мышления
- •Понятие – это форма мышления, в которой отражаются существенные признаки, связи и отношения предметов.
- •§ 2. Виды понятий
- •§ 3. Содержание и объем понятия
- •Согласно закону обратного отношения между содержанием и объемом понятия с увеличением содержания уменьшается объем понятия, и наоборот, чем шире объем понятия, тем ýже его содержание.
- •§ 4. Отношения между понятиями
- •Несравнимые
- •§ 5. Ограничение и обобщение понятий
- •Обобщение понятия – это переход от некоторого понятия к понятию с большим объемом, но меньшим содержанием.
- •Ограничение понятия – это переход от некоторого понятия к понятию с меньшим объемом, но большим содержанием.
- •§ 6. Определение понятий
- •§ 7. Деление понятий Деление понятия – это логическая операция, заключающаяся в том, что предметы, отображенные в исходном понятии (роде), делятся на виды.
- •Глава II. Суждение
- •§ 1. Общая характеристика суждения
- •Суждение – это форма мышления, в которой что-либо утверждается или отрицается о существовании предметов и явлений, их свойств, связей и отношений между ними.
- •§ 2. Простые суждения
- •Простое суждение – это суждение, состоящее из одного субъекта и одного предиката.
- •Сложное суждение – это суждение, состоящее из нескольких субъектов и предикатов.
- •Виды простых суждений
- •Категорические суждения и их виды (деление по количеству и качеству)
- •Объединенная классификация простых категорических суждений по количеству и качеству
- •Распределенность терминов в категорических суждениях
- •Распределенный термин – это термин, который мыслится в полном объеме, то есть объем которого полностью включается в объем другого или полностью из него исключается.
- •Нераспределеный термин – это термин, объем которого только частично входит в объем другого термина или частично исключается из объема другого термина.
- •§ 3. Отношения между суждениями по значениям истинности
- •§ 4. Модальность суждений
- •§ 5. Сложные суждения и его виды. Исчисление высказываний
- •Глава III. Умозаключение
- •§ 1. Общая характеристика умозаключения
- •Умозаключение – это форма логического мышления, в которой из нескольких суждений на основании определенных правил получается новое суждение, определенным образом связанное с исходными.
- •§ 2. Непосредственные умозаключения
- •Превращение суждения – логическая операция, в результате которой из данного суждения получается равнозначное ему, но противоположное по качеству.
- •Противопоставление предикату – непосредственное умозаключение, в ходе которого суждение вначале превращается, а затем обращается.
- •4. Из суждения і частноутвердительного необходимые выводы не следуют.
- •§ 3. Простой категорический силлогизм
- •Простой категорический силлогизм – это вид дедуктивного умозаключения, построенного из двух истинных категорических суждений, в которых s и р связаны средним термином.
- •Модусы категорического силлогизма
- •Правила категорического силлогизма
- •Сокращенный категорический силлогизм (энтимема)
- •Энтимема – это сокращенный силлогизм, в котором пропущена одна из посылок или заключение.
- •§ 4. Индуктивные умозаключения
- •Виды и формы индукции
- •Полная индукция – это вид, индуктивного умозаключения, в процессе которого делается общий вывод обо всем классе каких-либо предметов на основании знания обо всех без исключения предметах этого класса.
- •Неполная индукция – это вид индуктивного умозаключения, в процессе которого делается вывод обо всем классе предметов на основании исследования лишь некоторых однородных предметов данного класса.
- •§ 5. Индуктивные методы исследования причинных связей
- •§ 6. Умозаключение по аналогии
- •Аналогия – это умозаключение о принадлежности предмету определенного признака на основе сходства в существенных признаках с другим предметом.
- •§ 7. Гипотеза
- •Виды гипотез
- •§ 8. Умозаключения из сложных суждений
- •1. Условные умозаключения Условное умозаключение – это такое дедуктивное умозаключение, в котором одна или несколько посылок – условные суждения.
- •2. Разделительные умозаключения Разделительное умозаключение – это такое дедуктивное умозаключение, в котором одна или несколько посылок – разделительные суждения.
- •4. Сложные и сложносокращенные силлогизмы
- •Глава IV. Основные законы логики
- •§ 1. Общая характеристика логических законов
- •§ 2. Закон тождества
- •§ 3. Закон противоречия
- •§ 4. Закон исключенного третьего
- •§ 5. Закон достаточного основания
- •Глава V. Основы теории аргументации
- •§ 1. Доказательство
- •Доказательство – это совокупность логических приемов обоснования истинности какой-либо мысли с помощью других мыслей.
- •§ 2. Виды доказательства
- •§ 3. Опровержение
- •Опровержение – это логическая операция установления ложности или необоснованности ранее выдвинутого тезиса.
- •§ 4. Правила доказательства и ошибки в них
- •§ 5. Понятие о софизмах и логических парадоксах Понятие о софизмах
- •Паралогизмом – это непреднамеренная ошибка, допущенная человеком в мышлении.
- •Софизм – это преднамеренная ошибка с целью запутать своего противника и выдать ложное суждение за истинное.
- •Понятие о логических парадоксах Парадокс – это рассуждение, доказывающее как истинность, так и ложность некоторого суждения или (иными словами) доказывающее как это суждение, так и его отрицание.
- •Словарь основных понятий и терминов
- •Литература:
- •Темы рефератов по логике
- •Вопросы к зачету по логике
- •Виды понятий.
- •Отрицательные
Объединенная классификация простых категорических суждений по количеству и качеству
Наличие в каждом суждении качественной и количественной характеристик дает нам основание для объединенной классификации категорических суждений по качеству и количеству. На основе этой классификации выделяются следующие четыре типа суждений.
А – общеутвердительное суждение, которое одновременно является общим и утвердительным. («Все львы – хищники»). Формула: «Все S есть Р».
I – частноутвердительное суждение, которое одновременно является частным и утвердительным. («Некоторые учебные заведения становятся платными»). Его формула: «Некоторые S есть Р».
Е – общеотрицательное суждение, которое одновременно является общим и отрицательным («Ни одна кислота не является химическим элементом»). Его формула: «Ни одно S не есть Р».
О – частноотрицательное суждение, которое одновременно является частным и отрицательным («Некоторые предприятия не являются убыточными»). Его формула: «Некоторые S не есть Р».
Для условных обозначений утвердительных суждений взяты две первые гласные буквы латинского слова affirmo – утверждаю, для отрицательных – слова nego – отрицаю.
Единичные суждения при этом не рассматриваются, т.к. они по своему типу не вступают в отношения с другими.
Распределенность терминов в категорических суждениях
Характеристика объемов субъекта и предиката, из которых составлено суждение, дается с помощью понятия распределенность терминов в суждении.
Распределенный термин – это термин, который мыслится в полном объеме, то есть объем которого полностью включается в объем другого или полностью из него исключается.
Субъект и предикат в суждении распределены, если они взяты в полном объеме и не распределены, если взяты в части объема. Так, в суждении «Все параллелограммы – четырехугольники» субъект «параллелограммы» распределен, т.е. мыслится в полном объеме, его объем полностью включен в объем понятия «четырехугольники». Об этом свидетельствует кванторное слово «все». Тоже можно сказать и о субъектах любого общего суждения.
Нераспределеный термин – это термин, объем которого только частично входит в объем другого термина или частично исключается из объема другого термина.
Нераспределенными являются субъекты частных суждений. Об этом свидетельствуют слова «некоторые», «часть».
Проанализируем четыре вида суждений А, I, Е, О.
В
общеутвердительном суждении
(А)
субъект распределен, а предикат может
быть распределенным и нераспределенным.
1. В суждении «Все караси – рыбы» субъектом (S) является понятие «карась», а предикатом (Р) – понятие «рыба», квантор – «все». Субъект распределен, так как речь идет о всех карасях, т.е. его объем полностью включен в объем предиката. Предикат не распределен, так как в нем мыслится только часть рыб, которые совпадают с карасями; речь идет о той части объема предиката, которая совпадает с объемом субъекта.
Р
аспределенность
терминов в суждениях можно иллюстрировать
с помощью круговых схем Эйлера. На
рисунке изображено соотношение S
и Р в суждении А.
Заштрихованная часть круга на этом и
последующих рисунках характеризует
распределенность или нераспределенность
терминов.
2. В суждении «Все квадраты являются равносторонними прямоугольниками» термины такие: субъект (S) – «квадрат», предикат (Р) – «равносторонние прямоугольники», квантор – «все». В этом суждении субъект и предикат распределены, ибо их объемы полностью совпадают (см. рисунок).
Если S равен по объему Р, то Р распределен. Это бывает в определениях и в выделяющих общих суждениях.
В
общеотрицательном суждении
(Е)
объем субъекта полностью исключается
из объема предиката и наоборот. И субъект,
и предикат здесь распределены:
«Ни один лев не является травоядным
животным».
В
частоутвердительном
суждении
(I)
если субъект
и предикат частноутвердительного
суждения
распределены не полностью,
а частично, соотношение их объемов может
быть представлено в виде перекрещивающихся
кругов: «Некоторые подростки –
филателисты». В случае, когда
предикат подчинен субъекту, первый
распределен, а второй нет,
ибо субъект полностью входит в объем
предиката: «Некоторые писатели –
драматурги». «Часть бизнесменов является
миллионерами».
В
частноотрицательном суждении
(О)
субъект
не распределен, так
как мыслится лишь часть учащихся, а
предикат распределен,
ибо в нем мыслятся все спортсмены, ни
один из которых не включен в ту часть
учащихся, которая мыслится в субъекте.
Поэтому объемы этих понятий частично
перекрещиваются. («Некоторые учащиеся
не являются спортсменами»).
Итак, субъект распределен в общих суждениях и не распределен в частных. Предикат всегда распределен в отрицательных суждениях; в утвердительных же он распределен тогда, когда по объему предикат меньше или равен субъекту.
Распределенность терминов в суждениях можно представить следующей таблицей, где знаком «+» выражена распределенность термина, знаком «–» его нераспределенность, а знаком «+» возможность быть как распределенным так и нераспределенным :
Термины |
Вид суждения |
|||
А |
Е |
І |
О |
|
S |
+ |
+ |
– |
– |
Р |
+ |
+ |
+ |
+ |
