- •Содержание
- •Тема 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.
1. A ® в (посылки)
2.ØB
3. A (допущение)
4. B (УИ: 1, 3)
5. ØA (СА: 2, 4)
В традиционной логике выводы по этому правилу называются условно-категорическими силлогизмами отрицающего модуса, (латинское название - modus tollens. В них выводится отрицание основания условного суждения, если истинно отрицание его следствия.
Перечислим наиболее употребительные производные правила:
Правила отрицания слабой дизъюнкции:
Ø(A Ú B) ØA Ù ØB
------------- -------------
ØA Ù ØB Ø(A Ú B)
Правила отрицания конъюнкции:
(A Ù B) A Ú B
------------- -------------
A Ú B (A Ù B)
Правило контрапозиции:
A ® B
--------------
B ® A
Правила взаимосвязи дизъюнкции и импликации:
A ® B A Ú B
------------- -------------
A Ú B A ® B
Правила отрицания импликации:
Ø(A ® B) A ÙØB
------------- -------------
A Ù Ø B Ø(A ® B)
Правило сложной контрапозиции:
(A Ù B) ® C
-----------------------
(A Ù C) ® B
Правило импортации:
A ® (B ® C)
--------------------
(A Ù B) ® C
Правило экспортации:
(A Ù B) ® C
---------------------
A ® (B ® C)
Правило «рассуждения по случаям»:
A Ú B
A ® C
B ® C
-------------
C
Правило конструктивной дилеммы:
A ® B
C ® D
A Ú C
------------
B Ú D
Правило деструктивной дилеммы:
A ® B
C ® D
B Ú D
-----------------
ØA Ú ØC
Правила конструктивной и деструктивной дилеммы используются при построении разделительно-условных силлогизмов. По правилу конструктивной дилеммы происходит переход от утверждения альтернатив как оснований условных высказываний к утверждению дизъюнкции их следствий, а по правилу деструктивной – от дизъюнкции отрицаний следствий к дизъюнкции отрицаний оснований.
Правила выводов находятся в однозначном соответствии с логическими законами. Всегда можно определить и сформулировать логический закон, соответствующий тому или иному правилу вывода. Так, правило, по которому получено заключение «Если неверно, что завтра воскресенье, то неверно, что сегодня суббота», на основании посылки «Если сегодня суббота, то завтра воскресенье» можно сформулировать следующим образом: «Из высказываний вида A®B можно выводить высказывание вида B®A». Ему соответствует логический закон (A®B)® (B ®A).
Упражнения:
-
Являются ли следующие выводы дедуктивными:
-
Если спутник Земли пролетает над Минском, то он пролетает над Беларусью. Следовательно, неверно, что спутник Земли пролетает над Минском и не полетает над Беларусью.
-
Неверно, что тело подвергается трению и оно не нагревается. Следовательно, если тело не нагревается, то оно не подвергается трению.
-
(p Ú q) Ù (p ® q) ® (p Ù q).
-
-
Докажите следующие производные правила выводов:
-
отрицание дизъюнкции (прямое и обратное);
-
отрицание конъюнкции (прямое и обратное);
-
контрапозиции;
-
взаимосвязи дизъюнкции и импликации (прямое и обратное);
-
отрицание импликации (прямое и обратное);
-
сложной контрапозиции;
-
импортации;
-
экспортации;
-
рассуждения по случаям;
-
конструктивной дилеммы;
-
деструктивной дилеммы.
-
Древнеармянский философ Давид Анахт (Непобедимый) писал: «Аристотель в каком-то своем наставлении, в котором побуждает юношей к занятию философией, говорит следующее: если отрицается философия, то это самое [отрицание] уже есть философия; если же философия признается, то это [признание также] есть философия; значит, и в одном и в другом случае философия существует» (Давид Анахт. Определение философии). Выявите логическую форму приписываемого Аристотелю рассуждения. Соответствует ли оно правилу дедуктивного вывода логики высказываний?
-
Применяя дедуктивные правила логики высказываний, выведите заключение из следующих посылок:
-
Если он автор этого слуха, то он глуп или беспринципен. Но он не глуп и не лишен принципов.
-
Если он не храбр или на него нельзя положиться, то он не принадлежит к нашей компании. Но он принадлежит к нашей компании.
-
Если подозреваемый совершил эту кражу, то она была тщательно подготовлена, и он имел соучастника. Если бы кража была подготовлена тщательно, то, если бы был соучастник, украдено было бы гораздо больше. Но последнее не имеет места.
-
Если я пойду завтра на первое занятие, то должен буду встать рано, а если я пойду сегодня вечером в кино, то лягу поздно спать. Если я лягу поздно, а встану рано, то буду довольствоваться пятью часами сна. Но я не могу довольствоваться пятью часами сна.
-
В бюджете возникнет дефицит, если и только если не повысят пошлины. Государственные расходы на социальные нужды сократятся, если и только если в бюджете имеется дефицит. Пошлины повысят.
-
Если цены высоки, то и заработная плата высока. Цены высоки или применяется регулирование цен. Если применяется регулирование цен, то нет инфляции. Наблюдается инфляция.
-
(По Льюису Кэрроллу). Если он пойдет в гости, то он причешется. Если он не будет опрятным, то не будет элегантно выглядеть. Если он курит опиум, то он не может владеть собой. Если он причешется, то будет выглядеть элегантно. Он наденет белые лайковые перчатки только в том случае, если он пойдет в гости. Если он не владеет собой, то будет выглядеть неопрятно.
-
Применяя правила выводов логики высказываний, установите, требование какого из логических законов нарушается в следующем сообщении:
-
Если подозреваемый совершил преступление, то он сделал это с корыстной целью. Если он сделал это с корыстной целью, то не допускал, что преступление будет раскрыто. Если подозреваемый имеет экономическое образование, то он допускал, что преступление будет раскрыто. Подозреваемый совершил преступление. Подозреваемый имеет экономическое образование.
-
Согласно легенде, калиф Омар при обосновании необходимости сожжения Александрийской библиотеки рассуждал так: «Если ваши книги совместимы с Кораном, то они излишни. Если же ваши книги не совместимы с Кораном, то они вредны. Но если ваши книги излишни или вредны, то их следует уничтожить. Следовательно, ваши книги следует уничтожить». Заключает ли в себе это рассуждение формальную или содержательную ошибку?
-
Сопоставьте привила УИ и modus tollens с определением импликации на стр. Можно ли найти соответствие между ними.