- •Содержание
- •Введение Предмет логики и ее значение. История логики как науки.
- •Глава 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. Понятие о софизмах и логических парадоксах Понятие о софизмах
- •Паралогизмом – это непреднамеренная ошибка, допущенная человеком в мышлении.
- •Софизм – это преднамеренная ошибка с целью запутать своего противника и выдать ложное суждение за истинное.
- •Понятие о логических парадоксах Парадокс – это рассуждение, доказывающее как истинность, так и ложность некоторого суждения или (иными словами) доказывающее как это суждение, так и его отрицание.
- •Словарь основных понятий и терминов
- •Литература:
- •Темы рефератов по логике
- •Вопросы к зачету по логике
- •Виды понятий.
- •Отрицательные
Противопоставление предикату – непосредственное умозаключение, в ходе которого суждение вначале превращается, а затем обращается.
Иными словами, поступаем следующим образом: 1) вместо Р берем не-Р; 2) меняем местами S и не-Р; 3) связку меняем на противоположную.
Пример: «Все пихты – хвойные деревья». → «Ни одно нехвойное дерево не является пихтой».
Схемы противопоставления предикату:
1. Суждение А общеутвердительное.
Все S есть Р. → Ни одно не-Р не есть S.
Пример: «Всякое малое предприятие регистрируется». → «Ни одно незарегистрированное предприятие не относится к малому предприятию».
2. Суждение Е общеотрицательное.
Ни одно S не есть Р. → Некоторые не-Р есть S.
Пример: «Ни один убыточный колхоз не является рентабельным». → «Некоторые нерентабельные хозяйства являются убыточными колхозами».
3. Суждение О частноотрицательное.
Некоторые S не есть Р. → Некоторые не-Р есть S.
Пример: «Некоторые предприниматели не являются специалистами в области маркетинга». → «Некоторые, люди не знающие основ маркетинга, являются предпринимателями».
4. Из суждения і частноутвердительного необходимые выводы не следуют.
§ 3. Простой категорический силлогизм
Данный вид умозаключения относится к опосредованному, т.е. к такому умозаключению, в котором новое знание выводится из нескольких посылок. Например, если мы знаем, что не простые числа делятся только на самих себя и на единицу, а 7 – простое число, можно сделать вывод: 7 делится только на самого себя и на единицу.
Силлогизм в переводе с греческого означает вывод или высказывание.
Простой категорический силлогизм – это вид дедуктивного умозаключения, построенного из двух истинных категорических суждений, в которых s и р связаны средним термином.
Структуру категорического силлогизма образуют две посылки и заключение.
Пример: Все углероды (М) горючи (Р). Алмаз (S) – углерод (М). Алмаз (S) горюч (Р). |
Формула силлогизма выглядит так: Все М есть Р. – посылка бóльшая S есть М. – посылка меньшая S есть Р. – заключение |
Посылки это – исходные суждения, заключение (вывод) – это вновь полученное суждение оно записывается под чертой. Посылка, содержащая предикат заключения – Р (бóльший термин), называется бóльшей посылкой. Посылка, содержащая субъект заключения – S (меньший термин), называется меньшей посылкой.
Понятия, входящие в состав силлогизма называются терминами силлогизма:
Р – бóльший термин, который является предикатом первой посылки и заключения,
S – меньший термин, который является субъектом второй посылки и заключения,
М – средний термин, который является субъектом первой и предикатом второй посылки, однако его нет в заключении.
Чтобы правильно определить термины силлогизма (S, Р, М) необходимо:
1) в заключении определить субъект (S) и предикат (Р) (Гл. II § 1);
2) в посылках определить понятия, которые выражены в заключении как субъект (S) и предикат (Р) и также обозначить их как субъект (S) и предикат(Р);
3) оставшиеся понятия в посылках обозначить как средний термин (М), в заключении он должен отсутствовать.
О
тношения
между терминами можно представить в
виде круговых схем:
1) бóльшая посылка 2) меньшая посылка 3) заключение
Категорический силлогизм, таким образом, сводится к операции по установлению соотношений между понятиями, входящими в него. Силлогизмом можно назвать вывод, в заключении которого устанавливается связь между двумя понятиями (крайними терминами S и Р) на основании определенного в посылках их отношения к третьему понятию (среднему термину М). В основе вывода лежит аксиома силлогизма, согласно которой, все, что утверждается о классе (роде), необходимо свойственно члену данного класса (виду).
В зависимости от положения среднего термина (М) в посылках различаются четыре фигуры силлогизма:
І фигура ІІ фигура ІІІ фигура ІV фигура
М Р Р М М Р Р М
S М S М М S М S
S
– Р S
– Р
S – Р S
– Р
Примеры:
1. Все люди (М) смертны (Р).
Кай (S) – человек (М).
Кай (S) смертен (Р).
2. Все ужи (Р) пресмыкающиеся (М).
Это животное (S) не является пресмыкающимся (М).
Это животное (S) не является ужом (Р).
3. Все углероды (М) – простые тела (Р).
Все углероды (М) – электропроводны (S).
Некоторые электропроводники (S) – простые тела (Р).
4. Все киты (Р) – млекопитающие (М).
Ни одно млекопитающее (М) не есть рыба (S).
Ни одна рыба (S) не есть кит (Р).
Особые правила фигур
І фигура. Бóльшая посылка должна быть общим суждением, меньшая – утвердительным.
ІІ фигура. Бóльшая посылка должна быть общим суждением и одна из посылок, а также заключение – отрицательным суждением.
ІІІ фигура. Меньшая посылка должна быть утвердительным суждением, а заключение – частным.
ІV фигура. Общеутвердительных заключений не дает. В том случае, когда бóльшая посылка утвердительная, меньшая должна быть общим суждением. Если одна из посылок отрицательная, то бóльшая посылка должна быть общей.
