- •Автор-составитель
- •Цель, задачи и предмет дисциплины
- •Требования к уровню освоения дисциплины
- •Инновационные технологии
- •Объем дисциплины
- •Объем дисциплины и виды учебной работы
- •Распределение часов по темам и видам учебной работы Форма обучения – очная
- •Форма обучения – очно-заочная
- •Форма обучения – заочная
- •Содержание курса
- •Тема 7. Отношения между простыми категорическими суждениями
- •Тема 8. Логические действия с простыми категорическими суждениями
- •Раздел 4. Логика высказываний и предикатов
- •Тема 9. Логический анализ языка
- •Тема 10. Язык логики высказываний
- •Тема 11. Матрицы истинности сложных высказываний
- •Тема 15. Сложные и сокращённые силлогизмы
- •Тема 16. Дедуктивный вывод в логике высказываний
- •6. Темы практических (семинарских) занятий
- •Тема 3. История логики и аргументации (семинарское занятие)
- •Раздел 2. Понятие
- •Тема 4. Понятие как логическая форма (практическое занятие)
- •Тема 5. Логические действия с понятиями (практическое занятие)
- •Раздел 3. Суждение
- •Тема 6. Простое суждение (практическое занятие)
- •Тема 7. Отношения между простыми категорическими суждениями (практическое занятие)
- •Тема 8. Логические действия с простыми категорическими суждениями (практическое занятие)
- •Раздел 4. Логика высказываний и предикатов
- •Тема 10. Язык логики высказываний (практическое занятие)
- •Тема 11. Матрицы истинности сложных высказываний
- •Тема 12. Понятие и язык логики предикатов
- •Раздел 5. Умозаключение и логический вывод
- •Тема 13. Умозаключение как форма мысли (практическое занятие)
- •Тема 14. Простой категорический силлогизм (практическое занятие)
- •Тема 18. Доказательство и опровержение (практическое занятие)
- •Тема 19. Методы аргументации
- •7. Задания для самостоятельной работы студентов
- •Раздел 1. Предмет логики
- •Тема 1. Предмет логики
- •Тема 2. Общие законы логики
- •Тема 3. История логики и аргументации
- •Раздел 2. Понятие
- •Тема 4. Понятие как логическая форма
- •Тема 5. Логические действия с понятиями
- •Раздел 3. Суждение
- •Тема 6. Простое суждение
- •Тема 7. Отношения между простыми категорическими суждениями
- •Тема 8. Логические действия с простыми категорическими суждениями
- •Раздел 4. Логика высказываний и предикатов
- •Тема 9. Логический анализ языка
- •Тема 10. Язык логики высказываний
- •Тема 11. Матрицы истинности сложных высказываний
- •Тема 12. Понятие и язык логики предикатов
- •Раздел 5. Умозаключение и логический вывод
- •Тема 13. Умозаключение как форма мысли
- •Тема 14. Простой категорический силлогизм
- •Тема 15. Сложные и сокращенные силлогизмы
- •Тема 19. Методы аргументации
- •Тема 20. Гипотеза как форма научного познания
- •Тема 21. Ошибки аргументации. Логические парадоксы
- •8. Тематика контрольных работ и методические указания по их выполнению
- •Раздел 1. Предмет логики
- •1. Предмет логики. Общие законы логики
- •Могут ли быть одновременно истинными или ложными суждения1i:::
- •Определите, в экстенсиональном или интенсиональном контексте употребляются выделенные курсивом имена1.
- •В чем заключается неопределенность следующих суждений?
- •Какие основные законы логики нарушены в следующих рассуждениях? Объясните ответ. Определите вид логической ошибки.
- •Могут ли быть одновременно истинными следующие пары суждений?
- •Раздел 2. Понятие
- •Определите отношения понятий, проиллюстрируйте «кругами л. Эйлера»
- •Укажите нарушенные правила и ошибки деления понятий:
- •Для указанных понятий определите, если возможно, понятие-сумму и понятие-произведение. Проиллюстрируйте с помощью «кругов л. Эйлера»
- •Раздел 3. Суждение
- •4. Простое суждение
- •Найдите в тексте суждения. Объясните ответ
- •Проанализируйте структуру суждений, запишите формулы
- •Определите количество и качество суждений, укажите связку и квантор, запишите формулы.
- •Определите характеристики распределенности терминов суждений и изобразите отношения между ними с помощью «кругов л. Эйлера»
- •Укажите виды суждений по всем основаниям, при необходимости выразите суждения в форме атрибутивных категорических:
- •5. Отношения между простыми категорическими суждениями.
- •В каких отношениях находятся пары суждений?
- •Определите вид модальности следующих суждений, выделите модальные слова, запишите формулы:
- •Подберите для суждений противоположные и противоречащие модальные суждения.
- •Подберите для суждений подпротивные и подчиняющие модальные суждения.
- •Подберите для суждений возможные несовместимые суждения.
- •6. Логические действия с простыми категорическими суждениями
- •Превратите суждения:
- •Обратите суждения:
- •Противопоставьте суждения предикату:
- •Противопоставьте суждения субъекту:
- •Определите вид и логическую правильность операций с суждениями, при необходимости скорректируйте результат:
- •Контрольная работа № 2
- •Раздел 4. Логика высказываний и предикатов
- •Матрицы истинности сложных высказываний
- •Определите вид сложных суждений, выделите логические союзы, запишите формулы:
- •Проанализируйте структуру сложных суждений, запишите формулы:
- •Подберите к сложным суждениям возможные совместимые и несовместимые сложные суждения, состоящие из двух простых суждений:
- •Выразите в символической записи комбинированные сложные суждения, определите их вид.
- •Подберите к суждениям по одному несовместимому и несравнимому сложному суждению.
- •8. Язык логики высказываний. Понятие и язык логики предикатов
- •8.1. Определите табличным способом значения истинности суждений.
- •8.2. Определите тип формулы и решите методом «от противного», являютcя ли формулы тождественно-истинными.
- •8.3. Докажите формулы:
- •8.4. Формализуйте высказывания на языке логики предикатов первого порядка:
- •8.5. Установите область интерпретации значений дескриптивных постоянных, а также значение свободных переменных, при которых приведённые ниже формулы 1) истинны, 2) неистинны:
- •Раздел 5. Умозаключение и логический вывод
- •Умозаключение как форма мысли. Сложные и сокращённые силлогизмы
- •Выведите заключение из посылок, установите, является ли оно демонстративным, проанализируйте структуру и запишите схему силлогизмов:
- •Проанализируйте структуру, определите вид и запишите схему силлогизмов.
- •Являются ли следующие рассуждения энтимемами? Проанализируйте структуру энтимем.
- •Постройте силлогизм из посылок, определите его вид, составьте схему.
- •Постройте силлогизм из посылки, определите его вид, составьте схему.
- •10. Простой категорический силлогизм
- •10.1. Сделайте заключение из посылок, проверьте его демонстративность
- •Проанализируйте структуру силлогизмов, определите фигуру и модус, изобразите с помощью схем л. Эйлера отношение между терминами
- •Сделайте заключение из посылок, проверьте его демонстративность
- •Постройте простой категорический силлогизм из терминов согласно модусу, постройте схему л. Эйлера
- •Правильно ли построены силлогизмы? Аргументируйте ответ.
- •Раздел 6. Основы теории аргументации
- •Доказательство и опровержение. Методы аргументации.
- •Докажите тезис, используя сокращенный силлогизм при доказательстве.
- •Постройте прямое или косвенное опровержение тезиса.
- •Сформулируйте тезис и аргументы, определите способ обоснования тезиса.
- •К данным тезисам подберите аргументы, продемонстрируйте их связь с тезисом, используя один из видов дедуктивного умозаключения.
- •11.5. Определите метод и структуру аргументации, составьте схему.
- •12. Ошибки аргументации. Логические парадоксы. Гипотеза как форма научного познания
- •12.1. Укажите ошибки аргументации, их вид.
- •Проанализируйте структуру и определите ошибки аргументации.
- •12.3. Проанализируйте структуру доказательства, укажите, какие правила нарушены.
- •12.4. Определите ошибки аргуменации.
- •12.5. Определите ошибки аргументации.
- •9. Вопросы для подготовки к экзамену
- •10. Учебно-методическое обеспечение дисциплины
- •10.1. Литература Основная:
- •Дополнительная:
- •10.2. Материально-техническое и информационное обеспечение дисциплины
- •10.3. Методическое обеспечение дисциплины
9. Вопросы для подготовки к экзамену
Программа экзамена по логике и теории аргументации включает 70 заданий, половина (35 из них) – вопросы теории, остальные – логические задачи. Формулировка заданий в упражнениях на экзамене аналогична заданиям, приведенным в настоящем учебно-методическом комплексе. Конкретные задания, входящие в практическую часть экзамена, студентам до экзамена не сообщаются. Примерное количество билетов – 35.
Примерный перечень теоретических экзаменационных вопросов:
-
Опровержение, его виды и правила.
-
Доказательство, его виды и правила.
-
Умозаключения по аналогии и их виды.
-
Индуктивные умозаключения и их виды.
-
Методы научной индукции
-
Логический анализ гипотезы
-
Вопросы и ответы: понятие, виды, логические требования
-
Спор как аргументативная стратегия: понятие, виды, логические критерии
-
Стратегия и тактика спора
-
Логические и нелогические приёмы ведения спора
-
Понятие, структура и виды аргументации
-
Объяснение и понимание, традиции и авторитет в процессе аргументации
-
Понятие, виды и стратегия диалога
-
Условно-разделительный силлогизм. Дилемма и трилемма.
-
Разделительный и разделительно-категорический силлогизмы.
-
Условный и условно-категорический силлогизмы.
-
Энтимема и эпихейрема.
-
Полисиллогизм и сорит.
-
Редукция модусов простого категорического силлогизма.
-
Фигуры и модусы простого категорического силлогизма.
-
Доказательство правил первой фигуры простого категорического силлогизма.
-
Доказательство правил второй фигуры простого категорического силлогизма.
-
Доказательство правил третьей фигуры простого категорического силлогизма.
-
Доказательство правил четвёртой фигуры простого категорического силлогизма.
-
Простой категорический силлогизм и его структура. Общие правила посылок и терминов.
-
Общая характеристика умозаключения как формы мышления и его виды.
-
Противопоставление простых категорических суждений субъекту.
-
Противопоставление простых категорических суждений предикату.
-
Обращение простых категорических суждений.
-
Отрицание и превращение простых категорических суждений.
-
Модальность суждений. Логический шестиугольник.
-
Понятие, классификация и структура сложных суждений в классической логике.
-
Истинностные матрицы сложных суждений.
-
Отношения между простыми категорическими суждениями. Логический квадрат.
-
Простое категорическое суждение, его виды.
-
Правила распределённости терминов простого категорического суждения.
-
Общая характеристика суждения как формы мышления, его структура и виды.
-
Определение понятий, его виды, правила и ошибки.
-
Деление понятий, его виды, правила и ошибки.
-
Обобщение и ограничение понятий. Операции с классами.
-
Отношения между понятиями.
-
Виды понятий.
-
Общая характеристика и структура понятия как формы мышления.
-
Общие законы логики и методы рационального мышления.
-
Генезис и развитие логики в России (XVII–XIX вв.)
-
Становление и развитие математической логики
-
Развитие европейской логики в Новое время.
-
Логика средних веков
-
Становление логики как науки. Логика античности.
-
Логический анализ языка
-
Мышление и его формы.
-
Логика как наука, ее предмет и структура.
-
Становление и развитие античной риторики и эристики.
-
Основные виды логики
-
Алфавит и формулы логики высказываний и их виды
-
Паралогизмы и софизмы в аргументации.
-
Логические парадоксы
-
Интерпретации и семантические модели логического языка
-
Виды формул логики высказываний в табличной семантике
-
Общие законы логики, законы двойного отрицания и импликации в классической логике высказываний
-
Законы А. де Моргана и Ч. Пирса. Стрелка Ч. Пирса
-
Законы контрапозиции, конъюнкции и дизъюнкции в классической логике высказываний
-
Полные системы связок в логике высказываний
-
Правила логического вывода в натуральном исчислении высказываний
-
Теорема дедукции в аксиоматическом исчислении высказываний
-
Знаки логики предикатов, их свойства, виды и принципы применения
-
Алфавит и формулы логики предикатов
-
Кванторы и универсумы рассуждения в исчислении предикатов
-
Натуральное исчисление предикатов и правила кванторов
-
Теорема дедукции в исчислении предикатов