- •В. В. Агафонов логика
- •СодержАние
- •Краткая характеристика дисциплины
- •Место дисциплины в учебном процессе
- •Цели и задачи изучения дисциплины
- •Содержание лекционных занятий
- •1 Предмет и основные понятия логики как науки
- •1.1 Предмет логики
- •1.2 Логическая характеристика процесса познания
- •1.3 Логическая форма. Отношение логического следования
- •1.4 Язык как знаковая система
- •1.4.2 Категориальный анализ языка
- •1.4.3 Функциональный анализ языка
- •2 Понятие как форма мысли и форма познания
- •2.1 Признаки и их виды
- •2.2 Объем и содержание понятия (логическая характеристика)
- •2.3 Виды отношений между понятиями
- •2.4 Обобщение и ограничение понятий
- •2.5 Деление и классификация
- •2.6 Определение (дефиниция)
- •3 Классическая логика высказываний и предикатов
- •3.1 Классическая логика высказываний
- •3.1.2 Таблицы истинности. Виды формул
- •1.3.3 Основные логические отношения
- •1.3.4 Схемы формул и законы логики высказываний
- •3.2 Рассуждения основанные на свойствах логики высказываний
- •3.2.1 Общая характеристика рассуждений, основанных на свойствах пропозициональной логики
- •3.2.2 Условные умозаключения
- •3.2.3 Разделительные умозаключения
- •3.2.4 Леммы
- •3.2.5 Непрямые способы аргументации
- •3.3 Логика предикатов
- •3.3.1 Алфавит логики предикатов
- •3.3.2 Интерпретация и логические отношения в логике предикатов
- •3.3.3 Виды формул в классической логике предикатов первого порядка
- •4 Исчисление высказываний и предикатов
- •4.1 Основные характеристики логических исчислений
- •4.2 Аксиоматическое исчисление высказываний и предикатов
- •4.2.1 Аксиоматическое исчисление высказываний
- •4.2.2 Исчисление предикатов со схемами аксиом
- •4.3 Натуральное исчисление высказываний и предикатов
- •4.3.2 Натуральное исчисление предикатов
- •4.4 Метатеоретические свойства системы исчисления со схемами аксиом и натурального исчисления высказываний
- •4.4.1 Метатеоретические свойства исчисления высказываний
- •4.4.2 Метатеоретические свойства исчисления предикатов со схемами аксиом
- •5 Силлогистика: общие основания
- •5.1 Категорические, реляционные и экзистенциальные суждения
- •5.2 Интерпретация категорических высказываний
- •5.2.2 Модальность суждений
- •5.3 Общая характеристика умозаключений (в традиционной силлогистике). Виды умозаключений
- •5.4 Непосредственные умозаключения
- •6 Силлогистика: простой категорический силлогизм; сложные, сокращенные и сложносокращенные силлогизмы
- •6.1 Общая характеристика простого категорического силлогизма
- •6.2 Правила простого категорического силлогизма
- •6.3 Сокращенные, сложные и сложносокращенные умозаключения
- •7 Правдоподобные рассуждения
- •7.1 Понятие правдоподобного умозаключения
- •7.2 Обратно-дедуктивный метод обоснования гипотез
- •7.3 Индуктивные выводы, их виды и характеристика
- •7.4 Статистические выводы
- •7.5 Выводы по аналогии
- •7.6 Эмпирические методы обоснования индуктивных обобщений
- •8 Проблема, гипотеза и теория как формы развития знания
- •8.1 Проблема и проблемная ситуация
- •8.2 Общая характеристика гипотез
- •8.3 Виды гипотез
- •8.4 Подтверждение и опровержение гипотез
- •8.5 Общая характеристика теорий
- •Содержание практических занятий
- •Упражнения по теме практического занятия
- •Список литературы по теме практического занятия
- •2 Логический анализ языка
- •1. Язык как знаковая система:
- •2. Понятие и виды знаков:
- •3. Семантические категории языковых выражений:
- •Упражнения по теме практического занятия
- •Список литературы по теме практического занятия
- •3. Виды отношений между понятиями
- •Упражнения по теме практического занятия
- •Список литературы по теме практического занятия
- •Упражнения по теме практического занятия
- •Список литературы по теме практического занятия
- •Упражнения по теме практического занятия
- •Упражнения по теме практического занятия
- •Список литературы по теме практического занятия
- •Упражнение по теме практического занятия
- •Упражнения по теме практического занятия
- •Список литературы по теме практического занятия
- •Упражнения по теме практического занятия
- •Список литературы по теме практического занятия
- •Упражнения по теме практического занятия
- •Список литературы по теме практического занятия
- •11 Силлогистика: непосредственные умозаключения
- •Упражнения по теме практического занятия
- •Список литературы по теме практического занятия
- •Упражнения по теме практического занятия
- •Список литературы по теме практического занятия
- •Упражнения по теме практического занятия
- •Упражнения по теме практического занятия
- •Список литературы по теме практического занятия
- •Список литературы по теме практического занятия
- •Упражнения по теме практического занятия
- •Список литературы по теме практического занятия
- •16 Основы аргументации и критики План
- •1. Логическая характеристика аргументации и критики
- •2. Спор
- •Вопросы для самоконтроля
- •Список литературы по теме практического занятия
- •Задания для самостоятельной работы Порядок выбора варианта
- •Пример выполнения задания
- •Варианты заданий Вариант 1 Дисциплинарный модуль № 1
- •Дисциплинарный модуль № 2
- •Вариант 2 Дисциплинарный модуль № 1
- •Дисциплинарной модуль № 2
- •Вариант 3 Дисциплинарный модуль № 1
- •Дисциплинарный модуль № 2
- •Вариант 4 Дисциплинарный модуль № 1
- •Дисциплинарный модуль № 2
- •Вариант 5 Дисциплинарный модуль № 1
- •Дисциплинарный модуль № 2
- •Вариант 6 Дисциплинарный модуль № 1
- •Дисциплинарный модуль № 2
- •Вариант 7 Дисциплинарный модуль № 1
- •Дисциплинарный модуль № 2
- •Вариант 8 Дисциплинарный модуль № 1
- •Дисциплинарный модуль № 2
- •Вариант 9 Дисциплинарный модуль № 1
- •Дисциплинарный модуль № 2
- •Вариант 10 Дисциплинарный модуль № 1
- •Дисциплинарный модуль № 2
- •Вариант 11 Дисциплинарный модуль № 1
- •Дисциплинарный модуль № 2
- •Вариант 12 Дисциплинарный модуль № 1
- •Дисциплинарный модуль № 2
- •Вариант 13 Дисциплинарный модуль № 1
- •Дисциплинарный модуль № 2
- •Вариант 14 Дисциплинарный модуль № 1
- •Дисциплинарный модуль № 2
- •Вариант 15 Дисциплинарный модуль № 1
- •Дисциплинарный модуль № 2
- •Вариант 16 Дисциплинарный модуль № 1
- •Дисциплинарный модуль № 2
- •Вариант 17 Дисциплинарный модуль № 1
- •Дисциплинарный модуль № 2
- •Вариант 18 Дисциплинарный модуль № 1
- •Дисциплинарный модуль № 2
- •Вариант 19 Дисциплинарный модуль № 1
- •Дисциплинарный модуль № 2
- •Вариант 20 Дисциплинарный модуль № 1
- •Дисциплинарный модуль № 2
- •Вариант 21 Дисциплинарный модуль № 1
- •Дисциплинарный модуль № 2
- •Вариант 22 Дисциплинарный модуль № 1
- •Дисциплинарный модуль № 2
- •Вариант 23 Дисциплинарный модуль № 1
- •Дисциплинарный модуль № 2
- •Вариант 24 Дисциплинарный модуль № 1
- •Дисциплинарный модуль № 2
- •Вариант 25 Дисциплинарный модуль № 1
- •Дисциплинарный модуль № 2
- •Вариант 26 Дисциплинарный модуль № 1
- •Дисциплинарный модуль № 2
- •Вариант 27 Дисциплинарный модуль № 1
- •Дисциплинарный модуль № 2
- •Вариант 28 Дисциплинарный модуль № 1
- •Дисциплинарный модуль № 2
- •Вариант 29 Дисциплинарный модуль № 1
- •Дисциплинарный модуль № 2
- •Вариант 30 Дисциплинарный модуль № 1
- •Дисциплинарный модуль № 2
- •Перечень вопросов к промежуточной аттестации
- •Рекомендуемая литература Основная литература
- •Дополнительная литература
- •Учебно-методическое пособие Агафонов Владислав Валерьевич логика
- •6 83003, Г. Петропавловск-Камчатский, ул. Ключевская, 35
8.4 Подтверждение и опровержение гипотез
Гипотезы создаются как средства решения возникающих в науке проблем. Их следует отличать от простых догадок и предположений. Заключения гипотез имеют лишь вероятный характер. Это предопределило настороженное отношение к ним на протяжении долгого периода науки. Античная философия исключала гипотетические рассуждения из области достоверного знания («эпистеме»), и причисляла их к мнениям («доксе»). В Возрождение и Новое время к гипотезам относили натурфилософские предположения и спекулятивные построения. Во многом негативное отношение к гипотезе тормозилось вследствие широкого распространения эмпирических и позитивистских взглядов. В лучшем случае гипотезы рассматривались как временное средство исследования. Сторонники логического эмпиризма уже в XX веке выдвинули программу редукции теоретических терминов к эмпирическим, то есть они считали надежным эмпирический базис науки. С их точки зрения все утверждения науки должны быть верифицированы. Все, что не допускает эмпирической проверки, является ошибкой. На этом основании ими всячески принижался гипотетический характер научного знания. Конечно, данная программа оказалась несостоятельной. Тем не менее, все это позволило более четко сформулировать определенные критерии научности, среди которых важнейшим является проверяемость.
Требования, предъявляемые к научным гипотезам. Необходимость объяснения фактов зачастую предполагает существование множество различных гипотез. Это предполагает отбор из множества выдвинутых гипотез тех, которые можно подвергнуть исследованию и проверке. Формулировка требований помогает сделать выбор между гипотезами с различной объяснительной и предсказательной силой.
1. Релевантность гипотезы. Термин «релевантный» (от англ. relevant – уместный, относящийся к делу) характеризует отношение к фактам. Если факты способны подтвердить или опровергнуть гипотезу, то она считается релевантной к ним.
2. Проверяемость гипотезы. В эмпирических науках это требование связывали с возможностью сопоставления следствий гипотезы с результатами наблюдений или экспериментов. В современной методологии, речь идти о принципиальной возможности такой проверки. Дело в том, что прогресс в научном исследовании, с одной стороны, ведет к выдвижению более абстрактных гипотез, содержащих все большее количество ненаблюдаемых объектов, а с другой – к совершенствованию экспериментальной техники. В силу этого следует осторожно относится к понятию «непроверяемая гипотеза». Различают три рода непроверяемых гипотез. Во-первых, принципиально непроверяемыми являются гипотезы, структура которых не допускает проверки с помощью возможных фактов или же когда они создаются специально для оправдания данной гипотезы (ad hoc гипотезы). Во-вторых, универсальные математические и философские гипотезы не допускают эмпирической проверки их следствий. В-третьих, следствия некоторых гипотез нельзя проверить существующими в данный период времени средствами наблюдений и экспериментов. Поэтому в науке существуют некоторые гипотезы, которые в данный период времени невозможно проверить, потому что либо из них невозможно вывести эмпирически проверяемые следствия, либо нельзя точно измерить соответствующие эффекты.
3. Совместимость гипотез с существующим научным знанием. Это требование вытекает из принципа преемственности в развитии научного знания. Научное знание представляет собой определенную логически связанную систему. В силу этого отдельная гипотеза не должна противоречить обоснованному теоретическому знанию. Достаточно хорошо проверенная и обоснованная гипотеза должна войти в качестве элемента существующей научной парадигмы. Только гипотезы, приводящие к революционным изменениям в науке, оказываются несовместимыми с существовавшим прежде научным знанием.
4. Объяснительная и предсказательная сила гипотез. Объяснительная сила гипотезы выражается в количестве дедуктивных следствий, которое можно из нее вывести. Большей объяснительной силой обладает та гипотеза, из которой выводится большее количество следствий, подтверждаемых фактами. Предсказательная сила гипотезы выражается посредством количества предсказаний, которые можно из нее вывести. Хотя логическая структура предсказания совпадает со структурой объяснения, методологически они отличаются друг от друга: во-первых, объяснение имеет дело с существующим, а предсказание – с тем, что может произойти или нет; во-вторых, оценка предсказаний всегда носит вероятностный характер, следовательно, и сравнение гипотез по предсказательной силе осуществляется вероятностными методами.
5. Критерий простоты гипотез. В истории науки не раз бывали случаи, когда две конкурирующие гипотезы удовлетворяли всем перечисленным требованиям. Тем не менее только одна из них оказывалась приемлемой именно в силу своей простоты. Понятие простоты рассматривается в науке с интерсубъективной точки зрения и содержит три различных смысла: во-первых, одна гипотеза проще другой, если она содержит меньшее число исходных посылок для вывода следствий (принцип бритвы Оккама); во-вторых, простота связана с общностью гипотезы и определяется глубиной ее содержания и существенным характером исследуемых свойств; в-третьих, в естественных науках, где используется математический аппарат, простота гипотезы сопровождаются усложнением ее математического аппарата.
Эвристические принципы поиска гипотез. Процесс генерирования новых научных идей и гипотез не поддается алгоритмизации и точному логическому анализу. Однако это не исключает использования логических и методологических средств и приемов для целенаправленного и организованного поиска.
В период формирования и становления опытного естествознания большие надежды возлагались на индукцию как единственный способ рассуждения, направленный на получение общих заключений из частных фактов наблюдений и экспериментов. Однако, попытка построить новый метод мышления, в котором научные истины получались бы по канонам индуктивной логики, оказалась утопией. С помощью методов научной индукции можно установить лишь простейшие причинные зависимости между эмпирически наблюдаемыми явлениями и их свойствами. В то же время, индукция, аналогия и статистика, играют важную эвристическую роль в науке, помогая приблизиться к истине.
Идея о концептуализации эмпирических фактов получила разработку в идее Ч.С. Пирса об абдуктивных умозаключениях. Он поставил перед собой цель – найти эвристические методы поиска гипотез, наилучшим образом объясняющих эмпирические факты. От индуктивного подхода он отказался потому, что этот метод не обращает никакого внимание на имеющиеся эмпирические данные. Однако, тщательный логический и теоретический их анализ дает возможность выявить связь между ними и зафиксировать ее в понятиях. Такой анализ оказывается важнее, так как он, во-первых, раскрывает определенное единство между фактами и, во-вторых, помогает сформулировать пробную теоретическую гипотезу, объясняющую эти факты. Дедуктивные следствия из этой гипотезы могут натолкнуть на поиск других фактов, подтверждаемых и объясняемых ею. Если обнаружится расхождение между фактами и объясняющей гипотезой, то выдвигается новая гипотеза. Этот процесс продолжается до тех пор, пока не будет найдена гипотеза, наилучшим образом объясняющая все имеющиеся факты. Таким образом, в абдуктивное рассуждение предполагает использование таких логических операций, как образование понятий при анализе фактов, дедукция – при выводе логических следствий из гипотезы и индукция – при оценке и подтверждении фактов. Степень надежности абдуктивных рассуждений выше индуктивных обобщений. Из всего изложенного выше следует, что недедуктивные рассуждения (абдукция, аналогия, индукция и статистика), заключения которых вероятны в той или иной степени, представляют собой эвристические методы поиска истины, ориентирующиеся на логику. Поэтому они имеют дело с формой, чем с содержанием рассуждений. Конкретное содержание рассуждений меняется от одной науки к другой.
Для математического естествознания наиболее распространенным является принцип соответствия. Исходные понятия и посылки двух родственных гипотез или теорий определенным образом соответствуют друг другу. В качестве эвристического средства научного поиска может использоваться мысленный эксперимент, который дает возможность отвлечься от ряда несущественных особенностей реальных процессов и явлений.
Однако, все рассмотренные выше приемы и способы эвристического поиска не гарантируют построения истинной гипотезы. Их использование позволяет лишь облегчть, систематизировать и организовать поиск истины. Окончательный же ответ на вопрос об истинности гипотезы дает ее эмпирическая проверка.
Проверка научных гипотез. Существуют две формы проверки гипотезы.
1. В случае подтверждения гипотезы имеют следующий вид:
или
где
H
– гипотеза; E
– свидетельство, подтверждающее
гипотезу;
–
вероятность гипотезы H
на основе свидетельства E.
Подтверждение следствия гипотезы имеет
не окончательный, а относительный
характер, так как не исключается
возможность обнаружения другого
свидетельства или факта. который может
опровергнуть гипотезу. Именно поэтому
рассматриваемая схема не является
логическим законом.
2. Опровержение гипотезы имеет следующий вид:
или
С логической точки зрения опровержение гипотезы имеет окончательный характер, поэтому ложная гипотеза отбрасывается. В силу этого, данная схема является законом логики.
Исследование и проверка гипотез не могут рассматриваться в качестве окончательной цели науки. Они представляют собой лишь путь к открытию законов, так как гипотезы наиболее общего характера, прошедшие тщательную проверку и обоснование, становятся законами.
