Тема 15. Вопрос, проблема и гипотеза.
Элементы логики вопросов. Вопрос и высказывание. Структура вопроса. Виды вопросов. Предпосылка (базис) вопроса. Условия правильной постановки вопроса. Виды ответов. Проблема построения логики вопросов.
Вопрос как форма выражения проблемы. Теоретические условия позитивного решения проблемы: решение в рамках существующей теории; решение, требующее модификации теории; решение требующее создание новой теории. Установление принципиальной неразрешимости проблемы.
Гипотеза. Логическая структура гипотезы.
Построение гипотезы. Виды гипотез: общие, частные, ad hoc (версия). Способы подтверждения гипотез. Прямое и косвенное доказательства гипотез. Правила принятия гипотез. Опровержение гипотез.
Логические принципы разработки версий. Выбор версии и принятие решения. Проблема возможности формализации юридических гипотез и формального определения их обоснованности.
Литература:
1. Гетманова А.Д. Логика. М., 1986. С. 223-237.
2. Ивин А.А. Логика. М., 1999. С. 213-240.
3. Ивлев Ю.В. Логика для юристов. М., 2000. С. 230-248.
4. Кириллов В.И., Старченко А.А. Логика: Учебник для юридических вузов. М., 2001. С. 231-244.
5. Никифоров А.Л. Общедоступная и увлекательная книга по логике. М., 1996. С. 168-186.
ВОПРОСЫ К ЭКЗАМЕНУ:
- Предмет и метод формальной логики.
- Значение логики для юриспруденции.
- Понятие как форма мышления.
- Структура понятия: объём и содержание. Закон обратного отношения объёма и содержания понятия.
- Виды понятий.
- Отношения между понятиями. Диаграммы Эйлера-Венна.
- Обобщение и ограничение понятий.
- Деление понятий: структура и виды. Классификация.
- Правила деления понятий.
- Определение понятий: структура и виды.
- Правила определения понятий.
- Простое атрибутивное суждение: структура и виды.
- Интерпретация простых атрибутивных суждений с помощью диаграмм Эйлера-Венна.
- Понятие распределённости термина в простом атрибутивном суждении.
- Отношения между простыми атрибутивными суждениями. Логический квадрат.
- Сложное высказывание. Виды логических связей.
- Интерпретация сложных высказываний. Таблицы истинности.
- Анализ высказываний в логике предикатов. Категории выражений.
- Интерпретация логики предикатов.
- Виды бинарных отношений.
- Понятие о модальности высказывания. Виды модальностей.
- Виды умозаключений: дедукция, индукция и абдукция.
- Непосредственные умозаключения из простых атрибутивных суждений.
- Простой категорический силлогизм: структура и правила.
- Фигуры и модусы простого категорического силлогизма.
- Первая фигура силлогизма.
- Вторая фигура силлогизма.
- Третья фигура силлогизма.
- Четвёртая фигура силлогизма.
- Классификация выводов из сложных высказываний.
- Умозаключения, основанные на свойствах бинарных отношений.
- Система натурального вывода для логики высказываний и логики предикатов.
- Выводы, основанные на свойствах модальностей.
- Популярная индукция: структура и виды.
- Способы повышения достоверности вывода по индукции.
- Причинно-следственные связи и принципы их анализа.
- Метод единственного сходства.
- Метод единственного различия.
- Метод сопутствующих изменений.
- Метод остатков.
- Умозаключения по аналогии: структура и виды.
- Методы повышения достоверности выводов по аналогии.
- Гипотеза: структура и виды.
- Гипотетико-дедуктивный метод.
- Структура и виды аргументации.
- Правила и ошибки в доказательстве.
- Виды опровержения.
- Виды и структура полемики.
- Полемические уловки и способы их опровержения.