- •Автор-составитель
- •Цель, задачи и предмет дисциплины
- •Требования к уровню освоения дисциплины
- •Инновационные технологии
- •Объем дисциплины
- •Объем дисциплины и виды учебной работы
- •Распределение часов по темам и видам учебной работы Форма обучения – очная
- •Форма обучения – очно-заочная
- •Форма обучения – заочная
- •Содержание курса
- •Тема 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. Методическое обеспечение дисциплины
Раздел 4. Логика высказываний и предикатов
Тема 9. Логический анализ языка
Язык как форма общественной культуры и знаковая система. Синтаксический, семантический и прагматический аспекты языка. Виды языков. Язык-объект и метаязык. Понятие и атрибуты знака: денотат и концепт. Классификация знаков. Имена и автонимы.
Тема 10. Язык логики высказываний
Понятие и виды сложного высказывания. Формализация атомарных и сложных высказываний. Пропозициональные переменные и связки. Унарные и бинарные связки. Формулы и подформулы классической логики высказываний: логический закон, противоречивые, выполнимые и фактуальные. Интерпретации и семантические модели. Табличная семантика. Арифметическая семантика. Формализация доказательства в исчислении высказываний. Системы логических связок.
Тема 11. Матрицы истинности сложных высказываний
Табличная семантика в исчислении высказываний. Общие законы логики в классической логике высказываний. Частные законы логики высказываний: идемпотентность, ассоциативность, дистрибутивность и коммутативность конъюнкции и дизъюнкции, транзитивность и самодистрибутивность импликации, закон отрицания антецедента и утверждения консеквента, законы снятия и введения двойного отрицания, законы контрапозиции и обратной контрапозиции, закон Ч. Пирса. Совместимость и несовместимость высказываний. Бинарные булевы функции Ч. Пирса и Г. М. Шеффера. Подстановка и теорема дедукции в исчислении высказываний. Понятие истинностной функции. Правила вывода в натуральном исчислении высказываний.
Тема 12. Понятие и язык логики предикатов
Имя и понятие как знаки логики предикатов. Принципы использования знаков в логике предикатов: однозначность, предметность, взаимозаменимость. Интенсиональный и экстенсиональный смысл употребления знака. Формализация релятивных суждений. Предметные константы и переменные. Свойство и отношение. Объект и предикат. Местность отношения. Квантор и универсум отношения. Алфавит логики предикатов.
Раздел 5. УМОЗАКЛЮЧЕНИЕ И ЛОГИЧЕСКИЙ ВЫВОД
Тема 13. Умозаключение как форма мысли
Умозаключение как логическая форма мысли. Структура умозаключения: посылки, заключение, термины. Классификация умозаключений. Дедуктивное умозаключение и его виды. Демонстративность умозаключения. Индуктивные и традуктивные умозаключения.
Тема 14. Простой категорический силлогизм
Простой категорический силлогизм. Структура простого категорического силлогизма: больший, средний и меньший термины; большая и меньшая посылка; заключение. Общие правила простого категорического силлогизма: правила терминов и посылок.
Фигуры и модусы простого категорического силлогизма. Правильные и неправильные, основные и неосновные модусы. Специальные правила фигур. Аксиома простого категорического силлогизма. Проверка демонстративности простого категорического силлогизма.
Тема 15. Сложные и сокращённые силлогизмы
Понятие сокращённого, сложного и сложносокращённого силлогизма. Энтимема, эпихейрема, полисиллогизм, сорит. Структура сложных и сокращённых силлогизмов. Просиллогизм и эписиллогизм. Прогрессивный, регрессивный, прогрессивно-регрессивный, линейный и каскадный полисиллогизмы. Аристотелевский и гоклениевский сориты.