- •Тема 1. Предмет логики как науки 10
- •Тема 2. Высказывания и имена 22
- •Тема 3. Выводы 122
- •Тема 4. Диалог 195
- •Предисловие
- •Тема 1. Предмет логики как науки Лекция 1. Предмет логики как науки
- •Определение логики как науки. Понятие схемы (логической формы) мысли.
- •Упражнения:
- •Правильные рассуждения
- •Упражнения:
- •Правильность и истинность мысли. Ошибки в мышлении
- •Упражнения:
- •Логическая культура
- •Контрольные вопросы по теме №1:
- •Тема 2. Высказывания и имена Лекция 2. Высказывания и имена
- •Высказывания Логические союзы: определения
- •Упражнения:
- •Логические союзы и естественный язык
- •Упражнения:
- •Законы логики высказываний
- •Упражнения:
- •Отношения между схемами высказываний
- •Отношение следования (подчинения)
- •Отношение полной совместимости (равнозначности)
- •Отношение частичной совместимости
- •Отношение противоречия
- •Отношение противности
- •Упражнения:
- •Достаточные и необходимые условия. Причинно-следственные отношения Достаточные и необходимые условия
- •Принцип достаточного основания
- •Причина и следствие
- •Ошибки при анализе детерминации
- •Упражнения:
- •Понятие имени
- •Упражнения:
- •Отношения между именами
- •Упражнения:
- •Операции с именами Булевы операции
- •Обобщение и ограничение
- •Упражнения:
- •Операции с именами (продолжение). Деление Понятие деления
- •Правила деления
- •Упражнения:
- •Операции с именами (окончание). Определение (дефиниция) Реальные и номинальные определения
- •Структура определения
- •Виды определений
- •Правила определения
- •Упражнения:
- •Контрольные вопросы по теме №2:
- •Тема 3. Выводы Лекция 3. Выводы
- •Выводы в логике высказывания Понятие вывода
- •Правила дедуктивных выводов в логике высказываний
- •Прямые правила вывода
- •Непрямые (косвенные) правила выводов
- •П (множество посылок)
- •A (доб. Допущение)
- •П (множество посылок)
- •A (допущение)
- •3. A (допущение)
- •Упражнения:
- •Силлогические выводы Атрибутивные высказывания Структура и виды атрибутивных высказываний
- •Распределенность терминов в атрибутивном высказывании
- •Отношения между схемами атрибутивных высказываний
- •Упражнения:
- •Непосредственные силлогистические выводы
- •Упражнения:
- •Опосредованные силлогистические выводы Простой категорический силлогизм
- •Основные правила простого категорического силлогизма
- •4. Из двух утвердительных посылок делается утвердительное заключение.
- •5. Из двух отрицательных посылок нельзя делать заключения.
- •Упражнения:
- •Сложные и сокращенные силлогизмы
- •Упражнения:
- •Правдоподобные выводы
- •Выводы по аналогии
- •Редуктивные выводы
- •Упражнения:
- •Условия правомерности правдоподобных выводов
- •Упражнения:
- •Погрешности в правдоподобных выводах Слишком далекая аналогия
- •Просеивание (подтасовка) фактов
- •Поспешное обобщение
- •Упражнения:
- •Контрольные вопросы по теме №3:
- •Тема 4. Диалог Лекция 4. Диалог
- •Понятие и структура диалога
- •Обсуждаемый вопрос
- •Точки зрения
- •Аргументация
- •Итоги делового диалога. Логика принятия решений
- •Упражнения:
- •Правила ведения диалога Общие правила
- •Правила постановки вопросов
- •Правила выдвижения точек зрения
- •Правила по отношению к тезису аргументации
- •Правила по отношению к доводам
- •Правила по отношению к демонстрации
- •Эристические уловки. Софистика и сократовская диалектика
- •Упражнения:
- •Контрольные вопросы по теме №4:
- •Ответы к упражнениям
- •Тема 1. Предмет логики как науки
- •Тема 2. Высказывания и имена
- •Тема 3. Выводы
- •Тема 4. Диалог
- •Вопросы к зачету
- •Литература
- •220007, Г. Минск, ул. Московская, 17.
Упражнения:
Используя переменные p и q, установите, какие из следующих предложений имеют одинаковую логическую форму:
Иванов выиграл шахматный турнир и стал чемпионом.
Неверно, что столица Беларуси не расположена на Свислочи.
Если четырехугольник – параллелограмм, то его диагонали, пересекаясь, делятся пополам.
Неверно, что товар не имеет стоимости.
Если a2 не равно b2, то a не равно b.
Мой друг с отличием окончил институт и получил диплом экономиста.
Если a равно b, то a2 равно b2.
Если диагонали четырехугольника, пересекаясь, не делятся пополам, то этот четырехугольник не параллелограмм.
Используя переменные S и P, установите, какие из следующих высказываний имеют одинаковую логическую форму:
Все элементы первой группы таблицы Менделеева – щелочные металлы.
Некоторые ученые – альпинисты.
Ни один студент нашей группы не имеет академической задолженности.
Все рабовладельцы - эксплуататоры.
Никто из присутствующих не знает его.
Некоторые жидкости – электропроводные вещества.
Правильные рассуждения
Теперь приступим к рассмотрению второго вопроса.
Есть три разновидности схем рассуждений. Прежде всего, существуют схемы, которым присуще такое свойство: каким бы содержанием мы их ни наполняли, в результате получим верное, правильное рассуждение. Такой является, например, последняя из рассмотренных выше схем:
Если р, то q; следовательно, если не - q, то не - р
В самом деле, верно, что из утверждения о равнобедренности равностороннего треугольника следует неравносторонность неравнобедренного; что из утверждения о наличии в обществе государства при наличии классов следует отсутствие классов при отсутствии государства и т.д.
Примечательно, что подстановка в данную схему вместо переменных р или q ложных выражений не превращает ее в ложный текст, рассуждение остается верным. Подставим, например, вместо р ложное выражение «Марс – звезда», вместо q – «Марс светит собственным светом». Получим рассуждение «Если Марс – звезда, то он светит собственным светом; следовательно, если Марс не светит собственным светом, то он – не звезда». Оно, как видим, бесспорно.
Схемы, обладающие только что отмеченным свойством, называются логическими законами. И если рассуждение является правильным, то его схема построения – логический закон. Верно и обратное: если схема рассуждения – логический закон, то такое рассуждение является правильным.
Иное дело схема:
Если p, то q; следовательно, если не – p, то не – q
Например, подставив алгебраическое выражение a = b вместо р и a2 = b2 вместо q, мы получим ложное предложение:
Если a = b, то a2=b2; следовательно, если a ≠ b, то a2 ≠ b2
В других случаях на основе этой схемы можно получить истинное предложение. Например, подставим вместо p – «Луна оказывается на одной линии между Солнцем и Землей». Вместо q – «Происходит солнечное затмение». Получим истинное предложение «Если Луна оказывается на одной линии между Солнцем и Землей, то происходит солнечное затмение», и оно истинно. Схемы, которые при одних подстановках преобразуются в истинные, а при других в ложные предложения, обычно называют выполнимыми. Но их можно квалифицировать также в качестве ненадежных.
Наконец, существуют схемы, которые при любой подстановке преобразуются в ложные выражения. Таковой является, например, схема:
Неверно, что p или не – p
(при условии, что p либо истинно, либо ложно). Такие схемы называются противоречивыми.
Итак, схема:
Если р, то q; следовательно, если не - q, то не – р
является примером логического закона; схемы же
Если p, то q; следовательно, если не – p, то не – q
и
Неверно, что p или не – p
примерами логических законов не являются.
Правильное рассуждение опирается на логические законы и определяется ими. Если некоторые утверждения истинны, и мы преобразуем их в соответствии с логическими законами, то результат оказывается истинным. Использование схем, которые логическими законами не являются, делает рассуждение ненадежным или противоречивым, и из истинных посылок возможно, а иногда и необходимо, получить ложный результат.
Таким образом, ценность логики как науки состоит в том, что она вычленяет множество возможных схем правильного мышления, независимо от того, пользуется ли фактически отдельно взятый человек в процессе своего мышления этими схемами.
Важнейшая задача логики (формальной) – изобретение методов, позволяющих осуществлять отбор схем, которые являются логическими законами, отделять их от схем, которые таковыми не являются, и, в конечном счете, решать вопросы о правильности или неправильности рассуждений. В дальнейшем мы познакомимся с некоторыми из этих методов.