
- •Оглавление
- •Предисловие
- •Введение. Логика как наука
- •Глава 1. Предмет и основные понятия логики
- •1.2. Структура формальной логики
- •1.3. Предмет формальной логики
- •1.4. Мышление как объект изучения логики
- •1.5. Основные формы мышления
- •1.6. Понятие логической формы
- •1.7. Истинность мысли и формальная правильность рассуждений
- •1.8. Основные свойства правильного мышления. Понятие логического закона
- •1.10. Понятие логического следования
- •1.11. Закон логики как отношение логического следования
- •Глава 2. Логический анализ языка
- •2.1. Мышление и язык
- •2.2. Естественный и искусственный языки
- •2.4. Семантическая классификация терминов
- •2.5. Семантические категории
- •2.6. Разновидности семантических категорий
- •2.7. Семиотика: семантика
- •2.8. Семиотика: синтактика
- •Глава 3. Основные направления и понятия символической (математической) логики
- •3.1. Классическая логика
- •3.2. Классическая логика высказываний
- •3.3. Синтаксис языка логики высказываний
- •3.4. Семантика языка логики высказываний
- •3.5. Семантические таблицы логики высказываний
- •3.6. Семантическая проблема разрешимости
- •3.7. Табличный способ определения типа формул
- •3.8. Логические отношения между формулами
- •3.10. Способ приведения формулы к нормальной форме
- •3.11. Равносильные формулы
- •3.12. Алгоритм приведения формул к КНФ и ДНФ
- •3.13. Аксиоматические исчисления
- •3.14. Натуральные исчисления
- •3.15. Секвенциальные исчисления
- •3.16. Построение секвенции
- •3.17. Законы логики высказываний
- •3.18. Классическая логика предикатов
- •3.19. Основные понятия логики предикатов
- •3.20. Операции над предикатами. Кванторы
- •3.21. Синтаксис языка логики предикатов
- •3.22. Процедура формализации выражений естественного языка в классической логике
- •3.23. Логическая символика
- •Введение. Понятие — форма мышления
- •Глава 4. Общая характеристика понятия
- •4.1. Понятие как форма мышления
- •4.2. Основные семантические характеристики понятия
- •4.3. Логическая структура понятия
- •4.4. Классификация видов понятий
- •4.5. Положительные и отрицательные, относительные и безотносительные понятия
- •4.6. Пустые и непустые, единичные и общие понятия
- •4.7. Универсальные и неуниверсальные, регистрирующие и нерегистрирующие понятия
- •4.8. Абстрактные и конкретные, собирательные и несобирательные понятия
- •Глава 5. Отношения между понятиями
- •5.1. Отношения между понятиями по логическому содержанию
- •5.2. Отношения между сравнимыми понятиями по содержанию
- •5.3. Отношения между понятиями по объемам
- •5.5. Отношения между несовместимыми понятиями по объемам
- •Глава 6. Логические операции с понятиями
- •6.1. Отношения рода и вида
- •6.2. Обобщение и ограничение понятий
- •6.3. Деление понятий
- •6.4. Таксономическое деление
- •6.5. Правила деления и возможные ошибки
- •6.6. Классификация
- •6.7. Операции с множествами (классами)
- •6.8. Операция объединения классов
- •6.9. Операция пересечения классов
- •6.10. Законы операций объединения и пересечения
- •6.11. Операция вычитания
- •6.12. Дополнение к множеству
- •6.13. Операции с классами. Диаграмма Венна
- •Глава 7. Определение
- •7.2. Виды определений (номинальные и реальные определения)
- •7.3. Явные и неявные определения
- •7.4. Виды явных определений
- •7.5. Виды неявных определений
- •7.6. Правила определения и возможные ошибки
- •Введение. Суждение (высказывание)
- •Глава 8. Простые суждения
- •8.1. Структура суждения
- •8.2. Логическая структура простого суждения
- •8.3. Логический анализ предложений, выражающих простые суждения
- •8.4. Виды простых суждений
- •8.7. Процедура приведения предложений естественного языка к канонической форме категорических суждений
- •8.10. Выражение категорических суждений на языке логики предикатов
- •8.12. Суждения с отношениями
- •8.13. Выражение суждений с отношениями на языке логики предикатов
- •Глава 9. Сложные суждения
- •9.2. Соединительные суждения
- •9.3. Разделительные суждения
- •9.4. Условные и импликативные суждения
- •9.5. Суждения эквивалентности
- •9.6. Суждение с внешним отрицанием
- •9.7. Условия истинности сложных суждений
- •9.8. Логическая форма сложного суждения
- •9.9. Выражение одних логических союзов через другие
- •9.10. Формы сложных суждений
- •9.11. Логическая вероятность сложных суждений
- •Глава 10. Отрицание суждений
- •10.1. Отрицание атрибутивных суждений
- •10.2. Отрицание суждений с отношениями
- •10.3. Отрицание сложных суждений
- •Глава 11. Отношения между суждениями
- •11.1. Отношения между суждениями
- •11.2. Отношения между простыми суждениями
- •11.3. Условия истинности для простых суждений
- •11.4. Модельные схемы
- •11.5. Логический квадрат
- •11.6. Логический треугольник
- •11.7. Отношения между сложными суждениями
- •11.8. Отношение эквивалентности сложных суждений
- •11.9. Отношение субконтрарности сложных суждений
- •11.10. Отношение подчинения сложных суждений
- •11.11. Отношение противоположности сложных суждений
- •11.12. Отношение противоречия сложных суждений
- •Глава 12. Модальность суждений
- •12.1. Структура модальных суждений
- •12.2. Алетическая модальность
- •12.3. Эпистемическая модальность
- •12.4. Деонтическая модальность
- •12.5. Сводная таблица видов модальностей
- •12.6. Определения и законы модальной логики. Логические модальные понятия
- •12.7. Физические модальные понятия
- •12.8. Законы и определения логики оценок
- •12.9. Законы и определения логики норм
- •Глава 13. Логические основы вопросно-ответного мышления
- •13.1. Виды вопросов
- •13.2. Виды ответов
- •Глава 14. Общая характеристика и структура умозаключений
- •14.1. Структура умозаключения
- •14.2. Классификация умозаключений по строгости правил вывода
- •14.3. Классификация умозаключений по направленности логического следования
- •14.4. Дедуктивные умозаключения
- •14.5. Обобщенная классификация умозаключений
- •Глава 15. Демонстративные (необходимые) умозаключения
- •15.1. Выводы из сложных высказываний (выводы на основе свойств логических связок)
- •15.2. Чисто условное умозаключение
- •15.6. Условно-разделительные умозаключения
- •15.7. Дилемма
- •15.8. Простая конструктивная дилемма
- •15.9. Простая деструктивная дилемма
- •15.11. Сложная деструктивная дилемма
- •15.12. Проверка правильности умозаключений из сложных суждений
- •15.13. Проверка умозаключений методом аналитических таблиц
- •15.14. Непосредственные умозаключения
- •15.15. Построение непосредственных умозаключений по логическому квадрату
- •15.17. Превращение
- •15.18. Обращение
- •15.19. Противопоставление предикату
- •15.20. Проверка непосредственных умозаключений
- •15.21. Простой категорический силлогизм
- •15.22. Структура силлогизма
- •15.23. Модусы категорического силлогизма
- •15.24. Правила терминов категорического силлогизма
- •15.25. Правила посылок категорического силлогизма
- •15.26. Первая фигура категорического силлогизма
- •15.27. Вторая фигура категорического силлогизма
- •15.28. Третья фигура категорического силлогизма
- •15.29. Четвертая фигура категорического силлогизма
- •15.30. Категорический силлогизм с выделяющими суждениями
- •15.31. Правила логического вывода фигур категорического силлогизма
- •15.32. Алгоритм анализа силлогизма
- •15.34. Способы проверки правильности силлогизмов (поиск и предъявление контрпримера)
- •15.36. Умозаключения из суждений с отношениями
- •15.37. Сокращенный категорический силлогизм (энтимема)
- •15.38. Сложные и сложносокращенные силлогизмы (полисиллогизм, сорит, эпихейрема)
- •15.39. Прогрессивный полисиллогизм
- •15.40. Регрессивный полисиллогизм
- •15.41. Прогрессивный сорит
- •15.42. Регрессивный сорит
- •15.43. Эпихейрема
- •Глава 16. Недемонстративные (правдоподобные) умозаключения
- •16.1. Общая характеристика правдоподобных умозаключений
- •16.2. Отношение подтверждения в правдоподобных умозаключениях
- •16.4. Правдоподобные (индуктивные) умозаключения
- •16.5. Виды индукции
- •16.6. Полная индукция
- •16.7. Математическая индукция
- •16.8. Неполная индукция (популярная)
- •16.9. Научная индукция
- •Глава 17. Индуктивные методы установления причинных связей
- •17.1. Метод единственного сходства
- •17.2. Метод единственного различия
- •17.4. Метод сопутствующих изменений
- •17.5. Метод остатков
- •17.6. Характеристики причинных связей, делающие возможным применение методов научной индукции
- •17.7. Ошибки, встречающиеся при обнаружении причинных связей
- •Глава 18. Умозаключения по аналогии
- •18.1. Аналогия
- •18.2. Структура аналогии
- •18.3. Виды умозаключений по аналогии по характеру информации
- •18.4. Виды умозаключений по аналогии по характеру выводного знания
- •Введение. Логические основы аргументации
- •Глава 19. Общая характеристика аргументации
- •19.1. Обоснование как основа аргументации
- •19.2. Аргументация как способ рассуждения
- •19.3. Аргументация как рациональный процесс
- •19.4. Виды аргументации
- •19.6. Условия доказательности и недоказательности аргументации
- •19.7. Структура доказательства
- •19.8. Способы доказательств
- •19.9. Виды доказательств
- •19.12. Критика и опровержение
- •19.13. Способы опровержения
- •19.16. Правила по отношению к форме доказательства и возможные ошибки
- •Введение. Логика в процессе развития научного знания
- •Глава 20. Проблема
- •20.1. Общая характеристика проблемы
- •20.2. Типология проблем
- •20.3. Обобщенная схема типологии проблем
- •20.4. Процесс решения проблемы
- •Глава 21. Гипотеза
- •21.1. Общая характеристика гипотезы
- •21.2. Построение гипотезы
- •21.3. Условия состоятельности гипотезы
- •21.4. Проверка гипотезы
- •21.5. Логическое доказывание гипотез
- •Глава 22. Теория
- •22.1. Теория, ее элементы и функции
- •22.2. Классификация теорий
- •Практикум
- •Раздел 1. Образцы решения типовых задач
- •Раздел 2. Задания для самостоятельной работы студентов очной и заочной формы обучения
- •Приложения

