- •Материалы к семинарам по логике Тема 1. Понятие: Понятие как форма мысли. Объем и содержание понятия. Отношения между понятиями по содержанию и объему Вопросы для самопроверки:
- •Техническое задание
- •2. Дать полную характеристику понятия (по пяти основным характеристикам):
- •3. Подобрать примеры понятий следующего вида:
- •Тема 2. Понятие: операции с понятием. Ограничение, обобщение. Деление. Определение Вопросы для самопроверки:
- •5. Разделить понятие дихотомически и по изменению видообразующего признака (при необходимости уточнять содержание понятия при помощи определения):
- •6. Проверьте правильность деления. Если деление проведено неправильно, укажите ошибки. Укажите вид деления. Укажите основание деления.
- •7. Проверьте правильность определения. Если определение неправильно, укажите ошибки.
- •Тема 3. Категорические суждения: состав, виды категорического суждения. Логический квадрат. Распределенность терминов категорического суждения Вопросы для самопроверки:
- •Техническое задание
- •Упражнения
- •1. Указать распределенность терминов в схемах категорических суждений
- •2. Указать вид категорического суждения и распределенность терминов
- •3. Выделить термины категорического суждения, обозначив их буквами s (субъект) и p (предикат). Определить вид суждения, указать распределенность терминов.
- •Тема 4. Простой категорический силлогизм: состав, фигуры, правила фигур, общие правила. Проверка правильности силлогизма с использованием общих правил. Энтимема Вопросы для самопроверки:
- •Техническое задание.
- •1. Простой категорический силлогизм. Определить состав, фигуру, модус, проверить правильность силлогизма по правилам фигур и общим правилами.
- •2. Восстановить энтимему, определить состав, фигуру, модус получившегося простого категорического силлогизма, проверить его правильность по общим пра
- •Тема 5. Отношения между категорическими суждениями по логическому квадрату. Непосредственные умозаключения: по логическому квадрату; на основе превращения и обращения Техническое задание
- •Вопросы для самопроверки
- •2. Осуществить все возможные выводы из категорических суждений по логическому квадрату:
- •3. Проверить правильность умозаключения по логическому квадрату:
- •Занятие 6. Логика высказываний (лв): Язык, семантика, определение условий истинности формулы лв, логически сложного высказывания Вопросы для самопроверки
- •Техническое задание
- •1. Указать, какие из следующих выражений являются формулами логики высказываний, а какие нет. Для формул указать главную связку (подчеркнуть)
- •2. Укажите (цифрами над связками), в каком порядке следует выполнить логические действия в каждой строке, чтобы определить условия истинности следующих формул:
- •3. Сколько строк в истинностных таблицах следующих формул:
- •4. Дано: несколько высказываний и столько же формул лв. Каждая формула является переводом одного из данных высказываний. Укажите для каждого высказывания его перевод на ялв.
- •5. Даны высказывания. Перевести их на ялв:
- •5. Перевести на ялв следующие высказывания:
- •6. Определить условия истинности следующих сложных высказывания
- •Занятие 7. Логика высказываний (лв): определение логических отношений между формулами лв (логически сложными высказываниями) Техническое задание
- •3. Установить, в каком логическом отношении находятся следующие формулы:
- •4. Установить, в каком логическом отношении находятся следующие высказывания:
- •Занятие 8. Лв: отношение логического следования и проверка правильности умозаключений семантическими методами Вопросы для самопроверки
- •Техническое задание.
- •Упражнения
- •Задачи.
- •1. Проверить правильность рассуждения «прямым» методом (путем построения логической таблицы) и сокращенным методом («от противного»):
- •2. Проверить правильность рассуждения сокращенным методом («от противного»):
- •3. Проверить правильность рассуждения «прямым» методом или методом «от противного» – по своему выбору.:
- •Занятие 9. Лв: дедукция. Силлогизмы лв. Основные тавтологии лв и метод эквивалентных замен Вопросы для самопроверки
- •Техническое задание.
- •1. Задачи с использованием Приложения.
- •2. Проверить правильность следующих умозаключений, стараясь не прибегать к семантическим методам проверки:
- •2. Какие из приведенных высказываний являются эквивалентными первому:
- •3. Импликации
- •Непрямые правила
Задачи.
1. Проверить правильность рассуждения «прямым» методом (путем построения логической таблицы) и сокращенным методом («от противного»):
б) Когда у собаки глисты, у нее плохой аппетит. У Тузика плохой аппетит. Значит, у него глисты.
в) Если болезнь запущена, то ее легко распознать, но трудно излечить. Следовательно, если болезнь не запущена, то ее легко излечить, но трудно распознать.
г) Если в сыре много жира, то он хорошо плавится, но не подходит для пиццы. Значит, если сыр хорошо плавится, то он не подходит для пиццы.
2. Проверить правильность рассуждения сокращенным методом («от противного»):
а) Если Евросоюз или Россия не предоставят Украине кредит на оплаты газа, то Украине придется самой расплачиваться за газ. Но для этого необходимы деньги, а их нет. Следовательно, Евросоюз или Россия должны предоставить Украине кредит.
б) Если тело лежало при закрытой форточке, то убийство было совершено не ранее, чем 18 часов назад. Но если форточка была открыта, то кто-то входил в комнату после убийства. Это мог сделать только Флетчер. Следовательно, либо убийство было совершено не ранее, чем 18 часов назад, либо, Флетчер входил в комнату после убийства.
3. Проверить правильность рассуждения «прямым» методом или методом «от противного» – по своему выбору.:
а) Если даже переговоры и состоятся, это еще не значит, что все спорные вопросы будут разрешены. А если какие-то спорные вопросы останутся неразрешенными, то договор не будет пролонгирован. Но теперь уже очевидно, что переговоры не состоялись. Следовательно, договор не будет пролонгирован.
б) Нельзя надеяться, что договор будет пролонгирован, если не будут разрешены все спорные вопросы. А спорные вопросы могут быть разрешены только на переговорах. Поэтому если переговоры не состоятся, то договор пролонгирован не будет
в) Невозможно разрешить все спорные вопросы без переговоров. Значит, договор не будет пролонгирован, ведь для этого необходимо, чтобы все спорные вопросы были разрешены.
Занятие 9. Лв: дедукция. Силлогизмы лв. Основные тавтологии лв и метод эквивалентных замен Вопросы для самопроверки
1. Какие из следующих ответов являются правильными, а какие нет:
– Существует три закона логики
– Существует конечное множество формул ЛВ и схем умозаключений, выражающих законы логики
– Существует бесконечное множество формул ЛВ и схем умозаключений, выражающих законы логики
– Все схемы умозаключений и формулы ЛВ, выражающие законы логики даны в Приложении к этому занятию
– В Приложении к этому занятию даны только некоторые схемы умозаключений и формулы ЛВ, выражающие законы логики
– Формулы, выражающие законы логики, являются общезначимыми
– Закон логики может быть выражен любой формулой
– Закон логики может быть выражен только правильным умозаключением
– Если формула A B выражает закон логики, то и схема умозаключения А ╞В выражает закон логики
– Если схема умозаключения А ╞В выражает закон логики, то и формула A B выражает закон логики
Техническое задание.
Сделать карточки-подсказки (См. ПРИЛОЖЕНИЕ):
-
«Модусы традиционной логики высказываний»
-
«Тавтологии логики высказываний»
Задачи