- •А.С. Скачков
- •Предисловие
- •Часть III логика высказываний и предикатов Введение
- •Тема седьмая классическая логика высказываний
- •§7.1. Общая характеристика и особенности языка классической логики высказываний (клв)
- •§7.2. Пропозициональные связки; образование формул клв
- •§7.3. Истинностная функция пропозициональных связок, табличное определение истинности
- •§7.4. Виды и взаимоотношения формул и схем клв
- •§7.5. Схемы некоторых законов клв
- •7.6. Основные виды дедуктивных рассуждений, выраженные яклв
- •Тема восьмая классическое исчисление высказываний
- •§8.1. Логический смысл исчислений
- •§8.2. Классическое натуральное исчисление высказываний. Правила вывода
- •А, в ________ . А в
- •§8.3. Выводы и доказательства
- •§8.4. Эвристики натурального исчисления высказываний
- •Тема девятая язык и исчисление классической логики предикатов
- •§9.1. Общая характеристика классической логики предикатов
- •§9.2. Язык классической логики предикатов
- •§9.3. Запись имён и высказываний на яклп: термы и формулы
- •§9.4. Законы классической логики предикатов
- •§9.5. Исчисление предикатов первого порядка
- •Контрольные вопросы
- •Часть IV теория правдоподобных рассуждений Введение
- •Тема десятая основы формализации рассуждений с правдоподобным следованием
- •§10.1. Понятие о правдоподобном (вероятностном) рассуждении
- •§10.2. Фактический и логический смысл вероятности. Классическая (априорная) вероятность
- •§10.3. Статистическая (апостериорная) вероятность
- •§10.4. Исчисление условной вероятности
- •§10.5. Принцип обратной дедукции
- •Тема одиннадцатая разновидности индукции
- •§11.1. Понятие индукции в традиционной и современной логике
- •§11.2. Классификация видов индукции по характеру следования
- •§11.3. Индуктивные методы установления причинных связей
- •Тема двенадцатая умозаключения по аналогии, гипотеза и гипотетико-дедуктивный метод
- •§12.1. Аналогия: виды, приёмы повышения степени вероятности
- •§12.2. Гипотеза: виды, построение, этапы организации
- •§12.3. Требования к теоретическому обоснованию гипотез. Гипотетико-дедуктивный метод
- •Контрольные вопросы
- •Часть V основы аргументационного процесса Введение
- •Тема тринадцатая логические основы аргументации
- •§13.1. Основы теории аргументации
- •§13.2. Состав аргументации. Структура аргументационного процесса
- •§13.3. Доказательство и опровержение в аргументации
- •§13.4. Правила и логические ошибки в доказательстве и опровержении
- •Тема четырнадцатая внелогическая составляющая аргументационного процесса
- •§14.1. Спор и его виды
- •§14.2. Тактика спора
- •§14.3. Софистика. Уловки в полемике и эклектике
- •Контрольные вопросы
- •Перечень основных символов классической формальной логики
- •Библиографический список
- •Оглавление
§12.3. Требования к теоретическому обоснованию гипотез. Гипотетико-дедуктивный метод
Для того, чтобы быть научно обоснованной, хорошо организованная гипотеза должна отвечать совокупности требований (условий). Наиболее существенными из них являются следующие: 1). Условие непротиворечивости: согласованность гипотезы с фактическим материалом, на базе которого и для объяснения которого она выдвинута, соответствие установившимся в науке законам, теориям. Это условие отнюдь не умаляет эвристического потенциала гипотезы, поскольку не является требованием абстрактного непротиворечия установившимся в рамках научных теорий фактам, но допускает извлечение фактов из привычного теоретического контекста, взгляд на их содержание с новой точки зрения, что повышает вероятность обнаружения в фактах ранее незамеченной информации. 2). Условие проверяемости: гипотеза должна в принципе допускать возможность как подтверждения, так и опровержения. Если гипотеза не отвечает этому требованию, то своим выдвижением закрывает пути для дальнейшего научного исследования, а именно: является допущением, объясняющим всё что угодно, поэтому не могущим быть в принципе ни доказанным, ни опровергнутым и обессмысливающим научное исследование, которое приходится считать завершённым самим выдвижением такой гипотезы. 3). Условие элевации: гипотеза должна быть приложима к широкому классу исследуемых объектов, т. е. охватывать не только явления, для объяснения которых специально предложена, но и возможно более обширный круг родственных им явлений. 4). Условие достаточности: гипотеза должна в полной мере объяснять факты, для объяснения которых она была предложена. В случае невыполнения данного требования основная гипотеза порождает серию дополнительных частных гипотез ad hoc («гипотез для данного случая»). Использованию гипотез на эмпирическом уровне познания отвечает гипотетико-дедуктивный метод. Гипотетико-дедуктивным называется метод научного познания и рассуждения, основанный на выведении (дедукции) заключений из гипотез. Это сложный процесс формирования и проверки (верификации ифальсификации) гипотезы. Существует 3-и основных способа подтверждения (верификации) гипотез: 1) наиболее действенным и непосредственным является обнаружение предполагаемого объекта, явления или свойства, что служит причиной рассматриваемого явления; 2) выведение следствий из сформулированной гипотезы и их проверка (верификация) путём наблюдения или эксперимента. Данный способ строится по типу вероятностного умозаключения, логическая форма которого отвечает недедуктивному модусу условно-категорического умозаключения: (((ab)b)a); 3) способ проверки гипотезы также связанный с вероятностным умозаключением, но в данном случае в соответствии с формой разделительно-категорического силлогизма: (a(bcd))(a(bc))(ad) (в таком случае для повышения степени правдоподобия следует соблюдать 2-а условия: а) необходимо перечислить все возможные гипотезы (при этом их дизъюнкция может быть как строгой, так и нестрогой); б) следует доказательно обосновать ложность гипотез). Процедура проверки гипотез предполагает и процедуру опровержения (фальсификации). Фальсификация (от лат. falsus — ложный, facio — делаю) — процедура, устанавливающая ложность гипотезы в результате её проверки на опыте. В таком случае рассуждение строится в соответствии с отрицающим модусом (modus tollens) условно-категорического умозаключения по форме: (((ab)b)a).