Глава 20
Проблема
20.1. Общая характеристика проблемы
Проблема (от греч. problema — преграда, трудность, задача) — с необходимостью возникающий в процессе научного познания вопрос (задача) или целостный комплекс вопросов (задач), решение которых представляет теоретический или практический интерес. Весь ход развития человеческого познания может быть представлен как процесс от постановки проблем к их решению, а затем к постановке новых проблем.
Проблема
Общие свойства проблемы
•Необходимость решения проблемы.
•Неповторимость проблемной ситуации.
•Наличие трудностей при рассмотрении альтернатив решения проблемы.
•Неопределенность результатов решения проблемы.
•Необходимость учета межпроблемных связей и факторов.
•Присутствие человеческого фактора, а следовательно, субъективных аргументаций по поводу выбора варианта решения проблемы.
Внутренняя структура проблемы
Внутреннюю структуру проблемы составляют следующие элементы:
•Предмет проблемы — характеризует возникшее главное противоречие, которое выражается в вопросе: «В чем суть проблемы?».
•Объект проблемы — отвечает на вопрос: «Где возникла проблема?».
•Субъект проблемы — тот, кто связан с проблемой (социальный, интеллектуальный ее элемент).
•Связи проблемы — характеризуют как структурные межэлементные связи (ограничения), так и отношения с другими проблемами. Они отражаются в вопросе: «С чем связана проблема?».
•Цель решения проблемы — выражается в вопросе: «Для чего необходимо решать проблему?».
П р и м е ч а н и е. Основы логико-семантического истолкования проблемы были заложены в работах математика А.Н. Колмогорова. Согласно А.Н. Колмогорову, возможна логика, систематизирующая схемы решения задач. Понятия «задача» и «решение задачи» принимаются в качестве исходных; логические задачи истолковываются как операции, позволяющие получить новые задачи из уже имеющихся задач.
240 |
VI. Формы развития знания |
|
|
20.2. Типология проблем
1. По используемым методам
•Программируемые проблемы. К данному типу проблем обычно относят стандартные проблемы, возникающие на основе определенного знания и являющиеся закономерным результатом процесса познания. Для их решения применяется определенная модель с внесением необходимых корректировок на специфи- ческие особенности.
•Непрограммируемые проблемы. К этому типу проблем относятся нестандартные проблемы, т.е. проблемы, для решения которых нет алгоритма.
•Неразрешимые проблемы. Это проблемы, путей решения которых нет.
2. По характеру решения
•Рутинные проблемы. Проблемы данного типа решаются по отработанным моделям и не требуют творческого подхода, так как все процедуры решения таких проблем известны.
•Селективные проблемы. Проблемы этого типа решаются в определенных рамках альтернативного подбора моделей и алгоритмов их решения.
•Адаптационные проблемы. Проблемы данного типа решаются в сочетании использования нестандартного подхода на основе новых идей с отработанными моделями и алгоритмами их решения.
•Инновационные проблемы. Проблемы этого типа решаются в сочетании использования нестандартного подхода на основе новых идей с разработкой новых моделей и алгоритмов их решения.
3. По степени формализации
•Хорошо структуризованные проблемы. Это проблемы, в которых зависимости между элементами целостного комплекса задач, составляющих проблему, могут получать численные значения или символы. При решении проблем такого типа используются количественные методы.
•Слабо структуризованные проблемы. Это проблемы, как правило, сложные, отличающиеся в первую очередь качественными зависимостями между структурными межэлементными связями проблемы. Однако они содержат как каче- ственные, так и количественные элементы при преобладающем составе первых. В решении подобных проблем исключается возможность построения моделей, но не всегда. Все зависит от специфики конкретной проблемы и приемлемости сочетания количественных и эвристических методов.
•Неструктуризованные (или качественно выраженные) проблемы. В этого типа проблемах количественные зависимости между структурными межэлементными связями проблемы совершенно неизвестны. Решение этих проблем предполагает использование эвристических методов, основанных на теоретических рассуждениях, логике, интуиции, опыте и т.д.

