Заключение.

Завершая рассмотрение данной темы курса формальной логики, дадим ясный ответ на вопрос: «Что значит мыслить логично?»

Это значит мыслить:

• во-первых, четко, ясно и определенно;

• во-вторых, непротиворечиво и последовательно

• в-третьих; доказательно.

Текст лекции по теме № 7

по дисциплине «Логика»

Тема занятия «Гипотеза»

Понятие гипотезы, ее существенные признаки и логическая структура.

Процессу познания в научной или практической области всегда предшествует рациональное осмысление тех фактов, которые человек получает из наблюдения. Анализируя, обобщая догадки и предположения, наука и практика достигают объективно истинных результатов.

Гипотеза - это закономерная форма развития знаний, представляющая собой обоснованное предположение, выдвигаемое с целью выяснения свойств и причин исследуемых явлений.

Существенные признаки гипотезы:

1) Гипотеза - это всеобщая и необходимая для любого познавательного процесса форма развития знаний. Она является своеобразным «мостиком» между ранее достигнутым и новым знанием.

2) Выработка гипотезы начинается с предположения о природе исследуемых явлений, которое по своей логической сути есть проблематичное суждение, выражающее неточное знание.

В структуре гипотезы необходимо выделить: исходные данные (основания), конечный результат (предположение), логическую обработку исходных данных, которая позволяет осуществить переход к предположению и проверку гипотезы, которая превращает предположение в достоверное знание или опровергает его.

Виды гипотез: общие, частные, научные, рабочие.

1) По объекту описания различают гипотезы общие и частные.

Общей гипотезой называют обоснованное предположение о закономерных связях и об эмпирических регулярностях. Пример - гипотеза М.В. Ломоносова об атомистическом строении вещества. Общие гипотезы лежат в основе большинства научных теорий и потому называются еще научными.

Частной гипотезой называют обоснованное предположение о происхождении и свойствах единичных фактов, конкретных событий и явлений.

Рабочая гипотеза - это выдвигаемое на первых этапах исследования предположение, которое служит условным допущением, позволяющим сгруппировать результаты наблюдений и дать им первоначальное объяснение. Специфика рабочей гипотезы - в ее временном принятии, ведь она используется как первый систематизатор фактов; впоследствии может превратиться в устойчивую гипотезу, либо заменена другими.

Разработка гипотезы производится в три стадии: 1 - выдвижение гипотезы, 2 - развитие гипотезы, 3 - проверка гипотезы.

Логико-методологические требования к построению гипотезы.

Построение, или выдвижение, гипотезы производится в три этапа: первый этап - анализ отдельных фактов и отношений между ними; второй этап - обобщение фактов, или синтез; третий этап - выдвижение предположения.

В процессе построения гипотезы необходимо аналитически исследовать имеющийся фактический материал, т.е. мысленно расчленить его на элементы и изучить каждый из них. Цель проводимого анализа состоит в выявлении среди множества фактов - f₁, f₂, …f_n такие конкретные f_i, f_{j …} f_k, которые в какой-то степени связаны с исследуемым событием.

Следующий шаг в логической обработке фактов - синтез, т.е. мысленное объединение аналитически выделенных фактов f_i, f_{j …} f_k в единую систему, который является основной предпосылкой построения гипотезы.

Логический механизм выдвижения предположения следующий. На основе анализа и синтеза фактов выявлен эмпирический базис (f₁, f₂, …f_n), который вместе с предшествующими исследованиями (I) служит предпосылкой для вероятностного заключения о возможной причине Н, объясняющей происхождение этих фактов.

Предпосылки:

I ٨ (f₁, f₂, …f_n)

_____________

Заключение: По-видимому, Н.

Заключение является проблематичным, т.к. оно лишь частично выводимо из посылок.

При построении гипотезы необходимо соблюдать принцип объективности исследования. В психологическом плане объективность означает отсутствие предвзятости, то есть исследователь должен руководствоваться интересами установления истины, а не своими субъективными причинами. В логико-методологическом плане объективность означает всесторонность исследования с целью установления истины. Исследователь должен учитывать весь исходный эмпирический материал, на основе которого необходимо построить целый ряд возможных «промежуточных» гипотез.

Построенная гипотеза, чтобы считаться состоятельной, должна удовлетворять следующим условиям состоятельности.

1) Гипотеза должна быть непротиворечивой, т.е. предположение Н не должно противоречить исходному эмпирическому базису, а также не должно содержать внутренних противоречий.

2) Гипотеза должна быть принципиально проверяемой.

3) Гипотеза должна быть эмпирически и теоретически обоснована.

4) Познавательная ценность гипотезы определяется ее информативностью - способностью предсказать, где и как отыскать новые, еще не известные факты и дать им рациональное объяснение.

Степень обоснованности гипотезы можно выразить в терминах логической вероятности Р(Н): 0<P(Н)<1. При Р(Н)=1 гипотеза считается доказанной; при Р(Н)=0 гипотеза считается опровергнутой. В случае Р(Н)<1/3 о гипотезе говорят как о маловероятной; при Р(Н)=1/2 - как о равновероятной; при Р(Н)>2/3 - как о высоковероятной.

