- •Материалы к семинарам по логике Тема 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. Импликации
- •Непрямые правила
Тема 4. Простой категорический силлогизм: состав, фигуры, правила фигур, общие правила. Проверка правильности силлогизма с использованием общих правил. Энтимема Вопросы для самопроверки:
-
Что такое дедуктивное умозаключение?
-
Что такое простой категорический силлогизм?
-
Сколько категорических суждений в составе простого категорического силлогизма?
-
Сколько терминов в простом категорическом силлогизме? Назовите их.
-
Как определить субъект простого категорического силлогизма?
-
Как определить предикат простого категорического силлогизма?
-
Как определить средний термин категорического силлогизма?
-
Что такое большая посылка?
-
Что такое меньшая посылка?
-
Что такое фигура простого категорического силлогизма? Как она определяется? Сколько всего существует фигур простого категорического силлогизма?
-
Что такое модус простого категорического силлогизма? Как он определяется? Как он обозначается?
-
Можно ли утверждать, что силлогизм правильный, если выполнены правила фигуры?
-
Можно ли утверждать, что силлогизм неправильный, если нарушено какое-то из правил фигуры?
-
Можно ли утверждать, что силлогизм правильный, если выполнены все общие правила?
-
Можно ли утверджать, что силлогизм неправильный, если нарушены какие-то общие правила?
-
Что такое энтимема?
-
По каким правилам определяется правильность энтимемы?
Техническое задание.
Сделать карточки-подсказки:
1. «Фигуры простого категорического силлогизма»
2. «Общие правила простого категорического силлогизма»
Задачи
1. Простой категорический силлогизм. Определить состав, фигуру, модус, проверить правильность силлогизма по правилам фигур и общим правилами.
а) Олигархи не ездят на трамвае, а Зубенко ездит на трамвае. Значит, Зубенко не олигарх.
б) Бывают ценные бумаги на предъявителя. Но банковская гарантия – это не ценная бумага, поэтому она обязательно должна содержать наименование бенифициара4.
в) Конфеты «Рузанна» не содержат яичного белка, потому что, хотя это и суфле, но бывает суфле, которое не содержит яичного белка.
г) Все граждане Великобритании говорят по-английски. И вот вам доказательство: все эти студенты, будучи гражданами Великобритании, говорят по-английски.
д) Креветки – это не раки, так как раки впадают в зимнюю спячку, а креветки в нее не впадают.
2. Восстановить энтимему, определить состав, фигуру, модус получившегося простого категорического силлогизма, проверить его правильность по общим пра
а) Рыбы дышат жабрами, но рак – это не рыба.
б) Сидоров не смог продолжать учебу, так как у него не было денег.
в) Продукция сыродельного комбината «Ичалковский» завоевывала награды. Значит, мы можем с полным правом сказать, что сыр «Элитный» ичалковского производства завоевывал награды.
г) Кража невесты – это древний, а следовательно, жестокий обычай.
Тема 5. Отношения между категорическими суждениями по логическому квадрату. Непосредственные умозаключения: по логическому квадрату; на основе превращения и обращения Техническое задание
Сделать карточки-подсказки (См. конспект лекции):
1. «Логические отношения между категорическими суждениями по логическому квадрату»
2. «Схемы превращения и обращения».