20. Проблема |
241 |
|
|
20.3. Обобщенная схема типологии проблем
Типология проблем
По используемым |
|
По характеру |
|
По степени |
методам |
|
решения |
|
формализации |
|
|
|
|
|
|
|
|
|
|
Программируемые |
|
|
|
Хорошие |
|
|
Рутинные |
|
|
(стандартные) |
|
|
|
структуризованные |
|
|
|
|
|
|
|
|
|
|
Непрограммируемые |
|
|
|
Слабо |
|
|
Селективные |
|
|
(нестандартные) |
|
|
|
структуризованные |
|
|
|
|
|
|
|
|
|
|
Неразрешимые1 |
|
|
|
|
|
|
Адаптационные |
|
Неструктуризованные |
(путей и методов |
|
|
|
|
решения которых нет) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Инновационные |
|
|
|
|
|
|
|
В логике существуют и другие схемы типологизации проблем.
1.Различают явные и неявные проблемы. Первые содержат максимум информации о самой проблеме, методах ее изучения и возможных результатах ее решения; вторые — минимум сведений о решении проблемы и методах ее исследования.
2.Выделяют неразвитые проблемы и развитые проблемы. Неразвитые проблемы характеризуются незавершенностью и неполнотой, и потому иногда называются предпроблемами.
1 Одной из форм проблем является неразрешимая проблема, «решением» которой является доказательство ее неразрешимости. Так, для логики предикатов общего решения разрешимости проблемы не существует. Например, проблема разрешения для логики предикатов первого порядка неразрешима: не существует эффективной процедуры, которая позволяла бы для всякой формулы определить, является она теоремой или нет. Доказательство этого положения, данное в 1936 г. американским логиком А. Черчем, явилось первым примером неразрешимой проблемы.

242 |
VI. Формы развития знания |
|
|
20.4. Процесс решения проблемы
Ознакомление с проблемой. Уточнение проблемы. Постановка проблемы
Подборка и определение объема необходимой информации
Рабочая формулировка проблемы
Разработка вариантов возможных решений проблемы. Выработка идей
Проникновение |
|
|
|
Поиск |
|
|
|
Поиск оптимальных |
|
в суть проблемы. |
|
|
|
решения |
|
|
|
моделей и алгоритмов |
|
|
|
|
|
|
|
||||
Открытие |
|
|
|
проблемы |
|
|
|
решения проблемы |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Рациональная оценка решения проблемы. Выбор оптимальной и эффективной модели (алгоритма) решения проблемы
Проверка правильности (истинности) решения проблемы
Проблема как процесс развития знания складывается из следующих этапов.
1.Возникновение предпроблемы, т.е. проблемы неосознанной в ее полном объеме.
2.Формирование проблемы в ее завершенности и целостности.
3.Определение путей и методов разрешения проблемы или установление ее неразрешимости.