Проверка гипотезы.

Проверка гипотезы осуществляется в два этапа:

1) Дедуктивное выведение следствий. Зная особенности гипотезы Н, а также учитывая конкретные условия ее проявления, строят дедуктивный вывод: если предположено Н, то с учетом проведенных исследований I должны иметь место S_1, S₂ … S_n.

Логическая схема: (I٨Н) → (S_1, S₂ … S_n).

В силу того, что в процессе исследования разрабатывается несколько «промежуточных» гипотез, то и требование дедуктивного выведения следствий относится к каждому выдвигаемому предположению. Логическому анализу подлежат все реально возможные объяснения - Н₁, Н₂...Н_i. Ценность логической операции дедуктивного выведения следствий состоит в том, что она позволяет рационально, т.е. последовательно, планово, эффективно строить процесс исследования.

2) Сопоставление следствий с фактами. Этот этап имеет целью либо опровержение (1) либо подтверждение (2) гипотезы.

1) Опровержение гипотезы осуществляется путем обнаружения фактов, противоречащим выведенным из нее следствиям.

Если из гипотезы Н₁ были выведены следствия S₁, S₂…S_n, а при сопоставлении с фактами обнаружены обстоятельства а₁ и а₂, противоречащие следствиям S₁и S₂, то тем самым опровергается и сама гипотеза. Рассуждение в этом случае имеет логический вид отрицающего модуса условно-категорического умозаключения:

Н → S, ┐S

_________

┐H

Для опровержения гипотезы необходимо, чтобы вытекающие из нее следствия не просто не совпали, а противоречили фактам. Только в этом случае имеется достаточное основание считать гипотезу опровергнутой.

Последовательное опровержение в процессе проверки первоначально выдвинутых, но оказавшихся несостоятельными гипотез осуществляется по методу исключения в логической форме отрицающе-утверждающего модуса разделительно-категорического умозаключения:

(Н₁ ۷Н₂۷ Н₃), ┐Н₁, ┐Н₂

________________

Н₃

2) Подтверждение гипотезы (Н) происходит, если выведенные из нее следствия (S) совпадают с вновь обнаруженными фактами. Чем больше таких совпадений, тем вероятнее гипотеза.

Способы доказательства гипотезы.

Основные способы доказательства гипотезы: логическое доказательство и непосредственное обнаружение предположенных в гипотезе предметов.

1) Непосредственное обнаружение предположенных в гипотезе предметов. Частные гипотезы нередко ставят своей задачей выявление факта существования в определенное время и в определенном месте конкретных предметов и явлений либо отвечают на вопрос о свойствах и качествах таких предметов. Наиболее убедительным способом превращения такого предположения в достоверное знание является непосредственное обнаружение в предположенном месте или в предположенное время искомых предметов либо непосредственное восприятие предположенных свойств.

Гипотезы, доказываемые таким способом, всегда являются частными гипотезами, т.к. с их помощью устанавливают лишь отдельные факты и свойства предметов.

2) Логическое доказательство гипотезы в зависимости от способа обоснования строится в форме косвенного или прямого доказывания.

Косвенное доказывание осуществляется путем опровержения и исключения всех ложных гипотез, на основании чего утверждают достоверность единственного оставшегося предположения.

Вывод делается по форме отрицающе-утверждающего модуса разделительно-категорического умозаключения:

(Н₁ ۷Н₂۷ Н₃), ┐Н₁, ┐Н₂

________________

Н₃

Заключение в этом выводе может расцениваться как достоверное (а не проблематичное), если, во-первых, исследован исчерпывающий ряд гипотез, объясняющих исследуемое событие, и, во-вторых, в процессе проверки гипотез опровергнуты все ложные предположения.

Прямое доказывание гипотезы осуществляется путем выведения из предположения разнообразных, но вытекающих только из данной гипотезы следствий и подтверждения их вновь обнаруженными фактами.

При отсутствии косвенного доказывания простое совпадение фактов с тем следствиями, которые выведены из гипотезы, нельзя расценивать как достаточное основание истинности гипотезы, ибо совпадающие факты могли быть вызваны и иной причиной.

Н → S, S

_________.

? H

Рассуждение, направленное от утверждения истинности следствия к утверждению истинности основания, приводит к ложному или неопределенному заключению.

Если же в процессе доказательства гипотезы мы имеем такую связь между основанием и следствием, которая может быть выражена в форме двойной импликации: «если и только если Н₁, то (S_1, S₂ … S_n)».

Логическая схема:

Н₁ ≡ S.

Вывод от утверждения истинности следствия к утверждению истинности основания при наличии двойной импликации (эквиваленции) будет логически законным.

Рассуждение принимает вид:

Н₁ ≡ S, S

_________.

H₁

При соблюдении указанных условий в процессе исследования приходят к такому знанию, которое является достоверным, единственно возможным истинным.

Заключение.

Таким образом, мы ознакомились с понятием гипотезы, рассмотрели ее виды, основные этапы разработки гипотезы, логико-методологические требования к построению гипотез. В ходе лекции также проанализированы этапы проверки гипотезы и способы ее доказательства.

Текст лекции по теме № 8

по дисциплине «Логика»