- •Тема 1. Основные законы логики
- •1. Выполняются ли требования закона противоречия в понятиях:
- •2. Противоречат ли друг другу суждения и применим ли к ним закон исключенного третьего:
- •3. Является ли первое в каждой из приведённых пар суждений достаточным основанием для второго?
- •4. Какой именно логический закон нарушен в каждом данном случае?
- •Тема 2. Понятие Общая характеристика понятия
- •Логическая структура понятия
- •Определение понятий
- •Способы определения
- •Правила и ошибки определения
- •Деление понятий
- •Виды деления
- •Правила и ошибки деления
- •Упражнения
- •1. Какие из приведенных выражений языка не выражают понятия?
- •2. Какие понятия соответствуют следующим определениям? Каким способом дано определение?
- •3. Каким способом дано определение? Соблюдены ли правила определения и, если нет, какие ошибки допущены?
- •4. Установите вид деления, его основание и правильность:
- •5. Проверьте правильность деления, определите в неправильном делении, какие правила нарушены, исправьте, где можете, ошибки деления:
- •Тема 3. Основные формы высказываний (суждений) Суждение как форма мысли
- •Простые суждения Структура простых суждений
- •Категорические суждения и их виды
- •Отношения между простыми категорическими суждениями по истинности. Логический квадрат
- •Сложные суждения
- •Модальные суждения
- •Упражнения занятие 1
- •2. Оцените следующие суждения как истинные, ложные или неопределенно-истинные:
- •3. Совместимы ли по истинности суждения:
- •4. Сформулируйте суждения, находящиеся к данным в отношениях противоречия, подчинения, противоположности (подпротивоположности):
- •Занятие 2
- •5. Выясните, в значении каких логических союзов употреблены грамматические союзы в следующих предложениях:
- •6. Уточните, в каких высказываниях присутствует физическая алетическая модальность, а в каких логическая:
- •7. Уточните, везде ли понятия "обязательно", "разрешено", "запрещено" имеют значение деонтических модальностей:
- •8. Определите в каждом приведённом высказывании, какую модальность выражает слово "нельзя":
- •Тема 4. Умозаключение Умозаключение как форма мышления. Дедукция и индукция
- •Выводы логики высказываний
- •Условные умозаключения
- •Утверждающий модус (modus ponens) выражается формулой:
- •2. Отрицающий модус (modus tollens ):
- •Разделительные умозаключения
- •1. Утверждающе-отрицающий модус (modus ponendo tollens):
- •2. Отрицающе-утверждающий модус (modus tollendo ponens):
- •Условно-разделительные (лемматические) выводы
- •Упражнения
- •1. Выявите логическую структуру условно-категорических умозаключений; сделав вывод, определите модус:
- •2. Сделайте вывод по одному из модусов разделительно-категорического умозаключения, постройте его схему и проверьте правильность:
- •3. Определите вид леммы, построив схему. Проверьте её логическую состоятельность:
- •Тема 5. Логика вопросов и ответов
- •Виды вопросов
- •Виды ответов
- •Упражнения
- •1. Какие из следующих предложений не выражают вопросы?
- •2. Выявите скрытые вопросы, содержащиеся в тексте:
- •3. Какие из следующих вопросов являются восполняющими, а какие уточняющими? Выявите предпосылки вопросов.
- •4. Дайте развёрнутый полный ответ на вопрос:
- •5. Дайте три прямых ответа на вопрос:
- •6. Сформулируйте косвенный ответ на вопрос задания 5.
- •7. Произведите логический анализ следующих вопросов:
- •Тема 6. Логика аргументации
- •Обоснование
- •Способы обоснования
- •Опровержение
- •Способы опровержения
- •1. Критика тезиса:
- •Общие правила аргументации Правила тезиса
- •Правила аргументов
- •В качестве аргументов корректно использовать:
- •2. Ранее доказанные законы науки и техники.
- •5. Опытное, практическое подтверждение тезиса.
- •Правила демонстрации
- •Упражнения занятие 1
- •1. Сформулируйте антитезисы:
- •2. Определите тип аргументации, выделите тезис и аргументы, установите форму связи между ними (демонстрации):
- •Занятие 2
- •3. Опровергните способом доказательства антитезиса утверждение:
- •4. Опровергните это же утверждение способом сведения к абсурду.
- •5. Постройте прямое и косвенное доказательство и опровержение:
Сложные суждения
Сложные суждения – это суждения, состоящие из двух и более простых суждений, соединённых логическими постоянными (союзами).
Логические константы (союзы) определяют виды сложных суждений и обозначаются специальными символами:
1) конъюнкция "и" () образует соединительное суждение (а b);
2) дизъюнкция "или" (v) образует разделительное суждение (а v b);
3) строгая дизъюнкция "либо" () образует исключающе-разделительное суждение (а b);
импликация "если..., то" () образует условное суждение (а b);
5) эквиваленция "тогда и только тогда, когда" () образует равнозначное суждение (а b);
6) отрицание "неверно, что" - образует отрицательное сложное суждение ( ā ) или ( ¬a).
Логические союзы могут соединять любое количество суждений, истинность сложного суждения при этом будет зависеть только от вида констант и истинности простых составляющих его суждений и не будет зависеть от содержания (смысла), количества и качества этих суждений.
Модальные суждения
Модальность (от лат. "modus" – мера, наклонение) – это характеристика особой связи между понятиями простого суждения или суждениями сложного высказывания. Эта связь может быть: сильной положительной, слабой или сильной отрицательной.
Слова, выражающие модальность, называются в логике модальными понятиями, или модальными операторами, или модальными функторами.
В современной логике общей теории модальных систем пока нет. В рамках символической (математической) логики разработано множество аксиоматических систем, использующих методы исчисления высказываний, связанных с многозначной и вероятностной логиками.
По сферам применения все модальные понятия распадаются на группы, число которых, в принципе, не ограничено, но логика занимается лишь важнейшими из них.
ТИП МОДАЛЬНОСТИ |
О П Е Р А Т О Р Ы
|
||
Алетическая |
|
|
|
1.Логическая |
логически необходимо |
логически возможно |
логически невозможно |
2.Физическая |
физически необходимо |
физически возможно |
физически невозможно |
Деонтическая |
обязательно |
разрешено |
запрещено |
Эпистемическая |
доказано |
проблематично |
опровергнуто |
Оценочная |
|
|
|
1.Абсолютная |
хорошо |
безразлично |
плохо |
2.Относительная |
лучше |
безразлично |
хуже |
Упражнения занятие 1
1. Установите субъект и предикат, количество и качество суждений:
а) В любой библиотеке есть книги, к которым обращаются очень редко.
б) Среди диких растений нашей страны многие представляют собой большую ценность для медицины.
в) В этой книге авторы не ставили себе задачу охватить все аспекты обсуждаемой проблемы.
г) "Дурной пример всегда дурному учит". (Софокл)
д) Человек находится на верхней ступени эволюционной лестницы.
е) "Египтяне, принадлежащие к храмовому округу Мендеса, не употребляют в пищу козьего мяса". (Геродот)
ж) Наукообразное преподнесение лжи гипнотически действует на доверчивого человека.
з) "Мне мерзостны у злого речи добрые". (Менандр)
и) Не всё то золото, что блестит.
д) В семье не без урода.