Гипотеза как логическая форма

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

На основе учения Р. Декарта  французские авторы П. Николь и А. Арно в 1662г. опубликовали в Париже книгу "Логика, или Искусство мыслить", получившую впоследствии название "Логика Пор-Рояля", в которой сочетали дедуктивный метод Декарта с методологическими требованиями Продолжением декартовской дедуктивной линии в логике выступает и Г.В. Лейбниц (1646-1716), который считал, что логика дает другим наукам метод открытия и доказательства. Заслуга Лейбница в разработке принципов логики, системы логических модальностей общепризнанна; в частности, ему отдают первенство открытия закона достаточного основания в логике, что, правда, спорно.

Бесспорно же и более важно  то, что с именем Лейбница связывается  формирование математический логики. Им были впервые сформулированы положения, приведшие в конце концов к созданию такой логики, которую он мыслил разновидностью универсальной математики. Лейбниц разработал то, что впоследствии было названо логикой классов, исчислением высказываний; он нашел как бы алфавит понятий, набор простых, непротиворечивых понятий, комбинации которых по определенному методу формируют теоретические доказательства. Его указание на возможность универсального языка рассуждений, подобного математическим (алгебраическим) вычислениям, в котором силлогистика (как и "Начала" Евклида) будет всего лишь частным случаем намного опередило свое время. Его идеи хотя и не были отвергнуты всеми, но авторитет И. Канта и Г. Гегеля, выступивших против аналогии формальной логики и алгебры, и не признавших за математизацией логики практического значения, несколько задержали развитие ее в этом направлении. В этот период распространяются взгляды индуктивистов: Дж. Гершеля, У. Уэвеля, Дж.С. Милля. Последний противопоставил свои методы анализа причинных связей (методы научной индукции) силлогистике, т.е. дедукции. Можно сказать, что в определенной мере ответом на это противопоставление и явились в середине XIX века работы О. де Моргана и Дж. Буля, обобщающие силлогистику и переводящие силлогизмы на язык алгебры.

После Г. Лейбница единая линия  истории логики как бы раздваивается  на историю традиционной формальной логики и историю математической (символической) логики, называемой тогда  еще и логистикой. В истории последней наиболее значительным следует назвать имя Дж. Буля (1815-1864), положившего в основу своих логических работ аналогию между алгеброй и логикой и, пользуясь математическими операциями, создавшего логическое исчисление, позволившее ему найти новые типы выводов, не учитывающиеся в традиционном учении об умозаключении. Работы Дж. Буля, С.Джевонса, Ч. Пирса, Д. Венна, П.С. Порецкого, Э. Шредера и некоторых др., можно сказать, окончательно убедили специалистов в возможности алгебраизации логических форм, алгебраизации силлогистики и других мыслительных структур. И когда в 1879 г.Г. Фреге создает первое исчисление высказываний в строго аксиоматизированном виде, эта возможность стала реальной. Впоследствии их идеи были развиты и усовершенствованы Дж. Пеано, Б. Расселом, Д. Гильбертом, А. Черчем, С. Клини, X. Карри, А. Гейтингом,

А.Н. Колмогоровым, А.А. Марковым, Н.А. Шаниным и др. Начало ХХ века отмечено бурным развитием как теории, так и практики (особенно с 30-х гг.)"машинного мышления", созданием вычислительных систем, кибернетической техники, "искусственного интеллекта". Плодами этого прогресса в виде персональных компьютеров пользуемся и мы. Подобную Г. Лейбницу роль в разветвлении истории логики сыграл и И. Кант, предложивший для преодоления ограниченности общей (формальной) логики, неизбежно вступающей в противоречие с самой собой как только она пытается, выйдя за пределы чувственного опыта, познать "вещь в себе", создать новую логику (Кант назвал ее трансцендентальной), выясняющую возможность безусловно всеобщих и необходимых априорных истин. Поставленную И. Кантом задачу по-своему решил Г. Гегель своей диалектической логикой, логикой абсолютной идеи, т.е. идеалистической логикой. В советской литературе общепринято, что материализация этого учения Гегеля принадлежит К. Марксу и Ф. Энгельсу и, тем самым, с них начинается история материалистической диалектической логики. Таким образом, историю логики можно представить в виде дерева, корнями своими уходящего в глубокую древность. Стволом этого дерева является история традиционной (аристотелевой) формальной логики, а крону этого дерева составляют ответвления традиционной, математической и диалектической логик. Правда, что считать диалектической логикой и до сих пор остается не совсем ясным. То ли это диалектический метод, материалистическая диалектика, методология, то ли это теория познания или метафизическая логика.

  

 

 

 

 

 

 

 

 

 

 

 

 

 

                      2.Сущность и логическая структура гипотезы

 

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

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

    Поэтому не случайно сам термин "гипотеза" в переводе с греческого языка означает "предположение".

     Известно, что при определении понятия через ближайший род и видовое отличие необходимо указать на существенные признаки, отличающие данный вид от других видов, входящих в тот же ближайший род. Ближайшим родом для гипотезы как некоего результата познавательной деятельности является понятие "предположение". В чем же специфическое отличие данного вида предположения - гипотезы - от других видов предположения, скажем догадки, фантазии, допущения, предсказания или житейского предугадывания? Как представляется, видовое отличие для гипотезы нужно искать в ответе не на вопрос "О чем предположение?", а на вопрос "Какое предположение?". Исходя из этого, весьма важно выделить следующие существенные признаки гипотезы.

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

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

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

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

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

Как видно из определения, термин "гипотеза" употребляется  в двояком значении.

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

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

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

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

     Таким образом, в юридической теории и практике гипотеза может употребляться в следующих случаях:

когда известные факты  недостаточны для объяснения причинной  зависимости правового явления, а есть необходимость в том, чтобы  его объяснить;

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

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

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

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

 

 

 

 

 

 

 

 

 

 

 

 

 

                                3. Гипотеза как логическая форма

 

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

  Анализ различных гипотез позволяет выделить следующие элементы их логической структуры:

во-первых, основание гипотезы - совокупность фактов или обоснованных утверждений, на которых строится предположение;

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

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

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

Различение гипотез осуществляется по следующим основаниям:

а) по сложности исследуемого объекта б) по степени достоверности

Общая гипотеза - это вид  гипотезы, объясняющей причину явления  или группы явлений в целом.

Частная гипотеза - это разновидность  гипотезы, объясняющая какую-либо отдельную  сторону или отдельное свойство исследуемого явления или события.

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

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

       Кроме общих и частных гипотез различают еще научные и рабочие гипотезы.

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

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

Разновидностью частной  гипотезы является версия.