- •Содержание
- •Тема 1. Предмет логики как науки 10
- •Тема 2. Высказывания и имена 23
- •Тема 3. Выводы 124
- •Тема 4. Диалог 201
- •Предисловие
- •Тема 1. Предмет логики как науки Лекция 1. Предмет логики как науки
- •Определение логики как науки. Понятие схемы (логической формы) мысли.
- •Все s суть р
- •Если р, то q
- •Если р, то q; следовательно, если не - q, то не - р
- •Упражнения:
- •Правильные рассуждения
- •Если р, то q; следовательно, если не - q, то не - р
- •Если p, то q; следовательно, если не – p, то не – q
- •Упражнения:
- •Правильность и истинность мысли. Ошибки в мышлении
- •Упражнения:
- •Логическая культура
- •Контрольные вопросы по теме №1:
- •Тема 2. Высказывания и имена Лекция 2. Высказывания и имена
- •Высказывания Логические союзы: определения
- •Упражнения:
- •Логические союзы и естественный язык
- •Упражнения:
- •Законы логики высказываний
- •Если р, то q; следовательно, если не - q, то не – р
- •Упражнения:
- •Отношения между схемами высказываний
- •Отношение следования (подчинения)
- •Отношение полной совместимости (равнозначности)
- •Отношение частичной совместимости
- •Отношение противоречия
- •Отношение противности
- •Упражнения:
- •Достаточные и необходимые условия. Причинно-следственные отношения Достаточные и необходимые условия
- •Øf1®øg следует ø (f1úf2) ®øg
- •Принцип достаточного основания
- •Причина и следствие
- •Ошибки при анализе детерминации
- •Упражнения:
- •Понятие имени
- •Упражнения:
- •Отношения между именами
- •Упражнения:
- •Операции с именами Булевы операции
- •Обобщение и ограничение
- •Упражнения:
- •Операции с именами (продолжение). Деление Понятие деления
- •Правила деления
- •Упражнения:
- •Операции с именами (окончание). Определение (дефиниция) Реальные и номинальные определения
- •Структура определения
- •Виды определений
- •Правила определения
- •Упражнения:
- •Контрольные вопросы по теме №2:
- •Тема 3. Выводы Лекция 3. Выводы
- •Выводы в логике высказывания Понятие вывода
- •Правила дедуктивных выводов в логике высказываний
- •Прямые правила вывода
- •Непрямые (косвенные) правила выводов
- •П (множество посылок)
- •A (доб. Допущение)
- •П (множество посылок)
- •A (допущение)
- •1. A ® в (посылки)
- •3. A (допущение)
- •Упражнения:
- •Силлогические выводы Атрибутивные высказывания Структура и виды атрибутивных высказываний
- •Распределенность терминов в атрибутивном высказывании
- •Отношения между схемами атрибутивных высказываний
- •Упражнения:
- •Непосредственные силлогистические выводы
- •Упражнения:
- •Опосредованные силлогистические выводы Простой категорический силлогизм
- •Основные правила простого категорического силлогизма
- •4. Из двух утвердительных посылок делается утвердительное заключение.
- •5. Из двух отрицательных посылок нельзя делать заключения.
- •Упражнения:
- •Сложные и сокращенные силлогизмы
- •Упражнения:
- •Правдоподобные выводы
- •Выводы по аналогии
- •Редуктивные выводы
- •Упражнения:
- •Условия правомерности правдоподобных выводов
- •Упражнения:
- •Погрешности в правдоподобных выводах Слишком далекая аналогия
- •Просеивание (подтасовка) фактов
- •Поспешное обобщение
- •Упражнения:
- •Контрольные вопросы по теме №3:
- •Тема 4. Диалог Лекция 4. Диалог
- •Понятие и структура диалога
- •Обсуждаемый вопрос
- •Точки зрения
- •Аргументация
- •Итоги делового диалога. Логика принятия решений
- •Упражнения:
- •Правила ведения диалога Общие правила
- •Правила постановки вопросов
- •Правила выдвижения точек зрения
- •Правила по отношению к тезису аргументации
- •Правила по отношению к доводам
- •Правила по отношению к демонстрации
- •Эристические уловки. Софистика и сократовская диалектика
- •Упражнения:
- •Контрольные вопросы по теме №4:
- •Ответы к упражнениям
- •Тема 1. Предмет логики как науки
- •Тема 2. Высказывания и имена
- •Тема 3. Выводы
- •Тема 4. Диалог
- •Литература
- •Берков Владимир Федотович Логика
- •220007, Г. Минск, ул. Московская, 17.
Выводы в логике высказывания Понятие вывода
Наряду с вопросом о правильности рассуждений логика высказываний в рамках своей компетенции решает другую важную познавательную задачу – какие следствия вытекают из заданных посылок? Ее рассмотрение требует ознакомления с понятиями вывода и правила вывода.
Вывод – это процедура получения нового высказывания на основе одного или более уже принятых высказываний.
Правило вывода – это рецепт, предписание, позволяющее из признанных за истинные высказываний одной схемы (посылок) получить и признать за истинное некоторое высказывание другой схемы (заключение).
Вывод, соответствующий правилу вывода, называется правильным. Формулирование правил вывода – не менее важная задача логики, чем нахождение и отбор логических законов.
Важнейшей характеристикой вывода является отношение совместимости между его посылками и заключением. Не может быть выводом, например, связь высказываний, противоречащих друг другу. Отношение совместимости может быть взято в качестве основания классификации выводов.
Выводы подразделяются на дедуктивные и недедуктивные. В дедуктивных выводах между посылками (их конъюнкцией) и заключением имеет место отношение следования: не бывает так, что посылки истинны, а заключение ложно. В некоторых случаях отношение между посылками и заключениями характеризуется равнозначностью, т.е. не только из посылок следует заключение, но и из заключения следуют посылки.
При определении отношения следования (и, стало быть, дедуктивности вывода) можно использовать понятие логического закона: из конъюнкции посылок A следует заключение B, если и только если выражение A®B – логический закон.
Примером дедуктивного вывода может служить следующее рассуждение:
Резолюция принимается тогда и только тогда, когда за нее голосует большинство депутатов.
За резолюцию не проголосовало большинство депутатов.
-------------------------------------------------------------------------
Резолюция не принимается5
Посылками в этом выводе являются высказывания «Резолюция принимается тогда и только тогда, когда за нее голосует большинство депутатов» и «За резолюцию не проголосовало большинство депутатов», а заключением – «Резолюция не принимается». В том, что этот вывод является дедуктивным, можно убедиться следующим образом: обозначив посылки и заключение соответственно через p«q, Øp, Øq, присоединяем с помощью импликации к конъюнкции посылок (p«q)ÙØq заключение Øp и проверяем, к примеру, уже известным нам табличным способом, является ли импликация ((p«q)ÙØq)®Øp логическим законом. В данном случае этот вопрос решается положительно (проведение проверочной процедуры предоставляется самому читателю). Следовательно, заключение следует из посылок, и наше рассуждение удовлетворяет определению дедуктивного вывода.
Истинность заключения в дедуктивном выводе гарантируется истинностью посылок. Знание, получаемое с его помощью, не может быть более общим, чем то, которое заложено в исходных посылках.
Вывод, в котором заключение не следует из посылок, но, тем не менее, совместимо с ними, называется правдоподобным. Правдоподобные выводы будут рассмотрены ниже, в теме 4.