Методические указание к сдаче зачета по логике
для студентов заочного обучения специальность Психология
Теоретическое содержание курса
Тема 1. Предмет и значение логики
Предмет курса логики. Значение логики для юриста. Краткий очерк истории логики. Логика формальная и диалектическая. Виды формальной логики: аристотелевская (классическая), логика высказываний, логика предикатов, логика модальностей, нетрадиционная логика, формальная математическая логика.
Тема 2. Язык и законы мышления
Мышление конкретное и абстрактное. Основные формы мышления: понятие, суждение и умозаключение. Суждение и норма. Знак и знаковые системы. Понятие о семиотике - науке о знаковых системах. Естественный и искусственный языки. Язык логики предикатов. Логика и язык права. Законы или принципы классической логики. Принцип тождества. Принцип непротиворечивости. Принцип исключенного третьего. Принцип достаточного основания. Тождественно-истинные высказывания или логические тавтологии.
Тема 3. Понятие
Понятие как форма мышления. Логические приемы образования понятий: сравнение, анализ, синтез, абстрагирование, обобщение. Содержание и объем понятия. Закон обратного отношения между объемом и содержанием понятий. Виды понятий: общие, частные, единичные, пустые и др. Отношения между понятиями. Понятия сравнимые и несравнимые, совместимость понятий. тождественность (равнообъемность, эквивалентность), подчинение, противоположность и противоречивость. Диаграммы Вена (круговые схемы). Логические операции с понятиями. Обобщение и ограничение понятий. Определение понятий. Деление понятий. Классификация. Операции с классами. Ошибки при определении и классификации понятий.
Тема 4. Суждение
Понятие суждения. Простые и сложные суждения. Простые суждения: категорические, реляционные (суждения с отношениями) и экзистенциальные (суждения о существовании). Структура простого категорического суждения: субъект и предикат. Деление категорических суждений по качеству (утвердительные и отрицательные) и количеству (частные и общие). Сложные суждения и их структура. Логические связки: конъюнкция, дизъюнкция, импликация, эквивалентность. Логические отношения между суждениями. Мнемоническая схема отношений между простыми категорическими суждениями (логический квадрат). Отношения совместимости, эквивалентность, противоположность (контрарность), частичная совместимость (субконтрарность), подчинение и противоречивость. Модальность суждений. Виды модальности: эпистемическая, деонтическая и алетическая.
Тема 5. Дедуктивные умозаключения Общие положения. Структура логического аргумента: посылки и вывод.
5.1. Логика высказываний. Язык логики высказываний. Элементарные логические операции: конъюнкция, дизъюнкция, импликация и эквивалентность. Таблица истинности. Простые и сложные высказывания. Анализ высказываний с помощью таблицы истинности. Тавтологии, противоречия и неопределенные высказывания. Выражение логических операций друг через друга. Логическая и материальная импликация. Законы логики в символьной форме.
Простейшие формы логических аргументов: modus ponens, modus tollens, разделительный силлогизм, упрощение, присоединение, гипотетический силлогизм, прибавление, конструктивная дилемма.
Логические эквивалентности: двойное отрицание, соотношение Де Моргана, коммутативность, ассоциативность, дистрибутивность, контрапозиция, импликация, экспортация, тавтология и др.
Дедуктивный вывод при помощи простейших форм логических аргументов и правил эквивалентности. Условное доказательство и доказательство от противного. Проверка непротиворечивости посылок и правильности аргумента. Метод проверки с помощью дерева истинности.
Логика предикатов. Основные элементы языка логики предикатов. Логические переменные и постоянные, их свойства. Кванторы существования и всеобщности. Перевод предложений естественного языка на язык логики предикатов. Правила обращения с кванторами. Выражение кванторов друг через друга. Теоремы логики предикатов. Проверка логической верности рассуждения, доказательство противоречивости и непротиворечивости посылок, совместимости посылок и следствия. Пределы использования логики предикатов и возможности ее обобщения: кванторы свойств, трех - и многозначные логики. Парадоксы логики предикатов и методы их преодоления. Теория типов Б. Рассела.
5.2 Традиционная (аристотелевская) логика. Категорический силлогизм: посылки, термины, заключение. Фигуры и модусы силлогизма. Четыре типа посылок. Правила обращения посылок. Проверка правильности силлогизма: правила терминов и посылок, диаграммы Вена, метод антилогизмов. Силлогизм с выделяющими суждениями. Умозаключения из суждений с отношениями. Условные и условно-категорические умозаключения. Модусы условно-категорического силлогизма: правильные (утверждающий и отрицающий) и неправильные. Разделительно-категорическое умозаключение. Условно-разделительное умозаключение (дилемма, три - и т. д. лемма). Энтимема (сокращенный силлогизм). Полисиллогизмы: прогрессивный и регрессивный. Сорит (сложносокращенный силлогизм). Эпихейрема.
Тема 6. Индуктивные умозаключения и умозаключения по аналогии
Понятие и примеры индуктивного умозаключения. Индукция полная, неполная и "популярная". Индукция методом отбора и индукция методом исключения. Причинная связь: способы ее установления путем выявления сходств, различий и сопутствующих изменений (метод Милля). Значение индуктивных умозаключений в следственной практике. Статистические обобщения.
Умозаключения по аналогии. Виды аналогии: аналогия предметов и аналогия отношений. Роль аналогии в науке.
Тема 7. Модальная логика
Виды модальностей суждений: эпистемичекая, деонтическая и алетическая. Эпистемическая модальность: модальные операторы для обозначения знания и мнения (веры). Степени достоверности и проблематичности знания. Язык деонтической логики. Деонтическая модальность как нормативное высказывание. Правовая норма. Элементы правовой нормы: авторитет, адресат, диспозиция, деонтическая характеристика, санкция. Нормы правообязывающие, правозапрещающие и правопредоставляющие. Алетическая модальность: логическая и фактическая. Операторы алетической логики: необходимость - случайность, возможность - невозможность, их выражение друг через друга.
Тема 8. Логические основы аргументации
Логика вопросов и ответов. Правила определения базиса (предпосылок) вопроса и правильная его постановка. Корректные и некорректные вопросы. Провокационные (улавливающие) вопросы. Вопросы по существу и не по существу темы. Вопросы уточняющие и восполняющие. Ответы: по существу вопроса и не по существу, простые, сложные, краткие, развернутые, определенные, неопределенные и т. д. Вопросно-ответные ситуации в психологической практике. Аргументация и теория аргументации. Доказательство: понятие и виды доказательных рассуждений. Доказательные и убедительные рассуждения. Софистика. Типичная структура аргумента: тезис, обоснование (прямое, косвенное и т. д.), доводы за и против, критика (конструктивная, неконструктивная и т. д.), выводы. Дискуссия, полемика, спор, прения. Методы ведения дискуссии.
Тема 9. Логические ошибки и парадоксы
Основные ошибки в аргументации. Паралогизмы и софизмы. Потеря, частичная или полная подмена тезиса. Кардинальное заблуждение (принятие за истину ложного). Предвосхищение основания (petitio principii), логический круг, скрытое противоречие, слишком широкое обобщение, поспешный вывод, чрезмерное доказательство, саморазрушающий довод, мнимое следование. Апелляция к силе (ad baculinum argumentum), невежеству (ad ignoratiam), выгоде (ad crumenam), авторитету (ipse dixit), здравому смыслу (ad judicium), состраданию (ad misericordiam), верности (a tuto) и т. под. Атака собеседника вместо его мнения (аргумент ad hominem). Софистические методы ведения дискуссии. Уловки и казусы в судебном процессе. Логические парадоксы и парадоксы теории множеств. Некоторые философские проблемы логики.
Тема 10. Гипотеза
Формы развития знания: проблема, гипотеза, теория. Виды и логическая структура гипотез. Рабочая гипотеза и версия. Построение гипотезы (версии). Проверка гипотез: условия состоятельности, дедуктивные выводы следствий и их сопоставление с фактами. Способы доказательства гипотез: дедуктивное обоснование (косвенное и прямое), фактическое обнаружение предполагаемого. Теория: разработка, критерии научности и точности, обоснование, соответствие эксперименту, процедуры верификации и фальсификации. Эксперимент.
Итоговая аттестация
Итоговая аттестация состоит из теоретического вопроса к зачету по логике и практического задания. В качестве практического задания студент выполняет контрольную работу. Темой контрольной работы выступает одна из тем теоритического содержания курса №№ 1 – 10. Выбор темы осуществляется по последней цифре зачетной книжки. Контрольная работа выполняется в форме реферата по избранной теме. Объем работы 12 - 15 страниц.
Вопросы к зачету по логике
1. Понятие. Способы определения понятия. Каким условиям должно удовлетворять "хорошее" определение. Ошибки в определениях.
2. Типы классификации понятий.
3. Суждение. Условия истинности и ложности суждения. Суждения простые и сложные.
4. Элементарные логические операции.
5. Классическая логика. Категорическое суждение. Классификация суждений.
6. Умозаключения по логическому квадрату.
7. Категорический силлогизм. Фигуры и модусы силлогизма. Способы проверки верности силлогизма.
8. Основные элементы языка логики предикатов. Правила работы с кванторами существования и всеобщности.
9. Индуктивные умозаключения и заключения по аналогии.
10. Гипотеза, условия ее логической обоснованности и роль в научной практике.
11. Доказательство и "убеждение". Типы логических доказательств (в логике предикатов).
12. Основные логические ошибки, неточности и уловки.
13. Типы логических парадоксов и способы их преодоления.
14. Критерии научности знания. Теоретические основы и эмпирический базис суждений.
15. Знание до-опытное и основанное на опыте (a-priori - a-posteriori), суждения аналитические и синтетические.
16. Логический закон. Понятие "нормы". Теоремы логики.
17. Модальная логика. Понятие модальности. Основные операторы модальной логики.
18. Эпистемическая логика. Основные операторы эпистемической логики и их взаимные отношения.
19. Деонтическая логика. Язык деонтической логики. Возможность использования деонтической логики в педагогической практике.
20. Способы подтверждения и опровержения гипотез и теорий. Верификация и фальсификация суждения, гипотезы или теории.
21. Использование статистических методов и теории вероятностей в обосновании суждений, гипотез или теорий.
Основная литература
1. Ивлев для юристов: Учебник. М: Проспект, 2004.
2. Гетманова . М., 2007.
3. , Старченко : Учебник для юридических вузов, 5-е издание. М.: Юрист, 2002.
4. , , Фокина по логике. М.: Проспект, 2003.
5. Логика и основы аргументации. М.: Проект, 2003. 304.
6. Логика. Практический курс основ формальной логики. М.: Щит-М, 2003. 256.
Дополнительная литература
1. Асмус логики о доказательстве и опровержении. М., 1954.
2. , Маркин логики. М., 1994.
3. Войшвило как форма мышления. М. 1989.
4. , Дегтерев . М., 1994.
5. Брюшинкин курс логики для гуманитариев. М.:
6. Горский . М., 1974.
7. П,, , Никифоров словарь по логике. М., 1991.
8. Элементарная логика, пер. с немецкого. М., 1985.
9. Логика в правовом сознании. М., 1987.
10. Лебедев как метод научного познания. М., 1980.
11. Маковельский логики. М.: Наука, 1967.
12. Дедуктивная и индуктивная логика, пер. с англ. С.-Пб.: Комета, 1995.
13. Спор о теории и практике спора. СПб., 1996.
14. Уемов в практике научного спора. М., 1970.
