- •Материалы к семинарам по логике Тема 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. Зная истинностное значение категорического суждения определенного вида, установить значения категорических суждений трех остальных видов с теми же терминами. Для обозначения использовать буквами «и» (истина), «л» (ложь) и «?» («невозможно установить значение») в соответствующих углах логического квадрата.
Образцы решения:
-
И
И
Л
Дано:
Решение:
И
Л ?
Л
И
Дано:
Решение:
И
?
Далее – самостоятельно:
-
И
И
Л
Л
Л
И
Л
Л
И
И
И
Л
Л
Л
И
И
И
Л
И
И
Л
И
И
И
Л
Л
Л