- •Материалы к семинарам по логике Тема 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. Импликации
- •Непрямые правила
2. Указать вид категорического суждения и распределенность терминов
Образцы решения:
+ -
Дано: Все М являются S Решение: а Все М являются S
- -
Дано: Бывают A, которые D Решение: i Бывают A, которые D
Далее – самостоятельно:
Все S не суть P
Все А суть B
Некоторые P являются S
Некоторые S не суть M
Каждый P суть S
Существуют такие P, которые M
Ни один B не является S
Ни один S не является B
Есть P, которые Q
Любой A есть C
Найдется по крайней мере один такой S, который P
Все М являются S
Каждый В – это E
Никто из D не представляет собой A
Отдельные S являются M
Среди S встречаются P
Каждый P представляет собой S
Каждый S обладает всеми свойствами M
Ни один S не обладает свойствами P
Имеется по крайней мере один такой A, которому присущи свойства B
Найдется хотя бы один такой C, который A
Некоторые С не являются M
Никто из M не есть S
Отдельные R не являются P
Многие Z не обладают признаками Y
Существуют отдельные С, являющиеся В
Ни один В не представляет собой А
Большинство Q не является P
Среди P встречается немало S
Как правило, А не представляют собой В
С в большинстве своем обладают свойствами А
Найдется такой M, который P
Отдельные P не являются S
3. Выделить термины категорического суждения, обозначив их буквами s (субъект) и p (предикат). Определить вид суждения, указать распределенность терминов.
Образцы решения:
Дано: Кошки - это млекопитающими
+ -
S P
Решение: а Все кошки являются млекопитающими
Дано: Бывают несъедобные растения
- -
P S
Решение: i Бывают несъедобные растения
Далее – самостоятельно:
Некоторые неуспевающие студенты были отчислены
Ни один из моих друзей не работает в банке
О всяком частноутвердительном суждении можно сказать, что это частное суждение
Ни одна комната не отремонтирована
Любой из этих людей может дать свидетельские показания против вас
Все кондитерские изделия содержат маргарин
Все частноотрицательные суждения – это отрицательные суждения
Все частноотрицательные суждения относятся к разряду частных
Все крысы поддаются дрессировке
Отдельные члены нашего собрания не получили бюллетеней
Использование на экзамене шпаргалок является посягательством на принципы учебного процесса
Любое общеутвердительное суждение – это общее суждение
Грибы размножаются спорами
Рыбы живут в воде
Любые консервы содержат консерванты
Частноутвердительные суждения – это утвердительные суждения
Домашние животные, как правило, понимают речь
Среди певиц встречаются довольно эксцентричные особы
Некоторые вещества, не растворимые в воде, растворяются в спирте
Все вещества, растворимые в воде, растворяются в спирте
Никто из живущих на земле людей не знает, что будет после смерти
Встречаются медведи – людоеды
В любое блюдо из картофеля положено добавлять майоран
Среди первообразных частиц преобладают односложные
Лимон – это фрукт
Есть сотрудники, которые не выполняют свои должностные обязанности в полной мере
Некоторые школьники любят кататься на лифте
Категорические суждения – это разновидность логически простых суждений
Некоторые спектакли оканчиваются после 12.00.
Бывают лысые женщины
Общеотрицательные суждения относятся к общим суждениям
Есть преступления против личности, которые заслуживают исключительной меры наказания
Некоторые члены нашего собрания не знают, как зовут председателя.