- •Лекция № 1: Предмет и значение логики
- •I. Основные понятия, предмет и структура логики
- •II. Этапы формирования и развития логики
- •II. Приложения логики:
- •III. Мышление как предмет изучения логики
- •IV. Теоретическое и практическое значение логики
- •V. Логический анализ языка
- •V.1. Язык, знак, имя
- •V.2. Разновидности семантических категорий
- •Лекция № 2. Понятие как форма мышления
- •I. Общая характеристика понятия
- •II. Логическая структура и основные способы образования понятий.
- •III. Виды понятий и их характеристика
- •IV. Виды отношений между понятиями
- •Типы совместимости: равнозначность (тождество), перекрещивание, подчинение (отношение рода и вида)
- •Типы несовместимости: соподчинение, противоположность, противоречие
- •Лекция № 3: Логические операции с понятиями. Определение как прием познания
- •I. Отношение рода и вида
- •II. Обобщение и ограничение понятий
- •III. Деление понятий: виды и правила деления, возможные ошибки в делении деление понятий
- •Таксономическое деление правила деления и возможные ошибки
- •Нарушение этого правила ведет к ошибкам двух видов:
- •При нарушении правила возникают ошибки:
- •При нарушении этого правила возникают ошибки:
- •IV. Классификация
- •V. Определение: структура, виды, правила и возможные ошибки в определениях
- •Определения
- •I. Явные
- •Виды явных определений
- •II. Неявные
- •Виды неявных определений
- •Чтобы определение было правильным, надо соблюдать следующие правила:
- •VI. Приемы, сходные с определением
- •Лекция № 4. Суждение как форма мышления. Законы логики и принципы правильного мышления
- •I. Общая характеристика суждения. Простые суждения
- •Виды простых суждений
- •1. Суждения свойства (атрибутивные):
- •2. Суждения с отношениями:
- •3. Суждения существования (экзистенциальные):
- •Процедура приведения предложений естественного языка к канонической форме категорических суждений
- •II. Виды и логическая вероятность сложных суждений
- •III. Отрицание суждений
- •IV. Отношение между суждениями
- •Логический квадрат
- •Отношения между сложными суждениями
- •V. Модальность суждений
- •Модальные простые суждения
- •Модальные сложные суждения
- •VI. Понятие логического закона
- •Лекция № 5. Умозаключение как форма мышления
- •Общая характеристика и структура умозаключений
- •Дедуктивные умозаключения
- •I. Общая характеристика и структура умозаключений
- •II. Дедуктивные умозаключения
- •Умозаключения из сложных суждений
- •Непрямые умозаключения из сложных суждений (см. Хрестоматию)
- •I. Умозаключения, построенные по логическому квадрату.
- •II. Умозаключения, построенные посредством преобразования структуры посылки.
- •S есть р s не есть не-р
- •S есть р р есть s
- •S есть р
- •Умозаключения из суждений с отношениями
- •Лекция № 6. Выводы из категорических суждений: простой категорический силлогизм
- •I. Простой категорический силлогизм: структура, модусы, фигуры
- •Состав категорического силлогизма:
- •2) Меньшая посылка – утвердительное суждение
- •2) Одна из посылок – отрицательное суждение
- •2) Заключение – частное суждение.
- •Если большая посылка утвердительная, то меньшая должна быть общей.
- •Если одна из посылок отрицательная, то большая посылка должна быть общей;
- •Если меньшая посылка утвердительная, то заключение должно быть частным.
- •II.Правила логического вывода фигур категорического силлогизма
- •I. Общие правила
- •II. Специальные правила
- •III. Алгоритм анализа силлогизма
- •IV. Условия правильности и неправильности умозаключения
- •V. Сокращенные, сложные и сложносокращенные силлогизмы
- •Механизм восстановления силлогизма:
- •Лекция № 7. Правдоподобные умозаключения
- •I. Общая характеристика индуктивных умозаключений
- •II. Основные виды индуктивных выводов
- •III. Индуктивные методы установления причинных связей
- •Методы установления причинной связи:
- •Ошибки, встречающиеся при обнаружении причинных связей
- •IV. Умозаключения по аналогии
- •Структура аналогии
- •Лекция № 8: Логика в процессе развития научного знания
- •I. Общая характеристика и структурные элементы научного познания
- •II. Вопрос и его роль в познании
- •III. Феномен проблемы в научном познании
- •IV. Гипотеза как форма развития знания
- •V. Теория как форма и система знания
III. Отрицание суждений
ОТРИЦАНИЕ СУЖДЕНИЯ – это операция, состоящая в преобразовании логического содержания отрицаемого суждения, конечным результатом которой является формулирование нового суждения, находящегося в отношении противоречия к исходному суждению.
При отрицании простых атрибутивных суждений:
-
общее суждение меняется на частное, и наоборот;
-
утвердительное суждение меняется на отрицательное, и наоборот.
Отрицание атрибутивных суждений производится согласно следующим эквивалентностям:
ù А равнозначно О ù О равнозначно А
ù Е равнозначно I ù I равнозначно Е
Отрицание сложных суждений производится согласно следующим эквивалентностям:
ù (А&В) равнозначно ù А v ù В; по закону де Моргана
ù (АvВ) равнозначно ù А & ù В;
ù (АÉВ) равнозначно А & ù В;
ù (АºВ) равнозначно (ù А & В) v (А & ù В);
ù (АvВ) равнозначно А º В
IV. Отношение между суждениями
Отношения между суждениями по истинности принято схематически изображать в виде «логического квадрата»:
Логический квадрат
Отношения между сложными суждениями
Отношения между сложными суждениями подразделяются на зависимые (сравнимые) и независимые (несравнимые). Независимые – суждения, которые не имеют общих составляющих; для них характерны все сочетания истинных значений. Зависимые – это суждения, которые имеют одинаковые составляющие и могут различаться логическими связками, включая отрицание. Зависимые, в свою очередь, подразделяются на совместимые (суждения, которые одновременно могут быть истинными) и несовместимые (суждения, которые одновременно не могут быть истинными).
Отношения
V. Модальность суждений
МОДАЛЬНОСТЬ – это выраженная в суждении дополнительная информация о логическом или фактическом статусе суждения, о регулятивных, оценочных, временных и других его характеристиках.
Ассерторические суждения, то есть атрибутивные и реляционные суждения, а также образованные из них сложные высказывания можно рассматривать как суждения с неполной информацией. Основной функцией атрибутивного суждения является отражение связей между предметом и его признаками. О предмете S можно просто сказать, что он имеет свойство P. Такое атрибутивное суждение является просто утверждением. Наряду с просто утверждением (отрицанием) выделяют так называемые сильные и слабые утверждения и отрицания, которые являются модальными суждениями.
ОСНОВНЫЕ ВИДЫ МОДАЛЬНОСТЕЙ:
-
АЛЕТИЧЕСКАЯ МОДАЛЬНОСТЬ – выраженная в суждении посредством модальных понятий «необходимо», «обязательно», «непременно», «случайно», «возможно», «может быть», «не исключается», «допускается» и др. информация о логической или фактической детерминированности суждения. В алетической группе выделяют онтологическую (фактическую) модальность, которая связана с объективной детерминированностью суждений, когда их истинность или ложность определяется ситуацией, имеющей место в реальной действительности, и логическую модальность, которая связана с логической детерминированностью суждения, когда истинность или ложность определяется формой или структурой суждения.
-
ЭПИСТЕМИЧЕСКАЯ МОДАЛЬНОСТЬ – это выраженная в суждении посредством модальных операторов «известно», «неизвестно», «доказуемо», «опровержимо», «предполагается» и т.д. информация об основаниях принятия и степени его обоснованности.
-
ДЕОНТИЧЕСКАЯ МОДАЛЬНОСТЬ – выраженное в суждении предписание в форме совета, пожелания, правила поведения или приказа, побуждающее человека к конкретным действиям. К деонтическим относят и нормы права (здесь можно выделить следующие операторы: «обязан», «должен», «надлежит», «признается», «запрещается», «не может», «не допускается», «имеет право», «может иметь», «может принять» и др.).
Модальность суждения (р) представляется с помощью оператора М, по схеме Мр (например, «возможно Р»). Истинность модального суждения зависит от истинности суждения, стоящего под модальным оператором, и от типа модального оператора.