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

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

Однако, во всяком случае достаточно очевидно, что традиционная логика не есть часть диалектической, что последняя не изучает структуру форм мысли (тогда бы она просто упразднила формальную логику); достаточно очевидно, что диалектическая логика в одинаковой степени со всеми остальными науками пользуется и формами мысли, исследованными традиционной логикой, и нормами к ним, сформулированными ею. В этой истории есть и страницы, вписанные россиянами. История логики в России сравнительно небольшая.

Первый природный россиянин, написавший, пусть и всего лишь 2-3 страницы, но специально о логике, был князь Андрей Михайлович Курбский (1528-1583). Им подготовлена к изданию первая на русском языке печатная книга по логике, переведенная князем "От другие диалектики Иона Спанинбергера о силлогизме вытолковано", вышедшая в 1586 г. в Вильно в типографии Мамоничей. Ее князь сопроводил краткими сказами "Сказ Андрея чего ради сии написаны" и здесь же "Андрея Курпского сказ о лоике", не потерявшими своего значения и сейчас по тому завету, который он сформулировал в этом, может быть и громко названном, учитывая его объем, произведении. Князь, отдавая себе отчет в том, что в идейной, полемической борьбе зачастую одерживает верх не ближайший к истине, а навыкший в слове, в логике, писал, отвечая на вопрос, а для чего нужно изучать логику: "Многих ради вин: первая, иже бы есте ведали чин и мероу силлогизмов, и яко в них средоу изобрести и где положити. Вторая, иже бы есте познали и оуразумели разделити правду с неправдою, и разделити истинные и ложные. Третья, егда будут правды сопротивницы ложными тыми словы истину боурити (сокрушати), тогда бысте оумели им сопротивлятися. И отвещающе оборонити правду, и уста им заградити праведными оными силлогизмами, и указати им иже невозможные и неудобные начинают, и словесною силою лоукаве... сопротив правды действуют". Поскольку логика, по мнению князя, "наука светлейшая словесная" и "много нам потребная", то он ее советует изучать тщательно, и этот совет злободневен и для современных учащихся: "оучите же и навыкайте ее неленосне, иаще ее добре навыкнете, оудобнее вам будет читати и разумети писания философские, яко наших великих учителей христианских, так и внешних философов." Первым учебным курсом логики, читанным в 90-х гг. XVII в. руководителем первого высшего духовного учебного заведения Московской Руси (будущей Славяно-греко-латинской академии) иеромонахом Софронием Лихудой, было подготовленное им на греческом языке "Яснейшее изложение всего логического действования" (сохранилось в рукописи на греческом и латинском).

Первым написанным на русском языке в 1758 г. учебным пособием по логике, была рукописная "Логика" Макария Петровича, тоже преподавателя этой академии, к сожалению, так и не изданная. Также не изданной осталась и "Логика" профессора Е.Б. Сырейщикова, написанная им в 1788 г. для "употребления будущих Университетов и гимназий", работавшего в это время в Главном народном училище С. - Петербурга. Изданными же первыми трудами природного россиянина, затрагивающими и логику, были две работы М. Ломоносова "Краткое руководство к риторике" и "Краткое руководство к красноречию"., Имеется косвенное свидетельство, что М. Ломоносов в начале 50-х гг. написал и "Логику", занимавшую у него серединное место между грамматикой и риторикой, но следов этой работы не найдено.

В XVIII веке были опубликованы еще несколько работ, касающихся логики. Наиболее важными из них являются "Философические предложения..." Якова Козельского и "Письма о разных физических и философических материях..." Л. Эйлера), где впервые им были использованы "круглые фигуры... весьма способные к облегчению наших рассуждений о сей материи, и к познанию таинств, которые в логике превозносятся, и в оной с трудом доказывается то, что посредством фигур тотчас взору представляется"

Широкое распространение логики в России началось в XIX веке, когда с развитием высшего светского, университетского образования, где логика была обязательной учебной дисциплиной, стали чаще издаваться учебники и учебные пособия по логике. Можно говорить даже о формировании университетской логики в первой половине XIX века, она представлена именами П. Любовского, И. Любачинского, П. Лодия, А. Галича, Н. Рождественского и др.

Однако, подлинный расцвет, связанный и с новаторскими разработками логики, падает на вторую половину этого века, на его конец и начало века ХХ. Он представлен именами В.Н. Карпова, М.И. Владиславлева, М.И. Каринского, Н.Я. Грота, Л.В. Рутковского, А.И. Введенского, П.С. Порецкого, Е.Л. Буницкого, С.О. Шатуновского, Н.А. Васильева, С.И. Поварнина и некоторых др. Этот период характерен еще и тем, что учебная литература по логике издавалась не только для вузов и гимназий, но и для самообразования, а это свидетельство ее широкого вхождения в общественное сознание. Однако, длилось сие недолго.

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

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

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

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

Ее развитие в единстве с формальной стало возможно лишь с 60-х гг., но все таки они слабо состыковываются.

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

2. Роль гипотез в науке

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

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

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

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

Теоретический этап познания начинается с гипотезы, именно этим определяется ее место в научном познании, а отсюда и наш интерес к ее логической характеристике.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Страницы: 1, 2, 3